デザイン対象としての「使用」の形式化 ― 数学の証明行為における「推論」に基づく分析 ―
デザイン対象としての「使用」の形式化 ― 数学の証明行為における「推論」に基づく分析 ―
复制标题
将“使用”作为设计对象的形式化 - 基于数学证明行为中的“推理”的分析 -
DOI：
--
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
長坂一郎
中科院分区：
文献类型：
--
作者：
山本和貴;堀田典裕;長坂一郎;長坂一郎;長坂一郎
