「コンパイラ・スクリプトエンジン」相談室16 (648ﾚｽ)

「コンパイラ・スクリプトエンジン」相談室16 http://mevius.5ch.net/test/read.cgi/tech/1405822579/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん

---

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

---

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

---

ﾒﾓ帳

(0/65535文字)

---

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

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.032s