202227400

「コンピューター上で便利なものは、理論的にきれいにまとまる階層の少し先にある」という印象がある。正規でない正規表現は便利だし、実用的なプログラム言語の型システムはだいたいチューリング完全である。まあでも「少し先」というのは素人の印象で、本当は「すごく先」なのか。小さな非線形項を持つ微分方程式と、その項を落とした線形方程式の違いを少しだとは捉えないように。