Gemma https://blog.hatena.ne.jp/Gemma/ Gemmaの日記 https://gemma.hatenadiary.org/ delimited continuation を知った。 http://lambda-the-ultimate.org/node/1197 日本語 http://www.jst.go.jp/kisoken/presto/seika/h16_jigo/kinou.pdf 1 + (2 * (call/cc \.k 3 + (k 4))) -> 1 + (2 * 3 + k 4))) where k = (1 + (2 * □)) -> 1 + (2 * 4) -> 9 1 + -> 1 + where k = -> 1 + > -> 12 が reset を表す範囲を絞れる&ぶっとばないってかん… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fgemma.hatenadiary.org%2Fentry%2F20061031%2F1162310390" title=" 限定継続。 - Gemmaの日記" 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 2006-10-31 00:59:50 rich https://gemma.hatenadiary.org/entry/20061031/1162310390 1.0 100%