0315132人目の素数さん垢版 | 大砲2019/02/16(土) 11:05:57.53ID:Lm5YUuIP 層・圏・トポスだっけ? 著者が自分で細部気にしてないって言ってたけど、大したことない学者なんやろなぁ……