甦るチューリング コンピュータ科学に残された夢