関数型プログラミング言語Haskell Part34 (671ﾚｽ)
上下前次1-新

---

311(1): 2024/07/27(土)00:29 ID:r3Qeb3es(1/4) AA×
>>307


[240|320|480|600|原寸|GIF|べ|ﾚｽ栞|ﾚｽ消]
311: [] 2024/07/27(土) 00:29:15.86 ID:r3Qeb3es >>307 Coqという証明支援プログラミング言語をお使い下さい。 Haskellでも型プログラミングでゴリゴリ自力で命題の証明出来るそうですが、ある程度自動化されている専用言語の方が良いでしょう。 Coqはその中でも日本語情報が多いです。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/311
という証明支援プログラミング言語をお使い下さい でも型プログラミングでゴリゴリ自力で命題の証明出来るそうですがある程度自動化されている専用言語の方が良いでしょう はその中でも日本語情報が多いです

---

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

---

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

---

ぬこの手 ぬこTOP 0.029s