分野別セミナー

プログラム:

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


リンク

　第13回論理と計算セミナー案内
　福岡工業大学 情報工学部