プログラムの実行過程(計算過程)を記録し、後から検証できるような
プログラム言語を作ればいいのではないか?