一般たらいまわし関数の停止性の証明
ちまちまと進めてたんだけど、だいたいきれいになってきたので公開
http://github.com/kik/TaraiTermination
元にした証明は http://d.hatena.ne.jp/kururu_goedel/20100719
Coq庵 http://atnd.org/events/6022 でちょっと解説する予定。
参考資料
ちまちまと進めてたんだけど、だいたいきれいになってきたので公開
http://github.com/kik/TaraiTermination
元にした証明は http://d.hatena.ne.jp/kururu_goedel/20100719
Coq庵 http://atnd.org/events/6022 でちょっと解説する予定。
参考資料