{"author_url":"https://blog.hatena.ne.jp/yugui/","version":"1.0","published":"2006-04-04 12:54:08","type":"rich","categories":["\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u958b\u767a"],"height":"190","provider_name":"Hatena Blog","blog_url":"https://blog.yugui.jp/","image_url":null,"blog_title":"\u8fba\u5883\u306e\u65e5\u3005 (\u65e7:\u4e16\u754c\u7dda\u822a\u8de1\u8535)","title":"Dependency Injection + Formal Method","author_name":"yugui","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fblog.yugui.jp%2Fentry%2F405\" title=\"Dependency Injection + Formal Method - \u8fba\u5883\u306e\u65e5\u3005 (\u65e7:\u4e16\u754c\u7dda\u822a\u8de1\u8535)\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","url":"https://blog.yugui.jp/entry/405","provider_url":"https://hatena.blog","description":"\u96fb\u8eca\u306e\u4e2d\u3067\u3001DI + Formal method\u305f\u3089\u3044\u3046\u7814\u7a76\u306e\u767a\u8868\u8cc7\u6599\u3092\u4f5c\u3063\u3066\u308b\u4eba\u3092\u898b\u304b\u3051\u305f\u3088\u3002\u82e5\u304f\u898b\u3048\u305f\u3057\uff08\u3053\u306e\u696d\u754c\u306e\u4eba\u306f\u5e74\u9f62\u308f\u304b\u308a\u3065\u3089\u3044\u3051\u3069\uff09\u3001\u4e57\u8eca\u99c5\u304b\u3089\u3059\u308b\u3068\u5de5\u5b66\u90e8\u306e\u5b66\u751f\u3055\u3093\u304b\u3002\u3053\u306e\u767a\u60f3...","width":"100%"}