分野別セミナー
九大数理では大学内外から講演者・参加者を迎えて分野別セミナーが開催されています。
論理と計算セミナー
開催日
タイトル講師・場所
2022.7.15
論理と計算セミナー
Nuiok Dicaire (University of Edinburgh), Jean-Simon Pacaud Lemay (Kyoto University/RIMS)
伊都キャンパス ウェスト1号館C-503 小講義室 (ハイブリッド:Zoomオンライン)
2022.3.10
Brotherston's Conjecture: Equivalence of Inductive Definitions and Cyclic Proofs
龍田 真 (国立情報学研究所 教授)
九州大学 伊都キャンパス ウエスト1号館 C-512 中講義室 (ハイブリッド: Zoomオンライン)
2021.6.28
凸空間と錐空間への型式化の旅
Jacques Garrigue (名古屋大学大学院多元数理科学研究科 教授)
九州大学 伊都キャンパス ウエスト1号館 C-512 中講義室 (ハイブリッド: Zoomオンライン)
2019.11.15
第18回論理と計算セミナー
Daniel Gaina (九州大学), Walter Guttmann (JSPS International Research Fellow / University of Canterbury, New Zealand), 古澤 仁 (鹿児島大学), 河原 康雄 (九州大学 名誉教授)
九州大学 西新プラザ 多目的室 (〒814-0002 福岡市早良区西新2-16-23)
2019.9.2
第17回 論理と計算セミナー
粉川 竜治 (近大), 藤尾 光彦 (近大), 正代 隆義 (九州国際大)
福岡工業大学 FITセミナーハウス (大分県由布市湯布院町)
2018.9.3
第16回 論理と計算セミナー
溝口 佳寛 (九大IMI・数理・データサイエンス教育センター), 井口 修一 (福岡工業大学 情報工学部)
福岡工業大学 FITセミナーハウス (大分県由布市湯布院町)
2017.2.17
第15回 論理と計算セミナー
森 雅生 (東京工業大学), 中村 誠希 (東京工業大学), 西澤 弘毅 (神奈川大学), 河原 康雄 (九州大学), 田中 義人 (九州産業大学)
鹿児島大学理学部 2号館 5階 502
2015.11.12
第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)
九州大学マス・フォア・インダストリ研究所・百道オフィス (福岡市早良区百道浜3-8-34 九州大学産学官連携イノベーションプラザ 3階研究室2)
2015.7.4
第13回 論理と計算セミナー
河原 康雄(九州大学名誉教授), 森 雅生(東京工業大学), 正代 隆義(九州国際大学), 松嶋 聡昭(九州大学数理学研究院), 津曲 紀宏(崇城大学), 田中 義人(九州産業大学)
福岡工業大学 情報工学部 システムマネジメント学科 演習室3 B棟8階
2014.9.1
第１２回論理と計算セミナー
丸山 勲(福岡工大), 石田 俊一(九州産大), 田 中義人(九州産大), MOHAMMAD DENI AKBAR(九大数理)
福岡工業大学 情報工学部 システムマネジメント学科 演習室3 B棟8階
分野別セミナーカレンダー
年
月
分野別セミナーカレンダー
年
月
分野別セミナーカレンダー
年
月