TAKEMURA Ryo 竹村亮

Researcher Number	70583665
Other IDs
Affiliation (Current)	2025: 日本大学, 商学部, 教授
Affiliation (based on the past Project Information) *help	2022 – 2023: 日本大学, 商学部, 教授 2015 – 2021: 日本大学, 商学部, 准教授 2012 – 2015: 日本大学, 商学部, 助教 2011: 日本大学, 商学部, 講師 2010 – 2011: 慶應義塾大学, 文学部, 講師
Review Section/Research Field	Principal Investigator Philosophy/Ethics / Basic Section 01010:Philosophy and ethics-related Except Principal Investigator Cognitive science / Cognitive science
Keywords	Principal Investigator 証明論 / 論理学 / 図形推論 / 不確実な推論 / 論証 / heterogeneous logic / heterogeneous reasoning / 線形論理 Except Principal Investigator 図的推論 / 問題解決 … More / 推論 / 知覚 / 情報視覚化 / 読解 / 思考 / 推論・問題解決 Less

不確実な推論を含む論証の証明論的研究Principal Investigator
- Principal Investigator
  
  竹村亮
- Project Period (FY)
  2019 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 01010:Philosophy and ethics-related
- Research Institution
  Nihon University
A logical investigation on heterogeneous reasoning combining sentences and diagramsPrincipal Investigator
- Principal Investigator
  
  TAKEMURA Ryo
- Project Period (FY)
  2016 – 2019
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Philosophy/Ethics
- Research Institution
  Nihon University
An integrated approach to the processing of abstract information in diagrammatic reasoning
- Principal Investigator
  
  Shimojima Atsushi
- Project Period (FY)
  2015 – 2019
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Cognitive science
- Research Institution
  Doshisha University
A logical investigation of diagrammatic reasoning and non-deductive reasoning based on linear logicPrincipal Investigator
- Principal Investigator
  
  TAKEMURA Ryo
- Project Period (FY)
  2012 – 2015
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Philosophy/Ethics
- Research Institution
  Nihon University
Integrated Study of the Competence of Diagrammatic Representation Systems and the Performance of Diagrammatic Reasoning
- Principal Investigator
  
  SHIMOJIMA Atsushi
- Project Period (FY)
  2011 – 2013
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Cognitive science
- Research Institution
  Doshisha University
A proof-theoretical investigation on diagrammatic reasoningPrincipal Investigator
- Principal Investigator
  
  TAKEMURA Ryo
- 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 2022 2021 2020 2018 2017 2016 2015 2014 2013 2012 2011 2010 Other

All Journal Article Presentation

[Journal Article] Another representation of cut-elimination2024
- Author(s)
  Ryo Takemura
- Journal Title
  
  Proceedings of the 6th Asian Workshop on Philosophical Logic
  
  Volume: -
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19K00021
[Journal Article] Logic and majority voting2022
- Author(s)
  Ryo Takemura
- Journal Title
  
  Journal of Philosophical Logic
  
  Volume: 51 Issue: 2 Pages: 347-382
- DOI
  10.1007/s10992-021-09631-7
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19K00021
[Journal Article] Proof theory for heterogeneous logic combining formulas and diagrams ---Proof normalization---2021
- Author(s)
  Ryo Takemura
- Journal Title
  
  Archive for Mathematical Logic
  
  Volume: - Issue: 7-8 Pages: 783-813
- DOI
  10.1007/s00153-020-00759-y
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19K00021
[Journal Article] Euler diagrams for defeasible reasoning2020
- Author(s)
  Ryo Takemura
- Journal Title
  
  Diagrammatic Representation and Inference, Lecture Notes in Computer Science
  
  Volume: 12169 Pages: 289-304
- DOI
  10.1007/978-3-030-54249-8_23
- ISBN
  9783030542481, 9783030542498
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19K00021
[Journal Article] Euler Diagrams for Defeasible Reasoning2020
- Author(s)
  Ryo Takemura
- Journal Title
  
  Diagrammatic Representation and Inference, Lecture Notes in Computer Science
  
  Volume: －
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15H02716
[Journal Article] Economic reasoning with demand and supply graphs2020
- Author(s)
  Ryo Takemura
