{"blog_url":"https://m-hiyama-memo.hatenablog.jp/","description":"Int = Z = {..., -1, 0, 1, 2, 3, ...}\u3001XInt = Int + {\u221e, -\u221e} \u3068\u3059\u308b\u3002\u4ed6\u306b\u5168\u4f53\u96c6\u5408T\uff08total, universal, \u3042\u308b\u3044\u306fterm\uff09\u3092\u8003\u3048\u3066\u3001\u3059\u3079\u3066\u306e\u9818\u57df\u306fT\u306e\u90e8\u5206\u96c6\u5408\u3060\u3068\u3059\u308b\u3002\u570f\u8ad6\u3067\u5b9a\u5f0f\u5316\u3057\u305f\u3044\u306a\u3089\u3001T\u3092\u56fa\u5b9a\u3057\u3066\u3001\u30e2\u30ce\u5c04 X\u2192T \u3060\u3051\u3092\u8003\u3048\u305f\u30b9\u30e9\u30f3\u30c8\u570f\uff08\u307b\u307csubobjects\u306e\u570f\uff09\u3092\u8003\u3048\u308c\u3070\u3044\u3044\u3060\u308d\u3046\uff08\u305f\u3076\u3093\u5b9f\u969b\u306f\u3082\u3063\u3068\u5de5\u592b\u304c\u5fc5\u8981\uff09\u3002X, Y\u3068\u304b\u304cT\u306e\u90e8\u5206\u9818\u57df\u3060\u3068\u3057\u3066\u3001\u5c04\u3068\u3057\u3066\u90e8\u5206\u95a2\u6570 f:X\u2283\u2192Y \u3092\u8003\u3048\u308b\u3002D(f)\u2286X \u3092f\u306e\u5b9a\u7fa9\u57df\u3001U(f)\u2286X \u3092f\u306e\u672a\u5b9a\u7fa9\u57df\u3068\u3059\u308b\u3002dom(f) = X = D(f)+U(f)\uff08\u76f4\u548c\uff09\u3068\u306a\u2026","type":"rich","author_name":"m-hiyama-memo","image_url":null,"height":"190","url":"https://m-hiyama-memo.hatenablog.jp/entry/20081217/1229507446","published":"2008-12-17 18:50:46","provider_name":"Hatena Blog","version":"1.0","author_url":"https://blog.hatena.ne.jp/m-hiyama-memo/","categories":["WCC","Erlang"],"title":"\u7121\u9650\u5927\u3092\u542b\u3080\u7b97\u8853\uff08x_arith\uff09","blog_title":"(\u4fdd\u5b58\u7528) \u6a9c\u5c71\u6b63\u5e78\u306e\u30ad\u30de\u30a4\u30e9\u98fc\u80b2\u8a18 \u30e1\u30e2\u7de8","provider_url":"https://hatena.blog","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20081217%2F1229507446\" title=\"\u7121\u9650\u5927\u3092\u542b\u3080\u7b97\u8853\uff08x_arith\uff09 - (\u4fdd\u5b58\u7528) \u6a9c\u5c71\u6b63\u5e78\u306e\u30ad\u30de\u30a4\u30e9\u98fc\u80b2\u8a18 \u30e1\u30e2\u7de8\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","width":"100%"}