>>291 米田の補題（＾＾；

http://repository.dl.itc.u-tokyo.ac.jp/dspace/handle/2261/27888?mode=full
http://repository.dl.itc.u-tokyo.ac.jp/dspace/bitstream/2261/27888/1/rgn21_4_5.pdf
米田信夫先生を送る 米澤明憲 東京大学理学部廣報 UTokyo Repository 1990

抜粋
近年、プログラミング言語研究の基礎的部分で、カテゴリー理論を用いて理論を展開することが盛んに行われるようになりましたが、米田先生を信奉するこの分野の内外の研究者の多さに敬服するばかりです。
中でも印象深いのは、1978年の夏、京都で開催された計算機科学の国際シンポジウムでの出来事です。
シンポジウムの途中で、参加者各自が自己紹介をする機会あり、米田先生が
"My neme is Yoneda. Once I was a categorist. "と言われた途端、
招待参加者の１人 Joseph Goguen (現 Oxford 大学計算機科学科教授)が、"Oh, That Yoneda "と叫んで、一瞬床に片膝をついて、手を合わせたのです。
「米田の補題」は先生がプリンストンの高等研究所におられた時代のお仕事とうかがって居ります。
そのお仕事の結果について、パリを発とうとしているS.Mac Laue教授に、北駅のベンチでの短い面接時間に話され、それによって同教授の教科書にYoneda's Lemmmaとして登場したそうです。

プリンストンから戻られた米田先生は、弥永昌吉先生に、「君は、これから計算機をやってはどうか」と示唆され、以後、日本の計算機科学の研究者に深い影響を与えてこられました。