サクサク読めて、アプリ限定の機能も多数!
Categories and Computer Science
m-hiyama-taxon のブックマーク 2006/11/21 13:15
データ型のクレイジー計算 - 檜山正幸のキマイラ飼育記 (はてなBlog)[cat-theory][algebraic][book-paper-magazine]Categories and Computer Science2006/11/21 13:15
このブックマークにはスターがありません。 最初のスターをつけてみよう!
m-hiyama.hatenablog.com2006/05/19
sumiiさん曰く: 「積型(組)と和型(バリアント)はあるから、多項式にテイラー展開すれば√τみたいな型も考えられる」という話を思い出しました。どこで聞いたのか思い出せないのですが… R. F. C. Waltersの"Ca...
7 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /
Categories and Computer Science
m-hiyama-taxon のブックマーク 2006/11/21 13:15
このブックマークにはスターがありません。
最初のスターをつけてみよう!
データ型のクレイジー計算 - 檜山正幸のキマイラ飼育記 (はてなBlog)
m-hiyama.hatenablog.com2006/05/19
sumiiさん曰く: 「積型(組)と和型(バリアント)はあるから、多項式にテイラー展開すれば√τみたいな型も考えられる」という話を思い出しました。どこで聞いたのか思い出せないのですが… R. F. C. Waltersの"Ca...
7 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /