{"title":" Alloy\u3067\u03bb\u8a08\u7b97\uff08\u5b8c\u5168\u7248\uff09","description":"\u3064\u3044\u306b\u3001Alloy \u3092\u4f7f\u3063\u3066\u5b8c\u5168\u306a \u03bb\u8a08\u7b97 (\u03b2\u7c21\u7d04) \u3092\u8868\u73fe\u3067\u304d\u305f\u2026\u3002\uff08\u524d\u56de \u306f\u4e2d\u9014\u534a\u7aef\u3060\u3063\u305f\u3002\uff09 \u306a\u304b\u306a\u304b\u9762\u767d\u3044\u306e\u306f\u3001Alloy \u304c\u3046\u307e\u304f\u30ce\u30fc\u30c9\u3092\u4f7f\u3063\u3066\u7121\u99c4\u306a\u304f\u03b2\u7c21\u7d04\u3057\u3066\u3044\u308b\u3068\u3053\u308d\uff08\u03a9=(\u03bbx.xx)(\u03bbx.xx) \u3067 \u03a9\u2192\u03a9\u306a\u3069\u3002\u5f8c\u306b\u8f09\u305b\u308b\uff09\u3002(8/22)\u30d5\u30ec\u30fc\u30e0\u6761\u4ef6\u306e\u30d0\u30b0\u3092\u76f4\u3057\u305f\u3002 \u60a9\u3093\u3060\u70b9\uff1a\u7834\u58ca\u7684\u306a\u03b2\u7c21\u7d04\u3068\u5171\u6709 \u4eca\u307e\u3067\u306b\u8003\u3048\u305f\u03bb\u5f0f\u306e\u8868\u73fe\u3067\u306f\u3001\u9805\u306b\u5171\u6709\u304c\u751f\u3058\u5f97\u308b\u3002\u4f8b\u3048\u3070\u3001 let f=\u03bbx.x in f f \u306e\u3088\u3046\u306a\u9805\u304c\u3067\u304d\u308b\u3002 \u4e00\u65b9\u3001\u03b2\u7c21\u7d04\u3092\u5b9a\u7fa9\u3059\u308b\u3068\u304d\u3001\u6b21\u306e\u3088\u3046\u306a \u7834\u58ca\u7684\u64cd\u4f5c \u3092\u4f34\u3046\uff1a \u95a2\u6570\u547c\u3073\u51fa\u3057\u3092\u95a2\u6570\u672c\u4f53\u306b\u7f6e\u304d\u63db\u3048 \u95a2\u6570\u672c\u4f53\u306e\u4eee\u5f15\u6570\u3092\u5b9f\u5f15\u6570\u306b\u7f6e\u304d\u63db\u3048 \u305f\u3068\u3048\u3070\u3001 let f=\u03bb\u2026","url":"https://keigoi.hatenadiary.org/entry/20110821/1313906553","provider_url":"https://hatena.blog","author_url":"https://blog.hatena.ne.jp/keigoi/","type":"rich","version":"1.0","author_name":"keigoi","published":"2011-08-21 15:02:33","blog_title":"keigoi\u306e\u65e5\u8a18","categories":["Formal","Alloy"],"image_url":"https://cdn-ak.f.st-hatena.com/images/fotolife/k/keigoi/20110821/20110821144543.png","width":"100%","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkeigoi.hatenadiary.org%2Fentry%2F20110821%2F1313906553\" title=\" Alloy\u3067\u03bb\u8a08\u7b97\uff08\u5b8c\u5168\u7248\uff09 - keigoi\u306e\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>","height":"190","provider_name":"Hatena Blog","blog_url":"https://keigoi.hatenadiary.org/"}