- Journal Title
  
  Mathematical Social Sciences
  
  Volume: 103 Pages: 25-35
- DOI
  10.1016/j.mathsocsci.2019.11.001
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19K00021
[Journal Article] 多数決と論理---社会的選択理論と論理学---(Majority voting and logical reasoning ---Social choice theory and logic---)2020
- Author(s)
  竹村亮
- Journal Title
  
  商学集志
  
  Volume: 90 Pages: 137-155
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19K00021
[Journal Article] Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams2018
- Author(s)
  Takemura R.
- Journal Title
  
  Diagrammatic Representation and Inference
  
  Volume: 10871 Pages: 607-623
- DOI
  10.1007/978-3-319-91376-6_55
- ISBN
  9783319913759, 9783319913766
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15H02716, KAKENHI-PROJECT-16K16689
[Journal Article] Completeness of Second-Order Intuitionistic Propositional Logic with Respect to Phase Semantics for Proof-Terms2018
- Author(s)
  Yuta Takahashi and Ryo Takemura
- Journal Title
  
  Journal of Philosophical Logic
  
  Volume: － Issue: 3 Pages: 1-18
- DOI
  10.1007/s10992-018-9484-z
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16J04925, KAKENHI-PROJECT-16K16689
[Journal Article] オイラー図を用いたヘテロジニアス推論---ルールベースとモデルベースの推論---2017
- Author(s)
  竹村亮, 片桐恭弘
- Journal Title
  
  日本認知科学会第34回大会発表論文集
  
  Volume: - Pages: 294-301
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15H02716
[Journal Article] Investigation of Prawitz's completeness conjecture in phase semantic framework2017
- Author(s)
  Ryo Takemura
- Journal Title
  
  Journal of Humanities and Sciences Nihon University（総合文化研究）
  
  Volume: 23 Pages: 1-19
- NAID
  40021302106
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K16689
[Journal Article] オイラー図を用いたヘテロジニアス推論---ルールベースとモデルベースの推論---2017
- Author(s)
  竹村亮, 片桐恭弘
- Journal Title
  
  日本認知科学会第34回大会発表論文集
  
  Volume: - Pages: 294-301
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K16689
[Journal Article] A Logical Investigation of Heterogeneous Reasoning with Graphs in Elementary Economics2016
- Author(s)
  Ryo Takemura
- Journal Title
  
  Diagrammatic Representation and Inference, Lecture Notes in Computer Science
  
  Volume: 9781 Pages: 98-104
- DOI
  10.1007/978-3-319-42333-3_8
- ISBN
  9783319423326, 9783319423333
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15H02716, KAKENHI-PROJECT-16K16689
[Journal Article] eラーニングを用いたアクティブラーニングの試み--LMS glexaを用いた反転授業--（研究ノート）2016
- Author(s)
  竹村亮
- Journal Title
  
  日本大学FD研究
  
  Volume: 4 Pages: 13-26
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K16689
[Journal Article] eラーニングを用いたアクティブラーニングの試み--LMS glexaを用いた反転授業--2016
- Author(s)
  竹村亮
- Journal Title
  
  日本大学FD研究
  
  Volume: 4 Pages: 13-26
- NAID
  40020781835
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24720016
[Journal Article] Counter-Example Construction with Euler Diagrams2015
- Author(s)
  Ryo Takemura
- Journal Title
  
  Studia Logica - An International Journal for Symbolic Logic
  
  Volume: - Issue: 4 Pages: 669-696
- DOI
  10.1007/s11225-014-9584-x
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24720016
[Journal Article] LMS glexaを用いた論理学e-learning教材の開発2015
- Author(s)
  竹村亮
- Journal Title
  
  総合文化研究
  
  Volume: 21 Pages: 29-50
- NAID
  40021301957
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24720016
[Journal Article] Euler diagrams as an introduction to set-theoretical models2015
- Author(s)
  Ryo Takemura
- Journal Title
  
  Proceedings of the Fourth International Conference on Tools for Teaching Logic (TTL2015)
  
  Volume: - Pages: 223-231
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24720016
[Journal Article] 商学・経済学を学ぶための数学（２）2014
- Author(s)
  竹村亮
