プロフィール

• 名前：倉橋　太志（くらはし　たいし）
• 所属：神戸大学 大学院システム情報学研究科 情報科学専攻
• 職名：准教授
• 専門：数学基礎論・数理論理学
• 学位：博士（学術）（神戸大学）
• 所属学会：日本数学会、Association for Symbolic Logic、科学基礎論学会
• エルデシュ数：3

researchmap

ResearchGate

• 学術研究助成基金助成金　若手研究「不完全性定理を通じた形式的証明可能性の研究」
  課題番号：19K14586
  研究期間：2019年度 - 2022年度
  
  
• 学術研究助成基金助成金　若手研究（B）「超準モデルと理論における証明構造の分析」
  課題番号：16K17653
  研究期間：2016年度 - 2018年度
  
  
• 科学研究費補助金　研究活動スタート支援「可証性述語の解析に基づく形式的証明可能性の研究」
  課題番号：26887045
  研究期間：2014年度（途中）- 2015年度
  
  
• 科学研究費補助金　特別研究員奨励費「形式的算術の証明可能性について」
  課題番号：12J00654
  研究期間：2012年度 - 2013年度

2019年度

木更津高専：（前期）基礎数学I，微分積分IA，統計学，一般特別研究

（後期）基礎数学II，微分積分IB，線形代数II，一般特別研究

千葉大学：　　（前期）地球科学基礎数学

2018年度

木更津高専：（前期）基礎数学I，解析II，解析III，応用数学C，一般特別研究

（後期）基礎数学II，解析II，数学演習A，一般特別研究

千葉大学：　　（前期）地球科学基礎数学

2017年度

木更津高専：（前期）基礎数学I，解析II，一般特別研究

（後期）基礎数学II，基礎数学III，解析II，一般特別研究

千葉大学：　　（前期）地球科学基礎数学

2016年度

木更津高専：（前期）基礎数学I，解析IA，代数幾何，応用数学A，一般特別研究

（後期）基礎数学II，解析IB，代数幾何，一般特別研究

千葉大学：　　（前期）地球科学基礎数学

2015年度

木更津高専：（前期）基礎数学I，解析IA，応用数学A，一般特別研究

（後期）基礎数学II，解析IB，応用数学B，数学演習A，一般特別研究

千葉大学：　　（前期）地球科学基礎数学

2014年度

木更津高専：（前期）基礎数学I，代数幾何，解析II

（後期）基礎数学II，代数幾何，解析II，数学演習A

2013年度

神戸大学：　（後期）線形代数学入門

学級担任（2015～2016年度，2019年度）

寮務主事補（2017～2018年度）

軽音楽部顧問（2014年度～）

テーブルゲーム研究同好会顧問（2015年度～）