AKIYOSHI Ryota 秋吉亮太

… Alternative Names

Akiyoshi Ryota 秋吉亮太

Less

Researcher Number	20587852
Other IDs
Affiliation (Current)	2025: 電気通信大学, 情報理工学域, 准教授
Affiliation (based on the past Project Information) *help	2024: 慶應義塾大学, グローバルリサーチインスティテュート(三田), 特任助教 2018 – 2023: 早稲田大学, 高等研究所, その他(招聘研究員) 2017: 早稲田大学, 高等研究所, 准教授(任期付) 2016: 早稲田大学, 高等研究所, 助教 2010 – 2012: 慶應義塾大学, 文学研究科, 助教
Review Section/Research Field	Principal Investigator Philosophy/Ethics / Basic Section 01010:Philosophy and ethics-related Except Principal Investigator Philosophy/Ethics / Sections That Are Subject to Joint Review: Basic Section01010:Philosophy and ethics-related , Basic Section01080:Sociology of science, history of science and technology-related / Basic Section 01080:Sociology of science, history of science and technology-related / Basic Section 01010:Philosophy and ethics-related
Keywords	Principal Investigator 論理学 / 哲学 / 西田幾多郎 / 京都学派 / 形式主義 / 証明論的意味論 / フッサール / 証明論 / 数学の哲学 / 数学基礎論 … More / 無限 / 数理哲学 / 志向性 / デジタルツイン / 自己 / 数学・論理学の哲学 / 直観主義 / ラムダ計算 / 理論計算機科学 / ヒルベルト / ブラウワー / 論理学の哲学 / 倫理学 … More Except Principal Investigator 証明論 / リーズニング / 深層学習 / 人工知能 / 自然言語推論 / 論理 / 論理学の哲学 / 哲学 / 論理哲学史 / 図的推論 / 意思決定 / 図形推論 / ウィトゲンシュタインの哲学 / 図的論理 / 論理推論 / 図的表現と図的推論・判断 / 証明論的・型論的意味論 / ウィトゲンシュタイン / 多属性意思決定 / Wittgenstein / 推論研究 / 証明の哲学 / 論証 / 証明 / 数学の哲学 / 論理哲学 / 論理の哲学 / 論理学 / 証明支援系 / 型理論 / 数理論理学 / フレーゲ / 概念記法 / 無矛盾性 / フレーゲ論理学 Less

Interdisciplinary research on reasoning based on a unified perspective of logic and deep learning
- Principal Investigator
  
  峯島宏次
- Project Period (FY)
  2024 – 2027
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 01010:Philosophy and ethics-related
  Basic Section 01080:Sociology of science, history of science and technology-related
  Sections That Are Subject to Joint Review: Basic Section01010:Philosophy and ethics-related , Basic Section01080:Sociology of science, history of science and technology-related
- Research Institution
  Keio University
Reexamination of Japanese Mathematical Philosophy on Infinity: Focusing on Takeuti, Suetsuna, and NishidaPrincipal Investigator
- Principal Investigator
  
  秋吉亮太
- Project Period (FY)
  2024 – 2027
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 01010:Philosophy and ethics-related
- Research Institution
  Keio University
New Developments in the Philosophy of Formalism: Through the Elucidation of Gaisi Takeuti's Logical PhilosophyPrincipal Investigator
- Principal Investigator
  
  Akiyoshi Ryota
- Project Period (FY)
  2019 – 2023
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 01010:Philosophy and ethics-related
- Research Institution
  Waseda University
"Philosophy of Proofs" - Towards New Developments of Philosophy of Logic and Mathematics
- Principal Investigator
  
  Okada Mitsuhiro
- Project Period (FY)
  2017 – 2021
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Philosophy/Ethics
- Research Institution
  Keio University
Proof theoretic and semantical study of Fregean Logic
- Principal Investigator
  
  Sato Masahiko
- Project Period (FY)
  2016 – 2018
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Philosophy/Ethics
- Research Institution
  Kyoto University
Reexamination of Brouwer's intuitionism by proof-theoretic methodsPrincipal Investigator
- Principal Investigator
  
  Akiyoshi Ryota
- Project Period (FY)
  2016 – 2019
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Philosophy/Ethics
- Research Institution
  Waseda University
ゲーデルの不完全性定理以降の形式主義の再検討Principal Investigator
- Principal Investigator
  
  秋吉亮太
