0557132人目の素数さん垢版 | 大砲2019/11/30(土) 21:25:46.82ID:oDqliHxu >>555 科研では 望月氏が 2004年から2006年に かけ、松本眞氏の元で abc予想の解決に 向けてIUTTを構築していったとも読めます。