Nash理論を数学的に定式化したのは広中だよ
弟子が正標数の場合に拡張しようとしている