{"author_name":"youichi","categories":[],"title":" \u3046\u30fc\u306b\u3083\u30fc","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fyouichi.hatenablog.jp%2Fentry%2F20120526%2Fp1\" title=\" \u3046\u30fc\u306b\u3083\u30fc - youichi\u2019s blog\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","provider_name":"Hatena Blog","type":"rich","version":"1.0","published":"2012-05-26 00:00:00","height":"190","blog_url":"https://youichi.hatenablog.jp/","width":"100%","author_url":"https://blog.hatena.ne.jp/youichi/","description":"Discription Logics http://www2.nict.go.jp/univ-com/isp/x163/kaneiwa/DLs.pdf cafeobj http://www.ldl.jaist.ac.jp/cafeobj/ Event-B http://www.event-b.org/ Alloy http://alloy.mit.edu/alloy/ protege http://protege.stanford.edu/ TopBraid Composer http://www.topquadrant.com/products/TB_Composer.html","provider_url":"https://hatena.blog","url":"https://youichi.hatenablog.jp/entry/20120526/p1","blog_title":"youichi\u2019s blog","image_url":null}