★Logic and majority voting
Ryo Takemura
Journal of Philosophical Logic, 2022年, 査読有り, 通常論文
筆頭著者

★Proof theory for heterogeneous logic combining formulas and diagrams: Proof normalization
Ryo Takemura
Archive for Mathematical Logic, 2021年02月, 査読有り, 通常論文
筆頭著者

★Euler diagrams for defeasible reasoning
Ryo Takemura
Diagrammatic Representation and Inference, ,Lecture Notes in Computer Science, 2020年08月, 査読有り, 通常論文
筆頭著者

Another representation of cut-elimination
Ryo Takemura
Proceedings of the 6th Asian Workshop on Philosophical Logic, 2024年03月, 査読有り
筆頭著者

多数決と論理---社会的選択理論と論理学---
竹村亮
商学集志, 2020年07月, 査読有り, 通常論文
筆頭著者

Economic reasoning with demand and supply graphs
Ryo Takemura
Mathematical Social Sciences, 2020年01月, 査読有り, 通常論文
筆頭著者

Completeness of Second-Order Intuitionistic Propositional Logic with Respect to Phase Semantics for Proof-Terms
Yuta Takahashi and Ryo Takemura
Journal of Philosophical Logic, 2018年09月, 査読有り, 通常論文

Towards a proof theory for heterogeneous logic combining sentences and diagrams
Ryo Takemura
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2018年, 査読有り, 通常論文

オイラー図を用いたヘテロジニアス推論---ルールベースとモデルベースの推論---
竹村亮; 片桐恭弘
日本認知科学会第34回大会発表論文集, 2017年09月, 査読有り, 通常論文
筆頭著者

Investigation of Prawitz's completeness conjecture in phase semantic framework
Ryo Takemura
Journal of Humanities and Sciences Nihon University, 2017年06月, 査読有り, 通常論文

A Logical Investigation of Heterogeneous Reasoning with Graphs in Elementary Economics
Ryo Takemura
DIAGRAMMATIC REPRESENTATION AND INFERENCE, DIAGRAMS 2016, 2016年, 査読有り, 通常論文

Counter-Example Construction with Euler Diagrams
Ryo Takemura
STUDIA LOGICA, 2015年08月, 査読有り, 通常論文

Euler diagrams as an introduction to set-theoretical models
Ryo Takemura
Proceedings of the Fourth International Conference on Tools for Teaching Logic (TTL2015), 2015年06月, 査読有り, 通常論文
筆頭著者

Towards explaining the cognitive efficacy of Euler diagrams in syllogistic reasoning: A relational perspective
Koji Mineshima; Yuri Sato; Ryo Takemura; Mitsuhiro Okada
JOURNAL OF VISUAL LANGUAGES AND COMPUTING, 2014年06月, 査読有り, 通常論文

A Heterogeneous Logic with Tables (Extended Abstract)
Ryo Takemura
Diagrams, Logic and Cognition (DLAC 2013), 2014年03月, 査読有り, 通常論文
筆頭著者

Logical Investigation of Reasoning with Tables
Ryo Takemura; Atsushi Shimojima; Yasuhiro Katagiri
DIAGRAMMATIC REPRESENTATION AND INFERENCE, DIAGRAMS 2014, 2014年, 査読有り, 通常論文

Completeness of an Euler Diagrammatic System with Constant and Existential Points
Ryo Takemura
総合文化研究, 2013年12月, 査読有り, 通常論文
筆頭著者

Proof Theory for Reasoning with Euler Diagrams: A Logic Translation and Normalization
Ryo Takemura
STUDIA LOGICA, 2013年02月, 査読有り, 通常論文

A Generalized Syllogistic Inference System based on Inclusion and Exclusion Relations
Koji Mineshima; Mitsuhiro Okada; Ryo Takemura
STUDIA LOGICA, 2012年08月, 査読有り, 通常論文

A Diagrammatic Inference System with Euler Circles
Koji Mineshima; Mitsuhiro Okada; Ryo Takemura
Journal of Logic, Language and Information, 2012年07月, 査読有り, 通常論文