- Journal Title
  
  平成26年度日本大学理事長特別研究　公開シンポジウム報告書
  
  Volume: なし Pages: 33-43
- Data Source
  KAKENHI-PROJECT-24720016
[Journal Article] Towards explaining the cognitive efficacy of Euler diagrams in syllogistic reasoning: A relational perspective.2014
- Author(s)
  Koji Mineshima, Yuri Sato, Ryo Takemura, Mitsuhiro Okada.
- Journal Title
  
  Journal of Visual Languages and Computing, accepted
  
  Volume: 25 Issue: 3 Pages: 156-169
- DOI
  10.1016/j.jvlc.2013.08.007
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PLANNED-23120002, KAKENHI-PROJECT-23300101, KAKENHI-PROJECT-24720016, KAKENHI-PROJECT-26284005, KAKENHI-PROJECT-26770009
[Journal Article] A Heterogeneous Logic with Tables (Extended Abstract)2014
- Author(s)
  Ryo Takemura
- Journal Title
  
  Proceedings of First International Workshop on Diagrams, Logic and Cognition (DLAC 2013)
  
  Volume: CEUR Series Vol. 1132 Pages: 9-16
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24720016
[Journal Article] Logical Investigation of Reasoning with Tables2014
- Author(s)
  Ryo Takemura, Atsushi Shimojima, Yasuhiro Katagiri
- Journal Title
  
  Diagrammatic Representation and Inference: Eighth International Conference, Diagrams 2014, Proceedings
  
  Volume: LNAI
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23300101
[Journal Article] Logical Investigation of Reasoning with Tables2014
- Author(s)
  R. Takemura, A. Shimojima, and Y. Katagiri
- Journal Title
  
  Diagrammatic Representation and Inference - 8th International Conference, Diagrams 2014
  
  Volume: 8 Pages: 261-276
- DOI
  10.1007/978-3-662-44043-8_27
- ISBN
  9783662440421, 9783662440438
- Peer Reviewed
- Data Source
  KAKENHI-PLANNED-23120002, KAKENHI-PROJECT-24720016
[Journal Article] Completeness of an Euler Diagrammatic System with Constant and Existential Points2013
- Author(s)
  Ryo Takemura
- Journal Title
  
  Journal of Humanities and Sciences Nihon University （総合文化研究）
  
  Volume: 19 Pages: 23-40
- NAID
  40021301714
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24720016
[Journal Article] A Heterogeneous Logic with Tables (Extended Abstract)2013
- Author(s)
  Ryo Takemura
- Journal Title
  
  Proceedings of First International Workshop on Diagrams, Logic and Cognition (DLAC 2013), CEUR Series
  
  Volume: 1132 Pages: 9-16
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23300101
[Journal Article] Completeness of an Euler Diagrammatic System with Constant and Existential Points2013
- Author(s)
  Ryo Takemura
- Journal Title
  
  Journal of Humanities and Sciences Nihon University, （総合文化研究）
  
  Volume: 19 Pages: 23-40
- NAID
  40021301714
- Data Source
  KAKENHI-PROJECT-23300101
[Journal Article] Proof theory for reasoning with Euler diagrams : a Logic Translation and Normalization2012
- Author(s)
  Ryo Takemura
- Journal Title
  
  Studia Logica
  
  Volume: Volume 101 Issue: 1 Pages: 157-191
- DOI
  10.1007/s11225-012-9370-6
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22820053, KAKENHI-PROJECT-23300101, KAKENHI-PROJECT-24720016
[Journal Article] A Logical Investigation on Global Reading of Diagrams2012
- Author(s)
  Ryo Takemura, Atsushi Shimojima, and Yasuhiro Katagiri
- Journal Title
  
  Diagrammatic Representation and Inference: Seventh International Conference, Diagrams 2012, Proceedings
  
  Volume: 7352 Pages: 330-333
- DOI
  10.1007/978-3-642-31223-6_42
- ISBN
  9783642312229, 9783642312236
- Peer Reviewed
- Data Source
  KAKENHI-PLANNED-23120002, KAKENHI-PROJECT-23300101, KAKENHI-PROJECT-24720016
