g000001 https://blog.hatena.ne.jp/g000001/ (gensym) https://g000001.hatenadiary.org/ 論理やプログラムには実は16の概念しかないのではないかという仮説を検証するために、論理プログラミングと、手続きプログラミングで16概念の対応表を作成し、マッピングして変換するというのを試す。 お題はProlog版のzebraをCommon Lispに変換。 実験結果としては結構見通しが良くて速い実装が錬成された。zebraの場合、バックトラック法がはまるようで、繰り返しなどを使って手続き的に書いた方が遅くなるのでCPSはバックトラック法と繰り返しのいいとこどりになっているのかもしれない。 そこそこ無駄はあるので、チューニングすればもっと高速になるかもしれない。 ;;; -*- mode: Li… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fg000001.hatenadiary.org%2Fentry%2F20260115%2F1768487268" title="LLMにZebraベンチのCommon Lisp版をCPSで書いてもらう - (gensym)" 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-01-15 23:27:48 rich https://g000001.hatenadiary.org/entry/20260115/1768487268 1.0 100%