ラムダ計算の勉強のしかた、プログラム意味論 - きしだのHatena
先日のエントリで手続きを記述するという側面と、式を記述するという2つの側面があるということを書きました。 プログラムの理論とはなにか そして、手続きの性質として代表的な、アルゴリズムについての勉強のしかたについてまとめてみました。 アルゴリズムの勉強のしかた そこで、今回は、式を記述するという側面の勉強のしかたと、あとこの分野は自分でもまだ全然勉強してなかったので、これからどういう本を読もうと思っているかをまとめてみます。 プログラム意味論 プログラムは必ずプログラム言語、少なくとも記号で記述します。*1 そこで、プログラムの勉強という点では、どのように動くかというアルゴリズムの勉強だけではなく、どのように書けるか、書いたものにどのような性質があるのかということも知る必要があります。 例えば、2005年あたりからRubyのような動的型付け言語が流行りだし、Javaなどの静的型付けの言語との
うさみみエンジニアが2012年に買った技術書 - うさぎ組
追加 2013/01/01 ここから 僕の読書方法Togetter 【うさみみさんの本の読み方 - Togetterまとめ】 (2012年の【僕がソフトウェア開発を勉強し始めて3年間でやったこと - うさぎ組】のときに「どのように読書しているか」への質問ツイートへの返答をまとめたもの) 追加 2013/01/01 ここまで なんかTwitterでつぶやいたら気になるとの事だったのでのっけてみます。 （個人的には他人のが気になるので、これを見た人が自分のを公開してくれるとうれしい とりあえず、新しく買ったり、借りたりして読んだ技術書は全部のっけます。 2011年に既に買っているものは省いています。 その中でもいいなって思ったのは前半で括りだしてみました。 「いいな」っていうのは「今の自分にぴったりだったな」っていう意味で良書かどうかはまた別かもね。 うさみみ的によかった新しく読んだ書籍たち
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
