経歴
| 2026 年 4 月 | 神戸大学大学院システム情報学研究科博士課程後期課程 入学 |
|---|---|
| 2026 年 3 月 | 神戸大学大学院システム情報学研究科博士課程前期課程 修了 |
| 2024 年 4 月 | 神戸大学大学院システム情報学研究科博士課程前期課程 入学 |
| 2024 年 3 月 | 神戸大学工学部情報知能工学科 卒業 |
| 2020 年 4 月 | 神戸大学工学部情報知能工学科 入学 |
論文
- Taishi Kurahashi and Kohei Tominaga, Journal of Logic and Computation，vol.35, no.5, exaf001, 2025., doi: 10.1093/logcom/exaf001,
口頭発表 (下線は登壇者)
Complexity of the pure logic of necessitation
冨永 浩平 , 計算・言語・論理の研究集会 2026 御宿，千葉工業大学御宿研修センター, 2026 年 7 月
様相論理 N の計算複雑性
冨永 浩平 , 第 60 回 MLG 数理論理学研究集会，神戸大学, 2025 年 12 月
Smullyan's truth and provability
Taishi Kurahashi, Kohei Tominaga, , 18th Asian Logic Conference, Kyoto Sangyo University, September 2025
スマリヤンの truth and provability について
倉橋 太志, 冨永 浩平, 日本数学会 2025 年度会，早稲田大学, 2025 年 3 月
スマリヤンの truth and provability について
倉橋 太志, 冨永 浩平, , 第 59 回 MLG 数理論理学研究集会, 東北大学, 2025 年 2 月