利用者:Squawai

英語記事からの翻訳が主の予定。メインエリアは数学、特に数理論理学。