[Journal Article] Proof-Theoretical Investigation of Venn Diagrams: a Logic Translation and Free Rides2012
- Author(s)
  Ryo Takemura
- Journal Title
  
  Diagrammatic Representation and Inference: 7th International Conference, Diagrams 2012
  
  Volume: Volume 7352 Pages: 132-147
- DOI
  10.1007/978-3-642-31223-6_17
- ISBN
  9783642312229, 9783642312236
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24720016
[Journal Article] A Diagrammatic Inference System with Euler Circles2012
- Author(s)
  Koji Mineshima, Mitsuhiro Okada, and Ryo Takemura
- Journal Title
  
  Language and Information
  
  Volume: 21 Issue: 3 Pages: 365-391
- DOI
  10.1007/s10849-012-9160-6
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22820053, KAKENHI-PLANNED-23120002, KAKENHI-PROJECT-23300101, KAKENHI-PROJECT-24720016
[Journal Article] Defeasible Inheritance Networks and Linear Logic: Horn Fragments and Proof Nets2012
- Author(s)
  Ryo Takemura
- Journal Title
  
  Proceedings of the 14th International Workshop on Non-Monotonic Reasoning (NMR 2012)
  
  Volume: なし
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24720016
[Journal Article] A Diagrammatic Reasoning System with Euler Circles2011
- Author(s)
  Koji Mineshima, Mitsuhiro Okada, Ryo Takemura
- Journal Title
  
  Journal of Logic, Language and Information
  
  Volume: (近刊)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22820053
[Journal Article] オイラー図・ヴェン図推論の翻訳とFree rides2011
- Author(s)
  竹村亮
- Journal Title
  
  JSAI2011論文集(Web版)
- NAID
  130007423184
- URL
  https://kaigi.org/jsai/webprogram/2011/paper-238.html
- Data Source
  KAKENHI-PROJECT-22820053
[Journal Article] オイラー図・ヴェン図推論の翻訳とFree rides2011
- Author(s)
  竹村亮
- Journal Title
  
  2011年度人工知能学会全国大会(第25回)JSAI2011論文集
  
  Volume: (Web版)
- NAID
  130007423184
- Data Source
  KAKENHI-PROJECT-22820053
[Journal Article] Two Types of Diagrammatic Inference Systems : Natural Deduction Style and Resolution Style2010
- Author(s)
  Koji Mineshima, Mitsuhiro Okada, Ryo Takemura
- Journal Title
  
  Diagrammatic Representation and Inference : 6th International Conference, Diagrams 2010
  
  Volume: 6170 Pages: 99-114
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22820053
[Journal Article] Two Types of Diagrammatic Inference Systems : Natural Deduction Style and Resolution Style2010
- Author(s)
  Koji Mineshima, Mitsuhiro Okada, and Ryo Takemura
- Journal Title
  
  Diagrammatic Representation and Inference
  
  Volume: 6170 Pages: 99-114
- DOI
  10.1007/978-3-642-14600-8_12
- ISBN
  9783642145995, 9783642146008
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22820053
[Journal Article] The efficacy of Euler and Venn diagrams in deductive reasoning : empirical findings2010
- Author(s)
  Yuri Sato, Koji Mineshima, and Ryo Takemura
- Journal Title
  
  Diagrammatic Representation and Inference
  
  Volume: 6170 Pages: 6-22
- DOI
  10.1007/978-3-642-14600-8_6
- ISBN
  9783642145995, 9783642146008
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22820053
[Journal Article] Constructing internal diagrammatic proofs from external logic diagrams2010
- Author(s)
  Yuri Sato, Koji Mineshima, and Ryo Takemura
- Journal Title
  
  The annual meeting of the Cognitive Science Society(CogSci 2010)
  
  Pages: 2668-2673
- URL
  http://palm.mindmodeling.org/cogsci2010/papers/0640/index.html
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22820053
[Journal Article] The efficacy of Euler and Venn diagrams in deductive reasoning : empirical findings2010
- Author(s)
  Yuri Sato, Koji Mineshima, Ryo Takemura
