75年度チューリング賞受賞講演_経験に基づく探究としての計算機科学_記号と探索(I)