{"published":"2006-10-31 00:59:50","width":"100%","url":"https://gemma.hatenadiary.org/entry/20061031/1162310390","categories":[],"type":"rich","height":"190","image_url":null,"author_url":"https://blog.hatena.ne.jp/Gemma/","version":"1.0","provider_name":"Hatena Blog","blog_title":"Gemma\u306e\u65e5\u8a18","author_name":"Gemma","blog_url":"https://gemma.hatenadiary.org/","description":"delimited continuation \u3092\u77e5\u3063\u305f\u3002 http://lambda-the-ultimate.org/node/1197 \u65e5\u672c\u8a9e 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 * \u25a1)) -> 1 + (2 * 4) -> 9 1 + -> 1 + where k = -> 1 + > -> 12 \u304c reset \u3092\u8868\u3059\u7bc4\u56f2\u3092\u7d5e\u308c\u308b&\u3076\u3063\u3068\u3070\u306a\u3044\u3063\u3066\u304b\u3093\u2026","title":" \u9650\u5b9a\u7d99\u7d9a\u3002","provider_url":"https://hatena.blog","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fgemma.hatenadiary.org%2Fentry%2F20061031%2F1162310390\" title=\" \u9650\u5b9a\u7d99\u7d9a\u3002 - Gemma\u306e\u65e5\u8a18\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>"}