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

---

647: 06/30(月)18:56 ID:YQWckD/5(1) AA×


[240|320|480|600|100%|JPG|べ|ﾚｽ栞|ﾚｽ消]
647: [sage] 2025/06/30(月) 18:56:31.06 ID:YQWckD/5 あれから色々勉強しましたがCoq(Rocq)での証明や Prolog で操作的意味論や型システムを書くのは楽しいです。 １１年かぁ。 $ apt install swi-prolog $ vi e.pl e(I,I):- integer(I). e(E1+E2,I):- e(E1,I1), e(E2,I2), I is I1+I2. :- e(1+2+3+4,I),writeln(I). :- halt. $ swipl e.pl 10 と簡単に言語を作れるので便利だし、最近はAIがプログラム書いてくれるし便利になったなぁ。 http://mevius.5ch.net/test/read.cgi/tech/1405822579/647
あれから色勉強しましたがでの証明や で操作的意味論や型システムを書くのは楽しいです １１年かぁ と簡単に言語を作れるので便利だし最近はがプログラム書いてくれるし便利になったなぁ

---

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

---

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

---

ぬこの手 ぬこTOP 0.028s