実はすでにスキーム幾何から新しいブルースキームが誕生してる
http://arxiv.org/pdf/1301.0083.pdf
これのもともとのアイデアは計算機でよく使われる再帰スキーム
http://arxiv.org/pdf/1101.4929v3.pdf
に基づくもので、スキーム幾何と再帰論は不可分なんだな