2009-10-13から1日間の記事一覧
ルーリエ(Jacob Lurie)は、やっぱり21世紀の(少なくとも21世紀前半)のグロタンディークだと思う。分野横断的な遠大で包括的な構想力、神がかりというか天の啓示みたいにスルスルと新しい概念とアイディアを出してくるし。そして、千ページ単位の書き物を…
MeadowはWindowsなので、改行コードを表す記号が: 記号 改行 (Mac) CR (Unix) LF \ CR+LF それと: キー コマンド C-x RET f set-buffer-file-coding-system C-x RET c universal-coding-system-argument C-x C-v RET find-alternate-file
次のような項目: 名前とラムダ束縛:対角Δ、終射!が名前によって実現される。 関数とメソッドの相互トランスレーション 関数、クラスメソッド、インスタンスメソッドの定式化 継承、委譲、DI などが、射影、indexed category、スタンピング関手で定式化でき…
http://d.hatena.ne.jp/m-hiyama-memo/searchdiary?of=60&word=%a5%c8%a5%ec%a1%bc%a5%b9%c9%d5%a4%ad ビックリするくらいイッパイ書いている。