岡潔の数学への貢献はすばらしいが…