竹村　亮

商学部　総合教育科目准教授

研究活動情報

論文

  • A sequent calculus representation of Lorenzen dialogue extended with why-because dialogue
    Ryo Takemura
    SAFA 2024 Systems and Algorithms for Formal Argumentation 2024, CEUR Workshop Proceedings, 2024年09月, 査読有り, 通常論文
    筆頭著者
  • Another representation of cut-elimination
    Ryo Takemura
    Proceedings of the 6th Asian Workshop on Philosophical Logic, 2024年03月, 査読有り
    筆頭著者
  • 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月, 査読有り, 通常論文
    筆頭著者
  • 多数決と論理---社会的選択理論と論理学---
    竹村亮
    商学集志, 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月, 査読無し, 通常論文
    筆頭著者

MISC

  • 中規模授業におけるアクティブラーニング―平成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日, 査読無し, 通常論文
    筆頭著者
  • Syllogism and intelligence: g (Genetic Factor) of g (General Intelligence) revisited
    Juko Ando; Chizuru Shikishima; Yutaro Sugimoto; Ryo Takemura; Kai Hiraishi; Mitsuhiro Okada
    BEHAVIOR GENETICS, 2006年11月, 査読有り, 通常論文

講演・口頭発表等

  • ★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月, 通常論文
  • オイラー図・ヴェン図推論の翻訳と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月, 通常論文