みなさま
以下の要領で講演会を開催いたします。 事前の申込みなどは不要ですので、興味のある方は是非ご参集ください。
日時: 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.
ご不明な点などがございましたら、下記までご連絡ください。
-- 東京大学大学院情報理工学系研究科コンピュータ科学専攻 角谷良彦 [email protected]