「コンパイラ・スクリプトエンジン」相談室16 (648ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
228: 片山博文MZ ◆T6xkBnTXz7B0 [] 2015/05/05(火) 23:02:55.34 ID:p1RbtT4Y(1) AAS
コンパイラーの品質保証は、数学で証明する時代だ！！！
Coqと数学でコンパイラーが作れる！！！
外部ﾘﾝｸ[html]:compcert.inria.fr
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.449s*