年単位の研究成果
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
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