日記

甘味処 『甘いっ子』

で、氷いちごミルク金時を食べた。ありえないほどうまくて驚いた。カキ氷よりはアイスクリーム、アイスクリームよりケーキが好きな自分だが、このカキ氷には、ほれた。 イチゴソースが、あかい色のついた甘いだけのアレとちがって、なんか本当にイチゴの味が…

圏論勉強会

圏論勉強会、無事に初参加を果たして参りました。 ドメインセオリーのところがちょっと厳しかったです。 順序とか位相のあたりを勉強しようと思いました。まる。 みなさん、ありがとうございました。 そしておつかれさま>自分

最近勉強がたのしい

圏論勉強会への参加を敢行するために、今週はあせりながら"CATEGORIES TYPES AND STRUCTURES "を中心にProductとExponentialとかを勉強した。http://staff.aist.go.jp/kinoshita.yoshiki/intro-cat20060911.pdfこちらに、 Mac Laneを読むのが結局近道 計算機…

今日は、お客さんと飲み会でした。 ワインを飲んで酔っ払いました。 ピザはまぁまぁでした。 まる。