分野別セミナー

講演プログラム
13:30-14:00 坂下一生(九州大学・数理学府)
量子回路を簡約化する完備な変換規則について

14:00-14:30 田中久治(九州大学・数理学府)
初等幾何学定理の方程式化 -角に関する記述の方程式化と自動化が難しい幾何学記述の例-

14:30-15:00 河原 康雄（九州大学）
Kleene 関係と有限オートマトン

15:00-15:15 [休憩]

15:15-15:45 津曲 紀宏（鹿児島大学・理工学研究科、日本学術振興会特別研究員DC）
完備べき等左半環の確率的モデルについて

15:45-16:15 古澤 仁（鹿児島大学・理工学研究科）
完備べき等左半環の表現定理

16:15-16:30 [休憩]

16:30-17:00 藤尾光彦（九州工業大学・情報工学研究院）
局所遷移規則の代数構造についてⅡ ― 異なる台を持つ場合 ―

17:00-17:30 岩見智宏（福岡工業大学）
Special moduliの変形とそれに付随するグラフ