{"provider_name":"Hatena Blog","type":"rich","width":"100%","blog_url":"https://tech.legalscape.co.jp/","blog_title":"Legalscape\u30c6\u30c3\u30af\u30d6\u30ed\u30b0","title":"1 + 1 = 2 \u3092\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u3067\u7406\u89e3\u3059\u308b","url":"https://tech.legalscape.co.jp/entry/2025/11/28/155741","provider_url":"https://hatena.blog","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Ftech.legalscape.co.jp%2Fentry%2F2025%2F11%2F28%2F155741\" title=\"1 + 1 = 2 \u3092\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u3067\u7406\u89e3\u3059\u308b - Legalscape\u30c6\u30c3\u30af\u30d6\u30ed\u30b0\" 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":"WCt377N61X","author_url":"https://blog.hatena.ne.jp/WCt377N61X/","description":"Legalscape \u306e\u3057\u308d\u304f\u307e\u3067\u3059\u3002 \u81ea\u7136\u6570\u306e\u96c6\u5408\u8ad6\u7684\u5b9a\u7fa9\uff08\u30d5\u30a9\u30f3\u30fb\u30ce\u30a4\u30de\u30f3\u306e\u69cb\u6210\uff09\u306f\u7a7a\u96c6\u5408\u306e\u516c\u7406\u3068\u7121\u9650\u306e\u516c\u7406\u3092\u5229\u7528\u3057\u3066 \u4ee5\u4e0b\u306e\u3088\u3046\u306b\u306a\u308a\u307e\u3059\u3002 0 = \u2205 1 = {0} = {\u2205} 2 = {0, 1} = {\u2205, {\u2205}} 3 = {0, 1, 2} = {\u2205, {\u2205}, {\u2205, {\u2205}}} \u30fb\u30fb\u30fb \u307e\u305f\u52a0\u7b97\u306f S(n) = n \u222a {n} \u3068\u3057\u305f\u3068\u304d\u3001\u4ee5\u4e0b\u306e\u3088\u3046\u306b\u518d\u5e30\u7684\u306b\u5b9a\u7fa9\u3055\u308c\u307e\u3059\u3002 A + 0 = A A + S(B) = S(A + B) \u3057\u304b\u3057\u306a\u304c\u3089\u4ee5\u4e0a\u306e\u8aac\u660e\u3067\u7269\u4e8b\u304c\u7406\u89e3\u3067\u304d\u308b\u306e\u306f1 + 1 = 2\u3092\u8a3c\u660e\u3067\u304d\u308b\u4eba\u3060\u3051\u306a\u306e\u3067\u3001\u7686\u3055\u307e\u306e\u304a\u5b50\u69d8\u306f\u6e80\u8db3\u3057\u306a\u3044\u304b\u3082\u3057\u308c\u307e\u305b\u3093\u3002 \u3068\u3053\u308d\u3067\u2026","version":"1.0","image_url":null,"categories":["TypeScript"],"published":"2025-11-28 15:57:41","height":"190"}