旺茶は俳人で言葉に詳しいだけ。　数学趣味スレ参照。