博士（哲学）, 慶應義塾大学, 2010年03月

論理学の哲学

西田幾多郎

京都学派

自然言語処理

ロボット倫理

自己

フッサール

論理学

型理論

計算機科学

現象学

数学の哲学

科学哲学

数理論理学

分析哲学

証明論

数学基礎論

哲学

情報通信, 情報学基礎論, 型理論

自然科学一般, 数学基礎, 数学基礎論

人文・社会, 哲学、倫理学, 数学・論理学の哲学

2025年05月 - 現在
慶應義塾大学, 未来共生デザインセンター, 共同研究員

2025年04月 - 現在
電気通信大学, 大学院情報理工学研究科、情報理工学域 共通教育部, 准教授

2025年02月 - 2025年04月
電気通信大学, 情報理工学域 共通教育部, 准教授

2022年04月 - 2022年09月
電気通信大学, 情報理工学域, 非常勤講師

2018年09月 - 現在
パリ第1大学科学史哲学研究所 (L'Institut d'Histoire et de Philosophie des Sciences et des Techniques), 連携研究員 (Associate Member)

2024年10月 - 2025年03月
東京大学, 教養学部, 非常勤講師

2024年04月 - 2025年03月
早稲田大学, 商学部, 非常勤講師

2020年04月 - 2025年03月
明治大学, 文学部, 非常勤講師

2018年09月 - 2025年03月
早稲田大学, 理工学術院, 非常勤講師

2022年10月 - 2025年01月
慶應義塾大学, KGRI, 特任助教

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月
慶應義塾大学, 先導研究センター, 非常勤研究員

2005年04月 - 2010年03月
慶應義塾大学, 文学研究科後期博士課程, 哲学・倫理学専攻

2003年04月 - 2005年03月
慶應義塾大学, 大学院文学研究科前期博士課程, 哲学・倫理学専攻

1999年04月 - 2003年03月
慶應義塾大学, 文学部, 人文社会学科哲学専攻

1996年04月 - 1999年03月
慶應義塾志木高等学校

1993年04月 - 1996年03月
慶應義塾中等部

2017年04月 - 2023年03月
評議員, 科学基礎論学会, 学協会

受賞日 2023年03月
言語処理学会
逆接の推論関係に着目した日本語談話関係アノテーション
「言語処理学会第29回年次大会」委員特別賞, 窪田愛;佐藤拓真;天本貴之;秋吉亮太;峯島宏次

受賞日 2014年11月
科学基礎論学会
2013年度科学基礎論学会奨励賞, 秋吉亮太;高橋優太

受賞日 2009年10月
科学基礎論学会
2008年度科学基礎論学会奨励賞, 秋吉亮太

Schwichtenberg’s Style Analysis of Parameter-Free Fragments of Girard’s System F
秋吉亮太
Journal of Logic and Computation, 35巻, 4号, 出版日 2025年05月, 査読付

A Note on Feferman and Takeuti II: Philosophical Perspectives on Inductive Definitions
Ryota Akiyoshi
哲學（三田哲学会), 155巻, 掲載ページ 1-16, 出版日 2025年03月, 査読付

Annotation of Japanese Discourse Relations Focusing on Concessive Inferences
Ai Kubota; Takuma Sato; Takayuki Amamoto; Ryota Akiyoshi; Koji Mineshima
LREC-COLING 2024 - The 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation, 出版日 2024年05月, 査読付

A Note on Feferman and Takeuti: Their Thoughts on Predicativity and Finitism
Ryota Akiyoshi
哲學（三田哲学会), 153巻, 掲載ページ 53-79, 出版日 2024年03月, 査読付

逆接の推論関係に着目した日本語談話関係アノテーション
窪田愛; 佐藤拓真; 天本貴之; 秋吉亮太; 峯島宏次
言語処理学会第 29 回年次大会発表論文集, 掲載ページ 375-380, 出版日 2023年03月

Foundations of Mathematics a la Kyoto School: from Nishida to Takeuti via Suetsuna
Ryota Akiyoshi
哲學（三田哲学会), 151巻, 掲載ページ 1-36, 出版日 2023年03月, 査読付

Logic of Alternative-I
Yasuo Deguchi; Takuro Onishi; Ryota Akiyoshi; Takashi Yagisawa; Maiko Yamamori
Asian Journal of Philosophy, 出版日 2022年11月, 査読付, 国際誌

竹内の整礎性証明再訪
秋吉亮太; アンドリュー・アラナ
筆頭著者, 哲學（三田哲学会), 146巻, 掲載ページ 83-110, 出版日 2021年03月, 査読付
日本語

Takeuti’s proof-theory in the context of the Kyoto school
Ryota Akiyoshi; Andrew Arana
哲学論叢, 46巻, 掲載ページ 1-17, 出版日 2019年10月, 査読付
研究論文（大学，研究機関等紀要）, 英語

A Formalization of Brouwer's Argument for Bar Induction
秋吉亮太
WoLLIC 2018 25th Workshop on Logic, Language, Information and Computation, Lecture Notes in Computer Science, 10944巻, 掲載ページ 77-90, 出版日 2018年07月, 査読付
研究論文（国際会議プロシーディングス）, 英語

An Interpretation of Brouwer’s Argument for Bar Induction via Infinitary Proof Theory
秋吉亮太
Proceedings of the XXIII World Congress of Philosophy, 56巻, 掲載ページ 5-9, 出版日 2018年, 査読付
研究論文（国際会議プロシーディングス）, 英語

Contentual and Formal Aspects of Gentzen's Consistency Proofs
秋吉亮太; 高橋優太
S.C.-M. Yang, K. Y. Lee and H. Ono (eds.), Philosophical Logic: Current Trends in Asia, 掲載ページ 95-137, 出版日 2017年12月, 査読付
研究論文（国際会議プロシーディングス）, 英語

An Ordinal-Free Proof of the Complete Cut-Elimination Theorem for Π11-CA + BI with the ω-rule
秋吉亮太
The Mints' memorial issue of the IfCoLog Journal of Logics and their Applications, 4巻, 4号, 掲載ページ 867-884, 出版日 2017年05月, 査読付, 招待
研究論文（学術雑誌）, 英語

Strong normalization for the parameter-free polymorphic lambda calculus based on the Omega-rule
秋吉亮太; 照井一成
First International Conference on Formal Structures for Computation and Deduction (FSCD), Leibniz International Proceedings in Informatics, 掲載ページ 5:1-5:15, 出版日 2016年06月, 査読付

