COEセミナーのお知らせ
We would like to inform you about COE-SEMINAR as follows.
DATE : September 29, 2005 15:00-17:00
PLACE : IS Collaboration room 7 (IS Ⅲ-5)
SUBJECT : Higher-Order Rewriting:
Examples, Framework, Confluence and Termination
SPEAKER : Prof. Jean-Pierre Jouannaud, Ecole Polytechnique
SPEECH : English
REFERENCE : Research Center for trustworthy e-Society (E-mail:miyuki-s)
--------------------------
平成17年9月26日
関係各位
２１世紀COEプログラム
－検証進化可能電子社会－
拠点リーダー 片 山 卓 也
ＣＯＥセミナーの開催について
9月29日（木）パリ理工科大学校(Ecole Polytechnique)のJean-Pierre Jouannaud
教授をお招きして、下記のとおりＣＯＥセミナーを開催致します。つきましては、
多数の皆様にご参加いただきたく、ここにセミナーの案内を申し上げます。
本セミナーに関しましては参加申し込み・予約等は必要ございませんので
直接、会場にお越しくださいますようよろしくお願い致します。
記
日時 平成１７年９月２９日（木） １５：００～１７：００
場所 情報科学研究科研究棟 Ⅲ棟５Ｆコラボレーションルーム７
講演概要
We present a unified framework inspired from Jouannaud, Rubio and van
Raamsdonk, in which redexes can be searched for by using either plain or
higher-order rewriting, confluence can be proved by computing plain or
higher-order critical pairs, and termination can be proved by using the
higher-order recursive path ordering of Jouannaud and Rubio.
We present first examples showing the need for both search mecanisms based
on plain and higher-order pattern matching on the one hand, and for a rich
type structure on the other hand. These examples also show the need for
rules of higher type, therefore contradicting a common belief that
application makes rules of higher type unecessary. They also recall that
Klop's idea of variables with arities is very handy. Then, we present our
framework in more details, before we address confluence issues, and finally
termination criteria.
担当教員：情報科学研究科 教授 二木 厚吉
問合せ先 安心電子社会研究センター （内線：1261・E-mail:miyuki-s)