- Project Period (FY)
  2012
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Philosophy/Ethics
- Research Institution
  Keio University
Reconsideration of the relationship between formalism and intuitionism via proof-theoretical methodPrincipal Investigator
- Principal Investigator
  
  AKIYOSHI Ryota
- Project Period (FY)
  2010 – 2011
- Research Category
  
  Grant-in-Aid for Research Activity Start-up
- Research Field
  
  Philosophy/Ethics
- Research Institution
  Keio University

All 2024 2023 2022 2021 2020 2019 2018 2017 2016 2012 2011 2010 Other

All Journal Article Presentation Book

[Book] よくわかる哲学・思想 522019
- Author(s)
  秋吉亮太 (納富信留, 檜垣立哉, 柏端達也編)
- Total Pages
  232
- Publisher
  ミネルヴァ書房
- ISBN
  9784623084104
- Data Source
  KAKENHI-PROJECT-17H02265
[Book] よくわかる哲学・思想2018
- Author(s)
  秋吉亮太（納富信留，檜垣立哉，柏端達也編）
- Publisher
  ミネルヴァ書房
- Data Source
  KAKENHI-PROJECT-16K13150
[Book] Philosophical Logic: Current Trends in Asia2017
- Author(s)
  Ryota Akiyoshi and Yuta Takahashi
- Total Pages
  296
- Publisher
  Springer Singapore
- ISBN
  9789811063541
- Data Source
  KAKENHI-PROJECT-16K16690
[Journal Article] A Note on Feferman and Takeuti: Their Thoughts on Predicativity and Finitism2024
- Author(s)
  Ryota Akiyoshi
- Journal Title
  
  哲學（三田哲学会)
  
  Volume: 153 Pages: 1-27
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19K00022
[Journal Article] Foundations of Mathematics a la Kyoto School: from Nishida to Takeuti via Suetsuna2023
- Author(s)
  Ryota Akiyoshi
- Journal Title
  
  哲學（三田哲学会)
  
  Volume: 151
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19K00022
[Journal Article] Logic of Alternative-I2022
- Author(s)
  Yasuo Deguchi, Takuro Onishi, Ryota Akiyoshi, Takashi Yagisawa, Maiko Yamamori
- Journal Title
  
  Asian Journal of Philosophy
  
  Volume: 1 Issue: 2 Pages: 1-16
- DOI
  10.1007/s44204-022-00050-2
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K00022, KAKENHI-PROJECT-22K00011, KAKENHI-PROJECT-23K22031
[Journal Article] 竹内の整礎性証明再訪2021
- Author(s)
  Ryota Akiyoshi and Andrew Arana
- Journal Title
  
  哲學（三田哲学会)
  
  Volume: 146
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K00022
[Journal Article] On Gaisi Takeuti's Philosophy of Mathematics (abstract)2020
- Author(s)
  Ryota Akiyoshi and Andrew Arana
- Journal Title
  
  The Bulletin of Symbolic Logic
  
  Volume: -
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K00022
[Journal Article] Proofs as Programs" Revisited” (abstract)2019
- Author(s)
  Ryota Akiyoshi
- Journal Title
  
  The Bulletin of Symbolic Logic
  
  Volume: 25
- Data Source
  KAKENHI-PROJECT-19K00022
[Journal Article] Takeuti’s proof-theory in the context of the Kyoto school2019
- Author(s)
  Ryota Akiyoshi and Andrew Arana
- Journal Title
  
  哲学論叢
  
  Volume: 46
- NAID
  120006731562
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K00022
[Journal Article] Takeuti’s proof-theory in the context of the Kyoto school2019
- Author(s)
  Ryota Akiyoshi and Andrew Arana
- Journal Title
  
  哲学論叢
  
  Volume: 46 Pages: 1-17
- NAID
  120006731562
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H02265
[Journal Article] "Proofs as Programs" Revisited2019
- Author(s)
  Ryota Akiyoshi
- Journal Title
  
  The Bulletin of Symbolic Logic
  
  Volume: 印刷中
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K16690
[Journal Article] “A formalization of Brouwer's Argument for Bar Induction"2018
- Author(s)
  Ryota Akiyoshi
- Journal Title
  
  WoLLIC 2018 25th Workshop on Logic, Language, Information and Computation
  
  Volume: WoLLIC Pages: 1-20
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17H02265
[Journal Article] A Formalization of Brouwer’s Argument for Bar Induction2018
- Author(s)
  Ryota Akiyoshi
