人文社会学科 哲学系

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

ネットワーク 最近の共同研究。丸をクリックして詳細を確認しましょう。

プロファイル

研究成果 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 6 25, Proceedings of the 22nd International Conference on Human-Computer Interaction, INTERACCION 2019. Association for Computing Machinery, 44. (ACM International Conference Proceeding Series).

研究成果: Conference contribution

Human robot interaction
Robots
Experiments

On quasi ordinal diagram systems

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

研究成果: Conference article

公開
Pattern matching
1 引用 (Scopus)
Abstract data types
Type Systems
Abstract Data Types
Strictly positive
Schema