Kyoto Sangyo University · Faculty of Science · 教授

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• From Reflection to Interaction: An Indirect Approach to the Philosophy of Computation Conferences in Research and Practice in Information Technology Vol.37,33-38頁2004
• リフレクションと計算のメタフィジクス(II) Computer Today (2003年1月号),52-57頁2003
• Strict n-Hypercategories Hokkaido Mathematical Journal 31 (3),469-511頁2002
• リフレクションと計算のメタフィジクス Computer Today (2002年3月号),38-45頁2002

• 圏論とその計算機科学への応用
• 数学の哲学の新たな展開
• 計算の哲学-計算概念の原理的再構築
• Category Theory and its applications to Computer Science

• Official profile