• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

竹村 亮  TAKEMURA Ryo

ORCIDORCID連携する *注記
研究者番号 70583665
その他のID
所属 (現在) 2025年度: 日本大学, 商学部, 教授
所属 (過去の研究課題情報に基づく) *注記 2022年度 – 2023年度: 日本大学, 商学部, 教授
2015年度 – 2021年度: 日本大学, 商学部, 准教授
2012年度 – 2015年度: 日本大学, 商学部, 助教
2011年度: 日本大学, 商学部, 講師
2010年度 – 2011年度: 慶應義塾大学, 文学部, 講師
審査区分/研究分野
研究代表者
哲学・倫理学 / 小区分01010:哲学および倫理学関連
研究代表者以外
認知科学 / 認知科学
キーワード
研究代表者
証明論 / 論理学 / 図形推論 / 不確実な推論 / 論証 / heterogeneous logic / heterogeneous reasoning / 線形論理
研究代表者以外
図的推論 / 問題解決 … もっと見る / 推論 / 知覚 / 情報視覚化 / 読解 / 思考 / 推論・問題解決 隠す
  • 研究課題

    (6件)
  • 研究成果

    (84件)
  • 共同研究者

    (5人)
  •  不確実な推論を含む論証の証明論的研究研究代表者

    • 研究代表者
      竹村 亮
    • 研究期間 (年度)
      2019 – 2024
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分01010:哲学および倫理学関連
    • 研究機関
      日本大学
  •  図形表現と文表現を組み合わせたヘテロジニアスな日常的推論の論理学研究研究代表者

    • 研究代表者
      竹村 亮
    • 研究期間 (年度)
      2016 – 2019
    • 研究種目
      若手研究(B)
    • 研究分野
      哲学・倫理学
    • 研究機関
      日本大学
  •  図的推論における抽象情報処理の総合的研究

    • 研究代表者
      下嶋 篤
    • 研究期間 (年度)
      2015 – 2019
    • 研究種目
      基盤研究(B)
    • 研究分野
      認知科学
    • 研究機関
      同志社大学
  •  図形推論と日常的推論の線形論理に基づく論理学研究研究代表者

    • 研究代表者
      竹村 亮
    • 研究期間 (年度)
      2012 – 2015
    • 研究種目
      若手研究(B)
    • 研究分野
      哲学・倫理学
    • 研究機関
      日本大学
  •  図的表現系の能力と図的推論の運用に関する総合的研究

    • 研究代表者
      下嶋 篤
    • 研究期間 (年度)
      2011 – 2013
    • 研究種目
      基盤研究(B)
    • 研究分野
      認知科学
    • 研究機関
      同志社大学
  •  図形推論分析のための論理学と認知科学の統合的証明論研究研究代表者

    • 研究代表者
      竹村 亮
    • 研究期間 (年度)
      2010 – 2011
    • 研究種目
      研究活動スタート支援
    • 研究分野
      哲学・倫理学
    • 研究機関
      慶應義塾大学

すべて 2024 2022 2021 2020 2018 2017 2016 2015 2014 2013 2012 2011 2010 その他