Defeasible Inheritance Networks and Linear Logic: Horn Fragments and Proof Nets
Proceedings of the 14th International Workshop on Non-Monotonic Reasoning (NMR 2012), 2012年06月, 査読有り, 通常論文
筆頭著者

On The Cognitive Efficacy of Euler Diagrams in Syllogistic Reasoning: A Relational Perspective
Koji Mineshima; Yuri Sato; Ryo Takemura; Mitsuhiro Okada
In Proceedings of the 3rd international workshop on euler diagrams (euler diagrams 2012), CEUR Workshop Proceedings, 2012年, 査読有り, 通常論文

A logical investigation on global reading of diagrams
Ryo Takemura; Atsushi Shimojima; Yasuhiro Katagiri
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2012年, 査読有り, 通常論文

Proof-theoretical investigation of Venn diagrams: A logic translation and free rides
Ryo Takemura
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2012年, 査読有り, 通常論文

オイラー図・ヴェン図推論の翻訳とFree rides
竹村 亮
2011年度人工知能学会全国大会（第25回）JSAI2011論文集, 2011年06月, 査読無し, 通常論文
筆頭著者

Interpreting logic diagrams: a comparison of two formulations of diagrammatic representations.
Yuri Sato; Koji Mineshima; Ryo Takemura
Proceedings of the 33th Annual Meeting of the Cognitive Science Society, CogSci 2011, Boston, Massachusetts, USA, July 20-23, 2011, 2011年, 査読有り, 通常論文

Two Types of Diagrammatic Inference Systems: Natural Deduction Style and Resolution Style
Ryo Takemura Koji Mineshima Mitsuhiro Okada
Diagrammatic Representation and Inference: 6th International Conference, Diagrams 2010, 2010年08月, 査読有り, 通常論文
筆頭著者

The efficacy of Euler and Venn diagrams in deductive reasoning: empirical findings
Koji Mineshima Yuri Sato Ryo Takemura
Diagrammatic Representation and Inference: 6th International Conference, Diagrams 2010, 2010年08月, 査読有り, 通常論文

Constructing internal diagrammatic proofs from external logic diagrams
Koji Mineshima Yuri Sato Ryo Takemura
The annual meeting of the Cognitive Science Society (CogSci 2010), 2010年08月, 査読有り, 通常論文

オイラー図・ヴェン図を用いた図形推論の証明論的分析
竹村亮 峯島宏次 佐藤有理 岡田光弘
2010年度人工知能学会全国大会（第24回）JSAI2010論文集, 2010年06月, 査読無し, 通常論文
筆頭著者

A Phase Semantics for Polarized Linear Logic and Second Order Conservativity
Ryo Takemura Masahiro Hamano
Journal of Symbolic Logic, 2010年03月, 査読有り, 通常論文
筆頭著者

Two Types of Diagrammatic Inference System:Relation-based System as Natural Deduction and Region-based System as Resolution,2010,Proceedings of 6th International Conference on the Theory and Application of Diagrams(DIAGRAMS 2010)
Koji Mineshima; Mitsuhiro Okada; Ryo Takemura
Springer, 2010年, 査読有り, 通常論文

Conservativity for a hierarchy of Euler and Venn reasoning systems
Ryo Takemura Koji Mineshima Mitsuhiro Okada
Proceedings of Workshop on Visual Languages and Logic 2009, 2009年08月, 査読有り, 通常論文
筆頭著者

Is g an entity? A Japanese twin study using syllogisms and intelligence tests
Chizuru Shikishima Kai Hiraishi Shinji Yamagata Yutaro Sugimoto Ryo Takemura Koken Ozaki Mitsuhiro Okada Tatsushi Toda Juko Ando
Intelligence, 2009年05月, 査読有り, 通常論文

An Indexed System for Multiplicative Additive Polarized Linear Logic
Masahiro Hamano
Proceedings of the 22nd international workshop on Computer Science Logic (CSL 2008), 2008年09月, 査読有り, 通常論文
筆頭著者

Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design
Ryo Takemura Koji Mineshima Mitsuhiro Okada Yuri Sato
Proceedings of the 5th international conference on Diagrammatic Representation and Inference (Diagrams2008), 2008年09月, 査読有り, 通常論文
筆頭著者

