「コンパイラ・スクリプトエンジン」相談室16 (649ﾚｽ)
上下前次1-新
228: 片山博文MZ ◆T6xkBnTXz7B0 2015/05/05(火)23:02 ID:p1RbtT4Y(1) AAS
コンパイラーの品質保証は、数学で証明する時代だ！！！
Coqと数学でコンパイラーが作れる！！！
外部ﾘﾝｸ[html]:compcert.inria.fr
上下前次1-新書関写板覧索設栞歴
あと 421 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.025s