{"url":"https://www.watto.nagoya/entry/2025/09/04/000000","width":"100%","published":"2025-09-04 00:00:00","blog_url":"https://www.watto.nagoya/","height":"190","description":"\u4eca\u56de\u3082\u65b0\u7740\u304a\u76ee\u6c5a\u3057\u3092\u907f\u3051\u308b\u305f\u3081\u3001\u65e5\u4ed8\u3092\u3055\u304b\u306e\u307c\u3063\u3066\u516c\u958b\u3057\u3066\u3044\u307e\u3059\u3002\u524d\u56de\u306f\u3053\u3061\u3089\u3002 watto.hatenablog.com \u305d\u306e\u5f8c\u30cd\u30c3\u30c8\u3092\u5f98\u5f8a\u3057\u3066\u3001\u30a6\u30a3\u30ad\u30da\u30c7\u30a3\u30a2\u82f1\u8a9e\u7248\u306e\u300c\u30ab\u30fc\u30c8\u30e9\u30a4\u30c8\u306e\u8a3c\u660e\u300d(Cartwright's proof) \u3068\u3044\u3046\u306e\u304c\u3001\u30bf\u30cd\u672c\u300e\u660e\u89e3\u30ac\u30ed\u30a2\u7406\u8ad6 [\u539f\u8457\u7b2c3\u7248]\u300f(\u8b1b\u8ac7\u793e) P279\uff5e280\u3068\u540c\u3058\u9053\u5177\u7acb\u3066\u3092\u7528\u3044\u3066\u3044\u308b\u306e\u3092\u898b\u3064\u3051\u305f\u3002 \u305f\u3060\u3057\u8a08\u7b97\u904e\u7a0b\u304c\u9055\u3063\u3066\u3044\u305f\u3002 \u307e\u305f\u30a6\u30a3\u30ad\u30da\u300c\u30ab\u30fc\u30c8\u30e9\u30a4\u30c8\u306e\u8a3c\u660e\u300d\u3067\u306f\u3001\u300e\u660e\u89e3\u30ac\u30ed\u30a2\u7406\u8ad6\u300f\u306e\u7a4d\u5206 \u3092 \u3068\u66f8\u3044\u3066\u3044\u305f\u3002\u3059\u306a\u308f\u3061\u5909\u6570 \u306e\u4ee3\u308f\u308a\u306b \u3092\u3001 \u306e\u4ee3\u308f\u308a\u306b \u3092\u7528\u3044\u3066\u3044\u305f\u3002 \u4ee5\u4e0b\u3001\u62d9\u7a3f\u3067\u306f\u300e\u660e\u89e3\u30ac\u30ed\u30a2\u7406\u8ad6\u300f\u306e\u307b\u3046\u306b\u5408\u308f\u305b\u308b\u30021\u30b1\u30bf\u306e\u6570\u5f0f\u756a\u53f7\u306f\u3001\u2026","provider_url":"https://hatena.blog","title":"\u306f\u3066\u306aTeX\u8a18\u6cd5\u306e\u7df4\u7fd2\u306b\u03c0\u304c\u7121\u7406\u6570\u3067\u3042\u308b\u3053\u3068\u306e\u8a3c\u660e\u3092\u66f8\u3044\u3066\u307f\u308b\uff08\u305d\u306e4\uff1a\u88dc\u907a\uff09","version":"1.0","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fwww.watto.nagoya%2Fentry%2F2025%2F09%2F04%2F000000\" title=\"\u306f\u3066\u306aTeX\u8a18\u6cd5\u306e\u7df4\u7fd2\u306b\u03c0\u304c\u7121\u7406\u6570\u3067\u3042\u308b\u3053\u3068\u306e\u8a3c\u660e\u3092\u66f8\u3044\u3066\u307f\u308b\uff08\u305d\u306e4\uff1a\u88dc\u907a\uff09 - \u3057\u3044\u305f\u3052\u3089\u308c\u305f\ud83c\udf44\u200d\ud83d\udfeb\u3057\u3044\u305f\u3051\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","image_url":null,"author_name":"watto","type":"rich","provider_name":"Hatena Blog","categories":["\u6570\u5b66"],"blog_title":"\u3057\u3044\u305f\u3052\u3089\u308c\u305f\ud83c\udf44\u200d\ud83d\udfeb\u3057\u3044\u305f\u3051","author_url":"https://blog.hatena.ne.jp/watto/"}