人文社会学科 哲学系

研究成果 1996 2019

  • 35 Article
  • 14 Conference contribution
  • 2 Chapter
  • 1 Conference article
フィルター
Article
2019
Diffie-Hellman
Network protocols
Key Exchange
Axioms
Acoustic waves
2018
1 引用 (Scopus)
Abstract data types
Type Systems
Abstract Data Types
Strictly positive
Schema
2017
1 引用 (Scopus)
Decision Making
Eye Movements
Color
hydroquinone
2016
1 引用 (Scopus)

Syntactic reduction in Husserl’s early phenomenology of arithmetic

Hartimo, M. & Okada, M., 2016 3 1, : : Synthese. 193, 3, p. 937-969 33 p.

研究成果: Article

phenomenology
mathematics
computer science
guarantee
Phenomenology
2015
3 引用 (Scopus)
Twin Studies
Individuality
Decision Making
Economics
Aptitude
2013
7 引用 (Scopus)
Students
Leonhard Euler
Efficacy
Syllogistic Reasoning
Diagrams
5 引用 (Scopus)

Two cohort and three independent anonymous twin projects at the Keio Twin Research Center (KoTReC)

Andou, J., Fujisawa, K., Shikishima, C., Hiraishi, K., Nozaki, M., Yamagata, S., Takahashi, Y., Ozaki, K., Suzuki, K., Deno, M., Sasaki, S., Toda, T., Kobayashi, K., Sugimoto, Y., Okada, M., Kijima, N., Ono, Y., Yoshimura, K., Kakihana, S., Maekawa, H. および4人, Kamakura, T., Nonaka, K., Kato, N. & Ooki, S., 2013 2, : : Twin Research and Human Genetics. 16, 1, p. 202-216 15 p.

研究成果: Article

Research
Twin Studies
Aptitude
Developmental Genes
Gene-Environment Interaction
2012
17 引用 (Scopus)

A Diagrammatic Inference System with Euler Circles

Mineshima, K., Okada, M. & Takemura, R., 2012 7, : : Journal of Logic, Language and Information. 21, 3, p. 365-391 27 p.

研究成果: Article

Linguistics
Semantics
deduction
formalization
eighteenth century
5 引用 (Scopus)

A Generalized Syllogistic Inference System based on Inclusion and Exclusion Relations

Mineshima, K., Okada, M. & Takemura, R., 2012 8, : : Studia Logica. 100, 4, p. 753-785 33 p.

研究成果: Article

Inclusion
Fragment
Natural Language
Normalization
Logic
Nicolas Poussin
Venus
Reception
Ancient Art
Poetry
2011
Liberty
Impossibility
2010
24 引用 (Scopus)
Near-Infrared Spectroscopy
Frontal Lobe
Young Adult
Volunteers
2009
14 引用 (Scopus)

Is g an entity? A Japanese twin study using syllogisms and intelligence tests

Shikishima, C., Hiraishi, K., Yamagata, S., Sugimoto, Y., Takemura, R., Ozaki, K., Okada, M., Toda, T. & Andou, J., 2009 5, : : Intelligence. 37, 3, p. 256-267 12 p.

研究成果: Article

Twin Studies
Intelligence Tests
Intelligence
Behavioral Genetics
Dizygotic Twins
2007
2 引用 (Scopus)
logic
Substitution reactions
equivalence
Group
deduction
Formal Model
Semantics
Logic
Security Analysis
Probabilistic Methods
2006
1 引用 (Scopus)
Counterexample
Completeness
Query
Logic
Network protocols
3 引用 (Scopus)

Intuitionistic phase semantics is almost classical

Kanovich, M. I., Okada, M. & Terui, K., 2006 2, : : Mathematical Structures in Computer Science. 16, 1, p. 67-86 20 p.

研究成果: Article

Phase Space
Linear Logic
Semantics
Intuitionistic Logic
Syntactics
1 引用 (Scopus)

Linear logic and intuitionistic logic

Okada, M., 2004, : : Revue Internationale de Philosophie. 58, 230, p. 449-480 32 p.

研究成果: Article

Intuitionistic Logic
Linear Logic
2003
2 引用 (Scopus)
Linear Logic
Security Protocols
Logic
Network protocols
Semantics
7 引用 (Scopus)

A proof-theoretic study of the correspondence of classical logic and modal logic

Kushida, H. & Okada, M., 2003 12, : : Journal of Symbolic Logic. 68, 4, p. 1403-1414 12 p.

研究成果: Article

Classical Logic
Modal Logic
Correspondence
Predicate Logic
Quantifiers
10 引用 (Scopus)

Phase semantics for light linear logic

Kanovich, M. I., Okada, M. & Scedrov, A., 2003 2 18, : : Theoretical Computer Science. 294, 3, p. 525-549 25 p.

研究成果: Article

Linear Logic
Phase Space
Semantics
Cut-elimination
Proposition

Theoretical Computer Science: Preface

Girard, J. Y., Okada, M. & Scedrov, A., 2003 2 18, : : Theoretical Computer Science. 294, 3, p. 333 1 p.

研究成果: Article

Computer Science
2002
37 引用 (Scopus)
Higher-order Logic
Cut-elimination
First-order Logic
Completeness
Semantics
40 引用 (Scopus)

Inductive-data-type systems

Blanqui, F., Jouannaud, J. P. & Okada, M., 2002 2 6, : : Theoretical Computer Science. 272, 1-2, p. 41-68 28 p.

研究成果: Article

Abstract data types
Type Systems
Abstract Data Types
Strictly positive
Schema
2001
1 引用 (Scopus)
Proof Nets
Linear Logic
Correctness
Multiplicative
Graph in graph theory
1999
33 引用 (Scopus)
Higher-order Logic
Cut-elimination
Linear Logic
Normalization
Semantics
61 引用 (Scopus)
Finite Models
Linear Logic
Intuitionistic Logic
Fragment
Multiplicative
1998
4 引用 (Scopus)
Labeled Trees
Independence Results
Game
Inductive Definitions
Cut-elimination
8 引用 (Scopus)
Linear Logic
Real-time
Logic programming
Safety
Proof Search
1997
41 引用 (Scopus)

Abstract data type systems

Jouannaud, J. P. & Okada, M., 1997 2 28, : : Theoretical Computer Science. 173, 2, p. 349-391 43 p.

研究成果: Article

Abstract data types
Abstract Data Types
Type Systems
Schema
Calculus
11 引用 (Scopus)
Game
Combinatorial Games
Relationships
Ordinals
Imply
10 引用 (Scopus)

Phase semantics for light linear logic (extended abstract)

Kanovich, M. I., Okada, M. & Scedrov, A., 1997, : : Electronic Notes in Theoretical Computer Science. 6, p. 221-234 14 p.

研究成果: Article

Linear Logic
Phase Space
Semantics
Cut-elimination
Proposition
1996
6 引用 (Scopus)
Linear Logic
Characterization Theorem
Proof Nets
Multiplicative
Fragment
9 引用 (Scopus)
Cut-elimination
Normalization
Completeness
Semantics
Higher Order