{"version":"1.0","author_name":"zehnpaard","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fzehnpaard.hatenablog.com%2Fentry%2F2022%2F03%2F17%2F201958\" title=\"A\u6b63\u898f\u5316\u3055\u308c\u305fIR\u3092CEK\u62bd\u8c61\u6a5f\u68b0\u3067\u5b9f\u884c - Arantium Maestum\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","blog_title":"Arantium Maestum","url":"https://zehnpaard.hatenablog.com/entry/2022/03/17/201958","published":"2022-03-17 20:19:58","type":"rich","provider_url":"https://hatena.blog","author_url":"https://blog.hatena.ne.jp/zehnpaard/","categories":["OCaml","\u8a00\u8a9e\u51e6\u7406\u7cfb"],"width":"100%","height":"190","title":"A\u6b63\u898f\u5316\u3055\u308c\u305fIR\u3092CEK\u62bd\u8c61\u6a5f\u68b0\u3067\u5b9f\u884c","image_url":null,"provider_name":"Hatena Blog","blog_url":"https://zehnpaard.hatenablog.com/","description":"\u524d\u56de\u3067\u5b9a\u7fa9\u3057\u305f\u8a00\u8a9e\u3068\u305d\u306eA\u6b63\u898f\u5316\u3055\u308c\u305fIR\u3092\u30a4\u30f3\u30bf\u30d7\u30ea\u30bf\u3067\u5b9f\u884c\u3057\u305f\u3044\u3002 \u3068\u3044\u3046\u308f\u3051\u3067\u307e\u305f\u3057\u3066\u3082Matt Might\u306e\u30d6\u30ed\u30b0\u3092\u53c2\u8003\u306b\u3059\u308b\uff1a matt.might.net \u3053\u3061\u3089\u306e\u30d6\u30ed\u30b0\u306fCESK\u30de\u30b7\u30f3\u306e\u8a71\u3060\u304c\u3001\u4eca\u306e\u3068\u3053\u308d\u7834\u58ca\u7684\u5909\u66f4\u3092\u8a00\u8a9e\u6a5f\u80fd\u3068\u3057\u3066\u5b9f\u88c5\u3057\u3066\u306a\u3044\u306e\u3067\u3001\u307e\u305a\u306fCESK\u306e\u30b9\u30c6\u30fc\u30c8S\u3092\u629c\u3044\u3066CEK\u62bd\u8c61\u6a5f\u68b0\u3067\u306e\u5b9f\u884c\u3092\u76ee\u6307\u3059\u3002 CEK\u62bd\u8c61\u6a5f\u68b0 CEK\u62bd\u8c61\u6a5f\u68b0\u3068\u3044\u3046\u306e\u306f\u5927\u96d1\u628a\u306b\u3044\u3046\u3068SECD\u62bd\u8c61\u6a5f\u68b0\u306e\u4ef2\u9593\u3067\u3001\u62bd\u8c61\u6a5f\u68b0\u306e\u72b6\u614b\u3068\u305d\u306e\u5909\u9077\u95a2\u6570\u3092\u53b3\u5bc6\u306b\u5b9a\u7fa9\u3059\u308b\u3053\u3068\u3067\u300c\u30d7\u30ed\u30b0\u30e9\u30e0\u306e\u5b9f\u884c\u300d\u3092\u30e2\u30c7\u30eb\u5316\u3059\u308b\u3082\u306e\u3002CEK\u3068\u3044\u3046\u540d\u524d\u306f\u3053\u306e\u62bd\u8c61\u6a5f\u68b0\u306e\u72b6\u614b\u3092\u69cb\u6210\u3059\u308b\u4e09\u3064\u306e\u8981\u7d20\u306e\u982d\u6587\u5b57\uff08\uff1f\uff09\u304b\u3089\u304d\u3066\u3044\u308b\u3002Control\uff08\u2026"}