>謎のプロ数学者
 大沢健夫って実名で書いてあげなよ
 でもあの人、多変数複素関数論はともかく
 無限集合論はわかってないみたい
 数学タコツボ化の弊害だね