トップページ > 談話会・セミナー等 > 分野別セミナー

分野別セミナー

論理と計算セミナー

タイトル 講演者 開催日
Brotherston's Conjecture: Equivalence of Inductive Definitions and Cyclic Proofs 龍田 真 (国立情報学研究所 教授) 2022-03-10 11:00~2022-03-10 12:00
凸空間と錐空間への型式化の旅 Jacques Garrigue (名古屋大学大学院多元数理科学研究科 教授) 2021-06-28 17:00~2021-06-28 18:00
第18回論理と計算セミナー Daniel Gaina (九州大学), Walter Guttmann (JSPS International Research Fellow / University of Canterbury, New Zealand), 古澤 仁 (鹿児島大学), 河原 康雄 (九州大学 名誉教授) 2019-11-15 13:30~2019-11-15 18:00
第17回 論理と計算セミナー 粉川 竜治 (近大), 藤尾 光彦 (近大), 正代 隆義 (九州国際大) 2019-09-02 16:00~2019-09-02 18:00
第16回 論理と計算セミナー 溝口 佳寛 (九大IMI・数理・データサイエンス教育センター), 井口 修一 (福岡工業大学 情報工学部) 2018-09-03 16:30~2018-09-03 18:00
第15回 論理と計算セミナー 森 雅生 (東京工業大学), 中村 誠希 (東京工業大学), 西澤 弘毅 (神奈川大学), 河原 康雄 (九州大学), 田中 義人 (九州産業大学) 2017-02-17 14:00~2017-02-17 18:00
第14回論理と計算セミナー Peter Höfner (NICTA, Australia), Walter Guttmann (Univ. Canterbury, New Zealand), Yasuo Kawahara (Kyushu Univ., Japan), Toshiaki Matsushima (Kyushu Univ., Japan), Mitsuhiro Kondo, Takuya Matsuo (Kyushu Univ., Japan) 2015-11-12 13:00~2015-11-12 16:50
第13回 論理と計算セミナー 河原 康雄(九州大学名誉教授), 森 雅生(東京工業大学), 正代 隆義(九州国際大学), 松嶋 聡昭(九州大学数理学研究院), 津曲 紀宏(崇城大学), 田中 義人(九州産業大学) 2015-07-04 14:00~2015-07-04 18:00
第12回論理と計算セミナー 丸山 勲(福岡工大), 石田 俊一(九州産大), 田 中義人(九州産大), MOHAMMAD DENI AKBAR(九大数理) 2014-09-01 13:00~2014-09-01 17:00
第11回 論理と計算セミナー 石田 俊一 (九産大), 河原 康雄 (九大名誉教授), 平井 洋一 (産業技術総合研究所), 中正 和久 (信州大学 理工学研究科), 田中 久治 (佐賀大), Georg Struth (The University of Sheffield) 2013-10-26 13:00~2013-10-26 18:00