https://twitter.com/kinaba のログ (twilog の方が便利です。)
| あした休みなのか！！！！ | |
| うおxsdさんの証明めっちゃ短いし compile a ++ compile b ++ [Add] じゃないコンパイラだ。格好いい #anarchyproof | |
| @finalfusion おじいちゃん祝日はさっき敬老の日があったでしょ、ということで9月の休みは終わりかと思ってました。なんというフェイント。 | |
| @xsde 計算をFixpointで直接書くのなしで全部証明で構築する縛りを自分に課してみてるのですが、それのせいだけでなくなんかひどいことになってしまってます… | |
| 証明のどこをgeneralizeすればこのアキュムレータ変数が湧いてくるようになるか |