1993年度ACMチューリング賞受賞記念講演_計算の複雑さと計算機科学の性質について