è°·å±±âå¿æäºæ³ï¼ãã«ãã¾-ãããããããè±: Modularity Theoremï¼ã¨ã¯ããæçæ°ä½ä¸ã«å®ç¾©ãããæ¥åæ²ç·ã¯ãã¹ã¦ã¢ã¸ã¥ã©ã¼ã§ãããã¨ããå½é¡ã§ãããã¢ã³ããªã¥ã¼ã»ã¯ã¤ã«ãºã¨ã¯ãªã¹ããã»ãã«ã¤ã¦ããã©ã¤ã¢ã³ã»ã³ã³ã©ããããã¬ããã»ãã¤ã¢ã¢ã³ãããªãã£ã¼ãã»ãã¤ã©ã¼ãã«ãã£ã¦è¯å®çã«è¨¼æããã[注é 1]ã 仿¥ã«ããã¦ã¯ä¸è¬ã«ã¢ã¸ã¥ã©ã¼æ§å®çã¾ãã¯ã¢ã¸ã¥ã©ãªãã£å®çï¼modularity theoremï¼ã¨å¼ã°ã[1]ããã®è¨¼æã¯20ä¸ç´æ°å¦ã«ãããä¸ã¤ã®å¸°çµã¨ããã¦ãã[2]ãã¯ã¤ã«ãºã¯åå®å®æ¥åæ²ç·ã«å¯¾ããè°·å±±ã»å¿æäºæ³ã証æãããã¨ã§ãã§ã«ãã¼ã®æçµå®çã証æãã[3]ã ã¢ã¸ã¥ã©ãªãã£å®çã¯ãããã¼ãã»ã©ã³ã°ã©ã³ãºã«ããããä¸è¬çãªäºæ³ã®ç¹å¥ãªå ´åã§ããã[4]ãã©ã³ã°ã©ã³ãºã»ããã°ã©ã ã¯ãä¿åå½¢å¼ããããã¯ä¿å表ç¾ï¼é©åãªã¢ã¸ã¥ã©å½¢å¼ã®ä¸è¬åï¼ããä¾ãã°æ°ä½ä¸ã®ä»»


{{#tags}}- {{label}}
{{/tags}}