{"image_url":null,"blog_url":"https://autotaker.hatenablog.com/","description":"\u65b0\u3057\u3044Mac\u3092\u624b\u306b\u5165\u308c\u305f\u306e\u3067\u74b0\u5883\u69cb\u7bc9\u3092\u884c\u3063\u3066\u3044\u308b\u3002 \u305d\u306e\u904e\u7a0b\u3067\u3001Z3\u306e\u30a4\u30f3\u30b9\u30c8\u30fc\u30eb\u306b\u30cf\u30de\u3063\u305f\u306e\u3067\u5fd8\u5099\u9332\u3092\u66f8\u3044\u3066\u304a\u304f\u3002 \u76ee\u6a19 Z3\u306fMicrosoft\u304c\u958b\u767a\u3057\u3066\u3044\u308bSMT\u30bd\u30eb\u30d0\u3067\u3001\u69d8\u3005\u306a\u8a00\u8a9e\u306e\u30d0\u30a4\u30f3\u30c7\u30a3\u30f3\u30b0\u304c\u3042\u308b\u3002 \u516c\u5f0f\u3067\u30b5\u30dd\u30fc\u30c8\u3057\u3066\u3044\u308b\u306e\u306fC/C++, Java, Python, OCaml\u7b49\u3067Haskell\u3067\u306f\u975e\u516c\u5f0f\u306e\u30e9\u30c3\u30d1\u30fc\u30e9\u30a4\u30d6\u30e9\u30ea\u3092\u7528\u3044\u308b\u3002 github.com z3: Bindings for the Z3 Theorem Prover\u4eca\u56de\u306fOCaml\u3068Haskell\u4e21\u65b9\u306e\u30d0\u30a4\u30f3\u30c7\u30a3\u30f3\u30b0\u3092\u30a4\u30f3\u30b9\u30c8\u30fc\u30eb\u3057\u305f\u3044\u3002 \u30c8\u30e9\u30d6\u30eb \u307e\u305a\u3001z3\u3092ml\u30d0\u30a4\u30f3\u30c7\u30a3\u30f3\u30b0\u3064\u304d\u3067\u30a4\u30f3\u30b9\u30c8\u30fc\u30eb\u3059\u308b\u3002 $ gi\u2026","blog_title":"autotaker's blog","author_url":"https://blog.hatena.ne.jp/autotaker/","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fautotaker.hatenablog.com%2Fentry%2F2016%2F05%2F30%2F164036\" title=\"Mac\u306bZ3\u3092\u30a4\u30f3\u30b9\u30c8\u30fc\u30eb\u3057\u305f\u3002 - autotaker&#39;s blog\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","published":"2016-05-30 16:40:36","title":"Mac\u306bZ3\u3092\u30a4\u30f3\u30b9\u30c8\u30fc\u30eb\u3057\u305f\u3002","author_name":"autotaker","provider_url":"https://hatena.blog","url":"https://autotaker.hatenablog.com/entry/2016/05/30/164036","type":"rich","version":"1.0","categories":[],"width":"100%","height":"190","provider_name":"Hatena Blog"}