{"id":26603,"date":"2025-12-05T19:34:12","date_gmt":"2025-12-05T19:34:12","guid":{"rendered":"https:\/\/pokecon.jp\/job\/?p=26603"},"modified":"2025-12-05T19:34:12","modified_gmt":"2025-12-05T19:34:12","slug":"%e6%93%8d%e4%bd%9c%e3%81%8b%e3%82%89%e6%84%8f%e5%91%b3%e3%81%b8-%e2%94%80-haskell-%e3%81%8c%e5%a4%89%e3%81%88%e3%81%9f%e7%a7%81%e3%81%ae%e3%83%a1%e3%83%b3%e3%82%bf%e3%83%ab%e3%83%a2%e3%83%87%e3%83%ab","status":"publish","type":"post","link":"https:\/\/pokecon.jp\/job\/26603\/","title":{"rendered":"\u64cd\u4f5c\u304b\u3089\u610f\u5473\u3078 \u2500 Haskell \u304c\u5909\u3048\u305f\u79c1\u306e\u30e1\u30f3\u30bf\u30eb\u30e2\u30c7\u30eb &#8211; \u4e00\u4f11.com Developers Blog"},"content":{"rendered":"\n<\/p>\n<div>\n<p>\u3053\u306e\u8a18\u4e8b\u306f<a target=\"_blank\" href=\"https:\/\/qiita.com\/advent-calendar\/2025\/ikyu\">\u4e00\u4f11.com Advent Calendar 2025<\/a>\u306e 5\u65e5\u76ee\u306e\u8a18\u4e8b\u3067\u3059\u3002<\/p>\n<p>\u79c1\u306f\u6bce\u5e74\u3053\u306e\u6642\u671f\u306b\u306a\u308b\u3068 Haskell \u306b\u95a2\u3059\u308b\u8a18\u4e8b\u3092\u6295\u7a3f\u3057\u3066\u3044\u307e\u3059\u304c\u3001\u4eca\u5e74\u3082\u307e\u305f Haskell \u3092\u984c\u6750\u306b\u3057\u3064\u3064\u3001\u4eca\u56de\u306f Haskell \u3092\u4f7f\u3046\u3053\u3068\u304c\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u4e2d\u306e\u601d\u8003\u306b\u3069\u306e\u3088\u3046\u306a\u5f71\u97ff\u3092\u4e0e\u3048\u308b\u304b\u306b\u3064\u3044\u3066\u8003\u5bdf\u3057\u3066\u307f\u3088\u3046\u3068\u601d\u3044\u307e\u3059\u3002<\/p>\n<h2 id=\"LLM-\u3068\u8a00\u8449\u304c\u601d\u8003\u3092\u5f62\u3065\u304f\u308b\u3068\u3044\u3046\u76f4\u611f\">LLM \u3068\u300c\u8a00\u8449\u304c\u601d\u8003\u3092\u5f62\u3065\u304f\u308b\u300d\u3068\u3044\u3046\u76f4\u611f<\/h2>\n<p>LLM (Large Language Models\u3001\u5927\u898f\u6a21\u8a00\u8a9e\u30e2\u30c7\u30eb) \u306f\u6b21\u306b\u304f\u308b\u8a00\u8449\u3092\u4e88\u6e2c\u3057\u3066\u3044\u308b\u3060\u3051\u306a\u306e\u306b\u3001\u305d\u308c\u304c\u77e5\u6027\u306e\u3088\u3046\u306b\u898b\u3048\u308b\u3002\u300c\u8a00\u8449\u306e\u63a8\u5b9a\u300d\u3067\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u3059\u3089\u3067\u304d\u3066\u3057\u307e\u3046\u3068\u3044\u3046\u4e8b\u5b9f\u306b\u8ab0\u3082\u304c\u9a5a\u3044\u305f\u3068\u3053\u308d\u3060\u3068\u601d\u3044\u307e\u3059\u3002<\/p>\n<p>LLM \u3092\u672c\u5f53\u306e\u77e5\u6027\u3068\u307f\u306a\u3059\u304b\u3069\u3046\u304b\u306f\u8b70\u8ad6\u306e\u5206\u304b\u308c\u308b\u3068\u3053\u308d\u3060\u3068\u601d\u3044\u307e\u3059\u304c\u3001LLM \u306e\u539f\u7406\u3092\u307f\u308b\u306b\u3001\u5c11\u306a\u304f\u3068\u3082\u300c\u8a00\u8a9e\u300d\u304c\u63a8\u8ad6\u3084\u601d\u8003\u306e\u5f62\u5f0f\u306b\u6df1\u304f\u5f71\u97ff\u3059\u308b\u3068\u3044\u3046\u76f4\u611f\u306f\u6b63\u3057\u3044\u306e\u3067\u306f\u306a\u3044\u304b\u3068\u601d\u3044\u307e\u3059\u3002<\/p>\n<p>\u3068\u3053\u308d\u3067\u300c\u8a00\u8a9e\u300d\u3068\u3044\u3048\u3070\u3001\u6211\u3005\u306f\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u3092\u7528\u3044\u307e\u3059\u3002\u300c\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u300d\u304c\u305d\u306e\u540d\u306e\u901a\u308a\u300c\u8a00\u8a9e\u300d\u306a\u3089\u3001\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u3082\u307e\u305f\u601d\u8003\u306b\u5f71\u97ff\u3092\u4e0e\u3048\u308b\u306e\u3067\u306f\u306a\u3044\u304b\u3001\u305d\u3093\u306a\u3053\u3068\u3092\u601d\u3044\u307e\u3059\u3002<\/p>\n<p>ChatGPT \u306b\u300c\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u304c\u601d\u8003\u306b\u5f71\u97ff\u3092\u4e0e\u3048\u308b\u306a\u3089\u3001\u4f7f\u3046\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u3092\u5909\u3048\u308b\u3068\u81ea\u5206\u306e\u601d\u8003\u304c\u5909\u308f\u308b\u3068\u3044\u3046\u3053\u3068\u306f\u3042\u308a\u305d\u3046\u3067\u3059\u306d\u300d\u3068\u5c0b\u306d\u3066\u307f\u305f\u3068\u3053\u308d\u3001\u4ee5\u4e0b\u306e\u3088\u3046\u306a\u8fd4\u7b54\u304c\u5e30\u3063\u3066\u304d\u307e\u3057\u305f\u3002<\/p>\n<p><span itemscope=\"\" itemtype=\"http:\/\/schema.org\/Photograph\"><img decoding=\"async\" src=\"https:\/\/cdn-ak.f.st-hatena.com\/images\/fotolife\/n\/naoya\/20251205\/20251205163350.png\" width=\"1200\" height=\"995\" loading=\"lazy\" title=\"\" class=\"hatena-fotolife\" itemprop=\"image\"\/><\/span><\/p>\n<p>\u300cHaskeell \u306f\u8a00\u8a9e\u3067\u306f\u306a\u304f\u54f2\u5b66\u300d\u7b11<\/p>\n<p>\u3044\u3084\u3042\u3001\u3055\u3059\u304c\u306b\u305d\u308c\u306f\u5927\u8888\u88df\u3059\u304e\u308b\u3060\u308d\u3046\u3068\u306f\u601d\u3044\u3064\u3064\u300c\u601d\u8003\u304c &#8220;\u64cd\u4f5c&#8221; \u3067\u306f\u306a\u304f&#8221;\u610f\u5473&#8221; \u3092\u8ef8\u306b\u51e6\u7406\u3055\u308c\u308b\u3088\u3046\u306b\u306a\u308b\u300d\u3068\u3044\u3046\u70b9\u306b\u3064\u3044\u3066\u306f\u3001\u9837\u3051\u308b\u3068\u3053\u308d\u304c\u3042\u308a\u307e\u3059\u3002<\/p>\n<p>\u534a\u5e74\u524d\u306e\u300e\u95a2\u6570\u578b\u307e\u3064\u308a\u300f\u3067\u3082\u3001\u7af6\u6280\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u3068\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u3092\u984c\u6750\u306b\u3053\u306e\u8a71\u3092\u5c11\u3057\u7d39\u4ecb\u3057\u307e\u3057\u305f\u3002<\/p>\n<p><a target=\"_blank\" href=\"https:\/\/speakerdeck.com\/naoya\/guan-shu-xing-yan-yu-dejing-ji-puroguramingu\">Haskell \u3067\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u3092\u62bd\u8c61\u5316\u3059\u308b \/ \u95a2\u6570\u578b\u8a00\u8a9e\u3067\u7af6\u6280\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0 &#8211; Speaker Deck<\/a><\/p>\n<p>\u4eca\u56de\u306f\u305d\u306e\u4e2d\u306e\u4e00\u90e8\u3001Haskell \u3092\u4f7f\u3046\u3068\u30d7\u30ed\u30b0\u30e9\u30e0\u3092\u898b\u308b\u76ee\uff65\uff65\uff65\u30e1\u30f3\u30bf\u30eb\u30e2\u30c7\u30eb\u304c\u5909\u308f\u308b\u3088\u3001\u3068\u3044\u3046\u8a71\u3092\u3057\u3066\u307f\u305f\u3044\u3068\u601d\u3044\u307e\u3059\u3002<\/p>\n<h2 id=\"map-\u3068-fold\u518d\u5e30\u69cb\u9020\u3092\u3069\u3046\u898b\u308b\u304b\u304c\u601d\u8003\u3092\u5909\u3048\u308b\">map \u3068 fold\uff1a\u518d\u5e30\u69cb\u9020\u3092\u3069\u3046\u201c\u898b\u308b\u201d\u304b\u304c\u601d\u8003\u3092\u5909\u3048\u308b<\/h2>\n<p>\u4e00\u822c\u306e\u547d\u4ee4\u578b\u8a00\u8a9e\u306e\u5834\u5408\u3001\u5024\u3084\u30c7\u30fc\u30bf\u69cb\u9020\u306f\u57fa\u672c\u7684\u306b\u66f8\u304d\u63db\u3048\u304c\u53ef\u80fd\u3067\u3059\u3002\u305d\u308c\u3092\u547d\u4ee4\u306b\u3088\u3063\u3066\u66f8\u304d\u63db\u3048\u306a\u304c\u3089\u671b\u3080\u7d50\u679c\u3092\u5f97\u308b\u3001\u3068\u3044\u3046\u8003\u3048\u65b9\u3067\u30d7\u30ed\u30b0\u30e9\u30e0\u3092\u69cb\u6210\u3057\u307e\u3059\u3002<\/p>\n<p>\u4f8b\u3048\u3070 1 \u304b\u3089 n \u307e\u3067\u306e\u548c\u3092\u53d6\u308a\u305f\u3044\u5834\u5408\u3001\u4ee5\u4e0b\u306e\u3088\u3046\u306b\u66f8\u304f\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002<\/p>\n<pre class=\"code lang-cpp\" data-lang=\"cpp\" data-unlink=\"\"><span class=\"synType\">int<\/span> total = <span class=\"synConstant\">0<\/span>;\n\n<span class=\"synStatement\">for<\/span> (<span class=\"synType\">int<\/span> i = <span class=\"synConstant\">1<\/span>; i &lt;= n; i++) {\n\u00a0\u00a0\u00a0 total += i;\n}\n<\/pre>\n<p>\u5909\u6570\u306b\u5024\u3092\u4ee3\u5165\u3059\u308b\u3068\u3044\u3046\u64cd\u4f5c\u3092\u901a\u3058\u3066\u3001\u5024\u3092\u66f8\u304d\u63db\u3048\u307e\u3059\u3002\u305d\u308c\u3092 for \u30eb\u30fc\u30d7\u3067\u7e70\u308a\u8fd4\u3057\u64cd\u4f5c\u3057\u307e\u3059\u3002\u64cd\u4f5c\u304c\u7d42\u308f\u3063\u305f\u3068\u3053\u308d\u3067 <code>total<\/code> \u5909\u6570\u306e\u5024\u306f\u3001\u76ee\u7684\u306e 1 \u304b\u3089 n \u307e\u3067\u306e\u548c\u306b\u306a\u3063\u3066\u3044\u308b\u306f\u305a\u3067\u3059\u3002<\/p>\n<p>Haskell \u306e\u5834\u5408\u3001\u5909\u6570\u306f\u57fa\u672c\u7684\u306b\u66f8\u304d\u63db\u3048\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u305b\u3093\u3002\u5024\u306e\u66f8\u304d\u63db\u3048\u306e\u3088\u3046\u306a\u300c\u64cd\u4f5c\u300d\u3067\u8a08\u7b97\u3092\u69cb\u6210\u3059\u308b\u306e\u3067\u306f\u306a\u304f\u300c\u5024\u306b\u95a2\u6570\u3092\u518d\u5e30\u7684\u306b\u9069\u7528\u3059\u308b\u300d\u3053\u3068\u3067\u8a08\u7b97\u3092\u69cb\u6210\u3057\u307e\u3059\u3002<\/p>\n<pre class=\"code lang-haskell\" data-lang=\"haskell\" data-unlink=\"\">f acc [] <span class=\"synStatement\">=<\/span> acc\nf acc (x <span class=\"synStatement\">:<\/span> xs) <span class=\"synStatement\">=<\/span> f (acc <span class=\"synStatement\">+<\/span> x) xs \n\nmain <span class=\"synStatement\">::<\/span> IO ()\nmain <span class=\"synStatement\">=<\/span> <span class=\"synStatement\">do<\/span>\n  <span class=\"synStatement\">...<\/span>\n\n  print <span class=\"synStatement\">$<\/span> f <span class=\"synConstant\">0<\/span> [<span class=\"synConstant\">1<\/span> <span class=\"synStatement\">..<\/span> n]\n<\/pre>\n<p>\u3057\u304b\u3057\u4f55\u304b\u30d7\u30ed\u30b0\u30e9\u30e0\u3092\u69cb\u6210\u3059\u308b\u305f\u3073\u306b\u518d\u5e30\u3092\u30a4\u30c1\u304b\u3089\u66f8\u304f\u306e\u306f\u30d7\u30ea\u30df\u30c6\u30a3\u30d6\u3059\u304e\u307e\u3059\u3002Haskell \u306b\u306f fold (\u7573\u307f\u8fbc\u307f) \u3084 map  (\u5199\u50cf)  \u306e\u3088\u3046\u306a\u3001\u518d\u5e30\u69cb\u9020\u3092\u4e00\u822c\u5316\u3057\u305f\u57fa\u672c\u64cd\u4f5c\u304c\u7528\u610f\u3055\u308c\u3066\u3044\u307e\u3059\u3002<\/p>\n<p>\u5148\u306e\u548c\u306f <code>foldl'<\/code> \u3092\u4f7f\u3046\u3053\u3068\u3067\u4ee5\u4e0b\u306e\u3088\u3046\u306b\u66f8\u3051\u307e\u3059\u3002<\/p>\n<pre class=\"code lang-haskell\" data-lang=\"haskell\" data-unlink=\"\">print <span class=\"synStatement\">$<\/span> foldl' (<span class=\"synStatement\">+<\/span>) <span class=\"synConstant\">0<\/span> [<span class=\"synConstant\">1<\/span> <span class=\"synStatement\">..<\/span> n]\n<\/pre>\n<p>\u547d\u4ee4\u578b\u8a00\u8a9e\u3067\u914d\u5217\u3084\u30ea\u30b9\u30c8\u306e\u5404\u8981\u7d20\u3092\u5909\u63db\u3057\u305f\u3044\u3068\u304d\u3001\u3084\u306f\u308a\u5024\u3092\u66f8\u304d\u63db\u3048\u308b\u3068\u3044\u3046\u64cd\u4f5c\u304c\u4e2d\u5fc3\u306b\u306a\u308a\u307e\u3059\u3002\u305f\u3068\u3048\u3070\u30011 \u304b\u3089 n \u307e\u3067\u306e\u6574\u6570\u305d\u308c\u305e\u308c\u306b 1 \u3092\u8db3\u3057\u305f\u65b0\u3057\u3044\u914d\u5217\u3092\u4f5c\u308b\u5834\u5408\u306f\u4ee5\u4e0b\u306e\u3088\u3046\u306b\u66f8\u304f\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002(ChatGPT \u306b\u66f8\u304b\u305b\u307e\u3057\u305f)<\/p>\n<pre class=\"code lang-cpp\" data-lang=\"cpp\" data-unlink=\"\"><span class=\"synType\">vector<\/span>&lt;<span class=\"synType\">int<\/span>&gt; xs;\nxs.<span class=\"synIdentifier\">reserve<\/span>(n);\n\n<span class=\"synStatement\">for<\/span> (<span class=\"synType\">int<\/span> i = <span class=\"synConstant\">1<\/span>; i &lt;= n; i++) {\n    xs.<span class=\"synIdentifier\">push_back<\/span>(i + <span class=\"synConstant\">1<\/span>);  \n}\n<\/pre>\n<p>Haskell \u3067\u306f\u3001\u3084\u306f\u308a\u5024\u306e\u66f8\u304d\u63db\u3048\u3068\u3044\u3046\u64cd\u4f5c\u3067\u306f\u306a\u304f\u3001\u300c\u5404\u8981\u7d20\u3092\u5909\u63db\u3059\u308b\u300d\u3068\u3044\u3046\u8a08\u7b97\u3092 map (\u5199\u50cf) \u3067\u8868\u73fe\u3057\u307e\u3059\u3002<\/p>\n<pre class=\"code lang-haskell\" data-lang=\"haskell\" data-unlink=\"\">print <span class=\"synStatement\">$<\/span> map (<span class=\"synStatement\">+<\/span><span class=\"synConstant\">1<\/span>) [<span class=\"synConstant\">1<\/span> <span class=\"synStatement\">..<\/span> n]\n<\/pre>\n<p>\u547d\u4ee4\u578b\u8a00\u8a9e\u3067\u306f for \u6587\u3084\u4ee3\u5165\u6587\u3001\u914d\u5217\u3001if \u6587\u3068\u3044\u3046\u30d7\u30ea\u30df\u30c6\u30a3\u30d6\u306a\u64cd\u4f5c\u3067\u3001\u591a\u304f\u306e\u3053\u3068\u304c\u3067\u304d\u308b\u306e\u306f\u307f\u306a\u3055\u3093\u3054\u5b58\u77e5\u306e\u901a\u308a\u3067\u3059\u3002<br \/>\n\u305d\u308c\u3068\u540c\u3058\u304f Haskell \u3067\u306f map \u3084 fold  (\u3068 filter \u306a\u3069)  \u3067\u3001\u540c\u69d8\u306b\u3001\u591a\u304f\u306e\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002<\/p>\n<p>\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u306b\u304a\u3051\u308b\u30d7\u30ea\u30df\u30c6\u30a3\u30d6\u306a\u69cb\u6587\u8981\u7d20\u304c\u7570\u306a\u308b\u3002\u3053\u308c\u304c\u3001\u547d\u4ee4\u578b\u8a00\u8a9e\u3068 Haskell \u306e\u3088\u3046\u306a\u95a2\u6570\u578b\u8a00\u8a9e\u306e\u5927\u304d\u306a\u9055\u3044\u3067\u3059\u3002<\/p>\n<h2 id=\"\u52d5\u304d\u3067\u306f\u306a\u304f\u610f\u5473\u3067\u30d7\u30ed\u30b0\u30e9\u30e0\u3092\u6349\u3048\u308b\">\u300c\u52d5\u304d\u300d\u3067\u306f\u306a\u304f\u300c\u610f\u5473\u300d\u3067\u30d7\u30ed\u30b0\u30e9\u30e0\u3092\u6349\u3048\u308b<\/h2>\n<p>map \u3084 fold \u306e\u300c\u610f\u5473\u300d\u306f\u305d\u308c\u305e\u308c\u300c\u5199\u50cf\u300d\u3084\u300c\u7573\u307f\u8fbc\u307f\u300d\u3067\u3059\u3002<\/p>\n<p>\u6163\u308c\u306a\u3044\u3046\u3061\u306f map \u3084 fold \u3092\u3001\u547d\u4ee4\u578b\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u306e for \u6587\u305d\u306e\u307b\u304b\u540c\u69d8\u306b\u52d5\u304d\u3067\u6349\u3048\u3066\u3057\u307e\u3063\u3066\u3001\u3064\u3044\u982d\u306e\u4e2d\u3067\u5024\u304c\u518d\u5e30\u7684\u306b\u5909\u63db\u3055\u308c\u3066\u3044\u304f\u69d8\u5b50\u3092\u30b7\u30df\u30e5\u30ec\u30fc\u30c8\u3057\u3066\u3057\u307e\u3046\u304b\u3057\u308c\u307e\u305b\u3093\u3002<\/p>\n<p>\u3057\u304b\u3057\u3001\u3042\u308b\u7a0b\u5ea6\u66f8\u304d\u6163\u308c\u3066\u304f\u308b\u3068 <code>let xs' = map (+1) [1 ..n]<\/code> \u3068\u3044\u3046\u8a18\u8ff0\u306f\u300c<code>xs'<\/code> \u306f <code>[1 .. n]<\/code> \u3068\u3044\u3046\u30ea\u30b9\u30c8\u306e\u5199\u50cf\u3060\u300d\u3068\u3001\u305d\u306e\u610f\u5473\u305d\u306e\u307e\u307e\u3067\u89e3\u91c8\u3001\u8a18\u8ff0\u3067\u304d\u308b\u3088\u3046\u306b\u306a\u3063\u3066\u3044\u304d\u307e\u3059\u3002fold \u3082\u540c\u3058\u3067\u3059\u3002\u3053\u306e\u610f\u5473\u3060\u3051\u3067\u30b3\u30fc\u30c9\u3092\u6349\u3048\u3066\u3082\u7279\u306b\u56f0\u3089\u306a\u3044\u306e\u3067\u3001\u52d5\u304d\u306b\u3064\u3044\u3066\u306f\u3042\u307e\u308a\u8003\u3048\u306a\u304f\u306a\u308a\u307e\u3059\u3002<\/p>\n<p>\u3061\u306a\u307f\u306b\u3053\u3053\u3067\u8a00\u3063\u3066\u3044\u308b\u306e\u306f\u300c\u610f\u56f3\u300d\u3067\u306f\u306a\u304f\u300c\u610f\u5473\u300d\u3067\u3059\u3002\u300c\u610f\u5473\u300d\u306f\u30d7\u30ed\u30b0\u30e9\u30e0\u81ea\u8eab\u304c\u6301\u3064\u69cb\u9020\u7684\u30fb\u6570\u5b66\u7684\u306a\u300c\u4f55\u3092\u8868\u3059\u304b\u300d\u306e\u3053\u3068\u3002<\/p>\n<p>\u30d7\u30ed\u30b0\u30e9\u30de\u306e\u300c\u610f\u56f3\u300d\u3068\u306f\u7121\u95a2\u4fc2\u306b\u30d7\u30ed\u30b0\u30e9\u30e0\u304c\u69cb\u9020\u3068\u3057\u3066\u300c\u610f\u5473\u300d\u3092\u6301\u3064\u3053\u3068\u304c\u3042\u308a\u307e\u3059\u3002\u305d\u3057\u3066 Haskell \u306e\u3088\u3046\u306a\u62bd\u8c61\u5ea6\u306e\u9ad8\u3044\u8a00\u8a9e\u3067\u306f\u3001\u3053\u306e\u300c\u610f\u5473\u300d\u304c\u652f\u914d\u7684\u306b\u306a\u308b\u3068\u601d\u3063\u3066\u3044\u307e\u3059\u3002<\/p>\n<p>\u30d7\u30ed\u30b0\u30e9\u30e0\u305d\u306e\u3082\u306e\u304c\u8868\u3059\u69cb\u9020\u30fb\u95a2\u4fc2\u3068\u3044\u3046\u306e\u306f\u3001\u305f\u3068\u3048\u3070<\/p>\n<ul>\n<li>\u300cfold \u306f\u30e2\u30ce\u30a4\u30c9\u306e\u7d50\u5408\u3067\u3042\u308b\u300d<\/li>\n<li>\u300c\u95a2\u6570 <code>f :: A -&gt; B<\/code> \u306f A \u3092 B \u306b\u5199\u3059\u5199\u50cf\u3067\u3042\u308b\u300d<\/li>\n<li>\u300cmap \u306f\u95a2\u624b\uff08functor\uff09\u306e\u5199\u50cf\u3067\u3001\u69cb\u9020\u3092\u4fdd\u3064\u300d<\/li>\n<li>\u300cIO \u306f\u5408\u6210\u53ef\u80fd\u306a\u8a08\u7b97\u306e\u30b3\u30f3\u30c6\u30ca\u3067\u3042\u308b\u300d<\/li>\n<\/ul>\n<p>\u307f\u305f\u3044\u306a\u89e3\u91c8\u306e\u3053\u3068\u3002<\/p>\n<p>\u3042\u308b\u30b3\u30fc\u30c9\u304c\u300c\u4f55\u3092\u8868\u73fe\u3057\u3066\u3044\u308b\u304b\u300d\u300c\u3069\u3093\u306a\u6570\u5b66\u7684\u69cb\u9020\u306b\u5bfe\u5fdc\u3059\u308b\u304b\u300d\u3068\u3044\u3046\u3001\u5ba2\u89b3\u7684\u306a\u610f\u5473\u306e\u3053\u3068\u3067\u3059\u3002<\/p>\n<h2 id=\"Haskell-\u306e\u518d\u5e30\u7684\u30c7\u30fc\u30bf\u69cb\u9020\u3068-map--fold\">Haskell \u306e\u518d\u5e30\u7684\u30c7\u30fc\u30bf\u69cb\u9020\u3068 map \/ fold<\/h2>\n<p>\u3068\u3053\u308d\u3067 Haskell \u3067\u5ba3\u8a00\u3059\u308b\u30c7\u30fc\u30bf\u69cb\u9020\u306f\u3001\u518d\u5e30\u7684\u30c7\u30fc\u30bf\u69cb\u9020\u3067\u3059\u3002<\/p>\n<pre class=\"code lang-haskell\" data-lang=\"haskell\" data-unlink=\"\"><span class=\"synType\">data<\/span> List a <span class=\"synStatement\">=<\/span> Nil <span class=\"synStatement\">|<\/span> Cons a (List a)\n<\/pre>\n<p>\u518d\u5e30\u7684\u30c7\u30fc\u30bf\u69cb\u9020\u306f\u300c\u5168\u4f53\u304c\u3001\u540c\u3058\u578b\u306e\u90e8\u5206\u69cb\u9020\u3092\u542b\u3093\u3067\u5b9a\u7fa9\u3055\u308c\u3066\u3044\u308b\u30c7\u30fc\u30bf\u69cb\u9020\u300d\u3067\u3059\u3002\u30ea\u30b9\u30c8\u3084\u6728\u69cb\u9020\u306a\u3069\u304c\u5178\u578b\u4f8b\u3067\u3059\u304c\u3001Haskell \u306e\u30a4\u30df\u30e5\u30fc\u30bf\u30d6\u30eb\u306a\u30c7\u30fc\u30bf\u69cb\u9020\u306f\u6982\u306d\u3053\u306e\u518d\u5e30\u7684\u30c7\u30fc\u30bf\u69cb\u9020\u3068\u3057\u3066\u5b9a\u7fa9\u3055\u308c\u3066\u3044\u307e\u3059\u3002<\/p>\n<p>\u8a73\u7d30\u304c\u6c17\u306b\u306a\u308b\u65b9\u306f\u3001\u6628\u5e74\u79c1\u304c\u66f8\u3044\u305f\u3053\u3061\u3089\u306e\u8a18\u4e8b\u3082\u53c2\u7167\u3057\u3066\u304f\u3060\u3055\u3044\u3002<\/p>\n<p><a target=\"_blank\" href=\"https:\/\/user-first.ikyu.co.jp\/entry\/2024\/12\/03\/091133\">\u6c38\u7d9a\u30c7\u30fc\u30bf\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u3068\u6c38\u7d9a\u30c7\u30fc\u30bf\u69cb\u9020 &#8211; \u4e00\u4f11.com Developers Blog<\/a><\/p>\n<p>\u3055\u3066\u30ea\u30b9\u30c8\u306e\u4f8b\u3067\u3082\u5206\u304b\u308b\u3088\u3046\u306b\u3001\u518d\u5e30\u7684\u30c7\u30fc\u30bf\u69cb\u9020\u306f\u300c\u5168\u4f53\u300d\u3092\u5206\u89e3\u3059\u308b\u3068\u5fc5\u305a\u300c\u540c\u3058\u578b\u306e\u90e8\u5206\u69cb\u9020\u300d\u304c\u51fa\u3066\u304d\u307e\u3059\u3002<\/p>\n<ul>\n<li>\u5168\u4f53\u304c\u7a7a\u304b<\/li>\n<li>\u8981\u7d20\u3068 \u201c\u6b8b\u308a\u306e\u69cb\u9020\u201d \u304b\u3089\u3067\u304d\u3066\u3044\u308b<\/li>\n<\/ul>\n<p>\u3053\u306e \u300c\u5206\u89e3 \u2192 \u8981\u7d20\u3078\u306e\u51e6\u7406 \u2192 \u90e8\u5206\u69cb\u9020\u306e\u518d\u5e30\u300d \u3068\u3044\u3046\u6d41\u308c\u304c\u3001\u518d\u5e30\u7684\u30c7\u30fc\u30bf\u69cb\u9020\u3092\u6271\u3046\u3068\u304d\u306e\u6700\u3082\u81ea\u7136\u3067\u57fa\u672c\u7684\u306a\u64cd\u4f5c\u3067\u3059\u3002\u305d\u3057\u3066\u3001\u3053\u306e \u81ea\u7136\u306a\u64cd\u4f5c\u3092\u4e00\u822c\u5316\u3057\u305f\u3082\u306e\u304c map \u3068 fold \u3067\u3059\u3002<\/p>\n<h3 id=\"map-\u3068-fold-\u306f\u518d\u5e30\u7684\u30c7\u30fc\u30bf\u69cb\u9020\u306b\u9069\u3057\u305f\u6700\u5c0f\u306e\u64cd\u4f5c\">map \u3068 fold \u306f\u518d\u5e30\u7684\u30c7\u30fc\u30bf\u69cb\u9020\u306b\u9069\u3057\u305f\u6700\u5c0f\u306e\u64cd\u4f5c<\/h3>\n<p>\u7e70\u308a\u8fd4\u3057\u306b\u306a\u308a\u307e\u3059\u304c\u3001\u30ea\u30b9\u30c8\u3092\u59cb\u3081\u3001Set \u3084 Map \u306a\u3069\u3001Haskell \u304c\u63d0\u4f9b\u3059\u308b\u591a\u304f\u306e\u30c7\u30fc\u30bf\u69cb\u9020\u306f\u518d\u5e30\u7684\u30c7\u30fc\u30bf\u69cb\u9020\u3067\u5b9a\u7fa9\u3055\u308c\u3066\u3044\u307e\u3059\u3002\u3053\u306e\u518d\u5e30\u7684\u30c7\u30fc\u30bf\u69cb\u9020\u306b\u5bfe\u3057\u3066\u4f55\u304b\u51e6\u7406\u3092\u3057\u305f\u3044\u3068\u304d\u3001\u3060\u3044\u305f\u3044\u6b21\u306e 2 \u3064\u306e\u884c\u52d5 (\u4e21\u65b9\u3001\u307e\u305f\u306f\u3044\u305a\u308c\u304b) \u304c\u767a\u751f\u3057\u307e\u3059\u3002<\/p>\n<ul>\n<li><strong>\u5404\u8981\u7d20\u3092\u4f55\u3089\u304b\u306e\u95a2\u6570\u3067\u5909\u63db\u3059\u308b<\/strong>\n<ul>\n<li>\u69cb\u9020\u306f\u305d\u306e\u307e\u307e<\/li>\n<li>\u4e2d\u8eab\u3060\u3051\u5909\u3048\u308b<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>\u3053\u308c\u306f\u307e\u3055\u306b map (\u5199\u50cf) \u3067\u3059\u3002<\/p>\n<ul>\n<li><strong>\u69cb\u9020\u5168\u4f53\u3092 1 \u3064\u306e\u5024\u306b\u7573\u307f\u8fbc\u3080<\/strong>\n<ul>\n<li>\u5404\u8981\u7d20\u3092\u8aad\u307f\u53d6\u308a<\/li>\n<li>\u7d50\u5408\u6f14\u7b97\u3067\u96c6\u7d04\u3059\u308b<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>\u3053\u308c\u306f fold (\u7573\u307f\u8fbc\u307f) \u3067\u3059\u306d\u3002<\/p>\n<p>\u305f\u3068\u3048\u3070\u30013\u00d73 \u306e\u683c\u5b50\u70b9\u3092\u96c6\u5408 <code>Set (Int, Int)<\/code> \u3067\u6301\u3061\u3001\u305d\u308c\u3092\u5e73\u884c\u79fb\u52d5\u3055\u305b\u305f\u3044\u5834\u9762\u3092\u8003\u3048\u3066\u307f\u307e\u3059\u3002<\/p>\n<p> Haskell \u3067\u306f\u96c6\u5408\u5168\u4f53\u306b\u5bfe\u3059\u308b\u5199\u50cf \u3068\u3057\u3066\u3001\u305d\u306e\u307e\u307e\u8868\u73fe\u3067\u304d\u307e\u3059\u3002<\/p>\n<pre class=\"code lang-haskell\" data-lang=\"haskell\" data-unlink=\"\">main <span class=\"synStatement\">::<\/span> IO ()\nmain <span class=\"synStatement\">=<\/span> <span class=\"synStatement\">do<\/span>\n  \n\n  <span class=\"synStatement\">let<\/span> s <span class=\"synStatement\">=<\/span> Set.fromList [(<span class=\"synConstant\">1<\/span>, <span class=\"synConstant\">1<\/span>), (<span class=\"synConstant\">1<\/span>, <span class=\"synConstant\">2<\/span>), (<span class=\"synConstant\">1<\/span>, <span class=\"synConstant\">3<\/span>), (<span class=\"synConstant\">2<\/span>, <span class=\"synConstant\">1<\/span>), (<span class=\"synConstant\">2<\/span>, <span class=\"synConstant\">2<\/span>), (<span class=\"synConstant\">2<\/span>, <span class=\"synConstant\">3<\/span>), (<span class=\"synConstant\">3<\/span>, <span class=\"synConstant\">1<\/span>), (<span class=\"synConstant\">3<\/span>, <span class=\"synConstant\">2<\/span>), (<span class=\"synConstant\">3<\/span>, <span class=\"synConstant\">3<\/span>) <span class=\"synStatement\">::<\/span> (Int, Int)]\n      s' <span class=\"synStatement\">=<\/span> Set.map (<span class=\"synStatement\">+<\/span> (<span class=\"synConstant\">5<\/span>, <span class=\"synConstant\">5<\/span>)) s\n\n  print s' \n<\/pre>\n<p>\u96c6\u5408\u306e\u9806\u5e8f\u30fb\u69cb\u9020\u306f\u4fdd\u305f\u308c\u305f\u307e\u307e\u3001\u8981\u7d20\u3060\u3051\u304c\u5909\u63db\u3055\u308c\u307e\u3059\u3002\u3053\u308c\u306f\u518d\u5e30\u69cb\u9020\u306e\u300c\u5199\u50cf\u300d\u3068\u3044\u3046\u89b3\u70b9\u304b\u3089\u898b\u3066\u3082\u81ea\u7136\u3067\u3059\u3002<\/p>\n<p>\u540c\u3058 Set \u3092\u4f7f\u3063\u3066\u3001\u4eca\u5ea6\u306f\u300c\u96c6\u5408\u5168\u4f53\u3092 1 \u3064\u306e\u5024\u306b\u96c6\u7d04 (\u7573\u307f\u8fbc\u307f)\u300d\u3059\u308b\u3053\u3068\u3092\u8003\u3048\u3066\u307f\u307e\u3059\u3002  \u305f\u3068\u3048\u3070\u70b9\u96c6\u5408\u306e\u5e73\u5747\u5ea7\u6a19\uff08\u91cd\u5fc3\uff09\u3092\u6c42\u3081\u308b\u5834\u5408\u3067\u3059\u3002Haskell \u306a\u3089 fold \u3067\u305f\u305f\u3080\u3060\u3051\u3067\u3059\u3002<\/p>\n<pre class=\"code lang-haskell\" data-lang=\"haskell\" data-unlink=\"\">main <span class=\"synStatement\">::<\/span> IO ()\nmain <span class=\"synStatement\">=<\/span> <span class=\"synStatement\">do<\/span>\n  <span class=\"synStatement\">let<\/span> s <span class=\"synStatement\">=<\/span> Set.fromList [(<span class=\"synConstant\">1<\/span>, <span class=\"synConstant\">1<\/span>), (<span class=\"synConstant\">1<\/span>, <span class=\"synConstant\">2<\/span>), (<span class=\"synConstant\">1<\/span>, <span class=\"synConstant\">3<\/span>), (<span class=\"synConstant\">2<\/span>, <span class=\"synConstant\">1<\/span>), (<span class=\"synConstant\">2<\/span>, <span class=\"synConstant\">2<\/span>), (<span class=\"synConstant\">2<\/span>, <span class=\"synConstant\">3<\/span>), (<span class=\"synConstant\">3<\/span>, <span class=\"synConstant\">1<\/span>), (<span class=\"synConstant\">3<\/span>, <span class=\"synConstant\">2<\/span>), (<span class=\"synConstant\">3<\/span>, <span class=\"synConstant\">3<\/span>) <span class=\"synStatement\">::<\/span> (Int, Int)]\n\n      (sx, sy, cnt) <span class=\"synStatement\">=<\/span>\n        foldl'\n          (<span class=\"synStatement\">\\<\/span>(ax, ay, c) (x, y) <span class=\"synStatement\">-&gt;<\/span> (ax <span class=\"synStatement\">+<\/span> x, ay <span class=\"synStatement\">+<\/span> y, c <span class=\"synStatement\">+<\/span> <span class=\"synConstant\">1<\/span>))\n          (<span class=\"synConstant\">0<\/span>, <span class=\"synConstant\">0<\/span>, <span class=\"synConstant\">0<\/span>)\n          s\n\n      center <span class=\"synStatement\">=<\/span>\n        ( fromIntegral sx <span class=\"synStatement\">\/<\/span> fromIntegral cnt,\n          fromIntegral sy <span class=\"synStatement\">\/<\/span> fromIntegral cnt\n        )\n\n  print center \n<\/pre>\n<p>\u3053\u306e\u3088\u3046\u306b\u3001Haskell \u306e\u518d\u5e30\u30c7\u30fc\u30bf\u69cb\u9020\u306f map \u3084 fold \u3067\u64cd\u4f5c\u3067\u304d\u3066\u3001map \u306b\u306f\u5199\u50cf\u3001 fold \u306b\u306f\u7573\u307f\u8fbc\u307f (\u96c6\u7d04) \u3068\u3044\u3046\u610f\u5473\u304c\u3042\u308a\u3001\u3044\u307e\u898b\u305f\u3088\u3046\u306a\u300c\u5e73\u884c\u79fb\u52d5\u300d\u3084\u300c\u91cd\u5fc3\u3092\u6c42\u3081\u308b\u300d\u306e\u3088\u3046\u8a08\u7b97\u3082\u5199\u50cf\u3001\u96c6\u7d04\u306e\u610f\u5473\u3067\u6349\u3048\u3066\u8a18\u8ff0\u3059\u308b\u3053\u3068\u304c\u53ef\u80fd\u306b\u306a\u308a\u307e\u3059\u3002<\/p>\n<h3 id=\"Haskell-\u3067\u8a18\u8ff0\u3059\u308b\u3068\u610f\u5473\u304c\u81ea\u7136\u3068\u6d6e\u304b\u3073\u4e0a\u304c\u308b\">Haskell \u3067\u8a18\u8ff0\u3059\u308b\u3068\u300c\u610f\u5473\u300d\u304c\u81ea\u7136\u3068\u6d6e\u304b\u3073\u4e0a\u304c\u308b<\/h3>\n<p>map \u3068 fold \u304c\u5f37\u529b\u306a\u306e\u306f\u3001  \u5358\u306b\u4fbf\u5229\u3060\u304b\u3089\u3067\u3082\u3001\u62bd\u8c61\u7684\u3060\u304b\u3089\u3067\u3082\u3042\u308a\u307e\u305b\u3093\u3002\u305d\u308c\u3089\u304c\u518d\u5e30\u69cb\u9020\u306e\u672c\u8cea\u7684\u306a\u4e8c\u3064\u306e\u64cd\u4f5c\u306b\u5b8c\u5168\u306b\u5bfe\u5fdc\u3057\u3066\u304a\u308a\u3001  \u30b3\u30fc\u30c9\u306e\u8868\u73fe\u304c\u305d\u306e\u307e\u307e\u30c7\u30fc\u30bf\u69cb\u9020\u306e\u610f\u5473\u306b\u4e00\u81f4\u3059\u308b\u304b\u3089\u3067\u3059\u3002<\/p>\n<ul>\n<li>map \u2192 \u300cA \u3092 B \u3078\u5199\u50cf\u3057\u305f\u300d<\/li>\n<li>fold \u2192 \u300cA \u3092\u5358\u4f4d\u5143\u3068\u7d50\u5408\u6f14\u7b97\u3067\u7573\u3093\u3060\u300d<\/li>\n<\/ul>\n<p>\u547d\u4ee4\u7684\u306a\u300c\u3069\u3046\u3084\u3063\u3066\u3084\u308b\u304b\u300d\u3067\u306f\u306a\u304f\u3001\u300c\u4f55\u3092\u8868\u3059\u304b\u300d\u300c\u3069\u3093\u306a\u5909\u63db\u306a\u306e\u304b\u300d\u3068\u3044\u3046\u610f\u5473\u304c\u305d\u306e\u307e\u307e\u30b3\u30fc\u30c9\u306b\u306a\u308a\u307e\u3059\u3002\u3053\u3053\u304c\u3001Haskell \u304c\u300c\u610f\u5473\u3067\u8003\u3048\u308b\u300d\u8a00\u8a9e\u3060\u3068\u79c1\u304c\u8003\u3048\u308b\u91cd\u8981\u306a\u30dd\u30a4\u30f3\u30c8\u3067\u3059\u3002<\/p>\n<p>\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u306f\u601d\u8003\u306e\u5916\u90e8\u5316\u88c5\u7f6e\u3060\u3068\u3082\u8003\u3048\u3089\u308c\u307e\u3059\u3002\u305d\u3057\u3066\u30b3\u30fc\u30c9\u3068\u3044\u3046\u306e\u306f\u5916\u90e8\u5316\u3055\u308c\u305f\u601d\u8003\u306e\u307e\u3068\u307e\u308a\u3067\u3059\u3002<\/p>\n<p>\u547d\u4ee4\u578b\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u3067\u306f\u3001for\u6587\u3001\u4ee3\u5165\u6587\u3068\u3044\u3046\u6587\u3001\u3064\u307e\u308a\u8a08\u7b97\u6a5f\u3078\u306e\u547d\u4ee4\u304c\u57fa\u672c\u64cd\u4f5c\u306b\u306a\u3063\u3066\u3044\u307e\u3059\u3002\u305d\u308c\u3092\u30d9\u30fc\u30b9\u306b\u30b3\u30fc\u30c9\u3092\u7d44\u307f\u7acb\u3066\u3066\u3044\u3063\u305f\u3068\u304d\u3001\u305d\u3053\u3067\u5916\u90e8\u5316\u3055\u308c\u308b\u306e\u306f\u300c\u64cd\u4f5c\u3001\u52d5\u304d\u306e\u307e\u3068\u307e\u308a\u300d\u3067\u3057\u3087\u3046\u3002<\/p>\n<p>\u4e00\u65b9\u3001Haskell \u3067\u306f map \u3084 fold \u306a\u3069\u306e\u5f0f\u3001\u3064\u307e\u308a\u610f\u5473\u304c\u57fa\u672c\u64cd\u4f5c\u306b\u306a\u3063\u3066\u3044\u308b\u3002\u305d\u308c\u3092\u30d9\u30fc\u30b9\u306b\u30b3\u30fc\u30c9\u3092\u7d44\u307f\u7acb\u3066\u3066\u3044\u3063\u305f\u3068\u304d\u3001\u305d\u3053\u3067\u5916\u90e8\u5316\u3055\u308c\u308b\u306e\u306f\u3088\u308a\u62bd\u8c61\u5ea6\u306e\u9ad8\u3044\u610f\u5473\u306e\u69cb\u9020\u306b\u8fd1\u3065\u304f\u306e\u3067\u306f\u306a\u3044\u304b\u3001\u3068\u8003\u3048\u3066\u3044\u307e\u3059\u3002<\/p>\n<p>\u3082\u3061\u308d\u3093\u3001map \u3068 fold \u3060\u3051\u304c\u300c\u64cd\u4f5c\u3067\u306f\u306a\u304f\u610f\u5473\u3067\u8003\u3048\u308b\u300d\u3053\u3068\u306b\u5bc4\u4e0e\u3057\u3066\u3044\u308b\u8981\u7d20\u3067\u306f\u306a\u304f\u3001\u305d\u306e\u307b\u304b\u95a2\u6570\u5408\u6210\u3001\u578b\u3001\u30e2\u30ca\u30c9\u3001\u6c38\u7d9a\u30c7\u30fc\u30bf\u69cb\u9020\u306a\u3069\u306a\u3069 Haskell \u3092\u652f\u3048\u308b\u69d8\u3005\u306a\u6982\u5ff5\u304c\u7d71\u5408\u3055\u308c\u3066\u3001\u30b3\u30fc\u30c9\u3092\u610f\u5473\u69cb\u9020\u306b\u5c0e\u304f\u306e\u3060\u3068\u601d\u3044\u307e\u3059\u3002<\/p>\n<h2 id=\"\u4e8c\u5206\u63a2\u7d22\u306b\u3064\u3044\u3066\u8003\u3048\u308b\">\u4e8c\u5206\u63a2\u7d22\u306b\u3064\u3044\u3066\u8003\u3048\u308b<\/h2>\n<p>\u3082\u3046\u4e00\u3064\u5225\u306e\u4f8b\u306b\u3064\u3044\u3066\u3082\u8003\u3048\u3066\u307f\u307e\u3059\u3002  \u4e8c\u5206\u63a2\u7d22\u306e\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u306f\u3001\u30d7\u30ed\u30b0\u30e9\u30de\u3067\u3042\u308c\u3070\u8ab0\u3082\u304c\u77e5\u308b\u3068\u3053\u308d\u3067\u3059\u3002<\/p>\n<p>\u304a\u305d\u3089\u304f\u3001\u521d\u3081\u3066\u4e8c\u5206\u63a2\u7d22\u3092\u5b66\u3093\u3060\u3068\u304d\u306f\u3001\u591a\u304f\u306e\u4eba\u304c\u305d\u308c\u3092 \u300c\u914d\u5217\u306e\u771f\u3093\u4e2d\u3092\u898b\u3066\u300d\u300c\u6761\u4ef6\u3092\u6e80\u305f\u3059\u304b\u3069\u3046\u304b\u3067\u5de6\u304b\u53f3\u306b\u9032\u3093\u3067\u300d \u3068\u3044\u3063\u305f\u64cd\u4f5c\u306e\u6d41\u308c\u3092\u982d\u306e\u4e2d\u306b\u63cf\u3044\u3066\u7406\u89e3\u3057\u305f\u306e\u3067\u306f\u306a\u3044\u3067\u3057\u3087\u3046\u304b\u3002<\/p>\n<p>\u3053\u308c\u306f\u3084\u306f\u308a\u300c\u52d5\u304d\u300d\u3092\u7406\u89e3\u306e\u4e2d\u5fc3\u306b\u7f6e\u304f\u6349\u3048\u65b9\u3067\u3059\u3002<\/p>\n<h3 id=\"\u610f\u5473\u7684\u306a\u6349\u3048\u65b9\u4e8c\u5206\u63a2\u7d22\u306f\u5883\u754c\u3092\u898b\u3064\u3051\u308b\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\">\u610f\u5473\u7684\u306a\u6349\u3048\u65b9\uff1a\u4e8c\u5206\u63a2\u7d22\u306f\u300c\u5883\u754c\u3092\u898b\u3064\u3051\u308b\u300d\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0<\/h3>\n<p>\u4e00\u65b9\u3067\u3001\u7279\u306b\u7af6\u6280\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u3092\u3084\u3063\u3066\u3044\u308b\u4eba\u306a\u3069\u306f\u3001\u4e8c\u5206\u63a2\u7d22\u3092\u300c\u5883\u754c\u3092\u898b\u3064\u3051\u308b\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u300d \u3068\u3057\u3066\u610f\u5473\u7684\u306b\u6349\u3048\u3066\u3044\u308b\u3053\u3068\u304c\u591a\u3044\u306e\u3067\u306f\u306a\u3044\u3067\u3057\u3087\u3046\u304b\u3002<\/p>\n<p>\u3042\u308b\u9818\u57df\u306e\u4e2d\u306b\u6761\u4ef6\u304c true \u306b\u306a\u308b\u9818\u57df\u3001\u6761\u4ef6\u304c false \u306b\u306a\u308b\u9818\u57df\u304c\u3042\u308a\u3001\u305d\u306e\u5883\u754c\uff08true \u2192 false \u306b\u5207\u308a\u66ff\u308f\u308b\u70b9\uff09\u3092\u52b9\u7387\u7684\u306b\u6c42\u3081\u308b\u306e\u304c\u672c\u8cea\u3060\u3001\u3068\u3044\u3046\u89e3\u91c8\u3067\u3059\u3002\u4ee5\u4e0b\u306e\u6587\u66f8\u306a\u3069\u3067\u3082\u8a73\u3057\u304f\u89e3\u8aac\u3055\u308c\u3066\u3044\u307e\u3059\u3002<\/p>\n<p>\u3053\u306e\u5883\u754c\u3092\u9ad8\u901f\u306b\u898b\u3064\u3051\u308b\u3053\u3068\u3053\u305d\u304c\u4e8c\u5206\u63a2\u7d22\u306e\u610f\u5473\u3067\u3042\u308a\u3001 \u52d5\u304d\u306e\u8a73\u7d30\uff08\u5de6\u53f3\u3069\u3061\u3089\u3092\u898b\u308b\u3001\u306a\u3069\uff09\u306f\u305d\u306e\u300c\u5883\u754c\u63a2\u7d22\u300d\u3092\u5b9f\u73fe\u3059\u308b\u624b\u6bb5\u306b\u3059\u304e\u307e\u305b\u3093\u3002<\/p>\n<h3 id=\"bisect2-\u3068\u3044\u3046\u95a2\u6570\u306b\u62bd\u8c61\u5316\u3059\u308b\">bisect2 \u3068\u3044\u3046\u95a2\u6570\u306b\u62bd\u8c61\u5316\u3059\u308b<\/h3>\n<p>\u4e8c\u5206\u63a2\u7d22\u306f\u7d20\u3067\u5b9f\u88c5\u3059\u308b\u3068 off-by-one \u306a\u30d0\u30b0\u3092\u57cb\u3081\u8fbc\u307f\u3084\u3059\u3044\u306e\u3067\u3001\u79c1\u306f\u4ee5\u4e0b\u306e\u3088\u3046\u306b <code>bisect2<\/code> \u3068\u3044\u3046\u540d\u524d\u3067\u4e8c\u5206\u63a2\u7d22\u306e\u95a2\u6570\u3092\u30e9\u30a4\u30d6\u30e9\u30ea\u5316\u3057\u3066\u3044\u307e\u3059\u3002<\/p>\n<pre class=\"code lang-haskell\" data-lang=\"haskell\" data-unlink=\"\">\nbisect2 <span class=\"synStatement\">::<\/span> (Integral a) <span class=\"synStatement\">=&gt;<\/span> (a, a) <span class=\"synStatement\">-&gt;<\/span> (a <span class=\"synStatement\">-&gt;<\/span> Bool) <span class=\"synStatement\">-&gt;<\/span> (a, a)\nbisect2 (ok, ng) f\n\u00a0 <span class=\"synStatement\">|<\/span> abs (ng <span class=\"synStatement\">-<\/span> ok) <span class=\"synStatement\">==<\/span> <span class=\"synConstant\">1<\/span> <span class=\"synStatement\">=<\/span> (ok, ng)\n\u00a0 <span class=\"synStatement\">|<\/span> f m <span class=\"synStatement\">=<\/span> bisect2 (m, ng) f\n\u00a0 <span class=\"synStatement\">|<\/span> otherwise <span class=\"synStatement\">=<\/span> bisect2 (ok, m) f\n\u00a0 <span class=\"synType\">where<\/span>\n\u00a0\u00a0\u00a0 m <span class=\"synStatement\">=<\/span> (ok <span class=\"synStatement\">+<\/span> ng) <span class=\"synStatement\">`div`<\/span> <span class=\"synConstant\">2<\/span>\n<\/pre>\n<p>\u3053\u306e\u95a2\u6570\u306f\u300c\u5de6\u5074 ok \u304c true \u306e\u4ee3\u8868\u5024\u300d\u300c\u53f3\u5074 ng \u304c false \u306e\u4ee3\u8868\u5024\u300d\u3067\u3042\u308b\u3053\u3068\u3092\u524d\u63d0\u306b\u3001 true \u57df\u3068 false \u57df\u306e\u5883\u754c\u3092\u7279\u5b9a\u3059\u308b\u8a08\u7b97\u306b\u7279\u5316\u3057\u3066\u3044\u307e\u3059\u3002<\/p>\n<p>\u3053\u306e\u4e8c\u5206\u63a2\u7d22\u306e\u95a2\u6570\u306f\u4ee5\u4e0b\u306e\u3088\u3046\u306b\u4f7f\u3044\u307e\u3059\u3002<\/p>\n<pre class=\"code lang-haskell\" data-lang=\"haskell\" data-unlink=\"\"><span class=\"synStatement\">let<\/span> (ok, _) <span class=\"synStatement\">=<\/span> bisect2 (<span class=\"synConstant\">0<\/span>, <span class=\"synConstant\">10<\/span> <span class=\"synStatement\">^<\/span> <span class=\"synConstant\">18<\/span>) (<span class=\"synStatement\">\\<\/span>x <span class=\"synStatement\">-&gt;<\/span> countBy (<span class=\"synStatement\">&gt;=<\/span> x) as <span class=\"synStatement\">&gt;=<\/span> x)\n\nprint ok\n<\/pre>\n<p>\u3053\u3053\u3067\u5f15\u6570\u3068\u3057\u3066\u6e21\u3057\u3066\u3044\u308b\u9ad8\u968e\u95a2\u6570 <code>f :: a -&gt; Bool<\/code> \u306f\u3001  \u300cx \u306b\u5bfe\u3057\u3066\u305d\u306e\u6761\u4ef6\u304c\u6210\u308a\u7acb\u3064\u304b\u3069\u3046\u304b\u300d\u3092\u8fd4\u3059\u5199\u50cf\u3067\u3042\u308a\u300c\u4e8c\u5206\u63a2\u7d22\u306b\u304a\u3051\u308b\u5883\u754c\u306e\u201c\u610f\u5473\u305d\u306e\u3082\u306e\u3092\u8868\u73fe\u3059\u308b\u95a2\u6570\u300d\u3068\u8a00\u3048\u307e\u3059\u3002<\/p>\n<p>\u6539\u3081\u3066\u4e00\u6b69\u5f15\u3044\u3066\u307f\u3066\u307f\u308b\u3068\u3001\u9ad8\u968e\u95a2\u6570 <code>f<\/code> \u306b\u3088\u3063\u3066\u30d1\u30e9\u30e1\u30fc\u30bf\u5316\u3055\u308c\u305f\u5883\u754c\u6761\u4ef6\u306e\u5b58\u5728\u304c\u300c\u4e8c\u5206\u63a2\u7d22\u306f\u5883\u754c\u3092\u898b\u3064\u3051\u308b\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u300d\u3060\u3068\u3044\u3046\u610f\u5473\u69cb\u9020\u3092\u3088\u308a\u306f\u3063\u304d\u308a\u3068\u8868\u3057\u3066\u3044\u308b\u3088\u3046\u306b\u898b\u3048\u3066\u304d\u307e\u3059\u3002\u3053\u3046\u3084\u3063\u3066\u3001\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u3092\u8a18\u8ff0\u3057\u3066\u3044\u3066\u3082\u305d\u3053\u306b\u610f\u5473\u69cb\u9020\u304c\u81ea\u7136\u3068\u6d6e\u304b\u3073\u4e0a\u304c\u3063\u3066\u304f\u308b\u3002<\/p>\n<p>\u305d\u3057\u3066\u3053\u306e\u300c\u4e8c\u5206\u63a2\u7d22\u306e\u5883\u754c\u3092\u5f15\u304f\u3001 f \u306f\u5883\u754c\u6761\u4ef6\u3060\u300d\u3068\u3044\u3046\u610f\u5473\u69cb\u9020\u304c\u81ea\u7136\u306b\u6349\u3048\u308b\u3088\u3046\u306b\u306a\u308b\u3068\u3001\u4eca\u5ea6\u306f\u601d\u8003\u304c\u9006\u8ee2\u3057\u3066\u3001\u4e8c\u5206\u63a2\u7d22\u3092\u3057\u3088\u3046\u3068\u3059\u308b\u3068\u304d\u63a2\u7d22\u306e\u52d5\u304d\u3067\u8003\u3048\u308b\u306e\u3067\u306f\u306a\u304f\u3001\u300c\u5883\u754c\u6761\u4ef6\u3092\u3069\u306e\u3088\u3046\u306b\u5199\u50cf\u3068\u3057\u3066\u8868\u73fe\u3059\u308b\u304b\u300d\u3068\u3044\u3046\u982d\u3067\u8003\u3048\u308b\u3088\u3046\u306b\u306a\u308a\u307e\u3059\u3002<\/p>\n<p>\u601d\u8003\u3084\u767a\u60f3\u305d\u306e\u3082\u306e\u304c\u3001\u64cd\u4f5c\u3084\u52d5\u304d\u3092\u8003\u3048\u308b\u3053\u3068\u304b\u3089\u3001\u610f\u5473\u304b\u3089\u51fa\u767a\u3059\u308b\u3088\u3046\u306b\u5909\u308f\u308b\u306e\u3067\u3059\u3002\u3053\u308c\u3053\u305d\u3001\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u306e\u7279\u5fb4\u304c\u601d\u8003\u306b\u5f71\u97ff\u3092\u4e0e\u3048\u305f\u7d50\u679c\u8fbf\u308a\u7740\u3044\u305f\u601d\u8003\u306e\u7656\u3060\u3068\u79c1\u306f\u601d\u3063\u3066\u3044\u307e\u3059\u3002<\/p>\n<h2 id=\"\u9577\u5e74\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u3092\u3084\u3063\u3066\u3066\u601d\u3046\u3053\u3068\">\u9577\u5e74\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u3092\u3084\u3063\u3066\u3066\u601d\u3046\u3053\u3068<\/h2>\n<p>\u62bd\u8c61\u5ea6\u306e\u9ad8\u3044 Haskell \u306e\u3088\u3046\u306a\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u3092\u4f7f\u3046\u3068\u601d\u8003\u304c\u5909\u308f\u308b\u3001\u30e1\u30f3\u30bf\u30eb\u30e2\u30c7\u30eb\u304c\u30a2\u30c3\u30d7\u30c7\u30fc\u30c8\u3055\u308c\u308b\u306e\u3067\u306f\u306a\u3044\u304b\u3068\u3044\u3046\u4eee\u8aac\u3092\u3001\u81ea\u5206\u306e\u5b9f\u4f53\u9a13\u306b\u57fa\u3065\u304d\u3001\u7d39\u4ecb\u3057\u3066\u304d\u307e\u3057\u305f\u3002<\/p>\n<p>\u4ee5\u4e0b\u3001\u4e3b\u89b3\u7684\u306a\u8003\u5bdf\u3067\u3059\u3002<\/p>\n<p>\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u306f\u4e00\u898b\u3059\u308b\u3068\u77e5\u7684\u4f5c\u696d\u306e\u3088\u3046\u306b\u898b\u3048\u307e\u3059\u3002\u3067\u3082\u305d\u306e\u5b9f\u306f\u3001\u53cd\u5fa9\u4f5c\u696d\u306b\u3088\u308a\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u3092\u53cd\u5c04\u7684\u306b\u64cd\u4f5c\u3067\u304d\u308b\u3088\u3046\u8eab\u4f53\u5316\u3055\u305b\u308b\u3053\u3068\u304c\u5fc5\u8981\u3060\u3068\u601d\u3063\u3066\u3044\u307e\u3059\u3002\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u306e\u672c\u3092\u8aad\u3093\u3060\u3060\u3051\u3067\u30b9\u30e9\u30b9\u30e9\u3068\u30d7\u30ed\u30b0\u30e9\u30e0\u304c\u66f8\u3051\u308b\u4eba\u306f\u5e0c\u3067\u3001\u591a\u304f\u306e\u5834\u5408\u3001\u7e70\u308a\u8fd4\u3057\u7e70\u308a\u8fd4\u3057\u8a18\u8ff0\u3057\u3066\u3001\u8003\u3048\u306a\u304f\u3066\u3082\u624b\u7656\u3067\u30b3\u30fc\u30c9\u304c\u8a18\u8ff0\u3067\u304d\u308b\u3088\u3046\u306b\u306a\u3063\u3066\u521d\u3081\u3066\u3001\u305d\u306e\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u3092\u81ea\u5206\u306e\u9053\u5177\u306b\u3067\u304d\u305f\u3068\u5b9f\u611f\u3059\u308b\u306e\u3067\u306f\u306a\u3044\u3067\u3057\u3087\u3046\u304b\u3002<\/p>\n<p>\u305d\u3057\u3066\u7e70\u308a\u8fd4\u3057\u7e70\u308a\u8fd4\u3057\u540c\u3058\u3088\u3046\u306a\u30b3\u30fc\u30c9\u3092\u66f8\u3044\u3066\u3001\u540c\u3058\u3088\u3046\u306a\u69cb\u9020\u3092\u307f\u3064\u3051\u3066\u3001\u540c\u3058\u3088\u3046\u306a\u30d7\u30ed\u30b0\u30e9\u30e0\u3092\u69cb\u7bc9\u3059\u308b\u3002\u305d\u306e\u904e\u7a0b\u3067\u540c\u3058\u3088\u3046\u306a\u69cb\u9020\u3092\u4f55\u5ea6\u3082\u76ee\u306b\u3059\u308b\u3053\u3068\u3067\u3001\u4eba\u306f\u305d\u3053\u304b\u3089\u62bd\u8c61\u3092\u898b\u3044\u51fa\u3059\u3053\u3068\u304c\u3067\u304d\u308b\u3088\u3046\u306b\u306a\u308b\u3002\u305d\u3057\u3066\u3088\u308a\u4e0a\u624b\u306b\u3001\u69cb\u9020\u3092\u63cf\u3051\u308b\u3088\u3046\u306b\u306a\u308b\u3002<\/p>\n<p>\u3053\u308c\u306f\u8a00\u3063\u3066\u307f\u308c\u3070\u3001\u7d75\u3092\u63cf\u304f\u3068\u304b\u3001\u4f55\u304b\u4f5c\u54c1\u3092\u3064\u304f\u308b\u3068\u3044\u3046\u884c\u70ba\u306b\u3088\u304f\u4f3c\u3066\u3044\u308b\u3088\u3046\u306b\u601d\u3044\u307e\u3059\u3002\u53cd\u5fa9\u3001\u7e70\u308a\u8fd4\u3057\u306b\u3088\u308b\u7a4d\u307f\u91cd\u306d\u304c\u3001\u3088\u308a\u9ad8\u3044\u6b21\u5143\u3078\u3068\u305d\u308c\u3092\u5c0e\u304f\u3002\u7e70\u308a\u8fd4\u3057\u7e70\u308a\u8fd4\u3057\u3084\u3063\u3066\u3044\u308b\u3046\u3061\u306b\u3001\u6c17\u304c\u3064\u3051\u3070\u305a\u3044\u3076\u3093\u3068\u9060\u304f\u306b\u8fbf\u308a\u7740\u304f\u3002<\/p>\n<p>\u3053\u306e\u9577\u5e74\u306e\u7a4d\u307f\u91cd\u306d\u3092\u3001\u64cd\u4f5c\u3084\u52d5\u304d\u3092\u4e2d\u5fc3\u306b\u636e\u3048\u305f\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u3067\u3084\u3063\u3066\u3044\u304f\u304b\u3001\u610f\u5473\u3092\u4e2d\u5fc3\u306b\u636e\u3048\u305f\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u3067\u3084\u308b\u304b\u3067\u8fbf\u308a\u7740\u304f\u5834\u6240\u304c\u5927\u304d\u304f\u7570\u306a\u308b\u306e\u3067\u306f\u306a\u3044\u304b\u3001\u3068\u3044\u3046\u5b9f\u611f\u304c\u3042\u308a\u307e\u3059\u3002<\/p>\n<p>\u4f55\u304b\u65b0\u3057\u3044\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u306b\u624b\u3092\u51fa\u3059\u3068\u304d\u3001\u3082\u3061\u308d\u3093\u5b9f\u7528\u6027\u306e\u9762\u304b\u3089\u305d\u308c\u3092\u9078\u3076\u306e\u3082\u826f\u3044\u3068\u601d\u3044\u307e\u3059\u3002<\/p>\n<p>\u3067\u3082\u5225\u306e\u8996\u70b9\u3068\u3057\u3066\u3001\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u304c\u601d\u8003\u306b\u5f71\u97ff\u3092\u4e0e\u3048\u308b\u3060\u308d\u3046\u3068\u3044\u3046\u89b3\u70b9\u304b\u3089\u3001\u3044\u3064\u3082\u4f7f\u3063\u3066\u3044\u308b\u8a00\u8a9e\u3068\u306f\u5c11\u3057\u30d1\u30e9\u30c0\u30a4\u30e0\u304c\u96e2\u308c\u305f\u3082\u306e\u3092\u4f7f\u3063\u3066\u307f\u308b\u306e\u3082\u9762\u767d\u3044\u3068\u601d\u3044\u307e\u3059\u3002\u4eca\u56de\u307f\u305f\u3068\u304a\u308a\u3001\u65b0\u3057\u3044\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u3092\u8eab\u4f53\u5316\u3059\u308b\u904e\u7a0b\u3067\u30e1\u30f3\u30bf\u30eb\u30e2\u30c7\u30eb\u304c\u66f4\u65b0\u3055\u308c\u3066\u3001\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u306b\u5bfe\u3059\u308b\u65b0\u305f\u306a\u8996\u70b9\u304c\u624b\u306b\u5165\u308b\u3067\u3057\u3087\u3046\u3002<\/p>\n<p>\u95a2\u6570\u578b\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u306e\u5b9f\u8df5\u3068\u3057\u3066\u300c\u4e0d\u5909\u306a\u5024\u3067\u7d44\u307f\u7acb\u3066\u3066\u3044\u304f\u3068\u30d7\u30ed\u30b0\u30e9\u30e0\u304c\u5805\u7262\u306b\u306a\u308b\u3088\u300d\u3068\u304b\u300c\u578b\u5b89\u5168\u306b\u3059\u308b\u3068\u5909\u66f4\u304c\u697d\u3060\u3088\u3068\u304b\u300d\u5b9f\u7528\u7684\u306a\u30c6\u30af\u30cb\u30c3\u30af\u3084\u65e8\u307f\u3092\u4e2d\u5fc3\u306b\u8a9e\u308b\u3053\u3068\u81ea\u4f53\u306f\u5426\u5b9a\u3057\u307e\u305b\u3093\u3002\u3067\u3082\u3001\u79c1\u3068\u3057\u3066\u306f\u305d\u3046\u3044\u3046\u3053\u3068\u3088\u308a\u3082\u3001\u3088\u308a\u3088\u3044\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u306e\u76ee\u3092\u990a\u3046\u305f\u3081\u306b\u95a2\u6570\u578b\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u3084 Haskell \u3092\u5b66\u3093\u3067\u307f\u305f\u3089? \u3068\u3044\u3046\u306e\u304c\u672c\u97f3\u3068\u3057\u3066\u3042\u308a\u307e\u3059\u3002<\/p>\n<p>\u305d\u306e\u3068\u304d\u3001\u3084\u3063\u3071\u308a\u53cd\u5fa9\u3084\u7e70\u308a\u8fd4\u3057\u304c\u5927\u4e8b\u3067\u3059\u3002\u3061\u3087\u3063\u3068\u3084\u3063\u3066\u307f\u308b\u3001\u3060\u3051\u3067\u306f\u3082\u306e\u8db3\u308a\u306a\u3044\u3002<\/p>\n<p>\u547d\u4ee4\u578b\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u306b\u6163\u308c\u305f\u4eba\u307b\u3069\u3001map \u3084 fold \u3092\u6700\u521d\u304b\u3089\u5199\u50cf\u3084\u7573\u307f\u8fbc\u307f (\u96c6\u7d04) \u3068\u76f4\u63a5\u610f\u5473\u3067\u8003\u3048\u308b\u306e\u304c\u96e3\u3057\u3044\u3002\u982d\u306e\u306a\u304b\u3067\u64cd\u4f5c\u3092\u8ffd\u3063\u3066\u3057\u307e\u3046\u3002\u3067\u3082\u3001\u7e70\u308a\u8fd4\u3057\u7e70\u308a\u8fd4\u3057\u3084\u3063\u3066\u3044\u308b\u3068\u3001\u3084\u304c\u3066\u3001\u64cd\u4f5c\u3092\u7d4c\u7531\u3057\u306a\u304f\u3066\u3082\u3001\u5199\u50cf\u3001\u96c6\u7d04\u306e\u3088\u3046\u306a\u610f\u5473\u3067\u8133\u304c\u76f4\u63a5\u7684\u306b\u8a8d\u77e5\u3067\u304d\u308b\u3088\u3046\u306b\u306a\u308b\u3002<\/p>\n<p>\u3088\u304f\u3001\u65e5\u672c\u8a9e\u30cd\u30a4\u30c6\u30a3\u30d6\u306a\u4eba\u304c\u82f1\u8a9e\u3092\u8a71\u3059\u3068\u304d\u3001\u6163\u308c\u306a\u3044\u3046\u3061\u306f\u82f1\u8a9e\u3092\u4e00\u5ea6\u65e5\u672c\u8a9e\u306b\u982d\u306e\u4e2d\u3067\u5909\u63db\u3059\u308b\u3068\u8a00\u3044\u307e\u3059\u3002\u3067\u3082\u3001\u305d\u306e\u3046\u3061\u82f1\u8a9e\u3092\u82f1\u8a9e\u306e\u307e\u307e\u8133\u304c\u51e6\u7406\u3067\u304d\u308b\u3088\u3046\u306b\u306a\u308b\u3089\u3057\u3044\u3067\u3059\u3002\u305d\u308c\u306b\u3088\u304f\u4f3c\u3066\u3044\u3066\u3001\u6700\u521d\u306f\u3001\u52d5\u304d\u306b\u5909\u63db\u3057\u3066\u8003\u3048\u308b\u7656\u304c\u629c\u3051\u306a\u3044\u3002\u3067\u3082\u3001\u7e70\u308a\u8fd4\u3057\u3084\u3063\u3066\u308b\u3046\u3061\u306b\u3001\u305d\u306e\u7656\u304c\u629c\u3051\u308b\u3002\u305d\u308c\u304c\u4e00\u3064\u306e\u5230\u9054\u70b9\u3060\u3068\u601d\u3044\u307e\u3059\u3002<\/p>\n<p>\u79c1\u306f\u3067\u304d\u308c\u3070\u30d7\u30ed\u30b0\u30e9\u30e0\u3092\u64cd\u4f5c\u306e\u307e\u3068\u307e\u308a\u3067\u306f\u306a\u304f\u3001\u610f\u5473\u306e\u69cb\u9020\u3068\u3057\u3066\u6349\u3048\u305f\u3044\u3068\u3044\u3046\u6b32\u6c42\u304c\u3042\u308a\u307e\u3059\u3002\u305d\u308c\u306f\u305f\u3076\u3093\u3001\u305d\u308c\u3092\u64cd\u4f5c\u5217\u3068\u3057\u3066\u3067\u306f\u306a\u304f\u610f\u5473\u69cb\u9020\u3068\u3057\u3066\u6349\u3048\u308b\u307b\u3046\u304c\u3001\u60c5\u5831\u3068\u3057\u3066\u306e\u5727\u7e2e\u7387\u304c\u9ad8\u3044\u304b\u3089\u3067\u306f\u306a\u3044\u304b\u3068\u601d\u3063\u3066\u3044\u307e\u3059\u3002<\/p>\n<p>\u81ea\u5206\u306e\u8133\u306f\u3055\u307b\u3069\u3001\u64cd\u4f5c\u7684\u63a8\u8ad6\u306b\u5f37\u304f\u306a\u3044\u3002\u3060\u304b\u3089\u3001\u3088\u308a\u4f4e\u3044\u8a8d\u77e5\u8ca0\u8377\u3067\u5bfe\u8c61\u3092\u628a\u63e1\u30fb\u7406\u89e3\u3059\u308b\u3001\u8a18\u61b6\u3059\u308b\u305f\u3081\u306b\u306f\u3088\u308a\u5727\u7e2e\u7387\u306e\u9ad8\u3044\u8868\u73fe\u306e\u65b9\u304c\u671b\u307e\u3057\u304b\u3063\u305f\u3093\u3060\u3068\u601d\u3044\u307e\u3059\u3002Haskell \u306a\u3089\u30d7\u30ed\u30b0\u30e9\u30e0\u3092\u610f\u5473\u69cb\u9020\u3068\u3057\u3066\u7d44\u307f\u7acb\u3066\u3066\u3044\u304f\u3001\u89e3\u91c8\u3059\u308b\u306e\u304c\u3001\u547d\u4ee4\u578b\u8a00\u8a9e\u3088\u308a\u3082\u3084\u308a\u3084\u3059\u3044\u3002\u305d\u308c\u304c\u4eca\u306e\u3068\u3053\u308d\u306e\u81ea\u5206\u306e\u7d50\u8ad6\u3067\u3059\u3002<\/p>\n<p>\u30d9\u30af\u30c8\u30eb\u306e\u548c\u306f <code>(x + d1, y + d2)<\/code> \u3067\u306f\u306a\u304f\u3066 <code>v + d<\/code> \u3068\u66f8\u3051\u305f\u307b\u3046\u304c\u5b09\u3057\u3044\u3057\u3001\u300c\u30d3\u30c3\u30c8\u5168\u63a2\u7d22\u300d\u3067\u306f\u306a\u304f <code>subsequences<\/code>  \u3060\u3057\u3001\u76f4\u7a4d\u3092\u6c42\u3081\u308b\u306a\u3089 for \u306e\u4e8c\u91cd\u30eb\u30fc\u30d7\u3067\u306f\u306a\u304f <code>[ (x, y) | x &lt;- xs, y &lt;- ys]<\/code> \u3042\u308b\u3044\u306f <code>sequence [xs, ys]<\/code> \u3068\u66f8\u304d\u305f\u3044\u3057\u3001\u7406\u89e3\u3057\u305f\u3044\u3002\u305d\u3093\u306a\u6c17\u6301\u3061\u3067\u3059\u3002<\/p>\n<p>\u4eca\u5e74\u3082\u9577\u3005\u3068\u3057\u305f\u99c4\u6587\u3092\u6700\u5f8c\u307e\u3067\u8aad\u3093\u3067\u3044\u305f\u3060\u304d\u3042\u308a\u304c\u3068\u3046\u3054\u3056\u3044\u307e\u3057\u305f\u3002<\/p>\n<\/div>\n<p><script>(function(d, s, id) {\n  var js, fjs = d.getElementsByTagName(s)[0];\n  if (d.getElementById(id)) return;\n  js = d.createElement(s); js.id = id;\n  js.src = \"\/\/connect.facebook.net\/ja_JP\/sdk.js#xfbml=1&appId=719729204785177&version=v17.0\";\n  fjs.parentNode.insertBefore(js, fjs);\n}(document, 'script', 'facebook-jssdk'));<\/script><br \/>\n<br \/>\n<br \/><a href=\"https:\/\/user-first.ikyu.co.jp\/entry\/2025\/12\/05\/163724\">\u5143\u306e\u8a18\u4e8b\u3092\u78ba\u8a8d\u3059\u308b <\/a><\/p>\n","protected":false},"excerpt":{"rendered":"\u3053\u306e\u8a18\u4e8b\u306f\u4e00\u4f11.com Advent Calendar 2025\u306e 5\u65e5\u76ee\u306e\u8a18\u4e8b\u3067\u3059\u3002 \u79c1\u306f\u6bce\u5e74\u3053\u306e\u6642\u671f\u306b\u306a\u308b\u3068 Haskell \u306b\u95a2\u3059\u308b\u8a18\u4e8b\u3092\u6295\u7a3f\u3057\u3066\u3044\u307e\u3059\u304c\u3001\u4eca\u5e74\u3082\u307e\u305f Haskell \u3092\u984c\u6750\u306b\u3057\u3064\u3064\u3001\u4eca\u56de\u306f Has [&hellip;]","protected":false},"author":1,"featured_media":26604,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[2],"tags":[],"class_list":["post-26603","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-hatena-blog"],"acf":[],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.4 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>\u64cd\u4f5c\u304b\u3089\u610f\u5473\u3078 \u2500 Haskell \u304c\u5909\u3048\u305f\u79c1\u306e\u30e1\u30f3\u30bf\u30eb\u30e2\u30c7\u30eb - \u4e00\u4f11.com Developers Blog - \u30dd\u30b1\u30b3\u30f3<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/user-first.ikyu.co.jp\/entry\/2025\/12\/05\/163724\" \/>\n<meta property=\"og:locale\" content=\"ja_JP\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"\u64cd\u4f5c\u304b\u3089\u610f\u5473\u3078 \u2500 Haskell \u304c\u5909\u3048\u305f\u79c1\u306e\u30e1\u30f3\u30bf\u30eb\u30e2\u30c7\u30eb - \u4e00\u4f11.com Developers Blog - \u30dd\u30b1\u30b3\u30f3\" \/>\n<meta property=\"og:description\" content=\"\u3053\u306e\u8a18\u4e8b\u306f\u4e00\u4f11.com Advent Calendar 2025\u306e 5\u65e5\u76ee\u306e\u8a18\u4e8b\u3067\u3059\u3002 \u79c1\u306f\u6bce\u5e74\u3053\u306e\u6642\u671f\u306b\u306a\u308b\u3068 Haskell \u306b\u95a2\u3059\u308b\u8a18\u4e8b\u3092\u6295\u7a3f\u3057\u3066\u3044\u307e\u3059\u304c\u3001\u4eca\u5e74\u3082\u307e\u305f Haskell \u3092\u984c\u6750\u306b\u3057\u3064\u3064\u3001\u4eca\u56de\u306f Has [&hellip;]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/user-first.ikyu.co.jp\/entry\/2025\/12\/05\/163724\" \/>\n<meta property=\"og:site_name\" content=\"\u30dd\u30b1\u30b3\u30f3\" \/>\n<meta property=\"article:published_time\" content=\"2025-12-05T19:34:12+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/pokecon.jp\/job\/wp-content\/uploads\/2025\/12\/1764923524.png\" \/>\n\t<meta property=\"og:image:width\" content=\"1200\" \/>\n\t<meta property=\"og:image:height\" content=\"630\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/png\" \/>\n<meta name=\"author\" content=\"info@pokecon.jp\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"\u57f7\u7b46\u8005\" \/>\n\t<meta name=\"twitter:data1\" content=\"info@pokecon.jp\" \/>\n\t<meta name=\"twitter:label2\" content=\"\u63a8\u5b9a\u8aad\u307f\u53d6\u308a\u6642\u9593\" \/>\n\t<meta name=\"twitter:data2\" content=\"2\u5206\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\\\/\\\/user-first.ikyu.co.jp\\\/entry\\\/2025\\\/12\\\/05\\\/163724#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/pokecon.jp\\\/job\\\/26603\\\/\"},\"author\":{\"name\":\"info@pokecon.jp\",\"@id\":\"https:\\\/\\\/pokecon.jp\\\/job\\\/#\\\/schema\\\/person\\\/16c9f07b1ba984d165d9aee259bda997\"},\"headline\":\"\u64cd\u4f5c\u304b\u3089\u610f\u5473\u3078 \u2500 Haskell \u304c\u5909\u3048\u305f\u79c1\u306e\u30e1\u30f3\u30bf\u30eb\u30e2\u30c7\u30eb &#8211; \u4e00\u4f11.com Developers Blog\",\"datePublished\":\"2025-12-05T19:34:12+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/pokecon.jp\\\/job\\\/26603\\\/\"},\"wordCount\":123,\"image\":{\"@id\":\"https:\\\/\\\/user-first.ikyu.co.jp\\\/entry\\\/2025\\\/12\\\/05\\\/163724#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/pokecon.jp\\\/job\\\/wp-content\\\/uploads\\\/2025\\\/12\\\/1764923524.png\",\"articleSection\":[\"\u306f\u3066\u306a\u30d6\u30ed\u30b0\"],\"inLanguage\":\"ja\"},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/pokecon.jp\\\/job\\\/26603\\\/\",\"url\":\"https:\\\/\\\/user-first.ikyu.co.jp\\\/entry\\\/2025\\\/12\\\/05\\\/163724\",\"name\":\"\u64cd\u4f5c\u304b\u3089\u610f\u5473\u3078 \u2500 Haskell \u304c\u5909\u3048\u305f\u79c1\u306e\u30e1\u30f3\u30bf\u30eb\u30e2\u30c7\u30eb - \u4e00\u4f11.com Developers Blog - \u30dd\u30b1\u30b3\u30f3\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/pokecon.jp\\\/job\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/user-first.ikyu.co.jp\\\/entry\\\/2025\\\/12\\\/05\\\/163724#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/user-first.ikyu.co.jp\\\/entry\\\/2025\\\/12\\\/05\\\/163724#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/pokecon.jp\\\/job\\\/wp-content\\\/uploads\\\/2025\\\/12\\\/1764923524.png\",\"datePublished\":\"2025-12-05T19:34:12+00:00\",\"author\":{\"@id\":\"https:\\\/\\\/pokecon.jp\\\/job\\\/#\\\/schema\\\/person\\\/16c9f07b1ba984d165d9aee259bda997\"},\"breadcrumb\":{\"@id\":\"https:\\\/\\\/user-first.ikyu.co.jp\\\/entry\\\/2025\\\/12\\\/05\\\/163724#breadcrumb\"},\"inLanguage\":\"ja\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/user-first.ikyu.co.jp\\\/entry\\\/2025\\\/12\\\/05\\\/163724\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"ja\",\"@id\":\"https:\\\/\\\/user-first.ikyu.co.jp\\\/entry\\\/2025\\\/12\\\/05\\\/163724#primaryimage\",\"url\":\"https:\\\/\\\/pokecon.jp\\\/job\\\/wp-content\\\/uploads\\\/2025\\\/12\\\/1764923524.png\",\"contentUrl\":\"https:\\\/\\\/pokecon.jp\\\/job\\\/wp-content\\\/uploads\\\/2025\\\/12\\\/1764923524.png\",\"width\":1200,\"height\":630},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/user-first.ikyu.co.jp\\\/entry\\\/2025\\\/12\\\/05\\\/163724#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"\u30db\u30fc\u30e0\",\"item\":\"https:\\\/\\\/pokecon.jp\\\/job\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"\u64cd\u4f5c\u304b\u3089\u610f\u5473\u3078 \u2500 Haskell \u304c\u5909\u3048\u305f\u79c1\u306e\u30e1\u30f3\u30bf\u30eb\u30e2\u30c7\u30eb &#8211; \u4e00\u4f11.com Developers Blog\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/pokecon.jp\\\/job\\\/#website\",\"url\":\"https:\\\/\\\/pokecon.jp\\\/job\\\/\",\"name\":\"\u30dd\u30b1\u30b3\u30f3\",\"description\":\"\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/pokecon.jp\\\/job\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"ja\"},{\"@type\":\"Person\",\"@id\":\"https:\\\/\\\/pokecon.jp\\\/job\\\/#\\\/schema\\\/person\\\/16c9f07b1ba984d165d9aee259bda997\",\"name\":\"info@pokecon.jp\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"ja\",\"@id\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/2b0549cd9f7907c092ca5fbb283baf72337f235726e4b46fa39ec0b701ac2fe2?s=96&d=wavatar&r=g\",\"url\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/2b0549cd9f7907c092ca5fbb283baf72337f235726e4b46fa39ec0b701ac2fe2?s=96&d=wavatar&r=g\",\"contentUrl\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/2b0549cd9f7907c092ca5fbb283baf72337f235726e4b46fa39ec0b701ac2fe2?s=96&d=wavatar&r=g\",\"caption\":\"info@pokecon.jp\"},\"url\":\"https:\\\/\\\/pokecon.jp\\\/job\\\/author\\\/infopokecon-jp\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"\u64cd\u4f5c\u304b\u3089\u610f\u5473\u3078 \u2500 Haskell \u304c\u5909\u3048\u305f\u79c1\u306e\u30e1\u30f3\u30bf\u30eb\u30e2\u30c7\u30eb - \u4e00\u4f11.com Developers Blog - \u30dd\u30b1\u30b3\u30f3","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/user-first.ikyu.co.jp\/entry\/2025\/12\/05\/163724","og_locale":"ja_JP","og_type":"article","og_title":"\u64cd\u4f5c\u304b\u3089\u610f\u5473\u3078 \u2500 Haskell \u304c\u5909\u3048\u305f\u79c1\u306e\u30e1\u30f3\u30bf\u30eb\u30e2\u30c7\u30eb - \u4e00\u4f11.com Developers Blog - \u30dd\u30b1\u30b3\u30f3","og_description":"\u3053\u306e\u8a18\u4e8b\u306f\u4e00\u4f11.com Advent Calendar 2025\u306e 5\u65e5\u76ee\u306e\u8a18\u4e8b\u3067\u3059\u3002 \u79c1\u306f\u6bce\u5e74\u3053\u306e\u6642\u671f\u306b\u306a\u308b\u3068 Haskell \u306b\u95a2\u3059\u308b\u8a18\u4e8b\u3092\u6295\u7a3f\u3057\u3066\u3044\u307e\u3059\u304c\u3001\u4eca\u5e74\u3082\u307e\u305f Haskell \u3092\u984c\u6750\u306b\u3057\u3064\u3064\u3001\u4eca\u56de\u306f Has [&hellip;]","og_url":"https:\/\/user-first.ikyu.co.jp\/entry\/2025\/12\/05\/163724","og_site_name":"\u30dd\u30b1\u30b3\u30f3","article_published_time":"2025-12-05T19:34:12+00:00","og_image":[{"width":1200,"height":630,"url":"https:\/\/pokecon.jp\/job\/wp-content\/uploads\/2025\/12\/1764923524.png","type":"image\/png"}],"author":"info@pokecon.jp","twitter_card":"summary_large_image","twitter_misc":{"\u57f7\u7b46\u8005":"info@pokecon.jp","\u63a8\u5b9a\u8aad\u307f\u53d6\u308a\u6642\u9593":"2\u5206"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/user-first.ikyu.co.jp\/entry\/2025\/12\/05\/163724#article","isPartOf":{"@id":"https:\/\/pokecon.jp\/job\/26603\/"},"author":{"name":"info@pokecon.jp","@id":"https:\/\/pokecon.jp\/job\/#\/schema\/person\/16c9f07b1ba984d165d9aee259bda997"},"headline":"\u64cd\u4f5c\u304b\u3089\u610f\u5473\u3078 \u2500 Haskell \u304c\u5909\u3048\u305f\u79c1\u306e\u30e1\u30f3\u30bf\u30eb\u30e2\u30c7\u30eb &#8211; \u4e00\u4f11.com Developers Blog","datePublished":"2025-12-05T19:34:12+00:00","mainEntityOfPage":{"@id":"https:\/\/pokecon.jp\/job\/26603\/"},"wordCount":123,"image":{"@id":"https:\/\/user-first.ikyu.co.jp\/entry\/2025\/12\/05\/163724#primaryimage"},"thumbnailUrl":"https:\/\/pokecon.jp\/job\/wp-content\/uploads\/2025\/12\/1764923524.png","articleSection":["\u306f\u3066\u306a\u30d6\u30ed\u30b0"],"inLanguage":"ja"},{"@type":"WebPage","@id":"https:\/\/pokecon.jp\/job\/26603\/","url":"https:\/\/user-first.ikyu.co.jp\/entry\/2025\/12\/05\/163724","name":"\u64cd\u4f5c\u304b\u3089\u610f\u5473\u3078 \u2500 Haskell \u304c\u5909\u3048\u305f\u79c1\u306e\u30e1\u30f3\u30bf\u30eb\u30e2\u30c7\u30eb - \u4e00\u4f11.com Developers Blog - \u30dd\u30b1\u30b3\u30f3","isPartOf":{"@id":"https:\/\/pokecon.jp\/job\/#website"},"primaryImageOfPage":{"@id":"https:\/\/user-first.ikyu.co.jp\/entry\/2025\/12\/05\/163724#primaryimage"},"image":{"@id":"https:\/\/user-first.ikyu.co.jp\/entry\/2025\/12\/05\/163724#primaryimage"},"thumbnailUrl":"https:\/\/pokecon.jp\/job\/wp-content\/uploads\/2025\/12\/1764923524.png","datePublished":"2025-12-05T19:34:12+00:00","author":{"@id":"https:\/\/pokecon.jp\/job\/#\/schema\/person\/16c9f07b1ba984d165d9aee259bda997"},"breadcrumb":{"@id":"https:\/\/user-first.ikyu.co.jp\/entry\/2025\/12\/05\/163724#breadcrumb"},"inLanguage":"ja","potentialAction":[{"@type":"ReadAction","target":["https:\/\/user-first.ikyu.co.jp\/entry\/2025\/12\/05\/163724"]}]},{"@type":"ImageObject","inLanguage":"ja","@id":"https:\/\/user-first.ikyu.co.jp\/entry\/2025\/12\/05\/163724#primaryimage","url":"https:\/\/pokecon.jp\/job\/wp-content\/uploads\/2025\/12\/1764923524.png","contentUrl":"https:\/\/pokecon.jp\/job\/wp-content\/uploads\/2025\/12\/1764923524.png","width":1200,"height":630},{"@type":"BreadcrumbList","@id":"https:\/\/user-first.ikyu.co.jp\/entry\/2025\/12\/05\/163724#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"\u30db\u30fc\u30e0","item":"https:\/\/pokecon.jp\/job\/"},{"@type":"ListItem","position":2,"name":"\u64cd\u4f5c\u304b\u3089\u610f\u5473\u3078 \u2500 Haskell \u304c\u5909\u3048\u305f\u79c1\u306e\u30e1\u30f3\u30bf\u30eb\u30e2\u30c7\u30eb &#8211; \u4e00\u4f11.com Developers Blog"}]},{"@type":"WebSite","@id":"https:\/\/pokecon.jp\/job\/#website","url":"https:\/\/pokecon.jp\/job\/","name":"\u30dd\u30b1\u30b3\u30f3","description":"","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/pokecon.jp\/job\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"ja"},{"@type":"Person","@id":"https:\/\/pokecon.jp\/job\/#\/schema\/person\/16c9f07b1ba984d165d9aee259bda997","name":"info@pokecon.jp","image":{"@type":"ImageObject","inLanguage":"ja","@id":"https:\/\/secure.gravatar.com\/avatar\/2b0549cd9f7907c092ca5fbb283baf72337f235726e4b46fa39ec0b701ac2fe2?s=96&d=wavatar&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/2b0549cd9f7907c092ca5fbb283baf72337f235726e4b46fa39ec0b701ac2fe2?s=96&d=wavatar&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/2b0549cd9f7907c092ca5fbb283baf72337f235726e4b46fa39ec0b701ac2fe2?s=96&d=wavatar&r=g","caption":"info@pokecon.jp"},"url":"https:\/\/pokecon.jp\/job\/author\/infopokecon-jp\/"}]}},"_links":{"self":[{"href":"https:\/\/pokecon.jp\/job\/wp-json\/wp\/v2\/posts\/26603","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/pokecon.jp\/job\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/pokecon.jp\/job\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/pokecon.jp\/job\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/pokecon.jp\/job\/wp-json\/wp\/v2\/comments?post=26603"}],"version-history":[{"count":1,"href":"https:\/\/pokecon.jp\/job\/wp-json\/wp\/v2\/posts\/26603\/revisions"}],"predecessor-version":[{"id":26605,"href":"https:\/\/pokecon.jp\/job\/wp-json\/wp\/v2\/posts\/26603\/revisions\/26605"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/pokecon.jp\/job\/wp-json\/wp\/v2\/media\/26604"}],"wp:attachment":[{"href":"https:\/\/pokecon.jp\/job\/wp-json\/wp\/v2\/media?parent=26603"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/pokecon.jp\/job\/wp-json\/wp\/v2\/categories?post=26603"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/pokecon.jp\/job\/wp-json\/wp\/v2\/tags?post=26603"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}