- Journal Title
  
  WoLLIC 2018 25th Workshop on Logic, Language, Information and Computation, Lecture Notes in Computer Science
  
  Volume: 10944 Pages: 77-90
- DOI
  10.1007/978-3-662-57669-4_4
- ISBN
  9783662576687, 9783662576694
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H02265, KAKENHI-PROJECT-16K16690
[Journal Article] “An Ordinal-Free Proof of the Complete Cut-Elimination Theorem for Π11-CA + BI with ω-rule”2017
- Author(s)
  Ryota Akiyoshi
- Journal Title
  
  Journal of Logics and their Applications
  
  Volume: Volume 4 Pages: 867-884
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17H02265
[Journal Article] An Ordinal-Free Proof of the Complete Cut-Elimination Theorem for Π11-CA + BI with the ω-rule2017
- Author(s)
  Ryota Akiyoshi
- Journal Title
  
  The Mints' memorial issue of the IfCoLog Journal of Logics and their Applications
  
  Volume: 4(4)
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-16K16690
[Journal Article] An Extension of the Omega-Rule2016
- Author(s)
  Ryota Akiyoshi and Grigori Mints
- Journal Title
  
  Archive for Mathematical Logic
  
  Volume: 55 Issue: 3-4 Pages: 593-603
- DOI
  10.1007/s00153-016-0482-y
- Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K16690
[Journal Article] A uniform idea behind Gentzen’s three consistency proofs (abstract)2016
- Author(s)
  Ryota Akiyoshi and Yuta Takahashi
- Journal Title
  
  Bulletin of Symbolic Logic
  
  Volume: 22 Pages: 382-382
- Data Source
  KAKENHI-PROJECT-16K16690
[Journal Article] Strong Normalization for the Parameter-Free Polymorphic Lambda Calculus Based on the Omega-Rule2016
- Author(s)
  Ryota Akiyoshi and Kazushige Terui
- Journal Title
  
  Proceedings of FSCD'16
  
  Volume: --
- DOI
  10.4230/LIPIcs.FSCD.2016.5
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-25330013, KAKENHI-PROJECT-16K16690
[Journal Article] 非可述性の分析としての証明論2012
- Author(s)
  秋吉亮太
- Journal Title
  
  科学基礎論研究
  
  Volume: 第39巻 Pages: 43-57
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22820054
[Journal Article] Analysis and Extension of Omega-Rule2011
- Author(s)
  Ryota Akiyoshi, Grigori Mints
- Journal Title
  
  arXiv(オンラインジャーナル)
- Data Source
  KAKENHI-PROJECT-22820054
[Journal Article] An Extension of the Iterated Omega-Rule2011
- Author(s)
  Ryota Akiyoshi
- Journal Title
  
  CARLS Series of Advance Study of Logic and Sensibility
  
  Volume: 5 Pages: 221-230
- Data Source
  KAKENHI-PROJECT-22820054
[Journal Article] Analysis and Extension of Omega-Rule2011
- Author(s)
  Ryota Akiyoshi and Grigori Mints
- Journal Title
  
  arXiv
- URL
  http://arxiv.org/abs/0904.4742
- Data Source
  KAKENHI-PROJECT-22820054
[Journal Article] An Ordinal-Free Proof of the Cut-elimination Theorem for Pi^1_1-CA withω-rule2011
- Author(s)
  Ryota Akiyoshi and Grigori Mints
- Journal Title
  
  The Bulletin of Symbolic Logic
  
  Volume: Volume16 Pages: 293-293
- Data Source
  KAKENHI-PROJECT-22820054
[Journal Article] An Extension of the Iterated Omega-Rule2011
- Author(s)
  Ryota Akiyoshi
- Journal Title
  
  CARLS Series of Advanced Study of Logic and Sensibility
  
  Volume: Vol.5 Pages: 221-230
- Data Source
  KAKENHI-PROJECT-22820054
[Journal Article] An Ordinal-Free Proof of the Cutelimination Theorem for II^1_1-CA withω-rule2010
- Author(s)
  Ryota Akiyoshi, Grigori Mints
- Journal Title
  
  Bulletin Symbolic Logic
  
  Volume: 16 Pages: 293-293
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22820054
[Journal Article] Gentzen's First Consistency Proof Revisited2010
- Author(s)
  Ryota Akiyoshi
