http://www.reviewboard.org/とりあえず、こういうのが必要になる規模のコードを書かねば。

ルールを見ているだけで楽しい。 http://www.kmonos.net/pub/Presen/ptt378.pdf

開催告知 http://kokucheese.com/event/index/18660/ Jenkins開発者川口耕介さんの日記 http://d.hatena.ne.jp/kkawa/20111006/p1?utm_source=twitterfeed&utm_medium=twitter USTREAM http://www.ustream.tv/channel/jenkins-night はじめに http://www.ust…

基本的な語彙の確認に使えるかも。http://www.ipa.go.jp/software/open/ossc/seika_0605_2.html

http://www.dartlang.org/http://gotocon.com/dl/goto-aarhus-2011/slides/GiladBracha_and_LarsBak_OpeningKeynoteDartANewProgrammingLanguageForStructuredWebProgramming.pdf うーむ、どんなものなのか調査してみよう。

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

https://github.com/pallet/ritzClojureをdisassembleする方法があるらしい。# thanx @athos0220

論文を読む習慣をつけるため、 会社のFacebookコメントと連動して日記を書く。http://www.itu.dk/courses/BPRD/E2009/fundamental-1967.pdf 気になったこと evaluatingとapplyingの違い ad hoc polymorphismとparametric polymorphism

某所で、「函数プログラミングの集い」( http://partake.in/events/2228deb7-124e-43d0-ba6b-026ec4b67d39 )に関する記事原稿の チェック作業を仰せつかった・・・のだが、 私は函数プログラミングの集いに参加していない。 技術情報ならともかく、発表者の…