プログラミング原論―いかにしてプログラムをつくるか (サイエンスライブラリ―情報電算機)