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

日時: 2014年 9月 1日 (金) 午後
場所: 福岡工業大学 情報工学部 システムマネジメント学科 演習室3 B棟8階
( http://www.fit.ac.jp/daigaku/gaiyo/koutsu )

講演者:
丸山 勲(福岡工業大学情報工学部情報システム工学科)
石田 俊一(九州産業大学基礎教育センター)
田中 義人(九州産業大学経済学部)
MOHAMMAD DENI AKBAR(九州大学数理学府)
田中 久治(佐賀大学)

プログラム:

  1. 13:00-13:50 丸山 勲(福岡工業大学情報工学部情報システム工学科)
    量子エンタングルメント
    – 密度行列繰り込み群,ベーテ仮説,Z2トポロジカル不変量 –
  2. 14:00-14:50 石田 俊一(九州産業大学基礎教育センター)
    Cellular Automata Defined by Formulae on Monoids
  3. 15:10-16:00 田中 義人(九州産業大学経済学部)
    ELの代数モデル
  4. 16:10-17:00 MOHAMMAD DENI AKBAR(九州大学数理学府)
    Fuzzy Relational Database Model Using Fuzzy Relational Calculus
  5. 17:10-17:40 田中久治(佐賀大学)
    初等幾何学のCoqによる証明(Area Method on Coq)

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

 

 

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