計算機科学のための数学談話会_完_数学と計算機科学 - 共立出版コンピュータサイエンス誌『bit』