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

セミナー



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

論理と計算セミナー


http://sakura.imi.kyushu-u.ac.jp/

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