0252132人目の素数さん垢版 | 大砲2018/01/30(火) 20:12:29.09ID:aCBcWd6E >>250 山下氏がFAQで書いているようにグロタンディーク宇宙を「取り替える」ために必要だということ?