ロゴ

CS32

神戸大学 システム情報学部
神戸大学 工学部 情報知能工学科
神戸大学大学院 システム情報学研究科 情報数理研究室

メンバー

教員

researchmap個人HPメールアドレス研究紹介
教授 桔梗 宏孝 (Hirotaka Kikyo) リンク リンク kikyo【at】kobe-u.ac.jp ジェネリック構成法、構造の自己同型群を中心にモデル理論の研究を行っています。
教授 ブレンドレ ヤーグ (Jörg Brendle) リンク brendle【at】kobe-u.ac.jp 公理的集合論、特に強制法の理論とその実数の集合論との相互関係について研究を行っています。
教授 菊池 誠 (Makoto Kikuchi) リンク リンク mkikuchi【at】kobe-u.ac.jp 不完全性定理と算術の超準モデル、計算と推論など。
准教授 澤 正憲 (Masanori Sawa) リンク sawa【at】people.kobe-u.ac.jp Cubature 公式と呼ばれる数値積分公式の基礎とその組合せ論、統計学への応用について研究しています。
准教授 メヒア ディエゴ (Diego A. Mejía) リンク damejiag【at】people.kobe-u.ac.jp 公理的集合論、特に強制法理論と連続体上の組合せ論への応用について研究しています。
准教授 倉橋 太志 (Taishi Kurahashi) リンク リンク kurahashi【at】people.kobe-u.ac.jp 形式的体系の証明可能性について、不完全性定理に関連する話題や、様相論理を用いた分析などの研究を行っています。

過去に在籍した教員
researchmap個人HP期間
酒井 拓史 (Hiroshi Sakai) リンク リンク 2008/10~2024/03
岩田 荘平 (Sohei Iwata) リンク 2020/03~2022/03
渕野 昌 (Sakaé Fuchino) リンク リンク 2009/10~2020/03
垣内 逸郎 (Itsurou Kakiuchi) リンク ~2013/03
新井 敏康 (Toshiyasu Arai) リンク 2001/08~2009/09
角田 譲 (Yuzuru Kakuda) ~2009/03
林 晋 (Susumu Hayashi) リンク 1995~2005
Philip Welch 1997~2000

研究員

researchmap個人HPメールアドレス期間
JSPS Postdoctoral Fellowship Francesco Parente リンク francesco.parente【at】people.kobe-u.ac.jp 2019/12~2021/01
2023/10~2025/09

過去に在籍した研究員
researchmap個人HPメールアドレス期間
JSPS Postdoctoral Fellowship Fan Zhao 2022/11~2024/10
研究科研究員 岩田 荘平 (Sohei Iwata) リンク 2022/04~2023/03

学生
年度DMB
2025 8名 9名
理2名
4名
理1名
2024 6名 5名
研究生1名
理1名
3名
理1名
2023 7名 3名
研究生1名
4名
理1名
2022 4名 5名
理1名
3名
2021 1名 4名
理1名
3名
2020 5名 4名