計算機科学って、どのあたりが「科学」っぽい?