研究者
J-GLOBAL ID：201101016509478775   更新日: 2025年11月28日

秋吉 亮太

アキヨシ リョウタ | Akiyoshi Ryota
所属機関・部署：
電気通信大学 大学院情報理工学研究科、情報理工学域 共通教育部

電気通信大学 大学院情報理工学研究科、情報理工学域 共通教育部 について


職名： 准教授
その他の所属（所属・部署名・職名） (2件)：
  • パリ第1大学  科学史哲学研究所   連携研究員 (Associate Member)
  • 慶應義塾大学  未来共生デザインセンター   共同研究員
ホームページURL (1件)： https://www.researchgate.net/profile/Ryota_Akiyoshi
研究分野 (3件)： 情報学基礎論 ,  数学基礎 ,  哲学、倫理学
研究キーワード (20件)： 証明支援系 ,  哲学的論理学 ,  論理学の哲学 ,  西田幾多郎 ,  京都学派 ,  自然言語処理 ,  ロボット倫理 ,  自己 ,  フッサール ,  論理学 ,  型理論 ,  計算機科学 ,  現象学 ,  数学の哲学 ,  科学哲学 ,  数理論理学 ,  分析哲学 ,  証明論 ,  数学基礎論 ,  哲学
競争的資金等の研究課題 (13件)：
  • 2024 - 2028 無限を巡る日本の数理哲学の再検討:竹内、末綱、西田を中心に
  • 2024 - 2028 論理と深層学習の統合的視点に基づくリーズニングの学際的研究
  • 2022 - 2026 コミュニティのスマート化がもたらすELSIと四次元共創モデルの実践的検討
  • 2022 - 2025 よりよいスマートWEを目指して:東アジア人文社会知から価値多層社会へ
  • 2019 - 2024 形式主義の哲学の新展開:竹内外史の論理哲学の解明を通じて
全件表示
論文 (29件)：
  • Ryota Akiyoshi. Torataro Shimomura Meets Gaisi Takeuti: Toward a Possible Lineage in Mathematical Philosophy. 哲學(三田哲学会), accepted. 2026. 157
  • 秋吉亮太. Schwichtenberg’s Style Analysis of Parameter-Free Fragments of Girard’s System F. Journal of Logic and Computation. 2025. 35. 4
  • Ryota Akiyoshi. A Note on Feferman and Takeuti II: Philosophical Perspectives on Inductive Definitions. 哲學(三田哲学会). 2025. 155. 1-16
  • Ai Kubota, Takuma Sato, Takayuki Amamoto, Ryota Akiyoshi, Koji Mineshima. Annotation of Japanese Discourse Relations Focusing on Concessive Inferences. LREC-COLING 2024 - The 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation. 2024
  • Ryota Akiyoshi. A Note on Feferman and Takeuti: Their Thoughts on Predicativity and Finitism. 哲學(三田哲学会). 2024. 153. 53-79
もっと見る
MISC (16件)：
  • Ryota Akiyoshi, Alberto Naibo. Towards proof-theoretic semantics for second-order logic. to be submitted, 55 pages. 2025
  • Rinta Yamada, Sakiko Yamasaki, Risako Ando, Takayuki Amamoto, Ryota Akiyoshi, Koji Mineshima. The Connective but in Informal Mathematical Proofs: A Corpus-Based Study. submitted. 2025
  • Ryota Akiyoshi, Andrew Arana. Intuition in philosophy of mathematics. to be submitted as a book chapter, 20 pages. 2025
  • Yasuo Deguchi, Takuro Onishi, Takashi Yagisawa, Ryota Akiyoshi, Shintaro Shirakawa, Maiko Yamamori. The logic of presence. to be submitted, approx. 30 pages. 2024
  • Ryota Akiyoshi, Genki Uemura. Husserl and Schroeder. to be submitted, 20 pages. 2023
もっと見る
書籍 (3件)：
  • 現代論理学事典
    朝倉書店 2025
  • ドイツ哲学・思想事典
    ミネルヴァ書房 2025
  • よくわかる哲学・思想
    ミネルヴァ書房 2019 ISBN:9784623084104
講演・口頭発表等 (83件)：
  • Annotation of Japanese Discourse Relations Focusing on Concessive Inferences
    (LREC-COLING 2024 - The 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation 2024)
  • Intuition in Kant, Fichte and Nishida
    (Workshop: “Self and Infinity II” 2024)
  • Takeuti on finite and infinite sets
    (Workshop: “Self and Infinity” 2023)
  • 逆接の推論関係に着目した日本語談話関係アノテーション
    (言語処理学会第 29 回年次大会 2023)
  • Towards Proof-Theoretic Semantics for Second-Order Logic
    (Mini-WS (L'Institut d'histoire et de philosophie des sciences et des techniques, Paris) 2023)
もっと見る
学歴 (5件)：
  • 2005 - 2010 慶應義塾大学 文学研究科後期博士課程 哲学・倫理学専攻
  • 2003 - 2005 慶應義塾大学 大学院文学研究科前期博士課程 哲学・倫理学専攻
  • 1999 - 2003 慶應義塾大学 文学部 人文社会学科哲学専攻
  • 1996 - 1999 慶應義塾志木高等学校
  • 1993 - 1996 慶應義塾中等部
学位 (1件)：
  • 博士(哲学) (慶應義塾大学)
経歴 (36件)：
  • 2025/05 - 現在 慶應義塾大学 未来共生デザインセンター 共同研究員
  • 2025/04 - 現在 電気通信大学 大学院情報理工学研究科、情報理工学域 共通教育部 准教授
  • 2022/04 - 2022/09 電気通信大学 情報理工学域 非常勤講師
  • 2018/09 - 現在 パリ第1大学科学史哲学研究所 (L'Institut d'Histoire et de Philosophie des Sciences et des Techniques) 連携研究員 (Associate Member)
  • 2025/02 - 2025/04 電気通信大学 情報理工学域 共通教育部 准教授
全件表示
委員歴 (1件)：
  • 2017/04 - 2023/03 科学基礎論学会 評議員
受賞 (3件)：
  • 2023/03 - 言語処理学会 「言語処理学会第29回年次大会」委員特別賞 逆接の推論関係に着目した日本語談話関係アノテーション
  • 2014/11 - 科学基礎論学会 2013年度科学基礎論学会奨励賞
  • 2009/10 - 科学基礎論学会 2008年度科学基礎論学会奨励賞
所属学会 (4件)：
三田哲学会 ,  日本科学哲学会 ,  科学基礎論学会 ,  Association for Symbolic Logic
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM