トップ «前の日記(2002-03-29) 最新 次の日記(2002-03-31)» 月表示 編集

日々の流転


2002-03-30 [長年日記]

λ. 圏論

残り約60ページ。結局、この本には natural transformation すら登場しないみたい。それでも、最後にはtoposとlogicの話も出てくるので、そこら辺は割と楽しみ。

…とはいえ、入門書を一冊読むだけで春休みが終わってしまったような感じだし、もっと効率的に学習する方法を考えた方が良いよな。こんなペースで勉強してたら、あと3年なんてあっという間だ。

Tags: 圏論

λ. F

体験版というのが公開されてるみたい。でもこの体験版、浜中さん他のゼミのメンバや望月さんとかのあの扱いはちょっと酷いと思うし、なんか全体的にイマイチな感じ。

そういえば、いつのまにか発売されているのね。このクオリティで¥6800は高いと思いながらも、買ってしまいそう。信用できんぞ、「俺」需要曲線。