| | 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 |
デザイン理論，グラフ理論，符号理論などの組合せ論の基礎研究や，関連する加法的整数論のディオファントス問題の基礎研究，さらにはそれらの実験計画法・数値積分公式論への応用研究に取り組んでいます。 |
| 准教授 |
メヒア ディエゴ (Diego A. Mejía) |
リンク |
|
damejiag【at】people.kobe-u.ac.jp |
公理的集合論、特に強制法理論と連続体上の組合せ論への応用について研究しています。 |
| 准教授 |
倉橋 太志 (Taishi Kurahashi) |
リンク |
リンク |
kurahashi【at】people.kobe-u.ac.jp |
形式的体系の証明可能性について、不完全性定理に関連する話題や、様相論理を用いた分析などの研究を行っています。 |
| | 個人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) |
|
231x502x【at】stu.kobe-u.ac.jp |
強制法, 基数不変量 |
| 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 研究生 |
Carballal Ferreira, Francisco Miguel |
|
|
強制法, 基数不変量 |
| 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 |
Quan Ziao |
|
|
|
| B |
小屋敷 卓真 |
|
|
|
| B |
Borba Boccazio Joao Lucas |
|
|
|
| B |
佐々木 那由多 |
|
|
|
