電気通信大学 · 共通教育部 · 准教授

研究キーワード西田幾多郎・フッサール・ロボット倫理・京都学派・分析哲学・哲学・哲学的論理学・型理論・論理学の哲学・数学基礎論

ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。

• Torataro Shimomura Meets Gaisi Takeuti: Toward a Possible Lineage in Mathematical Philosophy Ryota Akiyoshi 哲學（三田哲学会), 157巻, 掲載ページ 1-22, 出版日 2026年03月, 査読付 英語2026 · 論文
• A note on uniqueness and the sameness of rules Ryota Akiyoshi; Alberto Naibo 出版日 2026年02月, in preparation, 15 pages2026 · MISC
• 数学的証明における but の機能：証明コーパスの構築と分析 山田鈴太; 山﨑紗紀子; 安東里沙子; 天本貴之; 秋吉亮太; 峯島宏次 言語処理学会第32回年次大会発表論文集, 出版日 2026年03月 日本語2026 · 論文
• Takeuti's Pluralism in Light of Gödel Ryota Akiyoshi 出版日 2026年03月, to be submitted, 20 pages2026 · MISC

• 無限を巡る日本の数理哲学の再検討：竹内、末綱、西田を中心に 秋吉亮太 日本学術振興会, 科学研究費助成事業 基盤研究（Ｃ）, 慶應義塾大学 研究期間 2024年04月 - 2028年03月2024 · 共同研究・競争的資金等の研究課題
• 論理と深層学習の統合的視点に基づくリーズニングの学際的研究 峯島宏次; 佐藤有理; 秋吉亮太 日本学術振興会, 科学研究費助成事業 基盤研究（Ｂ）, 慶應義塾大学 研究期間 2024年04月 - 2028年03月2024 · 共同研究・競争的資金等の研究課題
• よりよいスマートWEを目指して：東アジア人文社会知から価値多層社会へ 出口康夫 日本学術振興会, 課題設定による先導的人文学・社会科学研究推進事業（学術知共創プログラム）, 京都大学 研究期間 2022年06月 - 2025年03月2022 · 共同研究・競争的資金等の研究課題
• 「証明の哲学」の視点に立つ「論理と数学の哲学」の新展開 岡田 光弘; 秋吉 亮太; 金子 洋之; 峯島 宏次 日本学術振興会, 科学研究費助成事業, 慶應義塾大学, 基盤研究(B), 「証明の哲学」の構築に向けて証明と推論の研究を進めた。推論と証明・論証の関連分野を分野横断的に研究するところに本研究の独創性がある。次のような成果を得た。Wittgensteinを中心とした20世紀前半の、証明の哲学に対して現代的再評価を与えた。日常の自然言語による推論に新たな成果を得た。特にデフォルト推論の新たな意味論分析を与えた。図的推論や画像的論理表現の成果を得た。論理の基盤構造を捉える線形論理レベルの証明の有効性分析を行い、Truth-Maker Semantics、実時間システム分析などを含む哲学的・論理学的成果を挙げた。証明論的順序数の論理的・哲学的分析を与えた。, 17H02265 研究期間 2017年04月 - 2022年03月2017 · 共同研究・競争的資金等の研究課題

• 公式プロフィール
• ORCID