An Application of Ramsey's Theorem to Proving Programs Terminate (An Exposition)

William Gasarch
http://arxiv.org/abs/1108.3347

プログラムの停止性の証明にRamsey理論を応用する、という研究の紹介．複雑なRamsey理論を使うわけじゃないけど，個人的にこういうのは好き．実際に使われるようなプログラムとかアルゴリズムにこういうのがでてくると面白いかもしれない．