Categories and Computer Science

m-hiyama-taxonm-hiyama-taxon のブックマーク 2006/11/21 13:15

その他

このブックマークにはスターがありません。
最初のスターをつけてみよう!

データ型のクレイジー計算 - 檜山正幸のキマイラ飼育記 (はてなBlog)

    sumiiさん曰く: 「積型(組)と和型(バリアント)はあるから、多項式にテイラー展開すれば√τみたいな型も考えられる」という話を思い出しました。どこで聞いたのか思い出せないのですが… R. F. C. Waltersの"Ca...

    \ コメントが サクサク読める アプリです /

    • App Storeからダウンロード
    • Google Playで手に入れよう