Department of Philosophy

Fingerprint Dive into the research topics where Department of Philosophy is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.

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 2019

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

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

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
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