An Extension of the Omega-Rule
秋吉亮太; Grigori Mints
Archive for Mathematical Logic, 55巻, 3号, 掲載ページ 593-603, 出版日 2016年05月, 査読付
研究論文（学術雑誌）, 英語

鈴木俊洋『数学の現象学』に関するいくつかのリマーク
秋吉亮太
フッサール研究, 12巻, 掲載ページ 149-158, 出版日 2015年04月, 招待
研究論文（学術雑誌）, 日本語

Brouwer’s Argument for the Bar Induction Revisited
秋吉亮太
to be submitted, 30 pages, 出版日 2014年
英語

ブラウワーのバー帰納法における基本仮定の理解に向けて
秋吉亮太
哲学論叢, 京都大学哲学論叢刊行会, 40巻, 40号, 掲載ページ 81-92, 出版日 2013年, 査読付
研究論文（大学，研究機関等紀要）, 日本語

ゲンツェンを読むー三つの無矛盾性証明の統一的解釈ー（2013年度科学基礎論学会奨励賞受賞論文）
秋吉亮太; 高橋優太
科学基礎論研究, 科学基礎論学会, 41巻, 1号, 掲載ページ 1-22, 出版日 2013年, 査読付,

Gentzen proved the consistency of elementary arithmetic (i.e. first-order Peano arithmetic) in 1936 before his most famous and influential proof in 1938. The consistency proof in 1936 contains some ambiguous parts and seems to be quite different from his consistency proof in 1938. The aim of the consistency proof in 1936 is "to give finitist sense" to provable formula. In this paper, we give an exact reconstruction of the consistency proof in 1936 and claim that "to give finitist sense" is a uniform idea behind Gentzen's three consistency proofs including the proof in 1938. First we explain Gentzen's basic ideas of the proof in 1936 in detail. In particular, the idea of finitist interpretation and the main structure of the proof are explained. Secondly, we define a reduction step via the modern method of proof theory called "finite notation for infinitary derivations" due to Mints-Buchholz. It is shown that the reduction essentially coincides with Gentzen's reduction in 1936. Especially we give a definition of "normalization tree" describing Gentzen's reduction step. Moreover, the well-foundedness of this tree is proved. The well-foundedness of the normalization tree implies the consistency of elementary arithmetic. Together with Buchholz's analysis of Gentzen's 1938 consistency proof, this shows that the proof in 1938 is just a special case of the proof in 1936. Thirdly, we clarify what the normalization tree is. According to Gentzen, the normalization tree makes us possible to see the "correctness" of a provable formula in elementary arithmetic. Then we propose a uniform reading of three consistency proofs as based on the same spirit. Finally we discuss some relationship between Gentzen's idea, the method of "finite notation for infinitary derivations", and Gödel's idea of his famous Dialectica interpretation. According to our analysis, Gentzen's idea and the method of "finite notation for infinitary derivations" can be explained in the same way as "carrying out finite proof as program". Moreover, we suggest that Gödel's interpretation (no-counterexample interpretation) should be obtained by describing the normalization tree as functionals.

研究論文（学術雑誌）, 日本語

非可述性の分析としての証明論(<特集>あたらしい数理論理学の揺籃:証明論的な順序数と集合論的な順序数)
秋吉 亮太
科学基礎論研究, 科学基礎論学会, 39巻, 2号, 掲載ページ 93-107, 出版日 2012年, 査読付, Proof theory was initiated by Hilbert for the foundation of mathematics, especially for carrying out "Hilbert's program". After Godel's incompleteness theorems, proof theory (ordinal analysis) has been developed as pure mathematics. It has been widely held that it is quite difficult to explain what has been gained in proof theory (ordinal analysis). In this paper we review the development of proof theory and its recent results for impredicative subsystems of analysis from the viewpoint of "analysis of impredicativity". We point out the main difficulties to explain conceptual significance of proof theory. Our conclusion is that such difficulties should be addressed by developing (not only proof theory as pure mathematics) philosophy of mathematics in future.
日本語

An Extension of the Iterated Omega-Rule
秋吉亮太
CARLS Series of Advanced Study of Logic and Sensibility, 5巻, 掲載ページ 221-230, 出版日 2011年
研究論文（その他学術会議資料等）, 英語

Gentzen's First Consistency Proof Revisited
秋吉亮太
CARLS Series of Advanced Study of Logic and Sensibility, 4巻, 掲載ページ 315-324, 出版日 2010年
研究論文（その他学術会議資料等）, 英語

Tait's Conservative Extension Theorem Revisited
秋吉亮太
The Journal of Symbolic Logic, 75巻, 掲載ページ 155-167, 出版日 2010年, 査読付
研究論文（学術雑誌）, 英語

An Ordinal-Free Proof of the Cut-elimination Theorem for a Subsystem of \Pi^1_1-Analysis with omega-rule
秋吉亮太
数理解析研究所講究録, 京都大学, 1635巻, 掲載ページ 1-13, 出版日 2009年
研究論文（研究会，シンポジウム資料等）, 英語

Proof-Theoretic Investigations of Type Theory and Subsystems of Second-Order Arithmetic
秋吉亮太
博士論文, 出版日 2009年
学位論文（博士）, 英語

Takeuti's Reduction and Impredicativity
秋吉亮太
CARLS Series of Advanced Study of Logic and Sensibility, 3巻, 掲載ページ 255-262, 出版日 2009年
研究論文（その他学術会議資料等）, 英語

On a Relationship between Goedel's Second Incompleteness Theorem and Hilbert's Program（2008年度科学基礎論学会奨励賞受賞論文）
秋吉亮太
Annals of the Japan Association for Philosophy of Science, 科学基礎論学会, 17巻, 掲載ページ 13-29, 出版日 2009年, 査読付, We can find in several places an assertion that Gödel's second incompleteness theorem defeated Hilbert's program. But, (as M. Detlefsen argued in his book) in order to establish this assertion, we need to address additional issues. First we formulate Hilbert's program. Second we reconstruct a standard argument for the claim that Gödel's second incompleteness theorem defeated Hilbert's program. In doing so, we formulate a critical, and problematic assumption which we call "DCT" (Derivability Conditions Thesis). Finally we examine three arguments whose aims are to justify DCT. We show that the first and the second argument are not valid, and discuss the third argument, which is based on Kreisel's idea. We identify a difficulty in this argument as well. After examining the difficulty, we conclude that we cannot claim that Gödel's second incompleteness theorem defeats Hilbert's program. Moreover we clarify what is essentially needed for such an argument to succeed.
研究論文（学術雑誌）, 英語

ヒルベルトとゲーデル
秋吉亮太
修士論文, 出版日 2004年
学位論文（修士）, 日本語

