{"height":"190","blog_title":"\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u52c9\u5f37\u65e5\u8a18","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fchocobo.hateblo.jp%2Fentry%2F2016%2F04%2F13%2F161948\" title=\"\u30e9\u30e0\u30c0\u8a08\u7b97\u306e\u7df4\u7fd2 - \u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u52c9\u5f37\u65e5\u8a18\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","author_name":"irisEllsworth","url":"https://chocobo.hateblo.jp/entry/2016/04/13/161948","provider_url":"https://hatena.blog","provider_name":"Hatena Blog","published":"2016-04-13 16:19:48","description":"\u4eca\u65e5\u306f\u578b\u30b7\u30b9\u30c6\u30e0\u5165\u9580\u7b2c5\u7ae0\u306e\u30e9\u30e0\u30c0\u8a08\u7b97\u3067\u306e\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u3092\u8aad\u3093\u3067\u3044\u307e\u3059\u3002 \u305d\u306e\u8aad\u66f8\u30e1\u30e2\u3067\u3059\u3002 \u30e9\u30e0\u30c0\u5f0f\u306e\u9805\u306e\u7a2e\u985e x (\u5909\u6570) \u03bbx. t (\u30e9\u30e0\u30c0\u62bd\u8c61) t t (\u95a2\u6570\u9069\u7528) \u5909\u6570\u306e\u30b9\u30b3\u30fc\u30d7 f = \u03bbx. x (\u03bbx. x)\u4e0a\u8a18\u30e9\u30e0\u30c0\u5f0f\u306e\u8d64\u6587\u5b57\u306ex\u3068\u9752\u6587\u5b57\u306ex\u306f\u5225\u7269\u3002 f\u306ba\u3092\u9069\u7528\u3059\u308b\u3068\u3001f a = (\u03bbx. x (\u03bbx. x)) a = a (\u03bbx. x)\u3068\u306a\u308b\u3002 \u03b2\u7c21\u7d04 (\u03bbx. u) v\u306e\u3088\u3046\u306a\u5f62\u306e\u9805\u304c\u3042\u3063\u305f\u3068\u304d\u3001u\u306e\u4e2d\u306b\u51fa\u73fe\u3059\u308b\u3059\u3079\u3066\u306ex\u3092v\u3067\u7f6e\u304d\u63db\u3048\u308b\u64cd\u4f5c\u306e\u3053\u3068\u3002 \u3053\u306e\u5f0f\u3092\u03b2\u7c21\u7d04\u3059\u308b\u3068\u3001(\u03bbx. u) v \u2192 u[x := v]\u3068\u306a\u308b\u3002\uff08\u30e9\u30e0\u30c0\u5f0fu\u306b\u51fa\u73fe\u3059\u308bx\u3092v\u306b\u7f6e\u304d\u63db\u3048\u3066\u308b\uff09\u2026","categories":[],"version":"1.0","blog_url":"https://chocobo.hateblo.jp/","author_url":"https://blog.hatena.ne.jp/irisEllsworth/","width":"100%","title":"\u30e9\u30e0\u30c0\u8a08\u7b97\u306e\u7df4\u7fd2","image_url":null,"type":"rich"}