- Journal Title
  
  Diagrammatic Representation and Inference : 6th International Conference, Diagrams 2010
  
  Volume: 6170 Pages: 6-22
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22820053
[Journal Article] オイラー図・ヴェン図を用いた図形推論の証明論的分析2010
- Author(s)
  竹村亮, 峯島宏次, 佐藤有理, 岡田光弘
- Journal Title
  
  JSAI2010論文集(Web版)
- NAID
  130007425448
- URL
  https://kaigi.org/jsai/webprogram/2010/paper-389.html
- Data Source
  KAKENHI-PROJECT-22820053
[Journal Article] Constructing internal diagrammatic proofs from external logic diagrams2010
- Author(s)
  Yuri Sato, Koji Mineshima, Ryo Takemura
- Journal Title
  
  The annual meeting of the Cognitive Science Society (CogSci 2010)
  
  Pages: 2668-2673
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22820053
[Presentation] Another representation of cut-elimination2024
- Author(s)
  Ryo Takemura
- Organizer
  6th Asian Workshop on Philosophical Logic
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K00021
[Presentation] Euler diagrams for defeasible reasoning2020
- Author(s)
  Ryo Takemura
- Organizer
  11th International Conference on the Theory and Application of Diagrams, Diagrams 2020
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K00021
[Presentation] Euler Diagrams for Defeasible Reasoning2020
- Author(s)
  Ryo Takemura
- Organizer
  Eleventh International Conference on the Theory and Application of Diagrams
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H02716
[Presentation] Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams2018
- Author(s)
  Ryo Takemura
- Organizer
  10th International Conference on the Theory and Application of Diagrams, Diagrams 2018
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K16689
[Presentation] Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams2018
- Author(s)
  Takemura R.
- Organizer
  10th International Conference on the Theory and Application of Diagrams, Diagrams 2018
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H02716
[Presentation] 図形と論理式を組合わせたヘテロジニアスな証明の特徴づけ2017
- Author(s)
  竹村亮
- Organizer
  RIMS共同研究（公開型）「証明論と証明活動」（証明論研究会2017）
- Data Source
  KAKENHI-PROJECT-15H02716
[Presentation] オイラー図を使った推論：証明構成と反例構成2017
- Author(s)
  竹村亮
- Organizer
  日本大学哲学会第68回（平成29年度）学術研究発表会
- Data Source
  KAKENHI-PROJECT-15H02716
[Presentation] オイラー図を使った推論：証明構成と反例構成2017
- Author(s)
  竹村亮
- Organizer
  日本大学哲学会第68回（平成29年度）学術研究発表会
- Data Source
  KAKENHI-PROJECT-16K16689
[Presentation] 図形と論理式を組合わせたヘテロジニアスな証明の特徴づけ2017
- Author(s)
  竹村亮
- Organizer
  RIMS共同研究（公開型）「証明論と証明活動」（証明論研究会2017）
- Data Source
  KAKENHI-PROJECT-16K16689
[Presentation] オイラー図を用いたヘテロジニアス推論---ルールベースとモデルベースの推論---2017
- Author(s)
  竹村亮, 片桐恭弘
- Organizer
  日本認知科学会第34回大会
- Data Source
  KAKENHI-PROJECT-16K16689
[Presentation] オイラー図を用いたヘテロジニアス推論---ルールベースとモデルベースの推論---2017
- Author(s)
  竹村亮, 片桐恭弘
- Organizer
  日本認知科学会第34回大会（オーガナイズドセッション）
- Data Source
  KAKENHI-PROJECT-15H02716
[Presentation] Completeness of Second-Order Intuitionistic Propositional Logic with Respect to a Proof-Theoretic Semantics2016
- Author(s)
  Yuta Takahashi and Ryo Takemura
- Organizer
  The 3rd Asian Workshop on Philosophical Logic (AWPL 2016)
- Place of Presentation
  National Taiwan University, Taipei, Taiwan
- Year and Date
  2016-10-05
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K16689
[Presentation] Completeness of Second-Order Intuitionistic Propositional Logic with Respect to a Proof-Theoretic Semantics2016
- Author(s)
  Yuta Takahashi and Ryo Takemura
- Organizer
  The 3rd Asian Workshop on Philosophical Logic (AWPL 2016)
- Place of Presentation
  National Taiwan University, Taipei, Taiwan
