{"width":"100%","height":"190","author_name":"seasawher","blog_url":"https://seasawher.hatenablog.com/","author_url":"https://blog.hatena.ne.jp/seasawher/","provider_name":"Hatena Blog","blog_title":"\u30d1\u30f3\u306e\u6728\u3092\u690d\u3048\u3066","version":"1.0","categories":["Lean Prover"],"image_url":null,"url":"https://seasawher.hatenablog.com/entry/2024/04/17/050312","provider_url":"https://hatena.blog","title":"\u65e5\u8a18\uff1aLean \u3068\u6570\u5024\u8a08\u7b97","description":"\u524d\u56de\u306e\u8a18\u4e8b\u3067\u79c1\u306f\u3053\u3093\u306a\u3053\u3068\u3092\u66f8\u304d\u307e\u3057\u305f\uff0e Lean \u3067\u6570\u5024\u8a08\u7b97\u304c\u3067\u304d\u308b\u3088\u3046\u306b\u306a\u308c\u3070\u3082\u3063\u3068\u591a\u304f\u306e\u5c64\u304c\u53d6\u308a\u8fbc\u3081\u308b\u3053\u3068\u304c\u671f\u5f85\u3067\u304d\u308b\u306e\u3067\u3059\u304c\uff0c\u73fe\u72b6\u3067\u306f\u96e3\u3057\u305d\u3046\u3067\u3059\uff0e seasawher.hatenablog.com \u6539\u3081\u3066\u8003\u3048\u3066\u307f\u308b\u3068\uff0c\u6570\u5024\u8a08\u7b97\u306f\u4e38\u3081\u8aa4\u5dee\u3068\u6253\u3061\u5207\u308a\u8aa4\u5dee\u304c\u3069\u3046\u3057\u3066\u3082\u3064\u3044\u3066\u307e\u308f\u308b\u305f\u3081\u5f62\u5f0f\u8a3c\u660e\u3068\u306f\u76f8\u6027\u304c\u60aa\u3044\u306f\u305a\u3067\uff0cLean \u3067\u6570\u5024\u8a08\u7b97\u304c\u3067\u304d\u308b\u3088\u3046\u306b\u306a\u3063\u3066\u3082\u3042\u307e\u308a\u5b09\u3057\u304f\u306a\u3044\u304b\u3082\u3057\u308c\u307e\u305b\u3093\uff0e\u3061\u3087\u3063\u3068\u52d8\u9055\u3044\u3092\u3057\u3066\u3044\u307e\u3057\u305f\uff0e\u3059\u307f\u307e\u305b\u3093\uff0e \u79c1\u500b\u4eba\u3068\u3057\u3066\u306f\u9759\u7684\u578b\u4ed8\u3051\u8a00\u8a9e\u3067\u6570\u5024\u8a08\u7b97\u3092\u3057\u305f\u3044\u306a\u3068\u601d\u3063\u3066\u3044\u308b *1 \u306e\u3067\uff0c\u6570\u5024\u8a08\u7b97\u3082 Lean \u3067\u3084\u308a\u305f\u3044\u30e2\u30c1\u30d9\u304c\u3042\u308b\u3093\u3067\u3059\u304c\uff0cJulia \u3067\u3084\u308b\u3088\u308a\u7279\u6bb5\u4fbf\u5229\u306b\u306a\u308b\u2026","published":"2024-04-17 05:03:12","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fseasawher.hatenablog.com%2Fentry%2F2024%2F04%2F17%2F050312\" title=\"\u65e5\u8a18\uff1aLean \u3068\u6570\u5024\u8a08\u7b97 - \u30d1\u30f3\u306e\u6728\u3092\u690d\u3048\u3066\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","type":"rich"}