Towards proof-theoretic semantics for second-order logic
Ryota Akiyoshi; Alberto Naibo
出版日 2024年10月, to be submitted, 55 pages

Intuition in philosophy of mathematics
Ryota Akiyoshi; Andrew Arana
出版日 2024年10月, to be submitted as a book chapter, 20 pages

The logic of presence
Yasuo Deguchi; Takuro Onishi; Takashi Yagisawa; Ryota Akiyoshi; Shintaro Shirakawa; Maiko Yamamori
出版日 2024年05月, to be submitted, approx. 30 pages

Husserl and Schroeder
Ryota Akiyoshi; Genki Uemura
出版日 2023年10月, to be submitted, 20 pages

Toward an Alternative to the Master-Slave Model: A View from East Asia
Yasuo Deguchi; Ryota Akiyoshi; Yuki Koizumi; Eiki Tachibana
出版日 2022年11月, approx. 20 pages, in preparation

On Gaisi Takeuti's Philosophy of Mathematics (abstract)
Ryota Akiyoshi; Andrew Arana
出版日 2019年12月, The Bulletin of Symbolic Logic, 25巻, 4号, 掲載ページ 498, 英語, 査読付, 研究発表ペーパー・要旨（国際会議）

"Proofs as Programs" Revisited (abstract)
秋吉亮太
出版日 2019年07月, The Bulletin of Symbolic Logic, 25巻, 2号, 掲載ページ 236-237, 英語, 招待, 研究発表ペーパー・要旨（国際会議）

The Upperbound of the Length of the Reductions in a Subsystem of Girard's F
秋吉亮太
出版日 2018年, in preparation, 17 pages

A uniform idea behind Gentzen’s three consistency proofs (abstract)
秋吉亮太; 高橋優太
出版日 2016年09月, The Bulletin of Symbolic Logic, 22巻, 掲載ページ 382, 英語, 査読付

Proof-Theoretic Analysis of Brouwer's Argument of the Bar Induction (abstract)
Ryota Akiyoshi
出版日 2015年03月, The Bulletin of Symbolic Logic, 21巻, 掲載ページ 53-54, 英語, 査読付, 記事・総説・解説・論説等（国際会議プロシーディングズ）

An Interpretation of Brouwer's Argument for Bar Theorem via Infinitary Proof Theory (abstract)
秋吉亮太
出版日 2013年, Abstract Volume of XXIII World Congress of Philosophy, 掲載ページ 18, 英語, 査読付, 記事・総説・解説・論説等（国際会議プロシーディングズ）

Complete Cut-Elimination Theorem for Ω-Rule (abstract)
Ryota Akiyoshi; Grigori Mints
出版日 2012年, The Bulletin of Symbolic Logic, 18巻, 掲載ページ 438, 英語, 査読付, 研究発表ペーパー・要旨（国際会議）

これからの数学・論理学の哲学に向けて
秋吉亮太
出版日 2012年, 現代思想 研究手帖, 40巻, 日本語, 招待, その他

An Ordinal-Free Proof of the Cut-elimination Theorem for Π11-CA with ω-rule (abstract)
Ryota Akiyoshi; Grigori Mints
出版日 2011年, The Bulletin of Symbolic Logic, 16巻, 掲載ページ 293, 英語, 査読付, 研究発表ペーパー・要旨（国際会議）

書評：『ゲーデルの２０世紀の論理学③不完全性定理と算術の体系』（田中一之編，東京大学出版会）
秋吉亮太
日本科学哲学会, 出版日 2009年, 『科学哲学』, 42巻, 2号, 掲載ページ 113-117, 日本語, 招待, 書評論文,書評,文献紹介等, 0289-3428, 40016962039, AN00037482

現代論理学事典
秋吉亮太
共著, 「数学基礎論論争」、「順序数解析」の各項目, 朝倉書店, 出版日 2025年

ドイツ哲学・思想事典
秋吉亮太
分担執筆, 「ヒルベルト」の項目, ミネルヴァ書房, 出版日 2025年

よくわかる哲学・思想
秋吉亮太; 納富信留; 檜垣立哉; 柏端達也編
教科書・概説・概論, 日本語, 分担執筆, 「論理学」の項目, ミネルヴァ書房, 出版日 2019年04月, ISBN 9784623084104

Annotation of Japanese Discourse Relations Focusing on Concessive Inferences
Ai Kubota; Takuma Sato; Takayuki Amamoto; Ryota Akiyoshi; Koji Mineshima
LREC-COLING 2024 - The 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation
発表日 2024年05月

Intuition in Kant, Fichte and Nishida
Andrew Arana; Ryota Akiyoshi
Workshop: “Self and Infinity II”
発表日 2024年04月

Takeuti on finite and infinite sets
Ryota Akiyoshi; Andrew Arana
Workshop: “Self and Infinity”
発表日 2023年03月

逆接の推論関係に着目した日本語談話関係アノテーション
窪田愛; 佐藤拓真; 天本貴之; 秋吉亮太; 峯島宏次
口頭発表（一般）, 言語処理学会第 29 回年次大会
発表日 2023年03月

Towards Proof-Theoretic Semantics for Second-Order Logic
Ryota Akiyoshi
Mini-WS (L'Institut d'histoire et de philosophie des sciences et des techniques, Paris), 招待
発表日 2023年03月

ロボット倫理学における「主人-奴隷」モデルのオルタナティブの必要性：Navonを手がかりに
秋吉亮太
シンポジウム・ワークショップパネル（指名）, 日本語, 夏のワークショップ：ロボットと人間 「未来のロボットと人間の関係を考える」（国際電気通信基礎技術研究所（ATR）））
発表日 2022年07月

スマートシティのELSI研究の紹介：具体的な調査を中心に
秋吉亮太
シンポジウム・ワークショップパネル（公募）, 日本語, 応用哲学会第十四回年次研究大会公募ワークショップ「都市のための応用哲学のいくつかの話題」（オーガナイザー：神崎宣次）における提題, 招待
発表日 2022年05月30日

東アジア的自己観から多層的社会へ
出口康夫; 大西卓朗; 秋吉亮太; 山森真衣子; 八木沢敬; 白川晋太郎
ポスター発表, 日本語, こころの未来研究センター 人文社会科学・文理融合的研究プロジェクト 2021年度研究報告会
発表日 2022年03月13日
開催期間 2022年03月13日

フッサールとシュレーダー
植村玄輝; 秋吉亮太
口頭発表（一般）, 日本語, 日本哲学会第八十回大会
発表日 2021年05月

