計算機科学
佐藤雅彦 (理論計算機科学者)