Rchr
J-GLOBAL ID:201101016509478775
Update date: Nov. 11, 2024
Akiyoshi Ryota
アキヨシ リョウタ | Akiyoshi Ryota
Affiliation and department:
Job title:
Project Assistant Professor
Other affiliations (2):
-
AaaS Bridge, inc.
Senior Research Fellow
-
Université Paris 1
L'Institut d'Histoire et de Philosophie des Sciences et des Techniques
Associate Member
Homepage URL (1):
https://www.researchgate.net/profile/Ryota_Akiyoshi
Research field (3):
Information theory
, Basic mathematics
, Philosophy and ethics
Research keywords (17):
Kitaro Nishida
, Kyoto School
, Natural Language Processing
, Robot Ethics
, Self
, Husserl
, Logic
, Type Theory
, Computer Science
, Phenomenology
, Philosophy of Mathematics
, Philosophy of Science
, Mathematical Logic
, Analytic Philosophy
, Proof Theory
, Foundations of Mathematics
, Philosophy
Research theme for competitive and other funds (13):
- 2024 - 2028 無限を巡る日本の数理哲学の再検討:竹内、末綱、西田を中心に
- 2024 - 2028 論理と深層学習の統合的視点に基づくリーズニングの学際的研究
- 2022 - 2028 Toward Better “Smart WE” (From East Asian Humanities and Social Sciences to a Value Multi-Layered Society)
- 2022 - 2026 Practical Examination of ELSI on Smartization of Community Through Four-dimensional Co-creation
- 2019 - 2024 形式主義の哲学の新展開:竹内外史の論理哲学の解明を通じて
- 2017 - 2022 "Philosophy of Proofs" - Towards New Developments of Philosophy of Logic and Mathematics
- 2016 - 2020 Reexamination of Brouwer's intuitionism by proof-theoretic methods
- 2016 - 2019 Proof theoretic and semantical study of Fregean Logic
- 2012 - 2015 「形式主義の証明論的手法による再検討」
- 2012 - 2013 ゲーデルの不完全性定理以降の形式主義の再検討
- 2010 - 2012 Reconsideration of the relationship between formalism and intuitionism via proof-theoretical method
- 2008 - 2009 「証明論的手法による二階論理の論理哲学的研究」
- 2007 - 2008 「タイプ理論の証明論的分析」
Show all
Papers (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. Philosophy (Mita Philosophy Society). 2024. 153. 53-79
-
Ai Kubota, Takuma Sato, Takayuki Amamoto, Ryota Akiyoshi, Koji Mineshima. Annotations of Discourse Relations in Japanese Focusing on Inferential Relations of Contradictory Conjunction (in Japanese). The Proceedings of the 29th Annual Meetings of the Association for Natural Language Processing. 2023. 375-380
-
Ryota Akiyoshi. Foundations of Mathematics a la Kyoto School: from Nishida to Takeuti via Suetsuna. Philosophy (Mita Philosophy Society). 2023. 151. 1-36
more...
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
-
Ryota Akiyoshi. 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
more...
Books (3):
-
Gendai Ronrigaku Jiten (Encyclopedia of Modern Logic)
Asakura Publisher 2025
-
Doitsu Tetsugaku・Shiso Jiten (Encyclopedia of German Philosophy and Thoughts)
Minerva Publisher 2024
-
Yokuwakaru Tetsugaku and Shisou (textbook on philosophy)
Minerva Publisher 2019 ISBN:9784623084104
Lectures and oral presentations (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)
-
Annotations of Discourse Relations in Japanese Focusing on Inferential Relations of Contradictory Conjunction (in Japanese)
(The 29th Annual Meetings of the Association for Natural Language Processing 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)
more...
Education (5):
- 2005 - 2010 Keio University Graduate School of Letters
- 2003 - 2005 Keio University
- 1999 - 2003 Keio University Faculty of Letters Department of Humanities and Social Sciences
- 1996 - 1999 Keio Shiki Senior High School
- 1993 - 1996 Keio Chutobu Junior High School
Professional career (1):
- PhD (Philosophy) (Keio University)
Work history (33):
- 2024/04 - 現在 Waseda University School of Commerce Part-time lecturer
- 2022/10 - 現在 Keio University Global Research Institute Project Assistant Professor
- 2022/04 - 2022/09 The University of Electro-Communications School of Informatics and Engineering Part-time lecturer
- 2020/04 - 現在 Meiji University School of Arts and Letters Part-time lecturer
- 2018/09 - 現在 Waseda University Faculty of Science and Engineering Part-time lecturer
- 2018/09 - 現在 L'Institut d'Histoire et de Philosophie des Sciences et des Techniques Associate Member
- 2024/10 - 2025/03 The University of Tokyo College of Arts and Sciences Part-time lecturer
- 2022/04 - 2025/01 AaaS Bridge, inc. Senior Research Fellow
- 2024/04 - 2024/09 The University of Electro-Communications School of Informatics and Engineering Part-time lecturer
- 2023/10 - 2024/03 The University of Tokyo College of Arts and Sciences Part-time lecturer
- 2021/10 - 2024/03 Kyoto University Graduate School of Letters Researcher
- 2018/04 - 2024/03 Waseda University Institute for Advanced Study Adjunct researcher
- 2023/04 - 2023/09 School of Informatics and Engineering, The University of Electro-Communications Part-time lecturer
- 2023/03 - 2023/03 L'Institut d'Histoire et de Philosophie des Sciences et des Techniques Invited Researcher (Chercheur invité)
- 2022/10 - 2023/03 Keio University Faculty of Letters Part-time lecturer
- 2022/10 - 2023/03 The University of Tokyo College of Arts and Sciences Part-time lecturer
- 2021/09 - 2022/03 The University of Tokyo College of Arts and Sciences Part-time lecturer
- 2010/04 - 2022/03 Keio University Faculty of Letters Part-time lecturer
- 2021/04 - 2021/09 The University of Electro-Communications School of Informatics and Engineering Part-tme lecturer
- 2020/09 - 2021/03 The University of Tokyo College of Arts and Sciences Part-time lecturer
- 2018/09 - 2021/03 Waseda University Faculty of Letters, Arts and Sciences Part-time lecturer
- 2020/02 - 2020/03 L'Institut d'Histoire et de Philosophie des Sciences et des Techniques Invited Researcher (Chercheur invité)
- 2019/08 - 2019/09 L'Institut d'Histoire et de Philosophie des Sciences et des Techniques Invited Researcher (Chercheur invité)
- 2019/02 - 2019/03 L'Institut d'Histoire et de Philosophie des Sciences et des Techniques Invited Researcher (Chercheur invité)
- 2018/04 - 2018/05 Nihon University College of Industrial Technology Part-time lecturer
- 2017/04 - 2018/03 Waseda University Institute for Advanced Study Associate professor (without tenure)
- 2017/04 - 2017/06 Chiba University Faculty of Science Part-time lecturer
- 2015/04 - 2017/03 Waseda University Institute for Advanced Study Assistant professor
- 2014/04 - 2016/03 Keio University Faculty of Science and Technology Part-time lecturer
- 2012/04 - 2015/03 Japan Society for the Promotion of Science Kyoto University Post Doctoral Fellow (PD)
- 2013/04 - 2014/03 Tokyo Metropolitan University Faculty of Urban Liberal Arts Part-time lecturer
- 2010/04 - 2012/03 Keio University Graduate School of Letters (Global COE CARLS) Assistant Professor
- 2009/04 - 2010/03 Keio University Keio Advanced Research Centers Part-time research fellow
Show all
Committee career (1):
- 2017/04 - 2023/03 The Japan Association for Philosophy of Science Council Member
Awards (3):
- 2023/03 - The Association for Natural Language Processing Special Committee Award, the 29th Annual Meeting of The Association for Natural Language Processing
- 2014/11 - The Japan Association for Philosophy of Science The Japan Association for Philosophy of Science Research Award
- 2009/10 - The Japan Association for Philosophy of Science The Japan Association for Philosophy of Science Research Award
Association Membership(s) (3):
Association for Symbolic Logic
, 日本科学哲学会
, 科学基礎論学会
Return to Previous Page