>>260
「岩波数学辞典」

「コンピュータの数学」、
「コンピュータのための数学−論理的アプローチ」