{"blog_title":"Maxima \u3067\u7db4\u308b\u6570\u5b66\u306e\u65c5","width":"100%","blog_url":"https://maxima.hatenablog.jp/","provider_url":"https://hatena.blog","image_url":"https://cdn-ak.f.st-hatena.com/images/fotolife/j/jurupapa/20260609/20260609183229.png","provider_name":"Hatena Blog","author_name":"jurupapa","type":"rich","version":"1.0","url":"https://maxima.hatenablog.jp/entry/2026/06/12/003021","categories":["\u30bb\u30ad\u30e5\u30ea\u30c6\u30a3","\u6570\u5b66"],"title":"\u64ec\u4f3c\u4e71\u6570\u751f\u6210\u5668\u4f38\u9577\u5b9a\u7406\u306e\u8a3c\u660e\u306e\u6d41\u308c","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmaxima.hatenablog.jp%2Fentry%2F2026%2F06%2F12%2F003021\" title=\"\u64ec\u4f3c\u4e71\u6570\u751f\u6210\u5668\u4f38\u9577\u5b9a\u7406\u306e\u8a3c\u660e\u306e\u6d41\u308c - Maxima \u3067\u7db4\u308b\u6570\u5b66\u306e\u65c5\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","author_url":"https://blog.hatena.ne.jp/jurupapa/","published":"2026-06-12 00:30:21","height":"190","description":"\u64ec\u4f3c\u4e71\u6570\u30921bit\u4f38\u3070\u3059\u3053\u3068\u304c\u3067\u304d\u308c\u3070\u3001\u4efb\u610f\u306e\u9577\u3055\u306e\u64ec\u4f3c\u4e71\u6570\u306b\u4f38\u3070\u3059\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002\u3053\u306e\u5b9a\u7406\u3092Lean4\u3067\u5f62\u5f0f\u5316\u3057\u307e\u3057\u305f\u3002 \u5b9a\u74064.1 \u64ec\u4f3c\u4e71\u6570\u751f\u6210\u5668$G : \\{0,1\\}^n \\rightarrow \\{0,1\\}^{n+1}$\u306b\u5bfe\u3057\u3001$G':\\{0,1\\}^n \\rightarrow\\{0,1\\}^L$\u3092\u300c $x_0 = x, i=0,\\dots , L-1$\u306b\u5bfe\u3057\u3001$G(x_i )=(x_{i+1}, b_{i+1})$\u3068\u3057\u305f\u3068\u304d$G'(x)=(b_1,\\dots ,b_L)$ \u300d\u3068\u5b9a\u3081\u308b\u3002\u3053\u306e\u3068\u304dG\u304c$(t+L\\,t_G+O(L), \\frac{\\epsilon}{L})$-\u64ec\u4f3c\u4e71\u6570\u2026"}