澤柳 直樹 | JA愛知厚生連渥美病院薬剤部

スポンサーリンク

概要

• 澤柳 直樹の詳細を見る
• 同名の論文著者
• JA愛知厚生連渥美病院薬剤部の論文著者

論文 | ランダム

• Constructive Data Refinementの証明技法の改善
• 二階文脈計算(プログラミング及びプログラミング言語)
• 定理証明システムCoq上でのPre Logical Relationを用いた詳細化の正しさの証明
• 型情報を一部明示した環境計算体系
• A Second Order Typed Context Calculus

もっと見る

スポンサーリンク