[B! SICP] [3ページ] yamanetoshiのブックマーク

というわけで再開。電車の中でまったりと読む。ひげぽんさんの関数型言語を学ぼうはネタバレにならないように、自分の進捗に合わせて読んでいます。この本は手を動かして発見することが多い。関数型言語の勉強にSICPを読もう - (53) 4章 - 超言語的抽象(216ページ) C++でSchemeインタプリタを作ろう1 ← いまここ The little schemer、The Seasoned Schemerの時がそうでしたが、どっちの処理系が動いているのか分からない。例えば、eval、if、pair?、variable?とかが、goshに渡されているのか、今書いた俺様処理系で処理されているのか、昔書いたutil.scmとかで定義されているのか、なにがなんやらという感じ。The little schemerは、解説らしい解説がほとんど無いから余計に悩んだ。前回はもう一回SICPでやるのが分かっ

yamanetoshi 2007/08/25

scheme
SICP

リンク

Prof. Sussman - Matzにっき(2007-03-24)

<< 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

yamanetoshi 2007/03/28

SICP

リンク

MIT OpenCourseWare OCW Home

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

yamanetoshi 2007/03/13

SICP

リンク

SICP memo: はじめにお読みください

このサイトは、「素人くさい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

yamanetoshi 2007/02/01

SICP

リンク

Church numerals と Lambda Calculus アルゴリズムとデータ構造入門補足

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.

yamanetoshi 2007/01/10

リンク

研究会

火曜研究会は情報システムの開発のための、基礎的な能力を身につけることを見据え、プログラミングそのものを研究します。学期ごとにテーマを設定し、輪講や実習を行います。いろいろなレベルの人がチームを組んでプログラムを作ることにより、お互いに教え合い、全体のレベルを高めることを目指します。また、例年全員で国際的なプログラミングコンテストとして有名なACM プログラミングコンテストに参加しています。写真は2007年のACMプログラミングコンテスト国内予選の様子です。木曜研究会では、各プロジェクトの進捗報告や議論を行います。研究会としての活動の中心です。プロジェクトは学生が自主的に設定し、複数人のグループで行われます。情報システムを扱う以外にプロジェクトのテーマはなく、幅広い領域のプロジェクトが活動しています。詳しくはプロジェクト紹介のページをご覧ください。例年いくつかのプロジェクトがSFC

yamanetoshi 2007/01/09

SICP

リンク

ひげぽん OSとか作っちゃうかMona- - 「計算機プログラムの構造と解釈(SICP)」を読み終えて

約半年をかけて計算機プログラムの構造と解釈(SICP)を読み終わりました。（途中で、練習問題をスキップしたりしましたが・・・）半年もかけたのでちょっとだけ振り返って見ます。 SICPを読む過程で得たものまずはSICPを読む過程で得たものからざっと列挙してみよう。構文解析を理解し自前で実装できるようになった字句解析を理解し自前で実装できるようになったストリームを理解した遅延評価を理解した手続きが first class objectである言語での考え方を学んだ型変換の導入の動機とその意味を理解した手続きの抽象化の導入の動機と過程を学んだ高階関数を使ったり書けるようになったりしたクロージャを理解した Schemeを書けるようになった再帰処理を自然に書けるようになったフルスクラッチでインタプリタを書けるようになったコンパイラを自前で書くことが出来そうだとの感触を得た

yamanetoshi 2006/10/28

SICP
scheme

リンク

関数型言語の勉強にSICPを読もう - (84) 5章 - レジスタ計算機での計算(339-366ページ) - higepon blog

yamanetoshi 2006/10/27

SICP
scheme

リンク

関数型言語の勉強にSICPを読もう - (83) 5章 - レジスタ計算機での計算(328-338ページ) - higepon blog

yamanetoshi 2006/10/23

SICP
scheme

リンク

関数型言語の勉強にSICPを読もう - (82) 5章 - レジスタ計算機での計算(324-327ページ) - higepon blog

yamanetoshi 2006/10/20

scheme
SICP

リンク

関数型言語の勉強にSICPを読もう - (81) 5章 - レジスタ計算機での計算(320-323ページ) - higepon blog

yamanetoshi 2006/10/20

SICP
scheme

リンク

関数型言語の勉強にSICPを読もう - (80) 5章 - レジスタ計算機での計算(295-319ページ) - higepon blog

しばらくサボっていたので反省して一気に読み進める。ちょっと難しいところにさしかかったので、まとめて読んだ方が忘れなくて良い。レジスタ計算機は、仮想的な話なのだけどコンピュータの奥底を眺めているようで不思議な気持ち。 5.1.2 レジスタ計算機の記述言語データパスと制御器の話。データパスの図が僕にとって直感的にみづらく苦労した。 5.1.3 サブルーチンいわゆる call の話。共通手続きを共有しようという意図なのはもともと理解できていたが、導入の動機が「ハードウェア的に同じような計算器を組み立てるのは経済的でない」ってのは新鮮な切口だった。 5.1.4 再帰を実装するためのスタックの使用スタックデータ構造が必要だよねという話。 5.1.5 命令の要約 5.2.1 計算機モデルレジスタ計算機のシミュレータの話。CPUの創り方という本で学んでいたのと、多少のアセンブリの知識があるの

yamanetoshi 2006/10/18