{"blog_url":"https://dosei.hatenadiary.jp/","published":"2008-07-07 00:00:01","blog_title":"DOSEI\u306e\u65e5\u8a18","version":"1.0","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fdosei.hatenadiary.jp%2Fentry%2F20080707%2Fp2\" title=\" \u5b9a\u7406\u30fb\u547d\u984c\u306e\u4f7f\u3044\u5206\u3051 - DOSEI\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>","width":"100%","categories":["\u30e1\u30e2","\u6570\u5b66"],"author_name":"DOSEI","height":"190","provider_name":"Hatena Blog","url":"https://dosei.hatenadiary.jp/entry/20080707/p2","description":"\u5b9a\u7406 (theorem) \u3068\u306f\u3001\u3042\u308b\u6761\u4ef6\u3067\u3001\u6210\u308a\u7acb\u3064\u3053\u3068\u3092\u8a3c\u660e\u3055\u308c\u305f\u3082\u306e\u3002\u5b9a\u7406\u306e\u3046\u3061\u3001\u4ee5\u4e0b\u306e\u3088\u3046\u306b\u8a00\u8449\u3092\u4f7f\u3044\u5206\u3051\u308b\u3053\u3068\u304c\u3042\u308b\u3002 \u547d\u984c (proposition) \u3069\u306e\u7279\u5b9a\u306e\u5b9a\u7406\u3068\u3082\u95a2\u9023\u4ed8\u3051\u3089\u308c\u3066\u3044\u306a\u3044\u4e3b\u5f35\u3002\u3053\u306e\u7528\u8a9e\u304c\u5358\u7d14\u306a\u8a3c\u660e\u3092\u542b\u3093\u3067\u3044\u308b\u5834\u5408\u3082\u3042\u308b\u3002\uff08\u672c\u6765\u306f\u3001\u5358\u306b\u771f\u304b\u507d\u304c\u3042\u3044\u307e\u3044\u3067\u7121\u3044\u6587\u3092\u8a00\u3046\u3002\u3064\u307e\u308a\u3001\u5b9a\u7406\u3068\u306f\u771f\u3067\u3042\u308b\u3053\u3068\u304c\u8a3c\u660e\u3055\u308c\u305f\u547d\u984c\u3002\uff09 \u88dc\u984c (lemma) \u3088\u308a\u5927\u304d\u306a\u5b9a\u7406\u306e\u4e00\u90e8\u3002 \u88dc\u52a9\u5b9a\u7406 (pre-theorem) \u3068\u3082\u3002\u305f\u3060\u3057\u3001\u5b9a\u7406\u3068\u306e\u533a\u5225\u306f\u8457\u8005\u306e\u8003\u3048\u65b9\u306b\u3088\u308b\u3057\u3001\u4f1d\u7d71\u7684\u306b\u88dc\u984c\u3068\u547c\u3070\u308c\u3066\u3044\u308b\u3082\u306e\u3082\u3042\u308b\u3002\u30dd\u30f3\u30d4\u30f3\u30b0\u88dc\u984c\u306a\u3069\u3002 \u7cfb (corollary) \u5b9a\u7406\u3084\u5b9a\u7fa9\u304b\u3089\u3001\u5c11\u3057\u306e\u8a3c\u660e\u3082\u3057\u304f\u2026","type":"rich","image_url":null,"author_url":"https://blog.hatena.ne.jp/DOSEI/","title":" \u5b9a\u7406\u30fb\u547d\u984c\u306e\u4f7f\u3044\u5206\u3051","provider_url":"https://hatena.blog"}