なぜ「ラグラジオ? @farokh@ProofOfElyのMax Abstractionで名前を説明しています↓
877