KOARA(リポジトリ)収録論文等 - 岡田 光弘
-
A report on Euler diagrammatic reasoning system : theory and experiment design
岡田, 光弘
CARLS series of advanced study of logic and sensibility (Centre for Advanced Research on Logic and Sensibility The Global Centers of Excellence Program, Keio University) 2 387 - 402 2008年
-
Note on phase semantics for proofs (Preliminary Report)
岡田, 光弘
心の解明に向けての統合的方法論構築 : 平成15年度成果報告書 (慶應義塾大学 21世紀COE人文科学研究拠点 心の統合的研究センター 事務局) 26 - 36 2004年
-
Some questions on cognitive models of deductive reasoning (Preliminary report)
岡田, 光弘
心の解明に向けての統合的方法論構築 : 平成15年度成果報告書 (慶應義塾大学 21世紀COE人文科学研究拠点 心の統合的研究センター 事務局) 7 - 25 2004年
-
「人間の知的推論についての論理学的及び言語学的手法による分析」15年度報告
岡田, 光弘
心の解明に向けての統合的方法論構築 : 平成15年度成果報告書 (慶應義塾大学 21世紀COE人文科学研究拠点 心の統合的研究センター 事務局) 1 - 6 2004年
-
歪んだ真珠(バロック) : 音楽における規則性vs反規則性, またはロゴスvsパトス
岡田, 光弘
藝文研究 (慶應義塾大学藝文学会) 84 108(135) - 126(117) 2003年06月
ISSN 04351630
-
岡田, 光弘
心の解明に向けての統合的方法論構築 : 平成14年度成果報告書 (慶應義塾大学 21世紀COE人文科学研究拠点 心の統合的研究センター 事務局) 1 - 5 2003年
-
Note on the Strong Normalizability of the Logic with Self-Referential Predicates
岡田, 光弘
哲學 (三田哲學會) ( 95 ) 1 - 14 1993年07月
ISSN 05632099