日時: 2015年 7月 4日 (土) 14:00〜
場所: 福岡工業大学 情報工学部 システムマネジメント学科 演習室3 B棟8階
( http://www.fit.ac.jp/daigaku/gaiyo/koutsu )
プログラム:
- 14:00-15:00 河原康雄（九州大学名誉教授）
モノイド上の CA に対する GOE 定理 - 15:10-15:40 森雅生（東京工業大学）
Logic, Data Science and Institutional Research - 15:40-16:10 正代隆義（九州国際大学）
文脈決定正則形式グラフ体系の多項式時間MAT学習 - 16:20-16:50 松嶋聡昭（九州大学数理学研究院）
Coq 関係計算ライブラリの開発 - 16:50-17:20 津曲紀宏（崇城大学）
Algebras of Convex relations - 17:20-17:50 田中義人（九州産業大学）
Degree 1の論理式で定まるELのあるクラスの代数モデル
18:30- 懇親会 (竹乃屋千早駅前店)
http://www.umakamonya.com/shop/chihaya.html
不明な点、質問などありましたら、井口までご連絡ください。
論理と計算 