人工知能の理論(増補) [コンピュータ数学シリーズ] (コンピ