チャールズ・バベッジ / オーウェン・ギンガリッチ 編 ; ブルース・コリアー 著 ; 須田康子 訳