トップ «前の日記(2008-05-10) 最新 次の日記(2008-05-12)» 月表示 編集

日々の流転


2008-05-11 [長年日記]

λ. 第四十回圏論勉強会

今日は圏論勉強会。 『The Haskell Programmer's Guide to the IO Monad ― Don't Panic』を読む四回目で、Section 6.3 “An alternative definition of the monad”から最後まで。 モナドの代替的な定義としての Kleisli Triple と Haskellの定義での定義、それらの等しさ。IOモナドの説明。 次回から何をやるかは未定。

母の日ということで、帰りにシュークリームを買って帰った。 クッキーっぽいやつと、五月限定のさくらんぼのやつ。

関連

Tags: 圏論

λ. 新ディスプレイ

ディスプレイが壊れたので、新しいディスプレイを買ってみた。 ディスプレイのことなど何も分からないので、適当に安めだったiiyamaの20インチのやつに。¥24,800

iiyama 20インチワイド液晶ディスプレイ ブラック PLE2003WS-B1

これまでのに比べると画面が広くて綺麗だなぁ。弾幕が映える(ぉ