研究者
J-GLOBAL ID：201101016509478775
更新日: 2024年11月11日
秋吉 亮太
アキヨシ リョウタ | Akiyoshi Ryota
所属機関・部署：
職名：
特任助教
その他の所属（所属・部署名・職名） (2件)：
-
株式会社AaaS Bridge
シニアリサーチフェロー
-
パリ第1大学
科学史哲学研究所
連携研究員 (Associate Member)
ホームページURL (1件)：
https://www.researchgate.net/profile/Ryota_Akiyoshi
研究分野 (3件)：
情報学基礎論
, 数学基礎
, 哲学、倫理学
研究キーワード (17件)：
西田幾多郎
, 京都学派
, 自然言語処理
, ロボット倫理
, 自己
, フッサール
, 論理学
, 型理論
, 計算機科学
, 現象学
, 数学の哲学
, 科学哲学
, 数理論理学
, 分析哲学
, 証明論
, 数学基礎論
, 哲学
競争的資金等の研究課題 (13件)：
- 2024 - 2028 無限を巡る日本の数理哲学の再検討:竹内、末綱、西田を中心に
- 2024 - 2028 論理と深層学習の統合的視点に基づくリーズニングの学際的研究
- 2022 - 2028 よりよいスマートWEを目指して:東アジア人文社会知から価値多層社会へ
- 2022 - 2026 コミュニティのスマート化がもたらすELSIと四次元共創モデルの実践的検討
- 2019 - 2024 形式主義の哲学の新展開:竹内外史の論理哲学の解明を通じて
- 2017 - 2022 「証明の哲学」の視点に立つ「論理と数学の哲学」の新展開
- 2016 - 2020 ブラウワー直観主義の証明論的手法による再検討
- 2016 - 2019 フレーゲ論理学の証明論的および意味論的研究
- 2012 - 2015 「形式主義の証明論的手法による再検討」
- 2012 - 2013 ゲーデルの不完全性定理以降の形式主義の再検討
- 2010 - 2012 「形式主義と直観主義の証明論的手法による比較再検討」
- 2008 - 2009 「証明論的手法による二階論理の論理哲学的研究」
- 2007 - 2008 「タイプ理論の証明論的分析」
全件表示
論文 (27件)：
-
Ryota Akiyoshi. A Note on Feferman and Takeuti II: Philosophical Perspectives on Inductive Definitions. to appear. 2025
-
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
-
窪田愛, 佐藤拓真, 天本貴之, 秋吉亮太, 峯島宏次. 逆接の推論関係に着目した日本語談話関係アノテーション. 言語処理学会第 29 回年次大会発表論文集. 2023. 375-380
-
Ryota Akiyoshi. Foundations of Mathematics a la Kyoto School: from Nishida to Takeuti via Suetsuna. 哲學(三田哲学会). 2023. 151. 1-36
もっと見る
MISC (16件)：
-
Ryota Akiyoshi, Alberto Naibo. Towards proof-theoretic semantics for second-order logic. to be submitted, 55 pages. 2024
-
Ryota Akiyoshi, Andrew Arana. Intuition in philosophy of mathematics. to be submitted as a book chapter, 20 pages. 2024
-
秋吉亮太. Schwichtenberg’s Style Analysis of Parameter-Free Fragments of Girard’s System F. to be submitted, 16 pages. 2024
-
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
-
ドイツ哲学・思想事典
ミネルヴァ書房 2024
-
よくわかる哲学・思想
ミネルヴァ書房 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件)：
経歴 (33件)：
- 2024/04 - 現在 早稲田大学 商学部 非常勤講師
- 2022/10 - 現在 慶應義塾大学 KGRI 特任助教
- 2022/04 - 2022/09 電気通信大学 情報理工学域 非常勤講師
- 2020/04 - 現在 明治大学 文学部 非常勤講師
- 2018/09 - 現在 早稲田大学 理工学術院 非常勤講師
- 2018/09 - 現在 パリ第1大学科学史哲学研究所 (L'Institut d'Histoire et de Philosophie des Sciences et des Techniques) 連携研究員 (Associate Member)
- 2024/10 - 2025/03 東京大学 教養学部 非常勤講師
- 2022/04 - 2025/01 株式会社AaaS Bridge シニアリサーチフェロー
- 2024/04 - 2024/09 電気通信大学 情報理工学域 非常勤講師
- 2023/10 - 2024/03 東京大学 教養学部 非常勤講師
- 2021/10 - 2024/03 京都大学 大学院文学研究科 研究員
- 2018/04 - 2024/03 早稲田大学 高等研究所 招聘研究員
- 2023/04 - 2023/09 電気通信大学 情報理工学域 非常勤講師
- 2023/03 - 2023/03 パリ第1大学科学史哲学研究所 (L'Institut d'Histoire et de Philosophie des Sciences et des Techniques) 招聘研究員 (Chercheur invité)
- 2022/10 - 2023/03 慶應義塾大学 文学部 非常勤講師
- 2022/10 - 2023/03 東京大学 教養学部 非常勤講師
- 2021/09 - 2022/03 東京大学 教養学部 非常勤講師
- 2010/04 - 2022/03 慶應義塾大学 文学部 非常勤講師
- 2021/04 - 2021/09 電気通信大学 情報理工学域 非常勤講師
- 2020/09 - 2021/03 東京大学 教養学部 非常勤講師
- 2018/09 - 2021/03 早稲田大学 文学学術院 非常勤講師
- 2020/02 - 2020/03 パリ第1大学科学史哲学研究所 (L'Institut d'Histoire et de Philosophie des Sciences et des Techniques) 招聘研究員 (Chercheur invité)
- 2019/08 - 2019/09 パリ第1大学科学史哲学研究所 (L'Institut d'Histoire et de Philosophie des Sciences et des Techniques) 招聘研究員 (Chercheur invité)
- 2019/02 - 2019/03 パリ第1大学科学史哲学研究所 (L'Institut d'Histoire et de Philosophie des Sciences et des Techniques) 招聘研究員 (Chercheur invité)
- 2018/04 - 2018/05 日本大学 生産工学部 非常勤講師
- 2017/04 - 2018/03 早稲田大学 高等研究所 准教授(任期付)
- 2017/04 - 2017/06 千葉大学 理学部 非常勤講師
- 2015/04 - 2017/03 早稲田大学 高等研究所 助教
- 2014/04 - 2016/03 慶應義塾大学 理工学部 非常勤講師
- 2012/04 - 2015/03 日本学術振興会 京都大学 特別研究員(PD)
- 2013/04 - 2014/03 首都大学東京 都市教養学部 非常勤講師
- 2010/04 - 2012/03 慶應義塾大学 文学研究科(グローバルCOE「論理と感性の先端的教育研究拠点」) 特任助教
- 2009/04 - 2010/03 慶應義塾大学 先導研究センター 非常勤研究員
全件表示
委員歴 (1件)：
- 2017/04 - 2023/03 科学基礎論学会 評議員
受賞 (3件)：
- 2023/03 - 言語処理学会 「言語処理学会第29回年次大会」委員特別賞
- 2014/11 - 科学基礎論学会 2013年度科学基礎論学会奨励賞
- 2009/10 - 科学基礎論学会 2008年度科学基礎論学会奨励賞
所属学会 (3件)：
Association for Symbolic Logic
, 日本科学哲学会
, 科学基礎論学会
