テレンス・パー（Terence Parr）の論文 "Enforcing Model-View Separation in Template Engines" (http://www.cs.usfca.edu/~parrt/papers/mvc.templates.pdf) と彼が設計したテンプレート言語／エンジン StringTemplate (http://www.stringtemplate.org/) …

http://golem.ph.utexas.edu/category/2009/04/graphical_category_theory_demo.html で知りました。 http://www.j-paine.org/cgi-bin/webcats/webcats.php ページ内にあるボタンを押すと、圏論の諸概念に対して有限集合の圏における具体例が、式と図で表示…

「カリー／ハワード（Curry-Howard）のお絵描きを楽しもう」にて： シリーズ3回全体を総括しなきゃ、とか思っている間に4月になってしまいました。「次はどうしようか？」とかもいずれ書くつもりです セミナー前後の事務的処理がどうも苦手で、けっこうそれ…