kuwadgi https://blog.hatena.ne.jp/kuwadgi/ 嫌われプログラミングの代弁者 https://kuwadgi.info/ ゴットロープ・フレーゲ ゴットロープ・フレーゲ（ゴットロープ・フレーゲ Wikipedia 日本語版）と言う哲学者、論理学者、数学者が居るそうで、 「概念記法」（概念記法 Wikipedia 日本語版）と言う著書で、 ∃x:F(x) とかを発明したそうですが、その記法は、 同一性を持った本質的に古典的な2値の二階論理で と有ります。 もし、テストが概念記法なら、それも二階論理になって不思議では有りません。 テストに対する因果 プログラムに対する因果ダイアグラムは、テストに対する因果ダイアグラムと言い換える事も可能だと思いますが、 もしテストが二階論理 なら、 それに対する因果ダイアグラム（何で… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkuwadgi.info%2Fentry%2F2025%2F02%2F24%2F091240" title="詳細設計書の代替　３ - 嫌われプログラミングの代弁者" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2025-02-24 09:12:40 rich https://kuwadgi.info/entry/2025/02/24/091240 1.0 100%