[logic-ml] セミナー案内

[KASHIMA Ryo]

数理論理学セミナーのお知らせ

東工大で定期的に開催しているセミナー（普段はlogic-mlには流していません）の特別版を開催します。
どなたでも参加できますが、普段のセミナー案内を受け取っていない方には別途詳細をご案内いたしますので、ご一報ください。

12月17日(月)
13:00-14:30 東工大M2およびD学生によるショートプレゼンテーション
14:40-15:30 新屋良磨（秋田大）：部分語数え上げ言語の無限性の特徴づけについて
15:40-16:30 大久保文哉（高千穂大学）：化学反応系に基づく言語を受理する計算モデル
16:50-17:40 竹内泉（産総研）：個体観念の不整合の許での引用の論理
17:50-18:40 中林美郷・田中一之（東北大）：1変数様相μ計算について

-----
鹿島 亮
東京工業大学 情報理工学院 数理・計算科学系
kashima at is.titech.ac.jp