関数型のプログラミング言語と、まちづくりには大きな関係があると思っている。大きな関係がある、というのはちょっと曖昧だが、ぱっと思いつくところでは 地方創生あるいは過疎、人口減少という中で、徳島のサテライトオフィスのように、関数型プログラミン…

去年のProofsummitのときに、Agdaという言語はなぜそういう名前なのかという話を飲み会でしたら結構好評だったので、あらためて調べたことも含めて。Agdaとは何かというと、これのことみたい。 実際、Agda the henでググってみると http://bit.ly/1aBKbbH と…

神奈川大学圏論勉強会 https://gist.github.com/kino3/37ee4c6e2d57e490bed6というのを作って、圏論の勉強をはじめた。JCLoveという怪しい感じのネーミングにしてみた。NAISTの修士時代、去年5月ぐらいからNAIST時代の先輩とリモートで勉強会をやろうとした…