マス・フォア・インダストリ研究所

セミナー



リスト 全て(掲示受付分)(1730) 今日・明日のセミナー(0)

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


開催時期 2015-07-04 14:00~2015-07-04 18:00

場所 福岡工業大学 情報工学部 システムマネジメント学科 演習室3 B棟8階

受講対象  

講師 河原 康雄(九州大学名誉教授), 森 雅生(東京工業大学), 正代 隆義(九州国際大学), 松嶋 聡昭(九州大学数理学研究院), 津曲 紀宏(崇城大学), 田中 義人(九州産業大学)

プログラム:

  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のあるクラスの代数モデル

リンク