Department of Philosophy

Research Output 1996 2019

  • 34 Article
  • 14 Conference contribution
  • 2 Chapter
  • 1 Conference article
2019

Can morality be ascribed to robot?

Nagataki, S., Ohira, H., Kashiwabata, T., Konno, T., Hashimoto, T., Miura, T., Shibata, M. & Kubota, SI., 2019 Jun 25, Proceedings of the 22nd International Conference on Human-Computer Interaction, INTERACCION 2019. Association for Computing Machinery, 44. (ACM International Conference Proceeding Series).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Human robot interaction
Robots
Experiments

On quasi ordinal diagram systems

Okada, M. & Takahashi, Y., 2019 Jan 1, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 288, p. 38-49 12 p.

Research output: Contribution to journalConference article

Open Access
Pattern matching
2018
1 Citation (Scopus)

Corrigendum to “Inductive-data-type systems” [Theoret. Comput. Sci. 272 (1–2) (2002) 41–68]

Blanqui, F., Jouannaud, J. P. & Okada, M., 2018 Jan 1, (Accepted/In press) In : Theoretical Computer Science.

Research output: Contribution to journalArticle

Abstract data types
Type Systems
Abstract Data Types
Strictly positive
Schema

On the robot as a moral agent

Nagataki, S., Shibata, M., Hashimoto, T., Kashiwabata, T., Konno, T., Ohira, H., Miura, T. & Kubota, S., 2018 Sep 12, Proceedings of the 19th International Conference on Human-Computer Interaction, Interaccion 2018. Association for Computing Machinery, 24

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Robots
Experiments
2017
1 Citation (Scopus)

Qualitatively coherent representation makes decision-making easier with binary-colored multi-attribute tables: An eye-tracking study

Morii, M., Ideno, T., Takemura, K. & Okada, M., 2017 Aug 17, In : Frontiers in Psychology. 8, AUG, 1388.

Research output: Contribution to journalArticle

Decision Making
Eye Movements
Color
hydroquinone
2016

Semantics for "enough-certainty" and fitting's embedding of classical logic in S4

Bana, G. & Okada, M., 2016 Aug 1, Computer Science Logic 2016, CSL 2016. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 62.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Semantics
Security of data
Network protocols
1 Citation (Scopus)

Syntactic reduction in Husserl’s early phenomenology of arithmetic

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

Research output: Contribution to journalArticle

phenomenology
mathematics
computer science
guarantee
Phenomenology
2015
3 Citations (Scopus)
Twin Studies
Individuality
Decision Making
Economics
Aptitude
2014

Wittgenstein on equinumerosity and surveyability

Marion, M. & Okada, M., 2014 Dec 19, Themes from Wittgenstein and Quine. Brill, Vol. 89. p. 61-78 18 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

visualization
Ludwig Wittgenstein
2013
3 Citations (Scopus)

Computationally complete symbolic attacker and key exchange

Bana, G., Hasebe, K. & Okada, M., 2013, Proceedings of the ACM Conference on Computer and Communications Security. p. 1231-1246 16 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Cryptography
Network protocols
1 Citation (Scopus)

Husserl and hilbert on completeness and husserl's term rewrite-based theory of multiplicity

Okada, M., 2013, Leibniz International Proceedings in Informatics, LIPIcs. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 21. p. 4-19 16 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Tissue

Shape perception in chemistry

Hastings, J., Batchelor, C. & Okada, M., 2013, CEUR Workshop Proceedings. CEUR-WS, Vol. 1007. p. 83-94 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Molecules
Functional groups
Screening
7 Citations (Scopus)

Towards explaining the cognitive efficacy of Euler diagrams in syllogistic reasoning: A relational perspective

Mineshima, K., Sato, Y., Takemura, R. & Okada, M., 2013, (Accepted/In press) In : Journal of Visual Languages and Computing.

Research output: Contribution to journalArticle