Remarks on Semantic Completeness for Proof-Terms with Laird's Dual Affine/Intuitionistic λ-Calculus
Mitsuhiro Okada
Rewriting, Computation and Proof, 2007年08月, 査読有り, 通常論文
筆頭著者

A Note on Phase Semantics for Proofs of Laird's λAff (Preliminary Report)
Mitsuhiro Okada
「心の解明に向けての統合的方法論構築」成果報告書, 2007年03月, 査読無し, 通常論文
筆頭著者

A New Proof-Theoretical View on an Old ``Dialogue Logic''
Mitsuhiro Okada
Essays in the Foundations of Logical and Phenomenological Studies, 2007年03月, 査読無し, 通常論文
筆頭著者

Lorenzen's Game Semantics for Classical Logic: From a Proof Theoretical Viewpoint (A Preliminary Report)
Mitsuhiro Okada
「心の解明に向けての統合的方法論構築」成果報告書, 2006年03月, 査読無し, 通常論文
筆頭著者

中規模授業におけるアクティブラーニング―平成29年度商学部FD講習会＆ワークショップ―（活動報告）
竹村亮; 山根龍一; 髙久保豊; 山本篤民; 金惠鎭; 高橋めぐみ; 小川睦美
日本大学FD研究, 2018年03月31日, 査読有り, 通常論文
筆頭著者

大規模授業におけるアクティブラーニング─平成28 年度商学部FD 講習会報告─（活動報告）
竹村亮; 金雲鎬; 岡田太; 菅野正泰; 芝村良; 服部訓和; 根田正樹
日本大学FD研究, 2017年03月31日, 査読無し, 通常論文
筆頭著者

日本大学におけるeラーニングの戦略的活用に関する研究―日本大学理事長特別研究公開シンポジウム開催報告―
福田弥夫,関根二三夫,池田実,成毛信男,鬼頭俊泰,竹村亮, 芝村良,佐藤健一,山添謙,大嶽龍
日本大学FD研究, 2016年03月31日, 査読無し, 通常論文

eラーニングを用いたアクティブラーニングの試み―LMS glexaを用いた反転授業―
竹村亮
日本大学FD研究, 2016年03月31日, 査読有り, 通常論文
筆頭著者

図形は「おまけ」？―数学・論理学における証明
竹村亮
砧通信, 2015年12月01日, 査読無し, 招待有り
筆頭著者

LMS glexaを用いた論理学e-learning教材の開発
竹村亮
総合文化研究, 2015年12月, 査読有り, 通常論文
筆頭著者

商学・経済学を学ぶための数学(2)
竹村亮
平成２６年度日本大学理事長特別研究公開シンポジウム報告書 「日本大学におけるｅラーニングの戦略的活用の研究― 高大連携，入学前教育，学部教育そして大学院教育におけるeラーニング導入の必要性とパイロットプログラムによる実証的研究 ―」, 2015年02月20日, 査読無し, 通常論文
筆頭著者

★Euler diagrams for defeasible reasoning
Ryo Takemura
11th International Conference on the Theory and Application of Diagrams, Diagrams 2020, 通常論文

Another representation of cut-elimination
Ryo Takemura
6th Asian Workshop on Philosophical Logic, 2024年03月, 通常論文

Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams
Ryo Takemura
10th International Conference on the Theory and Application of Diagrams, Diagrams 2018, 2018年06月, Diagrams 2018, 通常論文

図形と論理式を組合わせたヘテロジニアスな証明の特徴づけ
竹村亮
RIMS共同研究（公開型）「証明論と証明活動」（証明論研究会2017）, 2017年12月, 証明論研究会, 通常論文

オイラー図を使った推論：証明構成と反例構成
竹村亮
日本大学哲学会第68回, 2017年10月, 日本大学哲学会, 通常論文

オイラー図を用いたヘテロジニアス推論---ルールベースとモデルベースの推論---
竹村亮; 片桐恭弘
日本認知科学会第34回大会, 2017年09月, 日本認知科学会, 通常論文

Completeness of Second-Order Intuitionistic Propositional Logic with Respect to a Proof-Theoretic Semantics
Yuta Takahashi and Ryo Takemura
The 3rd Asian Workshop on Philosophical Logic (AWPL 2016), 2016年10月, 通常論文

