人文社会学科　哲学系

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

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

プロファイル

典子 の写真がありません 望月

望月 典子

人物: Academic

20122012
光弘 の写真がありません 岡田

岡田 光弘

人物: Academic

19872019
慶典 の写真がありません 斎藤

斎藤 慶典

人物: Academic

19912011

研究成果 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)

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

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

研究成果: Article

Abstract data types
Type Systems
Abstract Data Types
Strictly positive
Schema