一色 健司 | 高知女子大学 生活科学部環境理学科

スポンサーリンク

概要

• 一色 健司の詳細を見る
• 同名の論文著者
• 高知女子大学 生活科学部環境理学科の論文著者

論文 | ランダム

• 数学記号の認知速度 : 実験心理学的計測方法と実例
• Polyvariant Specializationon Type-directed Partial Evaluation
• Constructive Data Refinementの証明技法の改善
• 二階文脈計算(プログラミング及びプログラミング言語)
• 定理証明システムCoq上でのPre Logical Relationを用いた詳細化の正しさの証明

もっと見る

スポンサーリンク