{"published":"2023-03-13 18:03:04","provider_name":"Hatena Blog","author_name":"m-hiyama","title":"\u8fd1\u672a\u6765\u306e\u8a3c\u660e\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u306f\u2025\u2025","provider_url":"https://hatena.blog","type":"rich","version":"1.0","categories":["\u96d1\u8a18\uff0f\u5099\u5fd8"],"blog_url":"https://m-hiyama.hatenablog.com/","author_url":"https://blog.hatena.ne.jp/m-hiyama/","url":"https://m-hiyama.hatenablog.com/entry/2023/03/13/180304","width":"100%","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F2023%2F03%2F13%2F180304\" title=\"\u8fd1\u672a\u6765\u306e\u8a3c\u660e\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u306f\u2025\u2025 - \u6a9c\u5c71\u6b63\u5e78\u306e\u30ad\u30de\u30a4\u30e9\u98fc\u80b2\u8a18 (\u306f\u3066\u306aBlog)\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","height":"190","blog_title":"\u6a9c\u5c71\u6b63\u5e78\u306e\u30ad\u30de\u30a4\u30e9\u98fc\u80b2\u8a18 (\u306f\u3066\u306aBlog)","description":"twitter\u3067\u6614\u306e\u8ad6\u6587\u306b\u8a00\u53ca\u3057\u305f\u306e\u3067\u3059\u304c\u3001\u51fa\u7248\u5e74\u3092\u3048\u3089\u304f\u9593\u9055\u3048\u3066\u307e\u3057\u305f \u2192 https://twitter.com/m_hiyama/status/1635154485101359104 \u300c53\u5e74\u524d\u300d\u3068\u8a00\u3063\u3066\u307e\u3059\u304c\u3001\u5b9f\u969b\u306f27\u5e74\u524d\u3067\u3057\u305f\u3002 Title: A Browsable Format for Proof Presentation Date: June 1996 Authors: Jim Grundy, Turku Centre Pages: 8p URL: https://www.researchgate.net/publication/2359706_A_Browsable_Form\u2026","image_url":"https://www.chimaira.org/img6/paper-heading-fake.png"}