[対象業績]「記号処理プログラミングから分子プログラミングまでプログラミング言語の研究」 昭和57年京都大学数理解析研究所助手,昭和63年京都大学数理解析研究所助教授,平成4年東京大学理学部助教授,平成5年東京大学大学院理学系研究科助教授,平成7年東京大学大学院理学系研究科教授,を経て,現在東京大学大学院情報理工学系研究科教授.本会CS 領域財務委員, CS 領域委員長,調査研究運営委員長を歴任.元理事(調査研究担当). [業績推薦理由] 萩谷昌己君は,各種のプログラミング言語,すなわち, Lisp に代表される記号処理言語, Lispを理想化した関数型言語, Prologに代表される論理型言語,さらにJavaに代表されるオブジェクト指向言語に関して,様々な処理系の開発を行うとともに,意味論,型理論,検証系などの基礎理論に関する研究を幅広く推進して来た.東京大学の学生時代は佐藤雅彦氏ととも
![萩谷 昌己 君-情報処理学会](https://cdn-ak-scissors.b.st-hatena.com/image/square/6a4eb18ea6a19122e632aec5c389a2c1011cfb64/height=288;version=1;width=512/https%3A%2F%2Fwww.ipsj.or.jp%2Fsystem%2Fg5dn8200000000fl-img%2Fca39ob0000000akm.png)