tak/takeuchi/tarai関数の停止性
http://www.kmonos.net/wlog/61.html#_1445060501
項書き換えの例として死ぬほど研究されていそうなので「人類の外部記憶」であるGoogleで検索する…のは問題の趣旨からして駄目ですよね(笑)。
ちなみに今日から外山研究室でTerm Rewriting and All Thatの輪講。うちの学生さんも参加してください。外山先生はこの分野の第一人者です。と宣伝。
追記:外山先生、大堀先生、篠埜さん、学生さんたち(∋末永くん)という豪華なメンバーでした。外山先生が発表して、大堀先生や僕も練習問題を解くという。しかも問題を見間違えてトンチンカンな答えを口走ったアホな私。