チューリングマシンとは？コンピューター・ソフトウェアの生みの親アラン・チューリング