それで高瀬はオイラーやガウスやアーベルの翻訳をやっているわけか
それらが岡潔によって統合されるというシナリオなんだね