というわけで再開。電車の中でまったりと読む。 ひげぽんさんの関数型言語を学ぼうはネタバレにならないように、自分の進捗に合わせて読んでいます。この本は手を動かして発見することが多い。 関数型言語の勉強にSICPを読もう - (53) 4章 - 超言語的抽象(216ページ) C++でSchemeインタプリタを作ろう1 ← いまここ The little schemer、The Seasoned Schemerの時がそうでしたが、どっちの処理系が動いているのか分からない。例えば、eval、if、pair?、variable?とかが、goshに渡されているのか、今書いた俺様処理系で処理されているのか、昔書いたutil.scmとかで定義されているのか、なにがなんやらという感じ。The little schemerは、解説らしい解説がほとんど無いから余計に悩んだ。前回はもう一回SICPでやるのが分かっ
<< 2007/03/ 1 1. [Ruby] Rubyist Magazine - Rubyist Magazine 0018 号 2. ストレートタイプのスマートフォン「NOKIA E61」レポート 3. ITmedia エンタープライズ:TopCoderで世界と渡り合う日本IBMの異才 - 夷藤勇人 4. My Sleepless Nights in the Big Apple: Apple、サブノート市場へ再参入へ 5. ITmedia Biz.ID:失敗しないプロジェクトマネジメント -- Appleやはてな、Googleに学ぶ3つのヒント 6. 平成19年度「情報大航海プロジェクト(モデルサービスの開発と実証)」に係る委託先の公募について 7. [言語] PyCon 2007 Review 8. [Ruby] deep_science:Re:バザール「オープンソース、そして「R
Unlocking knowledge, Empowering Minds. Free lecture notes, exams, and videos from MIT. No registration required. Learn More about the OCW mission Free and open access to knowledge needs your support. When you donate to MIT OpenCourseWare, you open up possibilities for learners everywhere. Make your gift before our June 30 fundraising deadline. Chalk Radio: a podcast about inspired teaching at MIT
このサイトは、「素人くさいSICP読書会」に参加したいのですが地方在住のためままならぬ私 naoya_t が、近所の喫茶店(や電車の中)などで「独」書会と称してSICPを読み進める過程を記した個人的なメモです。 閲覧は自由ですが、記述の正確性、正当性、学術性は全く保障できませんので、参考程度にとどめておくことを強くお勧め致します。(大学でSICPを教材に使っている学生が当サイトを虎の巻にして単位を落としたとしても一切保障しませんし、商用・非商用を問わず当サイトの記述に基づいて実装したプログラムによって損害を被ったとしても一切関知致しませんのであらかじめご了承ください。) ◎RSSフィード始めました。(2006/5/1) Copyright 2006-2007 © naoya_t. All Rights Reserved. Powered by wifkyrss.pl 0.11.1 RSS
Church Numerals と Lambda Calculus アルゴリズムとデータ構造入門 補足 後半は佐藤雅彦先生に教えてもらいました. SICP Exercise 2.4 〜 Exercise 2.6 誤解を恐れずに大雑把にいうと, λ計算では名前つきのシンボル (名前付きの手続き) による再帰呼出しや special form が使えないところが Scheme と違うところです. そのため, λ計算を Scheme で行うためにはいろいろな工夫が必要となります. そのポイントは closure (閉包) と呼ばれる構造です. 自然数 n の Church numeral を c(n) とすると, c(n) f x = (f ... (f x)), ただし, f は n 回出現. となることを利用します. まず, c0 と successor を定義します. (SICP Ex.
火曜研究会は情報システムの開発のための、基礎的な能力を身につけることを見据え、プログラミングそのものを研究します。 学期ごとにテーマを設定し、 輪講や実習を行います。いろいろなレベルの人がチームを組んでプログラムを作ることにより、お互いに教え合い、全体のレベルを高めることを目指します。また、例年全員で国際的なプログラミングコンテストとして有名なACM プログラミングコンテストに参加しています。写真は2007年のACMプログラミングコンテスト国内予選の様子です。 木曜研究会では、各プロジェクトの進捗報告や議論を行います。研究会としての活動の中心です。 プロジェクトは学生が自主的に設定し、複数人のグループで行われます。情報システムを扱う以外にプロジェクトのテーマはなく、幅広い領域のプロジェクトが活動しています。詳しくはプロジェクト紹介のページをご覧ください。例年いくつかのプロジェクトがSFC
約半年をかけて計算機プログラムの構造と解釈(SICP)を読み終わりました。 (途中で、練習問題をスキップしたりしましたが・・・) 半年もかけたのでちょっとだけ振り返って見ます。 SICPを読む過程で得たもの まずはSICPを読む過程で得たものからざっと列挙してみよう。 構文解析を理解し自前で実装できるようになった 字句解析を理解し自前で実装できるようになった ストリームを理解した 遅延評価を理解した 手続きが first class objectである言語での考え方を学んだ 型変換の導入の動機とその意味を理解した 手続きの抽象化の導入の動機と過程を学んだ 高階関数を使ったり書けるようになったりした クロージャを理解した Schemeを書けるようになった 再帰処理を自然に書けるようになった フルスクラッチでインタプリタを書けるようになった コンパイラを自前で書くことが出来そうだとの感触を得た
しばらくサボっていたので反省して一気に読み進める。 ちょっと難しいところにさしかかったので、まとめて読んだ方が忘れなくて良い。 レジスタ計算機は、仮想的な話なのだけどコンピュータの奥底を眺めているようで不思議な気持ち。 5.1.2 レジスタ計算機の記述言語 データパスと制御器の話。データパスの図が僕にとって直感的にみづらく苦労した。 5.1.3 サブルーチン いわゆる call の話。共通手続きを共有しようという意図なのはもともと理解できていたが、導入の動機が「ハードウェア的に同じような計算器を組み立てるのは経済的でない」ってのは新鮮な切口だった。 5.1.4 再帰を実装するためのスタックの使用 スタックデータ構造が必要だよねという話。 5.1.5 命令の要約 5.2.1 計算機モデル レジスタ計算機のシミュレータの話。CPUの創り方という本で学んでいたのと、多少のアセンブリの知識があるの
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く