- Year and Date
  2016-10-05
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H02716
[Presentation] A Logical Investigation of Heterogeneous Reasoning with Graphs in Elementary Economics2016
- Author(s)
  Ryo Takemura
- Organizer
  Ninth International Conference on the Theory and Application of Diagrams
- Place of Presentation
  Philadelphia, USA
- Year and Date
  2016-08-07
- Data Source
  KAKENHI-PROJECT-15H02716
[Presentation] A Logical Investigation of Heterogeneous Reasoning with Graphs in Elementary Economics2016
- Author(s)
  Ryo Takemura
- Organizer
  Diagrammatic Representation and Inference: 9th International Conference, Diagrams 2016
- Place of Presentation
  Philadelphia, PA, USA,
- Year and Date
  2016-08-07
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H02716
[Presentation] A logical investigation of heterogeneous reasoning with graphs in elementary economics2016
- Author(s)
  Ryo Takemura
- Organizer
  Diagrammatic Representation and Inference: 9th International Conference, Diagrams 2016
- Place of Presentation
  Philadelphia, PA, USA
- Year and Date
  2016-08-07
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K16689
[Presentation] Euler diagrams as an introduction to set-theoretical models2015
- Author(s)
  Ryo Takemura
- Organizer
  Fourth International Conference on Tools for Teaching Logic (TTL2015)
- Place of Presentation
  Rennes, France
- Year and Date
  2015-06-10
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-24720016
[Presentation] Euler Diagrams As an Introduction to Set-Theoretical Models2015
- Author(s)
  Ryo Takemura
- Organizer
  Fourth International Conference on Tools for Teaching Logic
- Place of Presentation
  Rennes, France
- Year and Date
  2015-06-10
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H02716
[Presentation] 商学・経済学を学ぶための数学2015
- Author(s)
  竹村亮
- Organizer
  日本大学理事長特別研究　公開シンポジウム
- Place of Presentation
  日本大学
- Year and Date
  2015-01-24
- Data Source
  KAKENHI-PROJECT-24720016
[Presentation] Logical Inverstigation of Reasoning with Tables2014
- Author(s)
  Ryo Takemura, Atsushi Shimojima, Yasuhiro Katagiri
- Organizer
  Diagrams 2014
- Place of Presentation
  Springer, Heidelberg
- Data Source
  KAKENHI-PROJECT-23300101
[Presentation] A Heterogeneous Logic with Tables2013
- Author(s)
  Ryo Takemura
- Organizer
  International Workshop on Diagram Logic and Cognition 2013 (DLAC 2013)
- Place of Presentation
  Jadavpur University, Kolkata, India
- Data Source
  KAKENHI-PROJECT-23300101
[Presentation] A Heterogeneous Logic with Tables2013
- Author(s)
  Ryo Takemura
- Organizer
  International Workshop on Diagram Logic and Cognition 2013 (DLAC 2013)
- Place of Presentation
  Jadavpur University, Kolkata, India
- Data Source
  KAKENHI-PROJECT-24720016
[Presentation] A Heterogeneous Logic with Tables2013
- Author(s)
  Ryo Takemura
- Organizer
  First International Workshop on Diagrams, Logic and Cognition (DLAC 2013), 2013
- Place of Presentation
  Jadavpur University, Kolkata, India
- Data Source
  KAKENHI-PROJECT-23300101
[Presentation] Defeasible Inheritance Networks and Linear Logic: Horn Fragments and Proof Nets2012
- Author(s)
  Ryo Takemura
- Organizer
  14th International Workshop on Non-Monotonic Reasoning (NMR 2012)
- Place of Presentation
  Rome, Italy
- Data Source
  KAKENHI-PROJECT-24720016
[Presentation] Proof-Theoretical Investigation of Venn Diagrams: a Logic Translation and Free Rides2012
- Author(s)
  Ryo Takemura
- Organizer
  7th International Conference of the Theory and Application of diagrams (Diagrams 2012)
- Place of Presentation
  University of Kent, Canterbury, UK
- Data Source
  KAKENHI-PROJECT-23300101
[Presentation] Proof-Theoretical Investigation of Venn Diagrams : a Logic Translation and Free Rides2012
- Author(s)
  Ryo Takemura
