利用ガイド
検索キーワード:(指定なし)
該当件数:23件
[061]MIレクチャーノート表紙奥付等
九大文献 <1520934>
SSReflectを用いたペトリネットにおけるKarp-Miller加速の形式化
九大文献 <1520935>
プログラム生成の検証へ向けて
九大文献 <1520936>
SSReflectによる可変長情報源符号化逆定理の形式化
九大文献 <1520937>
Formalizing Strong Normalization Proofs
九大文献 <1520938>
A Name-Free Lambda Calculus
九大文献 <1520939>
Mizarによる群の直和分解の形式化
九大文献 <1520940>
Mizarによる多項式オーダーの関数に関する形式化
九大文献 <1520941>
Coqを使ったデジタルデータ放送におけるストリームデータ処理の形式化と検証
九大文献 <1520942>
システム開発において数理論理学に基づいた仕様記述言語を用いることによる品質の確保 : 文書の記述力とチームのコミュニケーション力を鍛える
九大文献 <1520943>
Correct-by-Construction Program Synthesis in Coq
九大文献 <1520944>
Formalization of Error-correcting Codes using SSReflect
九大文献 <1520945>
Formalization of matrix representation of direction relations with application to the superposition of rectangles
九大文献 <1520946>
CoqからScalaへのコード抽出とその妥当性
九大文献 <1520947>
Weak HOASを用いたFeatherweight JavaのCoq上での形式化
九大文献 <1520948>
メモリモデルを考慮した汎用型付中間言語設計に向けて
九大文献 <1520949>
An intuitionistic Set-theoretical Model of the Extend Calculus of Construction
九大文献 <1520950>
コンセプト段階における準形式手法のシステム設計への利用
九大文献 <1520951>
On formalization of basic geometric topology
九大文献 <1520952>
Formalizing a coding theory
九大文献 <1520953>
Formalization of geometric algebra with application to computational origami
九大文献 <1520954>
Mathematical Components and Algebraic Numbers
九大文献 <1520955>
対話型幾何ソフトウエアと自動証明 : シンデレラとキッズシンディ
九大文献 <1520956>