Students
Leonhard Euler
Efficacy
Syllogistic Reasoning
Diagrams
5 Citations (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 others, Kamakura, T., Nonaka, K., Kato, N. & Ooki, S., 2013 Feb, In : Twin Research and Human Genetics. 16, 1, p. 202-216 15 p.

Research output: Contribution to journalArticle

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

A Diagrammatic Inference System with Euler Circles

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

Research output: Contribution to journalArticle

Linguistics
Semantics
deduction
formalization
eighteenth century
5 Citations (Scopus)

A Generalized Syllogistic Inference System based on Inclusion and Exclusion Relations

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

Research output: Contribution to journalArticle

Inclusion
Fragment
Natural Language
Normalization
Logic

Mars et Vénus de Nicolas Poussin: Sa réception de l'art antique et de la poétique de Marino

Translated title of the contribution: Mars et Vénus by Nicolas Poussin: His reception of ancient art and the poetry of MarinoMochizuki, N., 2012, In : Dix-Septieme Siecle. 255, 2, p. 341-351 11 p.

Research output: Contribution to journalArticle

Nicolas Poussin
Venus
Reception
Ancient Art
Poetry
3 Citations (Scopus)

On the cognitive efficacy of euler diagrams in syllogistic reasoning: A relational perspective

Mineshima, K., Sato, Y., Takemura, R. & Okada, M., 2012, CEUR Workshop Proceedings. CEUR-WS, Vol. 854. p. 17-31 15 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Students
2011

En deçà et au-delà de la liberté ou l'impossibilitè de l'amour

Translated title of the contribution: On this side and beyond liberty: Or the impossibility of loveSaitou, Y., 2011 Aug 29, In : Revue Philosophique de la France et de La Etranger. 136, 3, p. 387-404 18 p.

Research output: Contribution to journalArticle

Liberty
Impossibility
2010
24 Citations (Scopus)
Near-Infrared Spectroscopy
Frontal Lobe
Young Adult
Volunteers
7 Citations (Scopus)

Two types of diagrammatic inference systems: Natural deduction style and resolution style

Mineshima, K., Okada, M. & Takemura, R., 2010, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6170 LNAI. p. 99-114 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6170 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Natural Deduction
Diagram
Topological Relations
Correspondence
Style
2009
4 Citations (Scopus)

Computational semantics for first-order logical analysis of cryptographic protocols

Bana, G., Hasebe, K. & Okada, M., 2009, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5458 LNCS. p. 33-56 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5458 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Cryptographic Protocols
Semantics
Formal Model
First-order
Network protocols
6 Citations (Scopus)

Conservativity for a hierarchy of Euler and Venn reasoning systems

Mineshima, K., Okada, M. & Takemura, R., 2009, CEUR Workshop Proceedings. Vol. 510. p. 37-61 25 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Semantics
14 Citations (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 May, In : Intelligence. 37, 3, p. 256-267 12 p.

Research output: Contribution to journalArticle

Twin Studies
Intelligence Tests
Intelligence
Behavioral Genetics
Dizygotic Twins
2008
16 Citations (Scopus)

Diagrammatic reasoning system with euler circles: Theory and experiment design

Mineshima, K., Okada, M., Sato, Y. & Takemura, R., 2008, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5223 LNAI. p. 188-205 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5223 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Design of experiments
Euler
Circle
Reasoning
Experiment
2007
2 Citations (Scopus)

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

Kushida, H. & Okada, M., 2007 Jan, In : Journal of Logic, Language and Information. 16, 1, p. 35-61 27 p.

Research output: Contribution to journalArticle

logic
Substitution reactions
equivalence
Group
deduction
Formal Model
Semantics
Logic
Security Analysis
Probabilistic Methods
1 Citation (Scopus)

Remarks on semantic completeness for proof-terms with Laird's dual affine/intuitionistic λ-calculus

Okada, M. & Takemura, R., 2007, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4600 LNCS. p. 167-181 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4600 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Calculi
Semantics
Completeness
Calculus
Demonstrations
2006
1 Citation (Scopus)

Completeness and counter-example generations of a basic protocol logic: (Extended abstract)

Hasebe, K. & Okada, M., 2006 Jan 31, In : Electronic Notes in Theoretical Computer Science. 147, 1, p. 73-92 20 p.

Research output: Contribution to journalArticle

Counterexample
Completeness
Query
Logic
Network protocols
2 Citations (Scopus)

Drug Interaction Ontology (DIO) and the resource-sensitive logical inferences

Okada, M., Sugimoto, Y., Yoshikawa, S. & Konagaya, A., 2006, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4060 LNCS. p. 616-642 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4060 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Drug interactions
Drug Interactions
Ontology
Drugs
Resources
3 Citations (Scopus)

Intuitionistic phase semantics is almost classical

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

Research output: Contribution to journalArticle

Phase Space
Linear Logic
Semantics
Intuitionistic Logic
Syntactics
2004
1 Citation (Scopus)
Logic
Divides
Correctness
1 Citation (Scopus)

Linear logic and intuitionistic logic

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

Research output: Contribution to journalArticle

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

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

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

Research output: Contribution to journalArticle

Classical Logic
Modal Logic
Correspondence
Predicate Logic
Quantifiers
10 Citations (Scopus)

Phase semantics for light linear logic

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

Research output: Contribution to journalArticle

Linear Logic
Phase Space
Semantics
Cut-elimination
Proposition

Theoretical Computer Science: Preface

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

Research output: Contribution to journalArticle

Computer Science
2002
37 Citations (Scopus)

A uniform semantic proof for cut-elimination and completeness of various first and higher order logics

Okada, M., 2002 Jun 3, In : Theoretical Computer Science. 281, 1-2, p. 471-498 28 p.

Research output: Contribution to journalArticle

Higher-order Logic
Cut-elimination
First-order Logic
Completeness
Semantics
1 Citation (Scopus)

Ideal concepts, intuitions, and mathematical knowledge acquisitions in Husserl and Hilbert

Okada, M., 2002, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 2281. p. 40-77 38 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2281).

Research output: Chapter in Book/Report/Conference proceedingChapter

Knowledge Acquisition
Knowledge acquisition
Hilbert
Technical presentations
Concepts
40 Citations (Scopus)

Inductive-data-type systems

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

Research output: Contribution to journalArticle

Abstract data types
Type Systems
Abstract Data Types
Strictly positive
Schema
2001
1 Citation (Scopus)

A new correctness criterion for the proof nets of non-commutative multiplicative linear logics

Nagayama, M. & Okada, M., 2001 Dec, In : Journal of Symbolic Logic. 66, 4, p. 1524-1542 19 p.

Research output: Contribution to journalArticle

Proof Nets
Linear Logic
Correctness
Multiplicative
Graph in graph theory
1999
33 Citations (Scopus)

Phase semantic cut-elimination and normalization proofs of first- and higher-order linear logic

Okada, M., 1999 Sep 28, In : Theoretical Computer Science. 227, 1-2, p. 333-396 64 p.

Research output: Contribution to journalArticle

Higher-order Logic
Cut-elimination
Linear Logic
Normalization
Semantics
31 Citations (Scopus)

The calculus of algebraic constructions

Blanqui, F., Jouannaud, J. P. & Okada, M., 1999, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Vol. 1631. p. 301-316 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1631).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Calculus
Abstract data types
Higher Order
Abstract Data Types
Generalise
60 Citations (Scopus)

