電子計算機とは②_チェック計算――コンピュータの使い方をめぐる軽妙なダイアローグ