メンバー
教員
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
年度 | D | M | B |
---|---|---|---|
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名 |