米田の補題についてid:oto-oto-otoさんとtwitterでやりとりするうち、こんな文書がみつかりました。ここに、米田先生が大学を退官するときの退官の辞と、米澤明憲先生の米田先生を送る言葉が載ってます。 やりとりそのものの結論は僕の勘違いだったんですけ…