作るプログラムの機能や性能で勝負したい。そうだ、データベースを勉強しよう - きしだのはてな

2011/09/27 612 users はてな データベース 性能 プログラム 目星

さて、アルゴリズムの勉強のしかたと、ラムダ計算の勉強のしかたの目星をつけました。アルゴリズムの勉強のしかた - きしだのはてなラムダ計算の勉強のしかた、プログラム意味論 - きしだのはてな これでここで書いたプログラムの理論の基礎は勉強できたことになるんじゃないかと思います。プログラムの理論とはなにか - きしだのはてな ところで、プログラムの勉強地図としてこういう図を書きました。で、ハードウェア... 続きを読む

作るプログラムの機能や性能で勝負したい。そうだ、データベースを勉強しよう-きしだのはてな

2011/09/27 610 users はて 目星 きし アルゴリズム ハードウェア

さて、アルゴリズムの勉強のしかたと、ラムダ計算の勉強のしかたの目星をつけました。アルゴリズムの勉強のしかた - きしだのはてなラムダ計算の勉強のしかた、プログラム意味論 - きしだのはてな これでここで書いたプログラムの理論の基礎は勉強できたことになるんじゃないかと思います。プログラムの理論とはなにか - きしだのはてな ところで、プログラムの勉強地図としてこういう図を書きました。で、ハードウェア... 続きを読む

ラムダ計算の勉強のしかた、プログラム意味論 - きしだのはてな

2011/09/26 171 users エントリ アルゴリズム はてな 側面 性質

先日のエントリで手続きを記述するという側面と、式を記述するという2つの側面があるということを書きました。プログラムの理論とはなにか そして、手続きの性質として代表的な、アルゴリズムについての勉強のしかたについてまとめてみました。アルゴリズムの勉強のしかた そこで、今回は、式を記述するという側面の勉強のしかたと、あとこの分野は自分でもまだ全然勉強してなかったので、これからどういう本を読もうと思ってい... 続きを読む

檜山正幸のキマイラ飼育記 - 絵を描いて学ぶ・プログラマのためのラムダ計算

2007/02/20 147 users プログラマ 檜山正幸 キマイラ飼育記 備忘 フィードバック

雑記／備忘 | 16:23 | 「JavaScriptで学ぶ・プログラマのためのラムダ計算」は、1回では述べ切らなくて、一段落付いたところで区切りました。これはかえって良かったですね、ブックマークやトラックバックでフィードバックが得られたので。そのフィードバックなどをかんがみて、「残り＝次回の話題」として予告した内容とは食い違ってしまうのだけど、今回は、文章では伝わりにくい（前回うまく伝わらなかっ... 続きを読む

檜山正幸のキマイラ飼育記 - JavaScriptで学ぶ・プログラマのためのラムダ計算

2007/02/08 275 users プログラマ 檜山正幸 キマイラ飼育記 備忘 鉛筆

雑記／備忘 | 12:38 | 「JavaScriptによるテンプレート・モナド、すっげー簡単!」にて：紙と鉛筆でラムダ計算を実行できることは必要だな、やっぱり。なんて強調したので、ラムダ計算の入門、いってみよう。[追記]練習問題集を追加しました。説明を読みながら、あるいは読んだ後で是非やってみてください。→「JavaScriptで学ぶ・プログラマのためのラムダ計算 問題集」[/追記]※印刷のとき... 続きを読む