2005-03-28から1日間の記事一覧
20世紀の最後の20年ほどで、コンピューティング・サイエンスはある意味で爆発的とも言える発展をしたのですが、圏論はそれをささえた枠組み(の少なくとも1つ)だったろうと思います。例えば、代数/余代数の双対は圏論なしの定式化は考えにくいし、部分関数…
はてなダイアリーの「リンク元」(日記エントリーへのアクセスの直前のURL)表示はたまに眺めて、元URLをたどってみたりします。土曜日2005-03-26エントリに、www.tom.sfc.keio.ac.jp/~sakai/d/からのアクセスが随分とあったのでたどってみると、おやまっ! …