mandel59 https://blog.hatena.ne.jp/mandel59/ Ryusei’s Notes (a.k.a. M59のブログ) https://mandel59.hateblo.jp/ プログラミング 述語論理に限定継続を追加して、everybodyやsomebodyを表す項を作ってみる。以下、 はそれぞれ shift0, reset0 とする。同時に複数使うと、引数を右から評価するか左から評価するかで継続が異なるため、結果が一意にならず、英語の表現と同様に曖昧になる。左から評価すると： 右から評価すると： 以下、Racketでの実装。 #lang racket (require racket/control) (define (forall x f) (if (null? x) #t (if (f (first x)) (forall (rest x) f) #f))) (define (… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmandel59.hateblo.jp%2Fentry%2F2015%2F11%2F24%2F115347" title="Everybody Loves Somebody - Ryusei’s Notes (a.k.a. M59のブログ)" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> http://chart.apis.google.com/chart?cht=tx&chl=%7B%5Cdisplaystyle%0Ae%20%3D%20%7B%5Cbf%20S%7Dk.%20%5Cforall%20x.%20k%20%5Chookleftarrow%20x%20%5C%5C%0As%20%3D%20%7B%5Cbf%20S%7Dl.%20%5Cexists%20y.%20l%20%5Chookleftarrow%20y%0A%7D Hatena Blog https://hatena.blog 2015-11-24 11:53:47 rich https://mandel59.hateblo.jp/entry/2015/11/24/115347 1.0 100%