A logical investigation of heterogeneous reasoning with graphs in elementary economics
Ryo Takemura
Diagrammatic Representation and Inference: 9th International Conference, Diagrams 2016, 2016年08月, Diagrams 2016, 通常論文

Euler diagrams as an introduction to set-theoretical models
Ryo Takemura
Fourth International Conference on Tools for Teaching Logic (TTL2015), 2015年06月, 通常論文

商学・経済学を学ぶための数学
竹村亮
平成２６年度日本大学理事長特別研究公開シンポジウム 「日本大学におけるｅラーニングの戦略的活用の研究― 高大連携，入学前教育，学部教育そして大学院教育におけるeラーニング導入の必要性とパイロットプログラムによる実証的研究 ―」, 2015年01月, 通常論文

Logical investigation of reasoning with tables
Ryo Takemura
The 8th International Conference on the Theory and Application of Diagrams, 2014年07月, 通常論文

Counter-example construction with Euler diagrams
Ryo Takemura
The Second Asian Workshop on Philosophical Logic, 2014年04月, 通常論文

A Heterogeneous Logic with Tables
Ryo Takemura
International Workshop on Diagram Logic and Cognition 2013 (DLAC 2013), 2013年10月, 通常論文

A Logical Investigation on Global Reading of Diagrams
Atsushi Shimojima; Yasuhiro Katagiri
Diagrammatic Representation and Inference: 7th International Conference, Diagrams 2012, 2012年07月, 通常論文

Proof-Theoretical Investigation of Venn Diagrams: a Logic Translation and Free Rides
Diagrammatic Representation and Inference: 7th International Conference, Diagrams 2012, 2012年07月, 通常論文

Defeasible Inheritance Networks and Linear Logic: Horn Fragments and Proof Nets
Ryo Takemura
14th International Workshop on Non-Monotonic Reasoning (NMR 2012), 2012年06月, 通常論文

Defeasible Inheritance Networks and Linear Logic: Horn Fragments and Proof Nets
Ryo Takemura
14th International Workshop on Non-Monotonic Reasoning (NMR 2012), 2012年06月, 通常論文

オイラー図・ヴェン図推論の翻訳とFree rides
2011年度人工知能学会全国大会（第25回）, 2011年06月, 通常論文

Proof theory for reasoning with Euler diagrams
Proof Theory and Philosophy, 2011年02月, 通常論文

オイラー図推論の証明論的分析：Free ride propertyと正規形証明
日本科学哲学会第43回大会, 2010年11月, 通常論文

Two Types of Diagrammatic Inference Systems, Natural Deduction Style and Resolution Style
Koji Mineshima; Mitsuhiro Okada
Sixth International Conference on the Theory and Application of Diagrams (Diagrams 2010), 2010年08月, 通常論文

オイラー図・ヴェン図を用いた図形推論の証明論的分析
峯島宏次; 佐藤有理; 岡田光弘
2010年度人工知能学会全国大会（第24回）, 2010年06月, 通常論文

Reasoning with Euler diagrams: a proof-theoretical approach
Koji Mineshima
3rd World Congress and School on Universal Logic, 2010年04月, 通常論文

Conservativity for a hierarchy of Euler and Venn reasoning systems
Koji Mineshima; Mitsuhiro Okada
Workshop on Visual Languages and Logic 2009, 2009年09月, 通常論文

Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design
Koji Mineshima; Mitsuhiro Okada; Yuri Sato
Fifth International Conference on the Theory and Application of Diagrams (Diagrams 2008), 2008年09月, 通常論文

A Phase Semantics for Polarized Linear Logic and Second Order Conservation
Masahiro Hamano
Round Table Symposium on Proof Theory, Linear Logic and Program Semantics, 2007年03月, 通常論文

証明の対話的解釈（ゲーム意味論）
日本科学哲学会第39回大会, 2006年10月, 通常論文

Lorenzen-Style Traditional Games: Revisited from a Sequent Calculus View (Report of an on-going work)
Workshop on Linear Logic, Proof Theory and Computer Science, 2006年03月, 通常論文