第13回 論理と計算セミナー

日時: 2015年 7月 4日 (土) 14:00〜 
場所: 福岡工業大学 情報工学部 システムマネジメント学科 演習室3 B棟8階
( http://www.fit.ac.jp/daigaku/gaiyo/koutsu )

プログラム:

  1. 14:00-15:00 河原康雄(九州大学名誉教授)
    モノイド上の CA に対する GOE 定理
  2. 15:10-15:40 森雅生(東京工業大学)
    Logic, Data Science and Institutional Research
  3. 15:40-16:10 正代隆義(九州国際大学)
    文脈決定正則形式グラフ体系の多項式時間MAT学習
  4.  16:20-16:50 松嶋聡昭(九州大学数理学研究院)
    Coq 関係計算ライブラリの開発
  5.  16:50-17:20 津曲紀宏(崇城大学)
    Algebras of Convex relations
  6. 17:20-17:50 田中義人(九州産業大学)
    Degree 1の論理式で定まるELのあるクラスの代数モデル

18:30- 懇親会 (竹乃屋千早駅前店)
http://www.umakamonya.com/shop/chihaya.html

不明な点、質問などありましたら、井口までご連絡ください。

 

コメントは受け付けていません。