1994年度ACMチューリング賞受賞記念講演_“What”はいかにして“How”になるか