数学記号の認知速度 : 実験心理学的計測方法と実例
スポンサーリンク
概要
- 論文の詳細を見る
- 日本数式処理学会の論文
- 2004-01-01
著者
-
佐藤 雅彦
京都大学大学院情報学研究科
-
堀 幸雄
神奈川大学理学研究科情報科学専攻
-
後藤 英一
神奈川大学理学部情報科学科
-
堀 幸雄
神奈川大学大学院理学研究科情報科学専攻
-
佐藤 雅彦
Department Of Information Science Faculty Of Science University Of Tokyo
-
Sato Masahiko
Graduate School Department Of Mathematics Kyoto University
-
Sato Masahiko
Department Of Information Science Kyoto University
-
佐藤 雅彦
京都大学大学院エネルギー科学研究科
関連論文
- 計算と論理のための自然枠組NF/CAL(システム検証の科学技術)
- フレーゲの計算機科学への影響 (特集 フレーゲの現代性)
- 数学記号の認知速度 : 実験心理学的計測方法と実例
- Polyvariant Specializationon Type-directed Partial Evaluation
- Constructive Data Refinementの証明技法の改善
- 二階文脈計算(プログラミング及びプログラミング言語)
- 定理証明システムCoq上でのPre Logical Relationを用いた詳細化の正しさの証明
- 型情報を一部明示した環境計算体系
- A Second Order Typed Context Calculus
- 型付きλ計算の拡張によるMobile計算の定式化