{"blog_title":"cranebird\u306e\u65e5\u8a18","provider_name":"Hatena Blog","url":"https://cranebird.hatenadiary.org/entry/20120507/1336340334","height":"190","author_name":"cranebird","image_url":null,"categories":[],"version":"1.0","author_url":"https://blog.hatena.ne.jp/cranebird/","description":"\u3044\u308d\u3044\u308d\u53c2\u8003\u306b\u3057\u306a\u304c\u3089\u4f55\u3068\u304b NFA -> DFA \u306e\u5909\u63db\u307e\u3067\u66f8\u3044\u305f\u3002 \u72b6\u614b\u3068\u30a2\u30eb\u30d5\u30a1\u30d9\u30c3\u30c8\u3092\u578b\u5909\u6570\u3068\u3067\u304d\u305f\u3002\u307e\u305f\u3001\u96c6\u5408\u306f\u96c6\u5408\u3068\u3057\u3066 Data.Set \u3092\u4f7f\u3063\u305f\u3002\u500b\u4eba\u7684\u306b\u6e80\u8db3\u3002 \u4ee5\u4e0b\u306e\u3088\u3046\u306a\u66f8\u304d\u65b9\u304c\u3067\u304d\u308b\u3053\u3068\u3092\u77e5\u3063\u305f\u306e\u304c\u53ce\u7a6b\u3002\u3053\u308c\u304c\u5206\u304b\u3089\u305a\u3001MultiParameterTypeClass \u3068\u304b ScopedTypeVariables \u3068\u304b\u3001\u660e\u5f8c\u65e5\u306e\u65b9\u5411\u3092\u8abf\u67fb\u3057\u3066\u3044\u305f\u3002 class FA fa where states :: fa a b -> Set a \u30eb\u30fc\u30d7\u3068\u624b\u7d9a\u304d\u578b\u8a00\u8a9e\u7528\u306b\u66f8\u304b\u308c\u305f\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u3092\u518d\u5e30\u306b\u66f8\u304d\u76f4\u3059\u65b9\u6cd5\u304c\u3044\u307e\u3044\u3061\u3046\u307e\u304f\u3067\u304d\u3066\u3044\u306a\u3044\u3002CL \u3060\u3068\u666e\u901a\u306bloop\u30de\u30af\u30ed\u304c\u4f7f\u3048\u308b\u306e\u3060\u3051\u3069\u2026","type":"rich","provider_url":"https://hatena.blog","published":"2012-05-07 06:38:54","title":" NFA -> DFA(3)","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcranebird.hatenadiary.org%2Fentry%2F20120507%2F1336340334\" title=\" NFA -&gt; DFA(3) - cranebird\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>","width":"100%","blog_url":"https://cranebird.hatenadiary.org/"}