研究課題
若手研究(B)
「文（記号）表現」に基づく「数学における演繹推論」を対象として発展してきた伝統的論理学の手法を拡張し、「図形表現」および「非単調・非演繹的推論」に基づく日常的推論の数理モデルの構築を目指し、以下の研究を行った。図形推論研究については、オイラー図、ヴェン図、対応表、グラフに基づく推論のケーススタディを行った。さらに、これらの図形と文表現を組み合わせたヘテロジニアス推論の分析を行った。非単調・非演繹的推論研究については、線形論理を用いた非単調推論の形式化とその分析を行った。さらに、アブダクションと呼ばれる代表的な非演繹的推論について分析を行った。また、本研究成果の教育への応用を試みた。
すべて 2016 2015 2014 2013 2012 その他
すべて 雑誌論文 (14件) (うち査読あり 13件、 オープンアクセス 1件) 学会発表 (8件) (うち国際学会 1件) 備考 (3件)
日本大学FD研究
巻: 4 ページ: 13-26
40020781835
Proceedings of the Fourth International Conference on Tools for Teaching Logic (TTL2015)
巻: - ページ: 223-231
総合文化研究
巻: 21 ページ: 29-50
40021301957
Studia Logica - An International Journal for Symbolic Logic
巻: - 号: 4 ページ: 669-696
10.1007/s11225-014-9584-x
Diagrammatic Representation and Inference - 8th International Conference, Diagrams 2014
巻: 8 ページ: 261-276
10.1007/978-3-662-44043-8_27
平成26年度日本大学理事長特別研究 公開シンポジウム報告書
巻: なし ページ: 33-43
Proceedings of First International Workshop on Diagrams, Logic and Cognition (DLAC 2013)
巻: CEUR Series Vol. 1132 ページ: 9-16
Journal of Visual Languages and Computing, accepted
巻: 25 号: 3 ページ: 156-169
10.1016/j.jvlc.2013.08.007
Journal of Humanities and Sciences Nihon University （総合文化研究）
巻: 19 ページ: 23-40
40021301714
Studia Logica
巻: Volume 101 号: 1 ページ: 157-191
10.1007/s11225-012-9370-6
Proceedings of the 14th International Workshop on Non-Monotonic Reasoning (NMR 2012)
巻: なし
Diagrammatic Representation and Inference: Seventh International Conference, Diagrams 2012, Proceedings
巻: 7352 ページ: 330-333
10.1007/978-3-642-31223-6_42
Diagrammatic Representation and Inference: 7th International Conference, Diagrams 2012
巻: Volume 7352 ページ: 132-147
10.1007/978-3-642-31223-6_17
Language and Information
巻: 21 号: 3 ページ: 365-391
10.1007/s10849-012-9160-6
http://abelard.flet.keio.ac.jp/person/takemura/
