[logic-ml] 講演会のお知らせ (10/19)

[Yoshihiko Kakutani]

みなさま

以下の要領で講演会を開催いたします。
事前の申込みなどは不要ですので、興味のある方は是非ご参集ください。


日時: 2011年10月19日 15:00--16:00

場所: 東京大学 本郷キャンパス 理学部7号館 214号室
(http://www.u-tokyo.ac.jp/campusmap/cam01_06_06_j.html)

講演者: Zoltan Esik (University of Aizu and University of Szeged, Hungary)

題目: Aziomatizing fixed points with applications

概要:
The semantics of recursion is usually described by fixed points of
functions, functors, or other constructors. Several fundamental results
in verious areas of computer science only depend on a few equational
properties of the fixed-ponit operation. One would naturally like to
have a complete description of *all* valid equations in the form of a
system of axioms. In the talk, we review several such complete
descriptions and mention some applications.


ご不明な点などがございましたら、下記までご連絡ください。

--
 東京大学大学院情報理工学系研究科コンピュータ科学専攻
 角谷良彦 <kakutani at is.s.u-tokyo.ac.jp>