著書
岡田 光弘
21~40件(全51件)
Advances in Computer Science - ASIAN 2006 (eds. by Mitsuhiro Okada, Ryo Takemura and Juko-Ando)
- 著者名
- Mitsuhiro Okada and Ichiro Satoh, editors
- 出版社
- Springer
- 担当区分
- 共編者(共編著者)
- 著書種別
- 学術書
Some remarks on linear logic
- 著者名
- Mitsuhiro Okada
- 担当区分
- 単著
- 著書種別
- 学術書
Some remarks on linear logic. In One Hundred Years of Intuitionism (1907-2007) (eds. by Mark van Ateen,Pascal Boldini, Michel Bourdesu and Gerhard Heinzmann)
- 著者名
- Mitsuhiro Okada
- 担当区分
- 共著
- 著書種別
- 学術書
Reports on Interdisciplinary Logical Reasoning Studies
- 著者名
- Mitsuhiro Okada, Ryo Takemura, and Juko Ando, editors.
- 出版社
- Keio University Press
- 担当区分
- 共編者(共編著者)
- 著書種別
- 学術書
Interdisciplinary Ontology (Proceedings of the First Interdisciplinary Ontology Meeting, February 26th-27th, 2008, Tokyo)
- 著者名
- Mitsuhiro Okada
- 出版社
- Keio University Open Research Centre for Logic and Ontology, Keio University Press
- 担当区分
- 共編者(共編著者)
- 著書種別
- 学術書
Remarks on Logic for Process Descriptions in Ontological Reasoning: A drug Interaction Ontology (Dio) Case Study. In Interdisciplinary Ontology (eds. by Mitsuhiro Okada, Barry Smith, and Yutaro Sugimoto)
- 著者名
- Mitsuhiro Okada, Barry Smith, and Yutaro Sugimoto
- 出版社
- Keio University Press
- 担当区分
- 共著
- 担当範囲
- 127-138
- 著書種別
- 学術書
On Wittgenstein's Remarks on Recursive Proofs: A Preliminary Report. In Essays in the Foundations of Logical and Phenomenological Studies (ed. by Mitsuhiro Okada)
- 著者名
- Mitsuhiro Okada
- 出版社
- Keio University Press
- 担当区分
- 単著
- 担当範囲
- 121-131
- 著書種別
- 学術書
Essays in the Foundations of Logical and Phenomenological Studies
- 著者名
- Mitsuhiro Okada,editor
- 出版社
- Keio University Press
Interdisciplinary Ontology
- 著者名
- Mitshihiro Okada and Barry Smith,editors.
- 担当区分
- 共編者(共編著者)
- 著書種別
- 学術書
A Linear Logical View of Intuitionistic Logic. In Towards New Logic and Semantics: Franco-Japanese Collaborative Lectures on Philosophy of Logic (ed. by Mitsuhiro Okada)
- 著者名
- Mitsuhiro Okada
- 出版社
- Keio University Press
- 担当区分
- 単著
- 担当範囲
- 185-229
- 著書種別
- 学術書
At the crossroads of logic, psychology, and behavioral genetics. In Reasoning and Cognition: Proceedings of the Interdisciplinary Conference on Reasoning and Comgnition (eds. by Daniel Andler et al.)
- 著者名
- Juko Ando, Chizuru Sikishima, Kai Hiraishi, Yutaro Sugimoto, Ryo takemura, and Mitsuhiro Okada
- 出版社
- Keio University Press
- 担当区分
- 共著
- 担当範囲
- Development of the deductive resoning test in keio twin-baroco project
Cognitive neuroscience for deductive reasoning and inhibitory mechanism:On the belief-bias effect. In Reasoning and Cognition: Proceedings of the Interdisciplinary Conference on Reasoning and Comgnition (eds. by Daniel Andler et al.)
- 著者名
- Takeo Tsujii, Mitsuhiro Okada, and Shigeru Watanabe
- 出版社
- Keio University Press
- 担当区分
- 共著
- 担当範囲
- On the belief-bias effect
Drug Interaction Ontology (DIO) and the Resource-Sensitive lLogical Inferences.In Algebra, Meaning, and Computation: Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday (eds. by Kokichi Futatsugi et al.)
- 著者名
- Mitsuhiro Okada, Yutaro Sugimoto, and Akihiko Konagaya
- 出版社
- Algebra,Meaning,and computation Springer Lecture Notes in Computer Science, Vol.4060 Springer
- 担当区分
- 共著
- 担当範囲
- 616-642
Towards New Logic and Semantics: Franco-Japanese Collaborative Lectures on Philosophy of Logic (ed. by Mitsuhiro Okada)
- 著者名
- Mitsuhiro Okada
- 出版社
- Keio University Press
- 担当区分
- 編集
- 著書種別
- 学術書
Hilbert School and Husserl on the Foundations of Mathematics: Consistency Problem and Evidence Theory. In Towards New Logic and Semantics: Franco-Japanese Collaborative Lectures on Philosophy of Logic (ed. by Mitsuhiro Okada)
- 著者名
- Mitsuhiro Okada
- 出版社
- Keio University Press
- 担当範囲
- 127-184
- 著書種別
- 学術書
Reasoning and Cognition: Proceedings of the Interdisciplinary Conference on Reasoning and Comgnition (eds. by Daniel Andler, Yoshinori Ogawa, Mitsuhiro Okada, and Shigeru Watanabe.)
- 著者名
- Mitsuhiro Okada
- 出版社
- Keio University Press
Resoning and Congnition
- 著者名
- Daniel Andler,Yoshinori Ogawa,Mitsuhiro Okada,and Shigeru watanebe,editors.
- 出版社
- Keio University Press
- 担当区分
- 共著
- 担当範囲
- Vol.2
Images and Reasoning: Proceedings of the Intedisciplinary Conference on Images, Reason and Reasoning (Paris, Mar. 2004)
- 著者名
- Pierre Grialou, Giuseooe Longo, and Mitsuhiro Okada, editors.
- 出版社
- Keio University Press
- 担当区分
- 共編者(共編著者)
- 著書種別
- 学術書
ああいえば幸福. In 幸福の逆説 (巽 孝之, 坂上 孝之, 宮坂 敬造, 岡田 光弘, 坂本 光 編)
- 著者名
- 岡田 光弘
- 出版社
- 慶應義塾大学出版会
- 担当区分
- 共著
- 著書種別
- 学術書
A Behavioural Genetic Study of Syllogism Solving Using Linguistic and Graphical Representations: A Preliminary Report. In Images and Reasoning, volume 1. (eds. by Pierre Grialou, Giuseppe Longo, and Mitsuhiro Okada)
- 著者名
- 岡田 光弘,ピエール グリアロ,安藤 寿康,敷島 千鶴,竹村 亮
- 担当区分
- 共著
- 担当範囲
- 69-85