2011-10-10から1日間の記事一覧
ProofSummit2011振り返り natはCoqでは5000くらいで止まってしまう プログラミング言語でのintには対応しないよAgdaであそぼ -- プログラム代数の話 来年どうするか? 関数型プログラミングのイベントにくっつけるのなら、名古屋でやるんじゃないか? 昔はOCam…
ProofSummit2011振り返り natはCoqでは5000くらいで止まってしまう プログラミング言語でのintには対応しないよAgdaであそぼ -- プログラム代数の話 来年どうするか? 関数型プログラミングのイベントにくっつけるのなら、名古屋でやるんじゃないか? 昔はOCam…