すべて 雑誌論文 学会発表

  • [雑誌論文] Another representation of cut-elimination2024

    • 著者名/発表者名
      Ryo Takemura
    • 雑誌名

      Proceedings of the 6th Asian Workshop on Philosophical Logic

      巻: -

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19K00021
  • [雑誌論文] Logic and majority voting2022

    • 著者名/発表者名
      Ryo Takemura
    • 雑誌名

      Journal of Philosophical Logic

      巻: 51 号: 2 ページ: 347-382

    • DOI

      10.1007/s10992-021-09631-7

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19K00021
  • [雑誌論文] Proof theory for heterogeneous logic combining formulas and diagrams ---Proof normalization---2021

    • 著者名/発表者名
      Ryo Takemura
    • 雑誌名

      Archive for Mathematical Logic

      巻: - 号: 7-8 ページ: 783-813

    • DOI

      10.1007/s00153-020-00759-y

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19K00021
  • [雑誌論文] Euler diagrams for defeasible reasoning2020

    • 著者名/発表者名
      Ryo Takemura
    • 雑誌名

      Diagrammatic Representation and Inference, Lecture Notes in Computer Science

      巻: 12169 ページ: 289-304

    • DOI

      10.1007/978-3-030-54249-8_23

    • ISBN
      9783030542481, 9783030542498
    • 査読あり
    • データソース
      KAKENHI-PROJECT-19K00021
  • [雑誌論文] Euler Diagrams for Defeasible Reasoning2020

    • 著者名/発表者名
      Ryo Takemura
    • 雑誌名

      Diagrammatic Representation and Inference, Lecture Notes in Computer Science

      巻: -

    • 査読あり
    • データソース
      KAKENHI-PROJECT-15H02716
  • [雑誌論文] Economic reasoning with demand and supply graphs2020

    • 著者名/発表者名
      Ryo Takemura
    • 雑誌名

      Mathematical Social Sciences

      巻: 103 ページ: 25-35

    • DOI

      10.1016/j.mathsocsci.2019.11.001

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19K00021
  • [雑誌論文] 多数決と論理---社会的選択理論と論理学---(Majority voting and logical reasoning ---Social choice theory and logic---)2020

    • 著者名/発表者名
      竹村亮
    • 雑誌名

      商学集志

      巻: 90 ページ: 137-155

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19K00021
  • [雑誌論文] Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams2018

    • 著者名/発表者名
      Takemura R.
    • 雑誌名

      Diagrammatic Representation and Inference

      巻: 10871 ページ: 607-623

    • DOI

      10.1007/978-3-319-91376-6_55

    • ISBN
      9783319913759, 9783319913766
    • 査読あり
    • データソース
      KAKENHI-PROJECT-15H02716, KAKENHI-PROJECT-16K16689
  • [雑誌論文] Completeness of Second-Order Intuitionistic Propositional Logic with Respect to Phase Semantics for Proof-Terms2018

    • 著者名/発表者名
      Yuta Takahashi and Ryo Takemura
    • 雑誌名

      Journal of Philosophical Logic

      巻: - 号: 3 ページ: 1-18

    • DOI

      10.1007/s10992-018-9484-z

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16J04925, KAKENHI-PROJECT-16K16689
  • [雑誌論文] オイラー図を用いたヘテロジニアス推論---ルールベースとモデルベースの推論---2017

    • 著者名/発表者名
      竹村亮, 片桐恭弘
    • 雑誌名

      日本認知科学会第34回大会発表論文集

      巻: - ページ: 294-301

    • 査読あり
    • データソース
      KAKENHI-PROJECT-15H02716
  • [雑誌論文] Investigation of Prawitz's completeness conjecture in phase semantic framework2017

    • 著者名/発表者名
      Ryo Takemura
    • 雑誌名

      Journal of Humanities and Sciences Nihon University(総合文化研究)

      巻: 23 ページ: 1-19

    • NAID

      40021302106

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16K16689
  • [雑誌論文] オイラー図を用いたヘテロジニアス推論---ルールベースとモデルベースの推論---2017

    • 著者名/発表者名
      竹村亮, 片桐恭弘
    • 雑誌名

      日本認知科学会第34回大会発表論文集

      巻: - ページ: 294-301

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16K16689
  • [雑誌論文] A Logical Investigation of Heterogeneous Reasoning with Graphs in Elementary Economics2016

    • 著者名/発表者名
      Ryo Takemura
    • 雑誌名

      Diagrammatic Representation and Inference, Lecture Notes in Computer Science

      巻: 9781 ページ: 98-104

    • DOI

      10.1007/978-3-319-42333-3_8

    • ISBN
      9783319423326, 9783319423333
    • 査読あり
    • データソース
      KAKENHI-PROJECT-15H02716, KAKENHI-PROJECT-16K16689
  • [雑誌論文] eラーニングを用いたアクティブラーニングの試み--LMS glexaを用いた反転授業--(研究ノート)2016

    • 著者名/発表者名
      竹村亮
    • 雑誌名

      日本大学FD研究

      巻: 4 ページ: 13-26

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16K16689
  • [雑誌論文] eラーニングを用いたアクティブラーニングの試み--LMS glexaを用いた反転授業--2016

    • 著者名/発表者名
      竹村亮
    • 雑誌名

      日本大学FD研究

      巻: 4 ページ: 13-26

    • NAID

      40020781835

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24720016
  • [雑誌論文] Counter-Example Construction with Euler Diagrams2015

    • 著者名/発表者名
      Ryo Takemura
    • 雑誌名

      Studia Logica - An International Journal for Symbolic Logic

      巻: - 号: 4 ページ: 669-696

    • DOI

      10.1007/s11225-014-9584-x

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24720016
  • [雑誌論文] LMS glexaを用いた論理学e-learning教材の開発2015

    • 著者名/発表者名
      竹村亮
    • 雑誌名

      総合文化研究

      巻: 21 ページ: 29-50

    • NAID

      40021301957

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24720016
  • [雑誌論文] Euler diagrams as an introduction to set-theoretical models2015

    • 著者名/発表者名
      Ryo Takemura
    • 雑誌名

      Proceedings of the Fourth International Conference on Tools for Teaching Logic (TTL2015)

      巻: - ページ: 223-231

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24720016
  • [雑誌論文] 商学・経済学を学ぶための数学(2)2014

    • 著者名/発表者名
      竹村亮
    • 雑誌名

      平成26年度日本大学理事長特別研究 公開シンポジウム報告書

      巻: なし ページ: 33-43

    • データソース
      KAKENHI-PROJECT-24720016
  • [雑誌論文] Towards explaining the cognitive efficacy of Euler diagrams in syllogistic reasoning: A relational perspective.2014

    • 著者名/発表者名
      Koji Mineshima, Yuri Sato, Ryo Takemura, Mitsuhiro Okada.
    • 雑誌名

      Journal of Visual Languages and Computing, accepted

      巻: 25 号: 3 ページ: 156-169

    • DOI

      10.1016/j.jvlc.2013.08.007

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PLANNED-23120002, KAKENHI-PROJECT-23300101, KAKENHI-PROJECT-24720016, KAKENHI-PROJECT-26284005, KAKENHI-PROJECT-26770009
  • [雑誌論文] A Heterogeneous Logic with Tables (Extended Abstract)2014

    • 著者名/発表者名
      Ryo Takemura
    • 雑誌名

      Proceedings of First International Workshop on Diagrams, Logic and Cognition (DLAC 2013)

      巻: CEUR Series Vol. 1132 ページ: 9-16

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24720016
  • [雑誌論文] Logical Investigation of Reasoning with Tables2014

    • 著者名/発表者名
      Ryo Takemura, Atsushi Shimojima, Yasuhiro Katagiri
    • 雑誌名

      Diagrammatic Representation and Inference: Eighth International Conference, Diagrams 2014, Proceedings

      巻: LNAI

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23300101
  • [雑誌論文] Logical Investigation of Reasoning with Tables2014

    • 著者名/発表者名
      R. Takemura, A. Shimojima, and Y. Katagiri
    • 雑誌名

      Diagrammatic Representation and Inference - 8th International Conference, Diagrams 2014

      巻: 8 ページ: 261-276

    • DOI

      10.1007/978-3-662-44043-8_27

    • ISBN
      9783662440421, 9783662440438
    • 査読あり
    • データソース
      KAKENHI-PLANNED-23120002, KAKENHI-PROJECT-24720016
  • [雑誌論文] Completeness of an Euler Diagrammatic System with Constant and Existential Points2013

    • 著者名/発表者名
      Ryo Takemura
    • 雑誌名

      Journal of Humanities and Sciences Nihon University (総合文化研究)

      巻: 19 ページ: 23-40

    • NAID

      40021301714

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24720016
  • [雑誌論文] A Heterogeneous Logic with Tables (Extended Abstract)2013

    • 著者名/発表者名
      Ryo Takemura
    • 雑誌名

      Proceedings of First International Workshop on Diagrams, Logic and Cognition (DLAC 2013), CEUR Series

      巻: 1132 ページ: 9-16

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23300101
  • [雑誌論文] Completeness of an Euler Diagrammatic System with Constant and Existential Points2013

    • 著者名/発表者名
      Ryo Takemura
    • 雑誌名

      Journal of Humanities and Sciences Nihon University, (総合文化研究)

      巻: 19 ページ: 23-40

    • NAID

      40021301714

    • データソース
      KAKENHI-PROJECT-23300101
  • [雑誌論文] Proof theory for reasoning with Euler diagrams : a Logic Translation and Normalization2012

    • 著者名/発表者名
      Ryo Takemura
    • 雑誌名

      Studia Logica

      巻: Volume 101 号: 1 ページ: 157-191

    • DOI

      10.1007/s11225-012-9370-6

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22820053, KAKENHI-PROJECT-23300101, KAKENHI-PROJECT-24720016
  • [雑誌論文] A Logical Investigation on Global Reading of Diagrams2012

    • 著者名/発表者名
      Ryo Takemura, Atsushi Shimojima, and Yasuhiro Katagiri
    • 雑誌名

      Diagrammatic Representation and Inference: Seventh International Conference, Diagrams 2012, Proceedings

      巻: 7352 ページ: 330-333

    • DOI

      10.1007/978-3-642-31223-6_42

    • ISBN
      9783642312229, 9783642312236
    • 査読あり
    • データソース
      KAKENHI-PLANNED-23120002, KAKENHI-PROJECT-23300101, KAKENHI-PROJECT-24720016
  • [雑誌論文] Proof-Theoretical Investigation of Venn Diagrams: a Logic Translation and Free Rides2012

    • 著者名/発表者名
      Ryo Takemura
    • 雑誌名

      Diagrammatic Representation and Inference: 7th International Conference, Diagrams 2012

      巻: Volume 7352 ページ: 132-147

    • DOI

      10.1007/978-3-642-31223-6_17

    • ISBN
      9783642312229, 9783642312236
    • 査読あり
    • データソース
      KAKENHI-PROJECT-24720016
  • [雑誌論文] A Diagrammatic Inference System with Euler Circles2012

    • 著者名/発表者名
      Koji Mineshima, Mitsuhiro Okada, and Ryo Takemura
    • 雑誌名

      Language and Information

      巻: 21 号: 3 ページ: 365-391

    • DOI

      10.1007/s10849-012-9160-6

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22820053, KAKENHI-PLANNED-23120002, KAKENHI-PROJECT-23300101, KAKENHI-PROJECT-24720016
  • [雑誌論文] Defeasible Inheritance Networks and Linear Logic: Horn Fragments and Proof Nets2012

    • 著者名/発表者名
      Ryo Takemura
    • 雑誌名

      Proceedings of the 14th International Workshop on Non-Monotonic Reasoning (NMR 2012)

      巻: なし

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24720016
  • [雑誌論文] A Diagrammatic Reasoning System with Euler Circles2011

    • 著者名/発表者名
      Koji Mineshima, Mitsuhiro Okada, Ryo Takemura
    • 雑誌名

      Journal of Logic, Language and Information

      巻: (近刊)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22820053
  • [雑誌論文] オイラー図・ヴェン図推論の翻訳とFree rides2011

    • 著者名/発表者名
      竹村亮
    • 雑誌名

      JSAI2011論文集(Web版)

    • NAID

      130007423184

    • URL

      https://kaigi.org/jsai/webprogram/2011/paper-238.html

    • データソース
      KAKENHI-PROJECT-22820053
  • [雑誌論文] オイラー図・ヴェン図推論の翻訳とFree rides2011

    • 著者名/発表者名
      竹村亮
    • 雑誌名

      2011年度人工知能学会全国大会(第25回)JSAI2011論文集

      巻: (Web版)

    • NAID

      130007423184

    • データソース
      KAKENHI-PROJECT-22820053
  • [雑誌論文] Two Types of Diagrammatic Inference Systems : Natural Deduction Style and Resolution Style2010

    • 著者名/発表者名
      Koji Mineshima, Mitsuhiro Okada, Ryo Takemura
    • 雑誌名

      Diagrammatic Representation and Inference : 6th International Conference, Diagrams 2010

      巻: 6170 ページ: 99-114

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22820053
  • [雑誌論文] Two Types of Diagrammatic Inference Systems : Natural Deduction Style and Resolution Style2010

    • 著者名/発表者名
      Koji Mineshima, Mitsuhiro Okada, and Ryo Takemura
    • 雑誌名

      Diagrammatic Representation and Inference

      巻: 6170 ページ: 99-114

    • DOI

      10.1007/978-3-642-14600-8_12

    • ISBN
      9783642145995, 9783642146008
    • 査読あり
    • データソース
      KAKENHI-PROJECT-22820053
  • [雑誌論文] The efficacy of Euler and Venn diagrams in deductive reasoning : empirical findings2010

    • 著者名/発表者名
      Yuri Sato, Koji Mineshima, and Ryo Takemura
    • 雑誌名

      Diagrammatic Representation and Inference

      巻: 6170 ページ: 6-22

    • DOI

      10.1007/978-3-642-14600-8_6

    • ISBN
      9783642145995, 9783642146008
    • 査読あり
    • データソース
      KAKENHI-PROJECT-22820053
  • [雑誌論文] Constructing internal diagrammatic proofs from external logic diagrams2010

    • 著者名/発表者名
      Yuri Sato, Koji Mineshima, and Ryo Takemura
    • 雑誌名

      The annual meeting of the Cognitive Science Society(CogSci 2010)

      ページ: 2668-2673

    • URL

      http://palm.mindmodeling.org/cogsci2010/papers/0640/index.html

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22820053
  • [雑誌論文] The efficacy of Euler and Venn diagrams in deductive reasoning : empirical findings2010

    • 著者名/発表者名
      Yuri Sato, Koji Mineshima, Ryo Takemura
    • 雑誌名

      Diagrammatic Representation and Inference : 6th International Conference, Diagrams 2010

      巻: 6170 ページ: 6-22

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22820053
  • [雑誌論文] オイラー図・ヴェン図を用いた図形推論の証明論的分析2010

    • 著者名/発表者名
      竹村亮, 峯島宏次, 佐藤有理, 岡田光弘
    • 雑誌名

      JSAI2010論文集(Web版)

    • NAID

      130007425448

    • URL

      https://kaigi.org/jsai/webprogram/2010/paper-389.html

    • データソース
      KAKENHI-PROJECT-22820053
  • [雑誌論文] Constructing internal diagrammatic proofs from external logic diagrams2010

    • 著者名/発表者名
      Yuri Sato, Koji Mineshima, Ryo Takemura
    • 雑誌名

      The annual meeting of the Cognitive Science Society (CogSci 2010)

      ページ: 2668-2673

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22820053
  • [学会発表] Another representation of cut-elimination2024

    • 著者名/発表者名
      Ryo Takemura
    • 学会等名
      6th Asian Workshop on Philosophical Logic
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K00021
  • [学会発表] Euler diagrams for defeasible reasoning2020

    • 著者名/発表者名
      Ryo Takemura
    • 学会等名
      11th International Conference on the Theory and Application of Diagrams, Diagrams 2020
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K00021
  • [学会発表] Euler Diagrams for Defeasible Reasoning2020

    • 著者名/発表者名
      Ryo Takemura
    • 学会等名
      Eleventh International Conference on the Theory and Application of Diagrams
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15H02716
  • [学会発表] Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams2018

    • 著者名/発表者名
      Ryo Takemura
    • 学会等名
      10th International Conference on the Theory and Application of Diagrams, Diagrams 2018
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K16689
  • [学会発表] Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams2018

    • 著者名/発表者名
      Takemura R.
    • 学会等名
      10th International Conference on the Theory and Application of Diagrams, Diagrams 2018
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15H02716
  • [学会発表] 図形と論理式を組合わせたヘテロジニアスな証明の特徴づけ2017

    • 著者名/発表者名
      竹村亮
    • 学会等名
      RIMS共同研究(公開型)「証明論と証明活動」(証明論研究会2017)
    • データソース
      KAKENHI-PROJECT-15H02716
  • [学会発表] オイラー図を使った推論:証明構成と反例構成2017

    • 著者名/発表者名
      竹村亮
    • 学会等名
      日本大学哲学会第68回(平成29年度)学術研究発表会
    • データソース
      KAKENHI-PROJECT-15H02716
  • [学会発表] オイラー図を使った推論:証明構成と反例構成2017

    • 著者名/発表者名
      竹村亮
    • 学会等名
      日本大学哲学会第68回(平成29年度)学術研究発表会
    • データソース
      KAKENHI-PROJECT-16K16689
  • [学会発表] 図形と論理式を組合わせたヘテロジニアスな証明の特徴づけ2017

    • 著者名/発表者名
      竹村亮
    • 学会等名
      RIMS共同研究(公開型)「証明論と証明活動」(証明論研究会2017)
    • データソース
      KAKENHI-PROJECT-16K16689
  • [学会発表] オイラー図を用いたヘテロジニアス推論---ルールベースとモデルベースの推論---2017

    • 著者名/発表者名
      竹村亮, 片桐恭弘
    • 学会等名
      日本認知科学会第34回大会
    • データソース
      KAKENHI-PROJECT-16K16689
  • [学会発表] オイラー図を用いたヘテロジニアス推論---ルールベースとモデルベースの推論---2017

    • 著者名/発表者名
      竹村亮, 片桐恭弘
    • 学会等名
      日本認知科学会第34回大会(オーガナイズドセッション)
    • データソース
      KAKENHI-PROJECT-15H02716
  • [学会発表] Completeness of Second-Order Intuitionistic Propositional Logic with Respect to a Proof-Theoretic Semantics2016

    • 著者名/発表者名
      Yuta Takahashi and Ryo Takemura
    • 学会等名
      The 3rd Asian Workshop on Philosophical Logic (AWPL 2016)
    • 発表場所
      National Taiwan University, Taipei, Taiwan
    • 年月日
      2016-10-05
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K16689
  • [学会発表] Completeness of Second-Order Intuitionistic Propositional Logic with Respect to a Proof-Theoretic Semantics2016

    • 著者名/発表者名
      Yuta Takahashi and Ryo Takemura
    • 学会等名
      The 3rd Asian Workshop on Philosophical Logic (AWPL 2016)
    • 発表場所
      National Taiwan University, Taipei, Taiwan
    • 年月日
      2016-10-05
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15H02716
  • [学会発表] A Logical Investigation of Heterogeneous Reasoning with Graphs in Elementary Economics2016

    • 著者名/発表者名
      Ryo Takemura
    • 学会等名
      Ninth International Conference on the Theory and Application of Diagrams
    • 発表場所
      Philadelphia, USA
    • 年月日
      2016-08-07
    • データソース
      KAKENHI-PROJECT-15H02716
  • [学会発表] A Logical Investigation of Heterogeneous Reasoning with Graphs in Elementary Economics2016

    • 著者名/発表者名
      Ryo Takemura
    • 学会等名
      Diagrammatic Representation and Inference: 9th International Conference, Diagrams 2016
    • 発表場所
      Philadelphia, PA, USA,
    • 年月日
      2016-08-07
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15H02716
  • [学会発表] A logical investigation of heterogeneous reasoning with graphs in elementary economics2016

    • 著者名/発表者名
      Ryo Takemura
    • 学会等名
      Diagrammatic Representation and Inference: 9th International Conference, Diagrams 2016
    • 発表場所
      Philadelphia, PA, USA
    • 年月日
      2016-08-07
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K16689
  • [学会発表] Euler diagrams as an introduction to set-theoretical models2015

    • 著者名/発表者名
      Ryo Takemura
    • 学会等名
      Fourth International Conference on Tools for Teaching Logic (TTL2015)
    • 発表場所
      Rennes, France
    • 年月日
      2015-06-10
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-24720016
  • [学会発表] Euler Diagrams As an Introduction to Set-Theoretical Models2015

    • 著者名/発表者名
      Ryo Takemura
    • 学会等名
      Fourth International Conference on Tools for Teaching Logic
    • 発表場所
      Rennes, France
    • 年月日
      2015-06-10
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15H02716
  • [学会発表] 商学・経済学を学ぶための数学2015

    • 著者名/発表者名
      竹村亮
    • 学会等名
      日本大学理事長特別研究 公開シンポジウム
    • 発表場所
      日本大学
    • 年月日
      2015-01-24
    • データソース
      KAKENHI-PROJECT-24720016
  • [学会発表] Logical Inverstigation of Reasoning with Tables2014

    • 著者名/発表者名
      Ryo Takemura, Atsushi Shimojima, Yasuhiro Katagiri
    • 学会等名
      Diagrams 2014
    • 発表場所
      Springer, Heidelberg
    • データソース
      KAKENHI-PROJECT-23300101
  • [学会発表] A Heterogeneous Logic with Tables2013

    • 著者名/発表者名
      Ryo Takemura
    • 学会等名
      International Workshop on Diagram Logic and Cognition 2013 (DLAC 2013)
    • 発表場所
      Jadavpur University, Kolkata, India
    • データソース
      KAKENHI-PROJECT-23300101
  • [学会発表] A Heterogeneous Logic with Tables2013

    • 著者名/発表者名
      Ryo Takemura
    • 学会等名
      International Workshop on Diagram Logic and Cognition 2013 (DLAC 2013)
    • 発表場所
      Jadavpur University, Kolkata, India
    • データソース
      KAKENHI-PROJECT-24720016
  • [学会発表] A Heterogeneous Logic with Tables2013

    • 著者名/発表者名
      Ryo Takemura
    • 学会等名
      First International Workshop on Diagrams, Logic and Cognition (DLAC 2013), 2013
    • 発表場所
      Jadavpur University, Kolkata, India
    • データソース
      KAKENHI-PROJECT-23300101
  • [学会発表] Defeasible Inheritance Networks and Linear Logic: Horn Fragments and Proof Nets2012

    • 著者名/発表者名
      Ryo Takemura
    • 学会等名
      14th International Workshop on Non-Monotonic Reasoning (NMR 2012)
    • 発表場所
      Rome, Italy
    • データソース
      KAKENHI-PROJECT-24720016
  • [学会発表] Proof-Theoretical Investigation of Venn Diagrams: a Logic Translation and Free Rides2012

    • 著者名/発表者名
      Ryo Takemura
    • 学会等名
      7th International Conference of the Theory and Application of diagrams (Diagrams 2012)
    • 発表場所
      University of Kent, Canterbury, UK
    • データソース
      KAKENHI-PROJECT-23300101
  • [学会発表] Proof-Theoretical Investigation of Venn Diagrams : a Logic Translation and Free Rides2012

    • 著者名/発表者名
      Ryo Takemura
    • 学会等名
      Diagrams 2012
    • 発表場所
      Springer, Heidelberg
    • データソース
      KAKENHI-PROJECT-23300101
  • [学会発表] Proof-Theoretical Investigation of Venn Diagrams: a Logic Translation and Free Rides2012

    • 著者名/発表者名
      Ryo Takemura
    • 学会等名
      7th International Conference on the Theory and Application of diagrams (Diagrams 2012)
    • 発表場所
      Canterbury, UK
    • データソース
      KAKENHI-PROJECT-24720016
  • [学会発表] A Logical Investigation on Global Reading of Diagrams2012

    • 著者名/発表者名
      Ryo Takemura, Atsushi Shimojima, and Yasuhiro Katagiri
    • 学会等名
      7th International Conference on the Theory and Application of diagrams (Diagrams 2012)
    • 発表場所
      Canterbury, UK
    • データソース
      KAKENHI-PROJECT-24720016
  • [学会発表] A Logical Investigation on Global Reading of Diagrams2012

    • 著者名/発表者名
      Ryo Takemura, Atsushi Shimojima, Yasuhiro Katagiri,
    • 学会等名
      Diagrams 2012
    • 発表場所
      Springer, Heidelberg
    • データソース
      KAKENHI-PROJECT-23300101
  • [学会発表] A Logical Investigation on Global Reading of Diagrams2012

    • 著者名/発表者名
      Ryo Takemura
    • 学会等名
      7th International Conference of the Theory and Application of diagrams (Diagrams 2012)
    • 発表場所
      University of Kent, Canterbury, UK
    • データソース
      KAKENHI-PROJECT-23300101
  • [学会発表] オイラー図・ヴェン図推論の翻訳とFree rides2011

    • 著者名/発表者名
      竹村亮
    • 学会等名
      2011年度人工知能学会全国大会
    • 発表場所
      アイーナ:いわて県民情報交流センター(岩手)
    • 年月日
      2011-06-01
    • データソース
      KAKENHI-PROJECT-23300101
  • [学会発表] オイラー図推論の証明論的分析:自然演繹への翻訳と正規形証明2011

    • 著者名/発表者名
      竹村亮
    • 学会等名
      2010年度MLG数理論理学研究集会(第45回)
    • 発表場所
      KKR湯沢ゆきぐに,新潟
    • 年月日
      2011-01-07
    • データソース
      KAKENHI-PROJECT-22820053
  • [学会発表] オイラー図・ヴェン図推論の翻訳とFree rides2011

    • 著者名/発表者名
      竹村亮
    • 学会等名
      2011年度人工知能学会全国大会(第25回)
    • 発表場所
      アイーナいわて県民情報交流センター(岩手県)
    • 年月日
      2011-06-01
    • データソース
      KAKENHI-PROJECT-22820053
  • [学会発表] オイラー図推論の証明論的分析:自然演繹への翻訳と正規形証明2011

    • 著者名/発表者名
      竹村亮
    • 学会等名
      2010年度MLG 数理論理学研究集会(第45回)
    • 発表場所
      KKR湯沢ゆきぐに,新潟
    • 年月日
      2011-01-07
    • データソース
      KAKENHI-PROJECT-22820053
  • [学会発表] Proof theory for reasoning with Euler diagrams2011

    • 著者名/発表者名
      Ryo Takemura
    • 学会等名
      Proof theory and philosophy
    • 発表場所
      Keio University, Tokyo
    • 年月日
      2011-02-26
    • データソース
      KAKENHI-PROJECT-22820053
  • [学会発表] オイラー図推論の証明論的分析: Free ride propertyと正規形証明2010

    • 著者名/発表者名
      竹村亮
    • 学会等名
      日本科学哲学会第43回(2010年)大会
    • 発表場所
      大阪市立大学,大阪
    • 年月日
      2010-11-27
    • データソース
      KAKENHI-PROJECT-22820053
  • [学会発表] Two Types of Diagrammatic Inference Systems : Natural Deduction Style and Resolution Style2010

    • 著者名/発表者名
      Koji Mineshima, Mitsuhiro Okada, and Ryo Takemura
    • 学会等名
      Sixth International Conference on the Theory and Application of Diagrams(Diagrams 2010)
    • 発表場所
      Portland State University, Portland, Oregon, USA
    • 年月日
      2010-08-10
    • データソース
      KAKENHI-PROJECT-22820053
  • [学会発表] オイラー図・ヴェン図を用いた図形推論の証明論的分析2010

    • 著者名/発表者名
      竹村亮, 峯島宏次, 佐藤有理, 岡田光弘
    • 学会等名
      2010年度人工知能学会全国大会(第24回)
    • 発表場所
      長崎ブリックホール,長崎
    • 年月日
      2010-06-09
    • データソース
      KAKENHI-PROJECT-22820053
  • [学会発表] Reasoning with Euler diagrams : a proof-theoretical approach2010

    • 著者名/発表者名
      Koji Mineshima, Mitsuhiro Okada, and Ryo Takemura
    • 学会等名
      3rd World Congress and School on Universal Logic
    • 発表場所
      Estoril Eden, Lisbon, Portugal
    • 年月日
      2010-04-25
    • データソース
      KAKENHI-PROJECT-22820053
  • [学会発表] オイラー図推論の証明論的分析:Free ride propertyと正規形証明2010

    • 著者名/発表者名
      竹村亮
    • 学会等名
      日本科学哲学会第43回(2010年)大会
    • 発表場所
      大阪市立大学,大阪
    • 年月日
      2010-11-27
    • データソース
      KAKENHI-PROJECT-22820053
  • [学会発表] Two Types of Diagrammatic Inference Systems : Natural Deduction Style and Resolution Style2010

    • 著者名/発表者名
      Koji Mineshima, Mitsuhiro Okada, Ryo Takemura
    • 学会等名
      Sixth International Conference on the Theory and Application of Diagrams (Diagrams 2010)
    • 発表場所
      Portland State University, Portland, Oregon, USA
    • 年月日
      2010-08-10
    • データソース
      KAKENHI-PROJECT-22820053
  • [学会発表] Logical investigation of reasoning with tables

    • 著者名/発表者名
      Ryo Takemura
    • 学会等名
      Diagrammatic Representation and Inference: 8th International Conference, Diagrams 2014
    • 発表場所
      Novotel Melbourne on Collins, Melbourne, Australia
    • 年月日
      2014-07-28 – 2014-08-01
    • データソース
      KAKENHI-PROJECT-24720016
  • [学会発表] Counter-example construction with Euler diagrams

    • 著者名/発表者名
      Ryo Takemura
    • 学会等名
      The Second Asian Workshop on Philosophical Logic
    • 発表場所
      Guangzhou, China
    • 年月日
      2014-04-12 – 2014-04-13
    • データソース
      KAKENHI-PROJECT-24720016
  • 1.  下嶋 篤 (40303341)
    共同の研究課題数: 2件
    共同の研究成果数: 5件
  • 2.  杉尾 武志 (60335205)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 3.  片桐 恭弘 (60374097)
    共同の研究課題数: 2件
    共同の研究成果数: 5件
  • 4.  佐藤 有理 (90750480)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 5.  岡田 光弘
    共同の研究課題数: 0件
    共同の研究成果数: 1件

URL: 

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi