計算と論理と数学が一体になったところを
はっきりと見せてくれる本