Department of Philosophy

Fingerprint The fingerprint is based on mining the text of the scientific documents related to the associated persons. Based on that an index of weighted terms is created, which defines the key subjects of research unit

Linear Logic Mathematics
Semantics Engineering & Materials Science
Cut-elimination Mathematics
Abstract data types Engineering & Materials Science
Completeness Mathematics
Logic Mathematics
Abstract Data Types Mathematics
Type Systems Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1996 2018

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

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

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