ACMチューリング賞50周年記念大会：Computer Science as a Major Body of Accumulated Knowledge 知識の集積としての計算機科学