「コンパイラ・スクリプトエンジン」相談室16 (649ﾚｽ)
上下前次1-新

---

228: 片山博文MZ ◆T6xkBnTXz7B0 2015/05/05(火)23:02 ID:p1RbtT4Y(1) AA×

外部ﾘﾝｸ[html]:compcert.inria.fr

[240|320|480|600|100%|JPG|べ|ﾚｽ栞|ﾚｽ消]
228: 片山博文MZ ◆T6xkBnTXz7B0 [] 2015/05/05(火) 23:02:55.34 ID:p1RbtT4Y コンパイラーの品質保証は、数学で証明する時代だ！！！ Coqと数学でコンパイラーが作れる！！！ http://compcert.inria.fr/compcert-C.html http://mevius.5ch.net/test/read.cgi/tech/1405822579/228
コンパイラーの品質保証は数学で証明する時代だ！！！ と数学でコンパイラーが作れる！！！

---

上下前次1-新書関写板覧索設栞歴

---

あと 421 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ

---

ぬこの手 ぬこTOP 0.150s