- Organizer
  Diagrams 2012
- Place of Presentation
  Springer, Heidelberg
- Data Source
  KAKENHI-PROJECT-23300101
[Presentation] Proof-Theoretical Investigation of Venn Diagrams: a Logic Translation and Free Rides2012
- Author(s)
  Ryo Takemura
- Organizer
  7th International Conference on the Theory and Application of diagrams (Diagrams 2012)
- Place of Presentation
  Canterbury, UK
- Data Source
  KAKENHI-PROJECT-24720016
[Presentation] A Logical Investigation on Global Reading of Diagrams2012
- Author(s)
  Ryo Takemura, Atsushi Shimojima, and Yasuhiro Katagiri
- Organizer
  7th International Conference on the Theory and Application of diagrams (Diagrams 2012)
- Place of Presentation
  Canterbury, UK
- Data Source
  KAKENHI-PROJECT-24720016
[Presentation] A Logical Investigation on Global Reading of Diagrams2012
- Author(s)
  Ryo Takemura, Atsushi Shimojima, Yasuhiro Katagiri,
- Organizer
  Diagrams 2012
- Place of Presentation
  Springer, Heidelberg
- Data Source
  KAKENHI-PROJECT-23300101
[Presentation] A Logical Investigation on Global Reading of Diagrams2012
- Author(s)
  Ryo Takemura
- Organizer
  7th International Conference of the Theory and Application of diagrams (Diagrams 2012)
- Place of Presentation
  University of Kent, Canterbury, UK
- Data Source
  KAKENHI-PROJECT-23300101
[Presentation] オイラー図・ヴェン図推論の翻訳とFree rides2011
- Author(s)
  竹村亮
- Organizer
  2011年度人工知能学会全国大会
- Place of Presentation
  アイーナ:いわて県民情報交流センター(岩手)
- Year and Date
  2011-06-01
- Data Source
  KAKENHI-PROJECT-23300101
[Presentation] オイラー図推論の証明論的分析:自然演繹への翻訳と正規形証明2011
- Author(s)
  竹村亮
- Organizer
  2010年度MLG数理論理学研究集会(第45回)
- Place of Presentation
  KKR湯沢ゆきぐに,新潟
- Year and Date
  2011-01-07
- Data Source
  KAKENHI-PROJECT-22820053
[Presentation] オイラー図・ヴェン図推論の翻訳とFree rides2011
- Author(s)
  竹村亮
- Organizer
  2011年度人工知能学会全国大会(第25回)
- Place of Presentation
  アイーナいわて県民情報交流センター(岩手県)
- Year and Date
  2011-06-01
- Data Source
  KAKENHI-PROJECT-22820053
[Presentation] オイラー図推論の証明論的分析:自然演繹への翻訳と正規形証明2011
- Author(s)
  竹村亮
- Organizer
  2010年度MLG 数理論理学研究集会(第45回)
- Place of Presentation
  KKR湯沢ゆきぐに,新潟
- Year and Date
  2011-01-07
- Data Source
  KAKENHI-PROJECT-22820053
[Presentation] Proof theory for reasoning with Euler diagrams2011
- Author(s)
  Ryo Takemura
- Organizer
  Proof theory and philosophy
- Place of Presentation
  Keio University, Tokyo
- Year and Date
  2011-02-26
- Data Source
  KAKENHI-PROJECT-22820053
[Presentation] オイラー図推論の証明論的分析: Free ride propertyと正規形証明2010
- Author(s)
  竹村亮
- Organizer
  日本科学哲学会第43回(2010年)大会
- Place of Presentation
  大阪市立大学,大阪
- Year and Date
  2010-11-27
- Data Source
  KAKENHI-PROJECT-22820053
[Presentation] Two Types of Diagrammatic Inference Systems : Natural Deduction Style and Resolution Style2010
- Author(s)
  Koji Mineshima, Mitsuhiro Okada, and Ryo Takemura
- Organizer
  Sixth International Conference on the Theory and Application of Diagrams(Diagrams 2010)
- Place of Presentation
  Portland State University, Portland, Oregon, USA
- Year and Date
  2010-08-10
