昼寝してると何か面白い問題が解けたんだけど、起きたら忘れてしまった。何かの実行結果を言語的に記録していって、そのログを解析すれば答えが出せる仕組みだった。