{"type":"rich","author_name":"Gemma","published":"2008-06-01 21:01:28","url":"https://gemma.hatenadiary.org/entry/20080601/1212321688","blog_title":"Gemma\u306e\u65e5\u8a18","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fgemma.hatenadiary.org%2Fentry%2F20080601%2F1212321688\" title=\" \u30b7\u30f3\u30bf\u30c3\u30af\u30b9\u306e\u6728\u3092\u898b\u3066\u30bb\u30de\u30f3\u30c6\u30a3\u30af\u30b9\u306e\u68ee\u3092\u898b\u305a - 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>","blog_url":"https://gemma.hatenadiary.org/","width":"100%","provider_url":"https://hatena.blog","version":"1.0","title":" \u30b7\u30f3\u30bf\u30c3\u30af\u30b9\u306e\u6728\u3092\u898b\u3066\u30bb\u30de\u30f3\u30c6\u30a3\u30af\u30b9\u306e\u68ee\u3092\u898b\u305a","image_url":null,"categories":[],"description":"\u3053\u306e\u540d\u8a00\u306e\u51fa\u5178\u306f\u3069\u3053\u3060\u3063\u305f\u3063\u3051? \u30bc\u30df\u3067\u5927\u5800 \u6df3 \u8457 \"\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u306e\u57fa\u790e\u7406\u8ad6\"\u3092\u8aad\u3093\u3067\u3044\u307e\u3059 \u9818\u57df\u8ad6\u7684\u30e2\u30c7\u30eb\u3092\u89e3\u8aac\u3059\u308b\u62c5\u5f53\u306b\u3042\u305f\u3063\u305f\u3002\u304e\u3083\u30fc\u3002 de Bruijn\u30a4\u30f3\u30c7\u30c3\u30af\u30b9\u3063\u3066\u3001cut\u30aa\u30da\u30ec\u30fc\u30bf\u306e\u8a71\u306b\u3064\u306a\u304c\u3063\u3066\u305d\u3046\u306a\u6c17\u304c\u3059\u308b\u3002 \u53c2\u8003 lambda\u3068\u5f15\u6570\u30ea\u30b9\u30c8\u3092\u7701\u7565\u3059\u308b \u53c2\u8003Lingr Gauche\u90e8\u5c4b 2007/03/12 \u300c\u3084\u3063\u3071\u308aDCPO\u3060\u306d\u3002\u300d ~ DCPO \u306b\u3064\u3044\u3066\u3001\u53f6\u59c9\u59b9\u30fb\u85e4\u5d0e\u5948\u3005\u5b50\u30fb\u5c71\u5ddd\u6075\u91cc\u4f73 DHMO\u30cd\u30bf\u304b\u3089\u6301\u3063\u3066\u304d\u305f\u3051\u3069D\u3057\u304b\u3042\u3063\u3066\u306a\u3044\u3058\u3083\u3093\u3002 \u534a\u9806\u5e8f\u96c6\u5408(Partially ordered set)\u306b\u3001\u30dd\u30bb\u30c3\u30c8\u306a\u3093\u3066\u611b\u79f0\u3064\u3051\u3084\u304c\u3063\u3066\u3002\u304b\u308f\u3044\u3044\u3058\u3083\u306a\u3044\u304b\u3002","provider_name":"Hatena Blog","height":"190","author_url":"https://blog.hatena.ne.jp/Gemma/"}