『コンピュータプログラミングの概念・技法・モデル