「プログラム意味論」が面白かった - Pixel Pedals of Tomakomai
ずーっと前から読みたかったけど絶版になってしまって読めなかった本が復刊。 プログラム意味論 (情報数学講座) 横内 寛文 最初はラムダ計算とコンビネータ理論から入り、3章で領域理論について解説する。posetの取り扱いとか最小不動点定理とかまともに学んだことなかったので、すごくためになった。 そして型付きラムダ計算を元に関数型言語の操作的意味論と表示的意味論の比較。正格性の話にもページを割いている。この辺もあまり区別できずにいたのでありがたい解説。 5章は圏論で、随伴は出てこないけど必要な話はだいたい入ってる印象。6章は逆極限法で、型無しラムダ計算の意味論に必要な同型である X≃X^X を満たすXを調べる。圏論で一般化して始代数の存在の話とか最小不動点定理の言い換えとか、ここも非常に面白い内容。 最後の章で、CCC(Cartesian Closed Category)で型無しλ計算の意味論
メトロネットワーク最短路問題 (Mathematica) by Inquisitor
プログラミングの入門に適した言語は何かという問いに唯一の具体的な答えというものはありません。多くの大学ではC言語を使っているでしょう。MITのように関数型言語を使う例もあります（その教科書SICP）。基本的にはなんでもいいと私は思います。オブジェクト指向でしか書けないような言語は、思考を制限してしまう危険があるのでちょっと躊躇しますが、取り返しがつかないというほどではないでしょう。 関数型で入門したい（させたい）けれど、SICPは本格的すぎるという向きには、浅井健一『プログラミングの基礎』（サイエンス社, 2007）がいいかもしれません。使用言語は関数型言語OCamlですが、プログラミング言語ではなくプログラミングを学べるように書かれています。 でも、ちょっと引っかかるところがあったので、そのことについて書いておきます。 プログラミング言語について学ぶのであれば、Javaなどのオブジェクト
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
