タイムマシンプログラミングちょっと考え直した．

get_data_from_future() が未来からデータを受け取る，set_data_to_past(x) が過去にデータ x を送る，そういう回路を実行出来るAPIだとする．

data = get_data_from_future();
while (true) {
if (is_ok(data)) {
set_data_to_past(data); // 因果のループ作成
break;
} else {
new_data = calc_new_data_at_random(); // 乱数生成器は信頼出来るとする
if (new_data != data) {
set_data_to_past(new_data); // 可能性の作成
}
// new_data == data が「偶然」生成され続けることで答えが無いことを検知可能に
}
}
print(data); // 必ず正解がループを1度も回らず表示される

正しくはこうかも？

いや何の意味もない議論なんだけど…