Re:>>678 Maximaの作者とか、Emacsの作者とか。人工知能の開発にも使われているそうだ。