Takeuti’s finitism in the context of the Kyoto school
秋吉亮太
口頭発表（招待・特別）, 英語, Axiomes et définitions, (Paris, IHPST) （コロナウイルスのため学会は不実施）, 招待
発表日 2020年03月

Takeuti’s argument of the well-foundedness of ordinals up to the epsilon_0
秋吉亮太
口頭発表（招待・特別）, 英語, Munich Center for Mathematical Philosophy, 招待
発表日 2020年02月

Takeuti’s finitism in the context of the Kyoto school
秋吉亮太
口頭発表（招待・特別）, 英語, Munich Center for Mathematical Philosophy, 招待
発表日 2020年02月

Takeuti’s Finitism Revisited
秋吉亮太
口頭発表（招待・特別）, 英語, Mathematical and logical understanding and formalization Workshop in honor of Pr. Mitsuhiro Okada (Institut d'histoire et de philosophie des sciences et des techniques, Paris), 招待
発表日 2020年02月

On Gaisi Takeuti's philosophy of mathematics
秋吉亮太
口頭発表（一般）, 英語, Logic Colloquium 2019 (Prague, The Czech Republic), 国際会議
発表日 2019年08月12日

On Gaisi Takeuti's philosophy of mathematics
秋吉亮太
口頭発表（招待・特別）, 英語, Oberseminar Mathematische Logik (LMU München, Mathematisces Institut), 招待, 国際会議
発表日 2019年08月07日

飯田氏の論理学・数学の哲学をめぐって
秋吉亮太
口頭発表（招待・特別）, 日本語, 飯田隆先生・丹治信春先生古希記念ワークショップ：言語・論理・知識, 招待, 国内会議
発表日 2019年03月

On Takeuti's Finitism
秋吉亮太
英語, Atelier : perspectives philosophiques sur des théories formelles (Institut d'histoire et de philosophie des sciences et des techniques), 招待, 国際会議
発表日 2019年02月

Takeuti’s Finitism Revisited
秋吉亮太
口頭発表（招待・特別）, 英語, Theory Seminar (Swansea University, Department of Computer Science), 招待, 国際会議
発表日 2019年02月

Disagreement on Brouwer’s Argument for Bar Induction
秋吉亮太
英語, Workshop on Philosophy of Logic "Around Norm, Rule and Disagreement" (Keio University), 国際会議
発表日 2019年01月

形式主義の新展開に向けてー竹内外史を手がかりにー
秋吉亮太
口頭発表（招待・特別）, 日本語, 第148回CAPEレクチャー（京都大学）, 招待, 国内会議
発表日 2018年11月

ゲンツェンとシュッテのカット消去法
秋吉亮太
公開講演，セミナー，チュートリアル，講習，講義等, 日本語, 数学基礎論サマースクール, 招待, 国内会議
発表日 2018年09月

"Proofs as Programs" Revisited
秋吉亮太
口頭発表（招待・特別）, 英語, Logic Colloquium 2018 (Udine, Italy), 招待, 国際会議
発表日 2018年07月

"Proofs as Programs" Revisited
秋吉亮太
口頭発表（招待・特別）, 英語, Oberseminar Mathematische Logik (LMU München, Mathematisces Institut), 国際会議
発表日 2018年02月

"Proofs as Programs" Revisited
秋吉亮太
英語, French-Japanese Workshop"Philosophy of Logic and Mathematics" with special focuses on "Philosophy of Proofs" and the Study of Euclid's Elements (Keio University), 招待, 国際会議
発表日 2018年01月

Gentle Introduction to the Omega-Rule: Part II
秋吉亮太
英語, Atelier autour de la théorie de la démonstration (Institut d'histoire et de philosophie des sciences et des techniques, Université Paris), 国際会議
発表日 2017年09月

A Formalization of Brouwer's Argument for Bar Induction
秋吉亮太
口頭発表（招待・特別）, 英語, Workshop “Logic and Philosophy of Mathematics” (Keio University), 招待, 国際会議
発表日 2017年07月

Gentle Introduction to the Omega-Rule: Part I
秋吉亮太
口頭発表（招待・特別）, 英語, Conférence de Ryota Akiyoshi (Institut d'histoire et de philosophie des sciences et des techniques, Université Paris), 招待, 国際会議
発表日 2017年03月

Brouwer's Argument of Bar Induction Revisited
秋吉亮太
英語, Colloquium in Mathematical Philosophy (Munich Center for Mathematical Philosophy), 招待, 国際会議
発表日 2017年02月

Strong normalization for the parameter-free subsystem of System F based on the Omega-rule
秋吉亮太
英語, Oberseminar Mathematische Logik (Mathematisces Institut), 招待, 国際会議
発表日 2017年02月

Opening Remarks
秋吉亮太
口頭発表（招待・特別）, 英語, Workshop “Philosophy of logic and Mathematics – Towards Philosophy of Proofs", 招待, 国際会議
発表日 2017年01月

On Brouwer’s argument of bar induction
秋吉亮太
口頭発表（招待・特別）, 英語, Workshop “Philosophy of logic and Mathematics – Towards Philosophy of Proofs", 招待, 国際会議
発表日 2017年01月

Strong normalization for the parameter-free polymorphic lambda calculus based on the Omega-rule
秋吉亮太; 照井一成
口頭発表（招待・特別）, 英語, Workshop on philosophy of logic (Logic, computation and normativity), 招待, 国際会議
発表日 2016年11月

Contentual and Formal Aspect of Gentzen's Consistency Proofs
秋吉亮太; 高橋優太
口頭発表（一般）, 英語, The joint Conference of The 3rd Asian Workshop on Philosophical Logic (AWPL-2016) & The 3rd Taiwan Philosophical Logic Colloquium (TPLC-2016), 国際会議
発表日 2016年10月

Strong normalization for the parameter-free polymorphic lambda calculus based on the Omega-rule
秋吉亮太
口頭発表（一般）, 英語, Workshop on Mathematical Logic and its Applications (JSPS Core-to-Core Program), 国際会議
発表日 2016年09月

Strong normalization for the parameter-free polymorphic lambda calculus based on the Omega-rule
秋吉亮太; 照井一成
口頭発表（一般）, 英語, First International Conference on Formal Structures for Computation and Deduction (FSCD), 国際会議
発表日 2016年06月

ヒルベルト，ブラウワーからゲンツェンへ
秋吉亮太
口頭発表（招待・特別）, 日本語, 2015年度 日本科学哲学会 ワークショップ「論理の基本概念の再検討」における提題, 招待, 国内会議
発表日 2015年11月

Opening Remarks
秋吉亮太
口頭発表（招待・特別）, 英語, “Philosophy of Mathematics and Proof Theory” Workshop, 招待, 国際会議
発表日 2015年09月

Some Results in Proof-Theory for Pi11-CA
秋吉亮太
口頭発表（招待・特別）, 英語, “Philosophy of Mathematics and Proof Theory” Workshop, 招待, 国際会議
発表日 2015年09月

A Uniform Idea behind Gentzen's Three Consistency Proofs
秋吉亮太; 高橋優太
口頭発表（一般）, 英語, Logic Colloquium 2015 (University of Helsinki), 国際会議
発表日 2015年08月

A Constructive Justification of Brouwer’s Bar Induction
秋吉亮太
口頭発表（一般）, 英語, the 15th Congress on Logic, Methodology, and Philosophy of Science (University of Helsinki), 国際会議
発表日 2015年08月

直観主義へのいざない
秋吉亮太
口頭発表（招待・特別）, 日本語, 数学文献を読む会（共立出版）, 招待, 国内会議
発表日 2015年06月

An Interpretation of Brouwer's Argument of the Bar Induction via Infinitary Proof Theory
秋吉亮太
口頭発表（招待・特別）, 英語, Workshop on Logic and Philosophy of Logic, 招待, 国際会議
発表日 2015年03月

Brouwer's Argument of the Bar Induction Revisited
秋吉亮太
口頭発表（一般）, 英語, Pure and Applied Logic Colloquium (Carnegie Mellon University), 国際会議
発表日 2015年02月

“Logical Inference and Proofs” Franco- Japanese Workshopにおけるゲストコメンテイター
秋吉亮太
口頭発表（招待・特別）, 英語, Keio University, 招待, 国際会議
発表日 2015年01月

Ω-規則の拡張と応用
秋吉亮太
口頭発表（一般）, 英語, 証明論研究集会「証明論・計算論と その周辺」，京都大学数理解析研究所, 国際会議
発表日 2014年12月

ブラウワーを証明論的に読む
秋吉亮太
口頭発表（招待・特別）, 日本語, CAPEセミナー, 京都大学, 招待, 国内会議
発表日 2014年12月

ブラウワーのバー帰納法の証明論的分析
秋吉亮太
口頭発表（一般）, 日本語, 千葉ロジックセミナー，千葉大学, 招待, 国内会議
発表日 2014年12月

特別企画 鈴木俊洋『数学の現象学』合評会におけるコメンテイター
秋吉亮太
口頭発表（招待・特別）, 日本語, フッサール研究会, 招待, http://researchmap.jp/georg_logic#conference, 国内会議
発表日 2014年08月

Proof-Theoretic Analysis of Brouwer’s Argument of the Bar Induction
秋吉亮太
口頭発表（一般）, 英語, The 2nd Conference on Contemporary Philosophy in East Asia, 国際会議
発表日 2014年08月

An Introduction to Proof Theory of First- Order Arithmetic
秋吉亮太
口頭発表（招待・特別）, 英語, Kyoto Summer School in Logic, Language and Information, 招待, 国際会議
発表日 2014年08月

Proof-Theoretic Analysis of Brouwer’s Argument of the Bar Induction
秋吉亮太
口頭発表（一般）, 英語, Logic Colloquium 2014, 国際会議
発表日 2014年07月

ブラウワーの基本仮定について
秋吉亮太
口頭発表（一般）, 日本語, 2014年度科学基礎論学会, http://researchmap.jp/georg_logic#conference, 国内会議
発表日 2014年06月

"Philosophy of Mathematics and Logic” Meetingにおけるゲストコメンテイター
秋吉亮太
その他, 英語, Keio University, 招待, 国際会議
発表日 2014年02月

Brouwer’s Proof of the Bar Induction Revisited
秋吉亮太
口頭発表（一般）, 英語, Functions, Proofs, Constructions (Tuebingen University), 国際会議
発表日 2014年02月

An Interpretation of Brouwer’s Argument for the Bar Induction via Infinitary Proof Theory
秋吉亮太
口頭発表（一般）, 英語, The World Congress of Philosophy 2013, http://researchmap.jp/georg_logic#conference, 国際会議
発表日 2013年08月

Proper Explanation of Brouwer's Fundamental Assumption
秋吉亮太
口頭発表（招待・特別）, 英語, Seminar in Logic and Philosophy of Mathematics (Kobe University), 招待, 国際会議
発表日 2013年03月

Brouwer’s proof of the bar induction revisited
秋吉亮太
口頭発表（招待・特別）, 英語, An International Workshop on Constructivism (Kyoto University), 招待, 国際会議
発表日 2013年03月

Cut-Elimination for Pi^1_1-CA
秋吉亮太
公開講演，セミナー，チュートリアル，講習，講義等, 英語, Sendai Logic School (Tohoku University), 招待, 国際会議
発表日 2013年02月

余帰納法の証明論への応用：Ω 規則の観点から
秋吉亮太
シンポジウム・ワークショップパネル（公募）, 日本語, 第 45 回日本科学哲学会（宮崎大学）ワークショップ「余帰納法と論理学」における提題者, 招待, 国内会議
発表日 2012年11月

An extension of the Ωμ+1-rule
秋吉亮太
口頭発表（一般）, 英語, Logic Colloquium 2012 (University of Manchester), 国際会議
発表日 2012年07月

形式主義の再検討に向けて
秋吉亮太
口頭発表（一般）, 日本語, 平成 23 年度慶應義塾大学グローバル COE「論理と感性の先端的教育研究拠点」若手研究成果報告会, 国内会議
発表日 2012年02月

Ω 規則の拡張について
秋吉亮太
口頭発表（一般）, 日本語, 第 44 回日本科学哲学会（日本大学）, 国内会議
発表日 2011年11月

Complete Cut-Elimination Theorem for Ω-Rule
秋吉亮太
口頭発表（一般）, 英語, Logic Colloquium 2011 (University of Barcelona), 国際会議
発表日 2011年07月

非可述性の分析としての証明論
秋吉亮太
シンポジウム・ワークショップパネル（公募）, 日本語, 2011年度科学 基礎論学会 ワークショップ「あたらしい数理論理学の揺籃~ 証明論的な順序数と集合論的な順序数」における提題者（愛媛大学）, 国内会議
発表日 2011年06月

順序数を用いない証明論について
秋吉亮太
口頭発表（一般）, 日本語, 平成 22 年度慶應義塾大学グローバル COE「論理と感性の先端的教育研究拠点」若手研究成果報告会, 国内会議
発表日 2011年02月

ゲンツェンの無矛盾性証明再訪
秋吉亮太
口頭発表（招待・特別）, 日本語, 論理学と数学の哲学の研究会（大阪大学）, 招待, 国内会議
発表日 2010年11月

Finite Notations for Ωμ+1-rule
秋吉亮太
口頭発表（一般）, 英語, Logic Colloquium 2010 (Paris Diderot University), 国際会議
発表日 2010年07月

Introduction to Proof Theory for Impredicative Systems (Tohoku University)
秋吉亮太
公開講演，セミナー，チュートリアル，講習，講義等, 英語, Sendai Logic Seminar (Tohoku University), 招待, 国際会議
発表日 2010年06月

An Interpretation of Takeuti’s Reduction
秋吉亮太
口頭発表（一般）, 英語, Workshop on Constructive Aspects of Logic and Mathematics (Kanazawa), 国際会議
発表日 2010年03月

Finite Notations for Ωμ-rule
秋吉亮太
口頭発表（招待・特別）, 英語, Mita Logic Seminar "A Proof Theory Workshop" (Keio University), 招待, 国際会議
発表日 2010年03月

証明論的手法による二階論理の論理哲学的研究
秋吉亮太
口頭発表（一般）, 日本語, 平成 21 年度慶應義塾大学グローバル COE「論理と感性の先端的教育研究拠点」若手研究成果報告会, 国内会議
発表日 2010年02月

竹内の還元法と非可述性について
秋吉亮太
口頭発表（一般）, 日本語, 第 42 回日本科学哲学会（高千穂大学）, 国内会議
発表日 2009年11月

An Ordinal-Free Proof of the Cut-Elimination Theorem for Pi^1_1-CA with ω-rule
秋吉亮太
口頭発表（一般）, 英語, Eleventh Asian Logic Conference (National University of Singapore), 国際会議
発表日 2009年06月

証明論的手法による二階論理の論理哲学的探究
秋吉亮太
口頭発表（一般）, 日本語, 平成 20 年度慶應義塾大学博士課程学生研究支援プログラム報告会, 国内会議
発表日 2009年03月

An ordinal-free proof of the cut-elimination theorem for Pi^1_1-analysis with ω-rule
秋吉亮太
口頭発表（招待・特別）, 英語, Seminar in Logic and Philosophy of Mathematics (Kobe University), 招待, 国際会議
発表日 2009年02月

順序数を用いないカット消去定理の証明について
秋吉亮太
口頭発表（一般）, 日本語, 第 41 回日本科学哲学会（福岡大学）, 国内会議
発表日 2008年11月

An ordinal-free proof of the cut-elimination theorem for Pi^1_1-analysis with ω-rule
秋吉亮太
公開講演，セミナー，チュートリアル，講習，講義等, 英語, Mathematical Logic Seminar (Stanford University), 招待, 国際会議
発表日 2008年11月

非可述な体系のカット消去定理の順序数を用いない証明について
秋吉亮太
口頭発表（一般）, 日本語, 証明論研究集会『証明論と論理・計算の構造』（京都大学数理解析研究所）, 国内会議
発表日 2008年09月

An ordinal-free proof of the cut-elimination theorem for Pi^1_1- analysis with ω-rule
秋吉亮太
口頭発表（一般）, 英語, Honorary Colloquium on Occasion of Wilfried Buchholz’ 60th Birthday (Munich University), 国際会議
発表日 2008年05月

On a relationship between cut-elimination proofs by W. Tait and W. Buchholz
秋吉亮太
口頭発表（一般）, 英語, Workshop on Constructivism: Logic and Mathematics (Kanazawa), 国際会議
発表日 2008年05月

テイトの保存拡大定理について
秋吉亮太
口頭発表（一般）, 日本語, 証明論研究集会（首都大学東京）, 国内会議
発表日 2007年12月

テイトの保存拡大定理について
秋吉亮太
口頭発表（一般）, 日本語, 第40回日本科学哲学会（中央大学）, 国内会議
発表日 2007年11月

第二不完全性定理とヒルベルト・プログラム
秋吉亮太
口頭発表（一般）, 日本語, 2007年度科学基礎論学会（鳥取大学）, 国内会議
発表日 2007年06月

Topics in History and Philosophy of Science
Waseda University

哲学特殊講義
首都大学東京

論理学入門（文学部設置）
慶應義塾大学

Topics in Philosophy and Religion
Waseda University

Introduction to Logic
Waseda University

論理的思考のすすめ
日本大学生産工学部

ことばと論理Ａ・B
早稲田大学

哲学倫理学特殊
慶應義塾大学

記号論理学 II
東京大学

情報数理学続論
千葉大学

数学の哲学
電気通信大学

哲学A
電気通信大学

記号論理学 I
東京大学

論理学概論 A・B
明治大学

Advanced Topics in Philosophy of Science
Waseda University

論理学
早稲田大学

哲学専門講義（英米哲学／現代哲学）
早稲田大学

論理学入門（理工学部設置）
慶應義塾大学

現在
日本科学哲学会

現在
科学基礎論学会

Association for Symbolic Logic

無限を巡る日本の数理哲学の再検討：竹内、末綱、西田を中心に
秋吉亮太
日本学術振興会, 科学研究費助成事業 基盤研究（Ｃ）, 慶應義塾大学
研究期間 2024年04月 - 2028年03月

論理と深層学習の統合的視点に基づくリーズニングの学際的研究
峯島宏次; 佐藤有理; 秋吉亮太
日本学術振興会, 科学研究費助成事業 基盤研究（Ｂ）, 慶應義塾大学
研究期間 2024年04月 - 2028年03月

コミュニティのスマート化がもたらすELSIと四次元共創モデルの実践的検討
出口康夫
JST-RISTEX, ELSIプログラム (RInCA), 京都大学, 近年、世界中の多くの都市がスマートシティーの実現を目指している。社会システムのスマート化は、流通やモビリティーなどインフラの最適化や効率化に資する一方で、スマートシティーの究極目標として掲げられているウェルビーイングの向上の定義や課題、スマート化がもたらし得るELSIへの目配りが十分には前景化されていない。 本プロジェクトは、人間の「生」の変容への影響や、リアルとバーチャルにまたがるコミュニティーの貧困化や群衆化を招くリスクなどを「WE(絆・コミュニティ)」問題と名付け、スマート化・DX化の技術がもたらすELSIとして同定し、その解決に取り組む。具体的には、福井県越前市におけるIT意思決定支援実験や、小田急沿線におけるMaaS人流滞留実験などを通じて、スマート化がコミュニティーに及ぼす影響を評価する汎用的パラメーター系を開発し、産官学連携による実践的検討を行う。日本社会の特性やアジア地域への汎用性にも配慮しながら、リアルとバーチャルの「WE」の再活性化につながる、スマートコミュニティーのELSIの処方箋を提案する。
研究期間 2022年10月 - 2026年03月

よりよいスマートWEを目指して：東アジア人文社会知から価値多層社会へ
出口康夫
日本学術振興会, 課題設定による先導的人文学・社会科学研究推進事業（学術知共創プログラム）, 京都大学
研究期間 2022年06月 - 2025年03月

形式主義の哲学の新展開：竹内外史の論理哲学の解明を通じて
秋吉 亮太
日本学術振興会, 科学研究費助成事業, 早稲田大学, 基盤研究(C), 今年度は（１）京都学派の数理哲学、（２）竹内外史の論理哲学、（３）高階論理の証明論的意味論、（４）デジタルツインや志向性の論理、（５）最初期フッサールの論理哲学について研究を進めた。コロナ渦を原因とする互いの多忙があったものの、いくつかの論文の出版をすることができた。 （１）京都学派の数理哲学については査読付き英語論文として出版することができた。この論文は海外からの興味を大きく引くものであり、反響が大きかった。 （２）竹内とフェファーマンを比較する研究については、投稿に至らなかったため来年度も研究を続ける。また、ロレーヌ大学アラナ教授と直観概念に関する論文集を編集することになった。我々も数学における直観概念について寄稿する予定であり、共同研究を開始した。 （３）高階論理の証明論的意味論についてはパリ大学のナイーボ准教授との共同研究であり、 ドラフトの仕上げ作業を進めて40-45頁ほどのそれなりの分量のドラフトができつつある。 （４）京都大学のグループと開始したデジタルツインや志向性の論理に関する共同研究については、デジタルツインについての論文を査読付きの国際誌に出版することができた。志向性の論理についても各パーツについてはほぼ書き上がっているため、来年度に投稿を目指す。 （５）最初期フッサールの論理哲学については、すでに学会発表を終えておりドラフトが複数種類存在しているものの、最終版を書くには至らなかった。（岡山大学の植村玄樹准教授との共同研究）, 19K00022
研究期間 2019年04月 - 2024年03月

「証明の哲学」の視点に立つ「論理と数学の哲学」の新展開
岡田 光弘; 秋吉 亮太; 金子 洋之; 峯島 宏次
日本学術振興会, 科学研究費助成事業, 慶應義塾大学, 基盤研究(B), 「証明の哲学」の構築に向けて証明と推論の研究を進めた。推論と証明・論証の関連分野を分野横断的に研究するところに本研究の独創性がある。次のような成果を得た。Wittgensteinを中心とした20世紀前半の、証明の哲学に対して現代的再評価を与えた。日常の自然言語による推論に新たな成果を得た。特にデフォルト推論の新たな意味論分析を与えた。図的推論や画像的論理表現の成果を得た。論理の基盤構造を捉える線形論理レベルの証明の有効性分析を行い、Truth-Maker Semantics、実時間システム分析などを含む哲学的・論理学的成果を挙げた。証明論的順序数の論理的・哲学的分析を与えた。, 17H02265
研究期間 2017年04月 - 2022年03月

ブラウワー直観主義の証明論的手法による再検討
秋吉 亮太
日本学術振興会, 科学研究費助成事業, 早稲田大学, 若手研究(B), 研究代表者, ブラウワー直観主義を証明論的手法で検討することで次の成果が得られた．哲学的研究については，(i) ブラウワーのバー帰納法の証明についての証明論的な解釈 (ii) ゲンツェンの無矛盾性証明における内容的な要素と形式的な要素の関係の解明 ．論理学的研究については(i) Ω規則の証明論的研究 (ii) Ω規則の理論計算機科学への応用．
これらの成果はすべて，哲学や数学基礎論，理論計算機科学分野における国際的な査読付き雑誌や会議で発表された．Ω規則という伝統的な証明論（数学基礎論）の手法をツールとしたこれまでの研究の成果が出たとまとめられる．また，竹内外史の論理哲学に関する研究を開始することができた．, 16K16690
研究期間 2016年04月 - 2020年03月

フレーゲ論理学の証明論的および意味論的研究
佐藤 雅彦; 秋吉 亮太
日本学術振興会, 科学研究費助成事業, 京都大学, 挑戦的萌芽研究, フレーゲは、「数学を論理に還元する」論理主義を実行するために、史上初めて高階述語論理を完全な形で整備し、分析哲学の源流となり、同時にヒルベルトの形式主義への道を開いた。 しかしながら、フレーゲがその著書『Grundgesetze der Arithmetik』で構築した論理体系は、ラッセルが指摘した有名なパラドックスにより矛盾を含むことが明きらかになった。そのため体系が不備であることの原因を究明する研究はほとんどなかった。本研究はその根本原因を証明論的および意味論的手法により解明することを目指した。, 16K13150
研究期間 2016年04月 - 2019年03月

「形式主義の証明論的手法による再検討」
秋吉亮太
日本学術振興会, 科学研究費（特別研究員奨励費）, 研究代表者
研究期間 2012年04月 - 2015年03月

ゲーデルの不完全性定理以降の形式主義の再検討（辞退）
秋吉 亮太
日本学術振興会, 科学研究費助成事業, 慶應義塾大学, 若手研究(B), 24720017
研究期間 2012年04月 - 2013年03月

「形式主義と直観主義の証明論的手法による比較再検討」
秋吉亮太
日本学術振興会, 科学研究費（研究活動スタート支援）, 慶應義塾大学, 研究活動スタート支援, 研究代表者, 2010～2011年度にかけては,形式主義と直観主義の比較再検討というテーマの元,論理学(数学基礎論)・哲学の両面から研究を行った.主な数学的成果としては,スタンフォード大学G.ミンツ教授との共同研究により,ブフホルツのΩ規則の完全カット消去定理という未解決問題を解いた.主な哲学的成果としては,非可述性の分析という観点から証明論のこれまでの歴史を振り返り考察を行い,今後の課題を提示した., 22820054
研究期間 2010年04月 - 2012年03月

「証明論的手法による二階論理の論理哲学的研究」
秋吉亮太
慶應義塾大学, 博士課程学生研究支援プログラム, 研究代表者
研究期間 2008年04月 - 2009年03月

「タイプ理論の証明論的分析」
秋吉亮太
慶應義塾大学, 大学院高度化推進研究費, 研究代表者
研究期間 2007年04月 - 2008年03月

Workshop: “Self and Infinity II”（京都大学）（共同オーガナイザー）
https://www.smart-we.bun.kyoto-u.ac.jp/index.php/report/981/
2024年04月

Workshop: “Self and Infinity”（フッサール文庫、パリ）（共同オーガナイザー）
https://paysgermaniques.fr/self-and-infinity/
2023年03月 - 2023年03月

Second Workshop on Mathematical Logic and its Application（金沢，日本学術振興会研究拠点形成事業「数理論理学とその応用の国際拠点形成」 の一環） (共同オーガナイザーおよびプログラム委員)
http://www.jaist.ac.jp/is/labs/ishihara-lab/mla2018/
2018年03月 - 2018年03月

WIAS 主催セミナー "Type Theory and Proof Theory" （早稲田大学）（共同オーガナイザー）
https://www.waseda.jp/inst/wias/news-en/2018/01/26/4887/
2018年03月 - 2018年03月

WIAS Top Runners' Lecture Collection "Proof Theory and Computation (1) and (2)" （早稲田大学）（共同オーガナイザー）
https://www.waseda.jp/inst/wias/news-en/2018/01/16/4869/
2018年03月 - 2018年03月

早稲田大学高等研究所主催 「論理学の哲学」ワークショップ：意味，証明，推論 （早稲田大学）（オーガナイザー）
https://www.waseda.jp/inst/wias/news/2017/11/14/4733/
2017年12月 - 2017年12月

早稲田大学 高等研究所・慶應義塾大学 論理と感性のグローバル研究センター 共催 「論理と数学の哲学」 Workshop “Logic and Philosophy of Mathematics" （慶應義塾大学，早稲田大学）（共同オーガナイザー）
https://www.waseda.jp/inst/wias/news-en/2017/07/04/4467/
2017年07月 - 2017年07月

高等研究所セミナー 「Logic and Game Theory」（早稲田大学）（共同オーガナイザー）
https://www.waseda.jp/inst/wias/news/2017/04/25/4250/
2017年05月 - 2017年05月

「論理と数学の哲学—論証の哲学に向けて」日仏ワークショップ Workshop “Philosophy of logic and Mathematics -- Towards Philosophy of Proofs" （慶應義塾大学）(共同オーガナイザー)
https://abelard.flet.keio.ac.jp/seminar/frjp17jan.html
2017年01月 - 2017年01月

早稲田大学高等研究所主催ワークショップ ``Philosophy of Logic Workshop: Kant, Husserl, and Linear Logic" 「論理学の哲学ワークショップ：カント，フッサール，線型論理」（早稲田大学）(オーガナイザー)
https://www.waseda.jp/inst/wias/news/2016/10/11/2321/
2016年10月 - 2016年10月

早稲田大学高等研究所セミナー「可換環における逆数学」（早稲田大学）（オーガナイザー）
https://www.waseda.jp/inst/wias/news/2016/06/07/2101/
2016年06月 - 2016年06月

早稲田大学高等研究所セミナー Philosophy of Mathematics and Logic Seminar （早稲田大学）(オーガナイザー)
https://www.waseda.jp/inst/wias/news/2016/01/15/862/
2016年01月 - 2016年01月

「数学の哲学と証明論」ワークショップ "Philosophy of Mathematics and Proof Theory" Workshop （慶應義塾大学）（共同オーガナイザー）
https://abelard.flet.keio.ac.jp/seminar/sieg2015.html
2015年09月 - 2015年09月

早稲田大学高等研究所 Top Runners' Lecture Collection 数学の哲学ワークショップ「計算，証明，直観」（早稲田大学）（オーガナイザー）
https://www.waseda.jp/inst/wias/news/2015/09/18/1155/
2015年09月 - 2015年09月

早稲田大学高等研究所セミナー "Phase transitions in logic: combinatorics and provability" （早稲田大学）（オーガナイザー）
https://www.waseda.jp/inst/wias/news/2015/05/25/1185/
2015年05月 - 2015年05月

GCOE ロジックセミナー 江口直日（東北大学）講演会 （慶應義塾大学）（共同オーガナイザー）
http://www.carls.keio.ac.jp/eguchi_poster-1.pdf
2012年03月 - 2012年03月

数学の哲学セミナー 金子洋之（専修大学），高橋優太（慶應大学）講演会（慶應義塾大学）（共同オーガナイザー）
http://www.carls.keio.ac.jp/2011/09/phenomenality-as-apsychological-construction-1.html
2011年09月 - 2011年09月

Richard Zach（カルガリー大学）講演会 "The Epsilon Calculus" （慶應義塾大学）（共同オーガナイザー）
http://www.carls.keio.ac.jp/2011/02/richard-za.html
2011年02月 - 2011年02月

国際会議 "Proof Theory and Philosophy"「証明論とその展開シンポジウム」（慶應義塾大学）（共同オーガナイザー）
http://www.carls.keio.ac.jp/2010226prooftheoryandphilosophy.pdf
2011年02月 - 2011年02月

論理学・数学の哲学セミナー 伊藤遼（京都大学），大西琢朗（京都大学）講演会（慶應義塾大学）（共同オーガナイザー）
http://www.carls.keio.ac.jp/2011/12/post-76.html
2011年02月 - 2011年02月

Bob Hale（シェフィールド大学）講演会 "What is absolute Necessity?" （慶應義塾大学）（共同オーガナイザー）
http://www.carls.keio.ac.jp/2010/10/bob-halewhat-is-absolute-necessity20101028-1.html
2010年10月 - 2010年10月

Arguing for contradictions: dialectical gamesi n Plato's dialogues （慶應義塾大学）（共同オーガナイザー）
http://www.carls.keio.ac.jp/2010/09/arguing-for-contradictions-dialectical-games-in-platos-dialogues201091-1.html
2010年09月 - 2010年09月

Akihiro Kanamori（ボストン大学）, Juliet Floyd（ボストン大学） 講演会 （慶應義塾大学）（共同オーガナイザー）
http://www.carls.keio.ac.jp/2010/06/akihiro-kanamorijuliet-floyd2010611-1.html
2010年06月 - 2010年06月

矢田部俊介（産業技術総合研究所）講演会「真理の度合い理論は適切か？」（慶應義塾大学）（共同オーガナイザー）
http://www.carls.keio.ac.jp/2010/05/-20105-1.html
2010年05月 - 2010年05月

国際会議 "A Proof Theory Workshop with Lecture Series by Grigori Mints"（慶應義塾大学）（共同オーガナイザー）
http://www.carls.keio.ac.jp/2010/03/a-proof-theory-workshop-with-lecture-series-by-grigori-mints201031718-1.html
2010年03月 - 2010年03月