昔、母校の学長が「コンピュータでできることはオートマトン（チューリングマシン）でできるなら、
全てのプログラムをそれで書けばいいんじゃないの？」って言ってた。ありえないとは思うが、
ずっと心に引っかかってる。