サクサク読めて、アプリ限定の機能も多数!
「論理と計算のしくみ」を持っているしラムダ計算を勉強しようかな…?
pcds90net のブックマーク 2011/09/27 00:38
ラムダ計算の勉強のしかた、プログラム意味論 - きしだのHatena[*あとで読む][アルゴリズム][プログラム][勉強]「論理と計算のしくみ」を持っているしラムダ計算を勉強しようかな…?2011/09/27 00:38
このブックマークにはスターがありません。 最初のスターをつけてみよう!
nowokay.hatenablog.com2011/09/26
先日のエントリで手続きを記述するという側面と、式を記述するという2つの側面があるということを書きました。 プログラムの理論とはなにか そして、手続きの性質として代表的な、アルゴリズムについての勉強のし...
175 人がブックマーク・12 件のコメント
\ コメントが サクサク読める アプリです /
「論理と計算のしくみ」を持っているしラムダ計算を勉強しようかな…?
pcds90net のブックマーク 2011/09/27 00:38
このブックマークにはスターがありません。
最初のスターをつけてみよう!
ラムダ計算の勉強のしかた、プログラム意味論 - きしだのHatena
nowokay.hatenablog.com2011/09/26
先日のエントリで手続きを記述するという側面と、式を記述するという2つの側面があるということを書きました。 プログラムの理論とはなにか そして、手続きの性質として代表的な、アルゴリズムについての勉強のし...
175 人がブックマーク・12 件のコメント
\ コメントが サクサク読める アプリです /