サクサク読めて、アプリ限定の機能も多数!
Curry-Howard同型って、やっと覚えられそう
kgbu のブックマーク 2008/06/30 22:32
d.y.d. 文字コード&ベイズ推定[lambda][logic][programming-functional][計算論][いまさら訊けない]Curry-Howard同型って、やっと覚えられそう2008/06/30 22:32
このブックマークにはスターがありません。 最初のスターをつけてみよう!
www.kmonos.net2006/05/02
12:21 06/05/28 うたひめ 先日の記事に書いたように KOKIA にハマりまして、 とりあえず片っ端から聴いてみることにしました。まずは 1st アルバムの 『songbird』 から … …4曲目の "白い雪" ヤバい。超ヤバい。...
123 人がブックマーク・25 件のコメント
\ コメントが サクサク読める アプリです /
Curry-Howard同型って、やっと覚えられそう
このブックマークにはスターがありません。
最初のスターをつけてみよう!
d.y.d. 文字コード&ベイズ推定
12:21 06/05/28 うたひめ 先日の記事に書いたように KOKIA にハマりまして、 とりあえず片っ端から聴いてみることにしました。まずは 1st アルバムの 『songbird』 から … …4曲目の "白い雪" ヤバい。超ヤバい。...
123 人がブックマーク・25 件のコメント
\ コメントが サクサク読める アプリです /