kuwadgi https://blog.hatena.ne.jp/kuwadgi/ 嫌われプログラミングの代弁者 https://kuwadgi.info/ 「基準点」は？ 階位差を議論するとして、 「基準点」（１階）は何かを決める 必要が有ると思います。 1階論理と言えば、Prolog言語なので、その言語要素程度が1階とすると良いと思います。 Prolog言語では、 項 事実（「parent(john, mary).」 （ジョンはメアリーの親である、という事実）） 規則（「grandparent(X, Y) :- parent(X, Z), parent(Z, Y).」（XがZの親であり、かつZがYの親であるならば、XはYの祖父母である）） が主な言語要素なので、これと同列の、プログラミング言語の言語要素は1階だと思います。 値の参照について こ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkuwadgi.info%2Fentry%2F2026%2F06%2F01%2F195653" 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 2026-06-01 19:56:53 rich https://kuwadgi.info/entry/2026/06/01/195653 1.0 100%