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

東工大で定期的に開催しているセミナー（普段は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変数様相μ計算について

----- 鹿島 亮 東京工業大学 情報理工学院 数理・計算科学系 [email protected]