{"width":"100%","height":"190","description":"\u3044\u307e\u3084 AI \u306f Lean \u3092\u66f8\u3051\u308b 2025 \u5e74\u306e\u521d\u982d\u304f\u3089\u3044\u306f\u3001\u307e\u3060\u307e\u3060 LLM \u306f Lean4 \u3092\u66f8\u304f\u306e\u304c\u82e6\u624b\u3067\u3057\u305f\u3002\u4f55\u5ea6\u8a00\u3063\u3066\u3082 Lean3 \u306e\u30b3\u30fc\u30c9\u3092\u51fa\u3057\u3066\u304d\u305f\u308a\u3057\u3066\u4f7f\u3044\u7269\u306b\u306a\u3089\u306a\u304f\u3066\u3001\u3060\u304b\u3089\u6570\u5b66\u7406\u8ad6\u3092\u5f62\u5f0f\u5316\u3059\u308b\u306e\u306f\u3068\u3066\u3082\u624b\u9593\u306e\u304b\u304b\u308b\u4eba\u529b\u306e\u4f5c\u696d\u3060\u3063\u305f\u306e\u3067\u3059\u304c\u3001\u6700\u8fd1\u306f\u305d\u3046\u3067\u3082\u306a\u3044\u3067\u3059\u306d\u3002 \u79c1\u306f\u305d\u3093\u306a\u306b\u9ad8\u4fa1\u306a\u30e2\u30c7\u30eb\u306b\u306f\u30a2\u30af\u30bb\u30b9\u3067\u304d\u306a\u3044\u306e\u3067\u3059\u304c\u3001\u666e\u901a\u306b codex \u306b\u983c\u3081\u3070\u7c21\u5358\u306a\u8a3c\u660e\u306a\u3089\u57cb\u3081\u3066\u304f\u308c\u308b\u3057\u3001\u30e9\u30a4\u30d6\u30e9\u30ea\u306e\u691c\u7d22\u306a\u3093\u304b\u3082\u304a\u624b\u306e\u7269\u3067\u3059\u306d\u3002\u3068\u3063\u3066\u3082\u4fbf\u5229\u3067\u3059\u3002 \u79c1\u306f\u3084\u3063\u305f\u3053\u3068\u304c\u306a\u3044\u3067\u3059\u304c\u81ea\u52d5\u5f62\u5f0f\u5316\u3082\u304b\u306a\u308a\u3067\u304d\u308b\u3088\u3046\u3067\u3059\u3002\u6709\u540d\u306a\u306e\u306f\u30a8\u30eb\u30c7\u30b7\u30e5\u554f\u984c\u306e\u89e3\u6c7a\u3068\u3001\u305d\u306e Lean \u306b\u3088\u308b\u5f62\u5f0f\u5316\u3067\u3059\u306d\u3002\u79c1\u2026","type":"rich","blog_url":"https://seasawher.hatenablog.com/","author_name":"seasawher","provider_name":"Hatena Blog","categories":[],"provider_url":"https://hatena.blog","title":"Lean \u8a00\u8a9e\u3092\u53d6\u308a\u5dfb\u304f\u74b0\u5883\u304c\u5909\u308f\u3063\u305f","version":"1.0","published":"2026-06-21 15:39:15","image_url":null,"blog_title":"\u30d1\u30f3\u306e\u6728\u3092\u690d\u3048\u3066","url":"https://seasawher.hatenablog.com/entry/2026/06/21/153915","author_url":"https://blog.hatena.ne.jp/seasawher/","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fseasawher.hatenablog.com%2Fentry%2F2026%2F06%2F21%2F153915\" title=\"Lean \u8a00\u8a9e\u3092\u53d6\u308a\u5dfb\u304f\u74b0\u5883\u304c\u5909\u308f\u3063\u305f - \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>"}