キャベツ

数学好き、特に代数、基礎論あたり。 圏、直観、自然演繹、位相、群環体があると飛びつきます。 東方始めました。 うい好き。 哲学、音楽理論、エアプです。 何でも投げて下さい