トップ «前の日記(2009-09-18) 最新 次の日記(2009-09-23)» 月表示 編集

日々の流転


2009-09-20 [長年日記]

λ. Introduction to Categorical Programming

Haskell Annual Meeting Autumn.jp 2009 (Hama.jp 2009) で、CPL とか Haskell での Categorical Programming の紹介をしたのだけど、テーマを絞りきれなかったのと、準備が間に合わなかったので、かなりグダグダな感じに。

このままというのはあんまりだと思ったので、修正版の資料を作成した。テーマが絞れていないという、根本的な問題は直ってないので、あまり変わらないけど……

資料(修正版)

ダウンロード(PDF)

資料(当日版)

ダウンロード(PDF)

参考資料や関連情報など

その他 HAMA.jp 関係