鹿島亮『C言語による計算の理論』