- Journal Title
  
  CARLS Series of Advanced Study of Logic and Sensibility
  
  Volume: Vol.4 Pages: 315-324
- Data Source
  KAKENHI-PROJECT-22820054
[Journal Article] Complete Cut-Elimination Theorem forΩ-Rule
- Author(s)
  Ryota Akiyoshi and Grigori Mints
- Journal Title
  
  The Bulletin of Symbolic Logic
- Data Source
  KAKENHI-PROJECT-22820054
[Presentation] Towards Proof-Theoretic Semantics for Second-Order Logic2023
- Author(s)
  Ryota Akiyoshi
- Organizer
  Mini-WS (L'Institut d'histoire et de philosophie des sciences et des techniques, Paris)
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K00022
[Presentation] Takeuti on finite and infinite sets2023
- Author(s)
  Ryota Akiyoshi, Andrew Arana
- Organizer
  Workshop: “Self and Infinity” (Husserl Archive)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K00022
[Presentation] Takeuti’s finitism in the context of the Kyoto school2020
- Author(s)
  Ryota Akiyoshi
- Organizer
  Munich Center for Mathematical Philosophy
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K00022
[Presentation] Takeuti’s argument of the well-foundedness of ordinals up to the epsilon_02020
- Author(s)
  Ryota Akiyoshi
- Organizer
  Munich Center for Mathematical Philosophy
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K00022
[Presentation] Takeuti’s finitism in the context of the Kyoto school2020
- Author(s)
  Ryota Akiyoshi
- Organizer
  Axiomes et definitions (Paris, IHPST)
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K00022
[Presentation] Takeuti’s Finitism Revisited2020
- Author(s)
  Ryota Akiyoshi
- Organizer
  Mathematical and logical understanding and formalization ―Workshop in honor of Pr. Mitsuhiro Okada― (Paris, IHPST)
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K00022
[Presentation] Takeuti's Finitism Revisited2019
- Author(s)
  Ryota Akiyoshi
- Organizer
  Theory Seminar (Swansea University, Department of Computer Science)
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K16690
[Presentation] On Gaisi Takeuti's philosophy of mathematics2019
- Author(s)
  Ryota Akiyoshi
- Organizer
  Logic Colloquium 2019 (Prague, The Czech Republic)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K00022
[Presentation] On Takeuti’s Finitism2019
- Author(s)
  Ryota Akiyoshi