The finite model property for various fragments of intuitionistic linear logic

Okada, M. & Terui, K., 1999 Jun, In : Journal of Symbolic Logic. 64, 2, p. 790-802 13 p.

Research output: Contribution to journalArticle

Finite Models
Linear Logic
Intuitionistic Logic
Fragment
Multiplicative
1998
4 Citations (Scopus)

A direct independence proof of Buchholz's Hydra Game on finite labeled trees

Hamano, M. & Okada, M., 1998 Mar, In : Archive for Mathematical Logic. 37, 2, p. 67-89 23 p.

Research output: Contribution to journalArticle

Labeled Trees
Independence Results
Game
Inductive Definitions
Cut-elimination
8 Citations (Scopus)

Specifying real-time finite-state systems in linear logic (extended abstract)

Kanovich, M. I., Okada, M. & Scedrov, A., 1998, In : Electronic Notes in Theoretical Computer Science. 16, 1, p. 42-59 18 p.

Research output: Contribution to journalArticle

Linear Logic
Real-time
Logic programming
Safety
Proof Search
1997
41 Citations (Scopus)

Abstract data type systems

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

Research output: Contribution to journalArticle

Abstract data types
Abstract Data Types
Type Systems
Schema
Calculus
11 Citations (Scopus)

A relationship among Gentzen's proof-reduction, Kirby-Paris' hydra game and Buchholz's hydra game

Hamano, M. & Okada, M., 1997, In : Mathematical Logic Quarterly. 43, 1, p. 103-120 18 p.

Research output: Contribution to journalArticle

Game
Combinatorial Games
Relationships
Ordinals
Imply
10 Citations (Scopus)

Phase semantics for light linear logic (extended abstract)

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

Research output: Contribution to journalArticle

Linear Logic
Phase Space
Semantics
Cut-elimination
Proposition
1996
6 Citations (Scopus)
Linear Logic
Characterization Theorem
Proof Nets
Multiplicative
Fragment