ジョン・ミルナー
ジョン・ミルナー (John Milner、Milnor)