- Organizer
  Atelier : perspectives philosophiques sur des theories formelles (Institut d'histoire et de philosophie des sciences et des techniques, Paris)
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H02265
[Presentation] Takeuti''s Finitism Revisited2019
- Author(s)
  Ryota Akiyoshi
- Organizer
  Theory Seminar (Swansea University, Department of Computer Science)
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K13150
[Presentation] On Gaisi Takeuti's philosophy of mathematics2019
- Author(s)
  Ryota Akiyoshi
- Organizer
  Oberseminar Mathematische Logik (LMU Muenchen, Mathematisces Institut)
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K00022
[Presentation] Takeuti’s finitism in the context of the Kyoto school2019
- Author(s)
  Ryota Akiyoshi
- Organizer
  Munich Center for mathematical Philosophy
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H02265
[Presentation] On Takeuti's Finitism2019
- Author(s)
  Ryota Akiyoshi
- Organizer
  Atelier : perspectives philosophiques sur des theories formelles (Institut d'histoire et de philosophie des sciences et des techniques)
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K16690
[Presentation] Takeuti’s argument of the well-foundedness of ordinals up epsilon_02019
- Author(s)
  Ryota Akiyoshi
- Organizer
  Munich Center for mathematical Philosophy
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H02265
[Presentation] Disagreement on Brouwer's Argument for Bar Induction2019
- Author(s)
  Ryota Akiyoshi
- Organizer
  Workshop on Philosophy of Logic "Around Norm, Rule and Disagreement" (Keio University)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K16690
[Presentation] "Proofs as Programs" Revisited2018
- Author(s)
  Ryota Akiyoshi
- Organizer
  French-Japanese Workshop"Philosophy of Logic and Mathematics" with special focuses on "Philosophy of Proofs" and the Study of Euclid's Elements (Keio University)
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K16690
[Presentation] Gentle Introduction to the Omega-Rule: Part II2018
- Author(s)
  Ryota Akiyoshi
- Organizer
  Atelier autour de la theorie de la demonstration (Institut d'histoire et de philosophie des sciences et des techniques, Universite Paris)
- Data Source
  KAKENHI-PROJECT-16K13150
[Presentation] 形式主義の新展開に向けてー竹内外史を手がかりにー2018
- Author(s)
  秋吉亮太
- Organizer
  第148回CAPEレクチャー(京都大学)
- Invited
- Data Source
  KAKENHI-PROJECT-16K16690
[Presentation] ゲンツェンとシュッテのカット消去法2018
- Author(s)
  秋吉亮太
- Organizer
  数学基礎論サマースクール
- Invited
- Data Source
  KAKENHI-PROJECT-16K16690
[Presentation] "Proofs as Programs" Revisited2018
- Author(s)
  Ryota Akiyoshi
- Organizer
  Oberseminar Mathematische Logik, (LMU Munic, Mathematisces Institut)
- Data Source
  KAKENHI-PROJECT-16K13150
[Presentation] “Proofs as Programs” Revisited2018
- Author(s)
  Ryota Akiyoshi
- Organizer
  French-Japanese Workshop on Philosophy of Logic and Mathematics
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H02265
[Presentation] "Proofs as Programs" Revisited2018
- Author(s)
  Ryota Akiyoshi
- Organizer
  Logic Colloquium 2018 (Udine, Italy)
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K16690
[Presentation] Opening Remarks2017
- Author(s)
  Ryota Akiyoshi
- Organizer
  Workshop “Philosophy of logic and Mathematics - Towards Philosophy of Proofs"
- Place of Presentation
  Keio University (Tokyo, Japan)
- Year and Date
  2017-01-12
- Invited
- Data Source
  KAKENHI-PROJECT-16K16690
[Presentation] On Brouwer’s argument of bar induction2017
- Author(s)
  Ryota Akiyoshi
- Organizer
  Workshop “Philosophy of logic and Mathematics - Towards Philosophy of Proofs"
- Place of Presentation
  Keio University (Tokyo, Japan)
- Year and Date
  2017-01-13
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K16690
[Presentation] Brouwer's Argument of Bar Induction Revisited2017
- Author(s)
  Ryota Akiyoshi
- Organizer
  Colloquium in Mathematical Philosophy
- Place of Presentation
  Munich Center for Mathematical Philosophy (Munchen, Germany)
- Year and Date
  2017-02-23
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K16690
[Presentation] Gentle Introduction to the Omega-Rule: Part II2017
- Author(s)
  Ryota Akiyoshi
- Organizer
  Atelier autour de la theorie de la dmonstration (IHPST, Paris)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K16690
[Presentation] A Formalization of Brouwer's Argument for Bar Induction2017
- Author(s)
  Ryota Akiyoshi
- Organizer
  Workshop “Logic and Philosophy of Mathematics” (Keio University)
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K16690
[Presentation] Gentle Introduction to the Omega-Rule: Part I2017
- Author(s)
  Ryota Akiyoshi
- Organizer
  Conference de Ryota Akiyoshi
- Place of Presentation
  Insitut d'histoire et de philosophie des sciendes et des techniques, Universite Paris
- Year and Date
  2017-03-09
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K13150
[Presentation] Contentual and Formal Aspect of Gentzen's Consistency Proofs2016
- Author(s)
  Ryota Akiyoshi and Yuta Takahashi
- Organizer
  The joint Conference of The 3rd Asian Workshop on Philosophical Logic (AWPL-2016) & The 3rd Taiwan Philosophical Logic Colloquium (TPLC-2016)
- Place of Presentation
  National Taiwan University (Taipei, Taiwan)
- Year and Date
  2016-10-05
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K16690
[Presentation] Strong normalization for the parameter-free polymorphic lambda calculus based on the Omega-rule2016
- Author(s)
  Ryota Akiyoshi and Kazushige Terui
- Organizer
  First International Conference on Formal Structures for Computation and Deduction (FSCD)
- Place of Presentation
  University of Porto (Porto, Portugal)
- Year and Date
  2016-06-22
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K16690
[Presentation] Complete Cut-Elimination Theorem for Ω-Rule2011
- Author(s)
  R.Akiyoshi, G.Mints
- Organizer
  Logic Colloquium 2011
- Place of Presentation
  University of Barcelona
- Year and Date
  2011-07-11
- Data Source
  KAKENHI-PROJECT-22820054
[Presentation] Complete Cut-Elimination Theorem forΩ-Rule2011
- Author(s)
  Ryota Akiyoshi and Grigori Mints
- Organizer
  Logic Colloquium 2011
- Place of Presentation
  University of Barcelona
- Data Source
  KAKENHI-PROJECT-22820054
[Presentation] Ω規則の拡張について2011
- Author(s)
  秋吉亮太
- Organizer
  第四十四回日本科学哲学会
- Place of Presentation
  日本大学
- Data Source
  KAKENHI-PROJECT-22820054
[Presentation] 非可述性の分析としての証明論2011
- Author(s)
  秋吉亮太
- Organizer
  2011年度科学基礎論学会
- Place of Presentation
  愛媛大学
- Data Source
  KAKENHI-PROJECT-22820054
[Presentation] 非可述性の分析としての証明論2011
- Author(s)
  秋吉亮太
- Organizer
  2011年度科学基礎論学会ワークショップ「あたらしい数理論理学の揺籃～証明論的な順序数と集合論的順序数」における提題者
- Place of Presentation
  愛媛大学(招待講演)
- Year and Date
  2011-06-05
- Data Source
  KAKENHI-PROJECT-22820054
[Presentation] ゲンツェンの無矛盾性証明再訪2010
- Author(s)
  秋吉亮太
- Organizer
  論理学と数学の哲学の研究会
- Place of Presentation
  大阪大学
- Data Source
  KAKENHI-PROJECT-22820054
[Presentation] Introduction to Proof Theory for Impredicative Systems2010
- Author(s)
  秋吉亮太
- Organizer
  Logic Seminar
- Place of Presentation
  東北大学
- Year and Date
  2010-06-04
- Data Source
  KAKENHI-PROJECT-22820054
[Presentation] Finite Notations forΩ_μ+1-rule2010
- Author(s)
  Ryota Akiyoshi
- Organizer
  Logic Colloquium 2010
- Place of Presentation
  Paris Dederot University
- Data Source
  KAKENHI-PROJECT-22820054
[Presentation] Finite Notations for Omega_mu+1-rule2010
- Author(s)
  Ryota Akiyoshi
- Organizer
  Logic Colloquium 2010
- Place of Presentation
  パリ第七大学
- Year and Date
  2010-07-27
- Data Source
  KAKENHI-PROJECT-22820054

1. 峯島宏次 (80725739)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
2. Sato Masahiko (20027387)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
3. Okada Mitsuhiro (30224025)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
4. 金子洋之 (60191988)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. 佐藤有理 (90750480)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. 照井一成

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results

AKIYOSHI Ryota 秋吉 亮太

Akiyoshi Ryota 秋吉 亮太

Research Projects

Research Products

Co-Researchers

Interdisciplinary research on reasoning based on a unified perspective of logic and deep learning

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Reexamination of Japanese Mathematical Philosophy on Infinity: Focusing on Takeuti, Suetsuna, and NishidaPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

New Developments in the Philosophy of Formalism: Through the Elucidation of Gaisi Takeuti's Logical PhilosophyPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

"Philosophy of Proofs" - Towards New Developments of Philosophy of Logic and Mathematics

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Proof theoretic and semantical study of Fregean Logic

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Reexamination of Brouwer's intuitionism by proof-theoretic methodsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

ゲーデルの不完全性定理以降の形式主義の再検討Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Reconsideration of the relationship between formalism and intuitionism via proof-theoretical methodPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Book] よくわかる哲学・思想 522019

Author(s)

Total Pages

Publisher

ISBN

Data Source

[Book] よくわかる哲学・思想2018

Author(s)

Publisher

Data Source

[Book] Philosophical Logic: Current Trends in Asia2017

Author(s)

Total Pages

Publisher

ISBN

Data Source

[Journal Article] A Note on Feferman and Takeuti: Their Thoughts on Predicativity and Finitism2024

Author(s)

Journal Title

Data Source

[Journal Article] Foundations of Mathematics a la Kyoto School: from Nishida to Takeuti via Suetsuna2023

Author(s)

Journal Title

Data Source

[Journal Article] Logic of Alternative-I2022

Author(s)

Journal Title

AKIYOSHI Ryota 秋吉亮太

Akiyoshi Ryota 秋吉亮太