[過去ﾛｸﾞ] Qiita 4 - キータぞ、来たぞ、キータだぞー (1002ﾚｽ)

Qiita 4 - キータぞ、来たぞ、キータだぞー http://mevius.5ch.net/test/read.cgi/tech/1705486836/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

834: デフォルトの名無しさん [sage] 2024/04/17(水) 08:14:24.30 ID:viu9nkYS 単純な仕組みでまったく契約プログラミングの体をなしてないからな 低知能だけがどうでもいい難癖つけてる http://mevius.5ch.net/test/read.cgi/tech/1705486836/834

839: デフォルトの名無しさん [sage] 2024/04/18(木) 19:30:58.31 ID:kIYs0TGI >>834 ホーア論理とかに憧れた頃が俺にも... でもまあ不変式を見つけたりがめんどくさいし、 形式が適用しにくい場合もあったりする のではあるが、本来不変式を意識したりすることがバグのないコードに繋がるわけで 自分の場合はプログラムの証明とかを練習したことがコードを書くときに活きている、 かもしれない http://mevius.5ch.net/test/read.cgi/tech/1705486836/839

---

ﾒﾓ帳

(0/65535文字)

---

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

---

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

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.026s