æªè§£æã ã£ãæ°å¦ã®è¶ é£åãABCäºæ³ãã証æããã¨ããæææ°ä¸ã»äº¬é½å¤§æ°ç解æç 究æææï¼51ï¼ã®è«æããåæãç·¨éããæ°å¦å°éèªã«æ²è¼ããããã¨ã決ã¾ã£ãã3æ¥ã京大ãçºè¡¨ãããABCäºæ³ã¯ãç´ å æ°å解ã¨è¶³ãç®ã»ããç®ã¨ã®é¢ä¿æ§ã示ãå½é¡ã®ãã¨ã4ç·¨è¨646ãã¼ã¸ãããªãè«æã¯ãæ¬æ°ãã¨é£è§£ãããæ»èªï¼è«æã®å 容ãã§ãã¯ï¼ã«8å¹´ããã£ããããã®æ£ãããèªãããããã¨ã«ãªã£ããæåãªæ°å¦ã®é£åããã§ã«ãã¼ã®æçµå®çãï¼1995年解決ï¼ãããã¢ã³ã«ã¬äºæ³ãï¼2006年解決ï¼ã®è¨¼æãªã©ã¨ä¸¦ã¶å¿«æã¨ãªãããé¿é¨å¨ä¸ãæ¾æ¬å 樹ã ææææã¯2012å¹´8æãæ§æ³ãã10年以ä¸ããããå®å®éã¿ã¤ããã¥ã¼ã©ã¼ï¼IUTï¼çè«ãã®è«æ4ç·¨ããã¤ã³ã¿ã¼ãããä¸ã§å ¬éããããããç¨ããã°ABCäºæ³ãªã©è¤æ°ã®é£åã証æã§ããã¨ä¸»å¼µãã大ããªæ³¨ç®ãéããããæ¢åã®æ°å¦ãåç«ããæ çµã¿ï¼å®å®ï¼ãè¤æ°èããã¨ããæ§æ³ã¯
{{#tags}}- {{label}}
{{/tags}}