チューリングとディジタル計算機の起源