慶應義塾
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