kuwadgi https://blog.hatena.ne.jp/kuwadgi/ 嫌われプログラミングの代弁者 https://kuwadgi.info/ 一階述語論理と、純粋関数 そういえば、 一階述語論理に、 純粋関数が一切出てこない と思います。 何故か？ もしかしてですが、 （純粋関数以外の）その他のプログラムを1階とした時、 純粋関数は、階位差がマイナス（0階？） だからでは無いでしょうか？ その他のプログラムより、マイナスの階位差となれば、 1階の議論をしている際に、視界から離れる、見えない、全く見えない その代わり、1階のプログラムに比べて、「良い性質」が有っても、全くおかしくない 事になります。 余りの矛盾 Haskell言語の高階関数では、当然、純粋関数を主に扱うと思いますし、その「高階」というのは、1階述語論理等に準拠した物だ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkuwadgi.info%2Fentry%2F2026%2F06%2F14%2F151008" 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-14 15:10:08 rich https://kuwadgi.info/entry/2026/06/14/151008 1.0 100%