東大 大学院情報理工学系研究科 について
HU Zhenjiang について
TESSON Julien について
Univ. Orleans について
LOULERGUE Frederic について
Univ. Orleans について
東大 大学院情報理工学系研究科 について
日本ソフトウェア科学会大会講演論文集(CD-ROM) について
プログラム変換 について
計算機プログラミング について
プログラムの正しさ について
意味論 について
定理証明 について
ライブラリ【計算機】 について
安全性 について
規則 について
実装設計 について
Coq について
プログラム運算 について
運算規則 について
言語プロセッサ について
計算機システム開発 について
計算理論 について
ライブラリ について