関数型言語の研究者

と紹介されることがあります。光栄というか非常に恐れ多いですが、どちらかといえばMinCamlや「関数型言語」は研究ではなく教育(と趣味)で、研究はもうちょっといろいろとやっていますので一応…。いや、たとえば「計算機言語基礎論」等といっても誰もわからないので、わかりやすく言っているだけだと思いますが。とにかく紹介感謝。