計算論的思考ってなに？　コンピュータサイエンティストのように考える