- Data Source
  KAKENHI-PROJECT-22820053
[Presentation] オイラー図・ヴェン図を用いた図形推論の証明論的分析2010
- Author(s)
  竹村亮, 峯島宏次, 佐藤有理, 岡田光弘
- Organizer
  2010年度人工知能学会全国大会(第24回)
- Place of Presentation
  長崎ブリックホール,長崎
- Year and Date
  2010-06-09
- Data Source
  KAKENHI-PROJECT-22820053
[Presentation] Reasoning with Euler diagrams : a proof-theoretical approach2010
- Author(s)
  Koji Mineshima, Mitsuhiro Okada, and Ryo Takemura
- Organizer
  3rd World Congress and School on Universal Logic
- Place of Presentation
  Estoril Eden, Lisbon, Portugal
- Year and Date
  2010-04-25
- Data Source
  KAKENHI-PROJECT-22820053
[Presentation] オイラー図推論の証明論的分析:Free ride propertyと正規形証明2010
- Author(s)
  竹村亮
- Organizer
  日本科学哲学会第43回(2010年)大会
- Place of Presentation
  大阪市立大学,大阪
- Year and Date
  2010-11-27
- Data Source
  KAKENHI-PROJECT-22820053
[Presentation] Two Types of Diagrammatic Inference Systems : Natural Deduction Style and Resolution Style2010
- Author(s)
  Koji Mineshima, Mitsuhiro Okada, Ryo Takemura
- Organizer
  Sixth International Conference on the Theory and Application of Diagrams (Diagrams 2010)
- Place of Presentation
  Portland State University, Portland, Oregon, USA
- Year and Date
  2010-08-10
- Data Source
  KAKENHI-PROJECT-22820053
[Presentation] Logical investigation of reasoning with tables
- Author(s)
  Ryo Takemura
- Organizer
  Diagrammatic Representation and Inference: 8th International Conference, Diagrams 2014
- Place of Presentation
  Novotel Melbourne on Collins, Melbourne, Australia
- Year and Date
  2014-07-28 – 2014-08-01
- Data Source
  KAKENHI-PROJECT-24720016
[Presentation] Counter-example construction with Euler diagrams
- Author(s)
  Ryo Takemura
- Organizer
  The Second Asian Workshop on Philosophical Logic
- Place of Presentation
  Guangzhou, China
- Year and Date
  2014-04-12 – 2014-04-13
- Data Source
  KAKENHI-PROJECT-24720016

1. SHIMOJIMA Atsushi (40303341)

# of Collaborated Projects: 2 results

# of Collaborated Products: 5 results
2. SUGIO Takeshi (60335205)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
3. KATAGIRI Yasuhiro (60374097)

# of Collaborated Projects: 2 results

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

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. 岡田光弘

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results

TAKEMURA Ryo 竹村 亮

Research Projects

Research Products

Co-Researchers

不確実な推論を含む論証の証明論的研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

A logical investigation on heterogeneous reasoning combining sentences and diagramsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

An integrated approach to the processing of abstract information in diagrammatic reasoning

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A logical investigation of diagrammatic reasoning and non-deductive reasoning based on linear logicPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Integrated Study of the Competence of Diagrammatic Representation Systems and the Performance of Diagrammatic Reasoning

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A proof-theoretical investigation on diagrammatic reasoningPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Another representation of cut-elimination2024

Author(s)

Journal Title

Data Source

[Journal Article] Logic and majority voting2022

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Proof theory for heterogeneous logic combining formulas and diagrams ---Proof normalization---2021

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Euler diagrams for defeasible reasoning2020

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] Euler Diagrams for Defeasible Reasoning2020

Author(s)

Journal Title

Data Source

[Journal Article] Economic reasoning with demand and supply graphs2020

Author(s)

Journal Title

DOI

Data Source

[Journal Article] 多数決と論理---社会的選択理論と論理学---(Majority voting and logical reasoning ---Social choice theory and logic---)2020

Author(s)

Journal Title

Data Source

[Journal Article] Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams2018

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] Completeness of Second-Order Intuitionistic Propositional Logic with Respect to Phase Semantics for Proof-Terms2018

TAKEMURA Ryo 竹村亮