ええと、いわゆる SICP *1 として知られた「計算機プログラムの構造と解釈」。 とあるブログ、といってリンク貼らないで批判するのもなーって感じなので d:id:nowokay:20090321:1237617054 ですね。 冒頭読んだだけであまりにも的外れな批判なので はてなブックマーク で「そりゃないでしょ」と書いてしまったのですが、 ほかのみなさんのコメント みてると、ええええええっ!
lambda calculus ラムダ計算 Church ラムダ計算を考案した一人。 ・ nondeterministic evaluation 「非決定主義的評価」とした。非決定評価? 『計算機プログラムの構造と解釈』(SICP)を読み終えて | きのこる庭. extraordinaire 「達人」とした。特定の分野で傑出していること、extraordinary ・ mathematical formalism 「数学的な形式主義」とした。英和辞書では、(数学基礎論における)形式主義。 symbol、symbolic 記号、記号的とした。場合によってシンボルとした。 symbolic expression S式、S表現、シンボル式 meta-expression M式、M表現、メタ式 symbolic differentiation and integration 記号微分と積分 algebraic expression 代数式 differentiation 微分、微分法 integration 積分、積分法 two orders of magnitude 二桁 ・ process 最初「過程」としていたが、ほかで「処理」としていたので「処理」に統一した。 radicand 被開数、被開法数 formal parameter 仮引数、名目上のパラメータ、形式的な媒介変数 actual argument 実引数 body 本文 substitution 置換、代用 substitution model 「置換モデル」とした。 reduction 約分、簡約?? 約 case analysis 場合分け consequent expression 帰結式、当然の結果の式、続いて起こる式、 結果の式 後項の式 「帰結の式」とした。 declarative 命令の imperative 宣言の、叙述の? 仮引数 — parameter(媒介変数、補助変数)、formal parameter(名目上の媒介変数)、formal argument(名目上の論拠)? 実引数 — argument(論拠)、actual argument(実際の論拠)、actual parameter(実際の媒介変数) とりあえず以下のようにする。 formal parameter 形式的な媒介変数 argument 独立変数 bound variable 従属変数、束縛変数 free variable 独立変数、自由変数 successive approximation 漸近法 successive approximations 連続する近似値 逐次接近法 successive approximation method 逐次接近法(method of successive approximations) decimal places 小数点以下、小数部分 roundoff error 丸め誤差 truncation error 打ち切り誤差 have to do with …と関係がある、掛かり合いがある tail recursion 「末尾循環」とした、末尾回帰?
5 版表示 第2版 ページ数 409p 大きさ 26cm ISBN 978-4-7981-3598-4 NCID BB15695483 ※クリックでCiNii Booksを表示 全国書誌番号 22418539 ※クリックで国立国会図書館サーチを表示 言語 日本語 原文言語 英語 出版国 日本 この本を: mixiチェック 日本の古本屋(全国古書検索) 想-IMAGINE Book Search(関連情報検索) カーリル(公共図書館)
バビロンの日記: SICP(計算機プログラムの構造と解釈)問題1. 7
1 プログラムの要素 1. 2 手続きとその生成するプロセス 1. 3 高階手続きによる抽象化 2 データによる抽象の構成 2. 1 データ抽象入門 2. 2 階層データ構造と閉包性 2. 3 記号データ 2. 4 抽象データ多重表現 2. 5 汎用演算のシステムは 3 標準部品化力、オブジェクトおよび状態 3. 1 代入と局所状態 3. 2 評価の環境モデル 3. 3 可変データでのモデル化 3. 4 並列性:時が本質的 3. 5 ストリーム 4 超言語的抽象 4. 1 超循環評価器 4. 計算機プログラムの構造と解釈 - Wikipedia. 2 Schemeの変形─遅延評価 4. 3 Schemeの変形─非決定性計算 4. 4 論理型プログラミング 5 レジスタ計算機での計算 5. 1 レジスタ計算機の設計 5. 2 レジスタ計算機シミュレータ 5. 3 記憶割り当てとごみ集め 5. 4 積極制御評価器 5. 5 翻訳系 参考文献 問題リスト 索引 posted by 生田修平 at 10:50| Comment(0) | 書籍
ああそうか、PPM のことか。ではなぜ PPM なのだろう。 まさか「花はどこへ行った」Where has all the flowers gone? のパロディ、Where has all the money gone? ではないだろうな。 聖書の時代 p. 270 にこうある。 W が M の妻であり,かつ S が W の息子であるなら, S は M の息子である」 (聖書の時代には,現代より遥かに真であると考えられる.) このカッコ内の注釈がいい。 婚姻関係 p. 計算機プログラムの構造と解釈 第２版の通販/ジェラルド・ジェイ・サスマン/ハロルド・エイブルソン - 紙の本：honto本の通販ストア. 276 には次のコードがある。無限ループの説明の項である。 (assert! (married Minnie Mickey)) Minnie といえばミニーマウスだし、Mickey といえばミッキーマウスだ。二匹は結婚しているのだろうか。 Wikipedia で調べた限り、この二人は恋仲にはあるが結婚はしていないはずである。 書 名 計算機プログラムの構造と解釈 第二版 著 者 サスマン、エイブルソン、サスマン 訳 者 和田 英一 発行日 発行元 ピアソン・エデュケーション 定 価 円(本体) サイズ?? 版 ISBN??? その他?? まりんきょ学問所 > 読んだ本の記録 > MARUYAMA Satosi
95 ID:C+1uMUor0 北海道 83, 423. 84km2 524万人 東北地方 66, 951. 97km2 857万人 北海道は、単に広いだけ 973 名無しでGO! 2020/12/31(木) 14:31:40. いわき駅 時刻表｜ひたち・ときわ｜ジョルダン. 85 ID:C+1uMUor0 ほんと道民は井の中の蛙だし逃げてばっかだな 結論 東北大>北大だし 仙台駅>札幌駅だし 東北電力>北海道電力だし 仙台アーケード>札幌地下道 伊達政宗>無名の外人 仙台城跡>札幌の観光地全部 札幌は勝ち目無いじゃん 974 名無しでGO! 2020/12/31(木) 14:38:30. 17 ID:pCTYBB010 月曜から夜更かしでもいじられて論破されてたじゃんか 「仙台民が5大都市だと思っている件」 って吊し上げられ、北海道好きのマツコも「義務教育受けてるのかしら?」ってさ 夜更かしにいじられてる時点で察せよ ネットだからイキるのいいけど現実社会では大人しくしたほうがいいよ 出身地格付け最下位弄られ担当とーほぐ人は 俺は可哀想だからセシウムとか言わないけどね 975 名無しでGO! 2020/12/31(木) 14:43:19. 06 ID:0bbsKpKI0 面積だけの北海道のショボさが際立つw 全国20万以上都市(四捨五入)2020 1.
1 05:31 → 08:12 早 安 楽 2時間41分 3, 060 円 乗換 2回 仙台空港→名取→[岩沼]→原ノ町→いわき
TOP > 電車時刻表 > いわき ⇒ 仙台 時刻表 10時 10:25 発 12:29 着 (124分) ひたち3号 仙台行 途中の停車駅 チケット 予約 15時 15:15 発 17:25 着 (130分) ひたち13号 18時 18:14 発 20:28 着 (134分) ひたち19号 チケット 予約
42分 125. 1km やまびこ122号 特急料金 自由席 2, 640円 1, 320円 1, 320円