竹村亮

タケムラリョウ | TAKEMURA Ryo

所属機関・部署：
職名：教授
ホームページURL (1件)： http://abelard.flet.keio.ac.jp/person/takemura/
論文 (41件)：

Ryo Takemura. A sequent calculus representation of Lorenzen dialogue extended with why-because dialogue. SAFA 2024 Systems and Algorithms for Formal Argumentation 2024, CEUR Workshop Proceedings. 2024. 90-103
Ryo Takemura. Another representation of cut-elimination. Proceedings of the 6th Asian Workshop on Philosophical Logic. 2024
Ryo Takemura. Logic and majority voting. Journal of Philosophical Logic. 2022. 51. 347-382
Ryo Takemura. Proof theory for heterogeneous logic combining formulas and diagrams: Proof normalization. Archive for Mathematical Logic. 2021. 60. 7. 783-813
Ryo Takemura. Euler diagrams for defeasible reasoning. Diagrammatic Representation and Inference, ,Lecture Notes in Computer Science. 2020. 12169. 289-304

MISC (8件)：

竹村亮, 山根龍一, 髙久保豊, 山本篤民, 金惠鎭, 高橋めぐみ, 小川睦美. 中規模授業におけるアクティブラーニング-平成29年度商学部FD講習会&ワークショップ-(活動報告). 日本大学FD研究. 2018. 6. 47-77
竹村亮, 金雲鎬, 岡田太, 菅野正泰, 芝村良, 服部訓和, 根田正樹. 大規模授業におけるアクティブラーニング-平成28 年度商学部FD 講習会報告-(活動報告). 日本大学FD研究. 2017. 5. 27-50
福田弥夫,関根二三夫,池田実,成毛信男,鬼頭俊泰,竹村亮, 芝村良,佐藤健一,山添謙,大嶽龍. 日本大学におけるeラーニングの戦略的活用に関する研究-日本大学理事長特別研究公開シンポジウム開催報告-. 日本大学FD研究. 2016. 4. 111-127
竹村亮. eラーニングを用いたアクティブラーニングの試み-LMS glexaを用いた反転授業-. 日本大学FD研究. 2016. 4. 13-26
竹村亮. 図形は「おまけ」?-数学・論理学における証明. 砧通信. 2015. 44. 46-49

講演・口頭発表等 (27件)：

Another representation of cut-elimination
(6th Asian Workshop on Philosophical Logic 2024)
Euler diagrams for defeasible reasoning
(11th International Conference on the Theory and Application of Diagrams, Diagrams 2020)
Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams
(10th International Conference on the Theory and Application of Diagrams, Diagrams 2018 2018)
図形と論理式を組合わせたヘテロジニアスな証明の特徴づけ
(RIMS共同研究(公開型)「証明論と証明活動」(証明論研究会2017) 2017)
オイラー図を使った推論:証明構成と反例構成
(日本大学哲学会第68回 2017)

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

竹村 亮