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	メールアドレス	期間
学振PD	山添隆志		リンク		2026/04～2027/03

過去に在籍した研究員

		researchmap	個人HP	メールアドレス	期間
JSPS Postdoctoral Fellowship	Francesco Parente		リンク	francesco.parente【at】people.kobe-u.ac.jp	2019/12～2021/01 2023/10～2025/09
JSPS Postdoctoral Fellowship	Fan Zhao				2022/11～2024/10
研究科研究員	岩田荘平 (Sohei Iwata)	リンク			2022/04～2023/03

		個人HP	メールアドレス	研究分野
D	高瀬理人 (Rihito Takase)
D	畑中直之 (Naoyuki Hatanaka)
D	丹野俊将 (Toshimasa Tanno)			※酒井拓史先生（東京大学）に指導委託中
D	林佑亮 (Yusuke Hayashi)			※酒井拓史先生（東京大学）に指導委託中
D	佐藤雄太 (Yuta Sato)	リンク	231x032x【at】@gsuite.kobe-u.ac.jp	非古典論理（主に様相論理），プログラミング言語理論
D	佐藤遼一 (Ryoichi Sato)
D	野呂秀貴 (Hidetaka Noro)
D	小暮晏佳 (Haruka Kogure)	リンク	kogure【at】stu.kobe-u.ac.jp	不完全性定理，証明可能性論理
D	上島晟宏 (Akihiro Ueshima)	リンク	A.ueshima.akihiro【at】gmail.com	不完全性定理，算術のモデル，数学の哲学
D	田丸智稀 (Tomoki Tamaru)
D	冨永浩平 (Kohei Tominaga)			計算複雑性，様相論理
D
M	榎本侑弥 (Yuya Enomoto)			計算可能性，計算複雑性
M	熊坂翼 (Tsubasa Kumasaka)			非古典論理，哲学的論理学
M	野口真柊 (Mashu Noguchi)	リンク	251x054x【at】gsuite.kobe-u.ac.jp	様相論理，定理証明支援系
M	益山英土 (Eito Masuyama)
M	南昂佑 (Kosuke Minami)
M	福本弦 (Gen Fukumoto)			計算論（特にラムダ計算） ※理学研究科数学専攻
M	伊賀大智 (Taichi Iga)
M	稲垣宗矩 (Munenori Inagaki)
M	小柴悠嗣 (Yuji Koshiba)			不完全性定理
M	笹倉史都 (Humito Sasakura)
M	渡邉樹 (Itsuki Watanabe)
M

学生数