この機能をご利用になるには会員登録(無料)のうえ、ログインする必要があります。 会員登録すると読んだ本の管理や、感想・レビューの投稿などが行なえます もう少し読書メーターの機能を知りたい場合は、 読書メーターとは をご覧ください
31 1. 3 高階手続きによる抽象 から -- Toru TAKAHASHI:-O torutk@xxxxxxxxxxx Prev by Date: [jfriends:00153] Re: 「計算機プログラムの構造と解釈第二版」を読む会第2 回のお知らせ Next by Date: [jfriends:00156] 代理投稿のお願い ( 「計算機プログラムの構造と解釈第二版」を読む会第3 回のお知らせ) Previous by thread: [jfriends:00152] Adobe SVG Zone Next by thread: Index(es): Date Thread
エーベルソン(著)、G. J. サスマン(著)、元吉文男 (訳) 、マグロウヒル出版、1989年 上巻:ISBN 978-4895012935 下巻:ISBN 978-4895012942。本書の第一版の和訳である。 『計算機プログラムの構造と解釈 第二版』、ジェラルド・ジェイ サスマン (著) 、ハロルド エイブルソン (著) 、ジュリー サスマン (著) 、 和田英一 (訳) 、ピアソン・エデュケーション、2000年 ISBN 978-4894711631 Structure and Interpretation of Computer Programs Second Edition, Harold Abelson, Gerald Jay Sussman, Julie Sussman, Mit Press, 1996, ISBN 978-0262510875 外部リンク [ 編集] SICPの公式サイト 原文の全文が公開されている 著者によるSICP講義のビデオ The MIT Open CoursewareのSICP講義(2005年) SICP Web Site for the Japanese Edition 日本語訳第二版の公式サイト
追記の方が長くなっちゃった。別エントリにしようかとも思ったが、ひとまずこのまま。
sequencer シーケンサ ある順序で一連の処理を行うもの。 interface 相互面?結びつき方、つきあい方、接触面 general medhods of computation 計算の一般的な方法、計算の一般化された方法? ・ object オブジェクト、対象物、物体 data データ、資料 in their own right in one's own right 生まれたときからの権利で、本来、当然 per se それ自体は、本質的には、本来は、当然、by itself、intrinsically complex number 複素数 sequence 連続したもの、手続きの連続?処理の連続? 連続構造 tree 木状のもの、木再帰? 「宗教的プログラムの構造と解釈」バズりすぎwwwwwww - いるま趣味ブログ. closure クロージャ、終了、終結、閉鎖 とりあえず終結とした。終了、閉鎖も予約。 終了とした。 閉包とした end test 停止試験 ・ concrete 具体的な、具象(⇔抽象的) selector 選別器とした constructor 作成器?構築器?組立器とした synthesis 統合、総合、組み立て(⇔analysis) wishful thinking 希望的観測、願望的思考、ないものねだり pair ペア、対構造 list-structured data 表構造を持ったデータ table構造があるとまずい 一覧構造をもったデータ 一覧表構造をもったデータ 一列構造をもったデータ 1列以外のリストがあるとまずい 列構造 列の構造をもったデータ message passing メッセージパッシング simulation 模擬による実験 modeling 模型制作、模型化、雛形化 ・ list structure's importance 列になった構造の重要性 一覧表構造の重要性 cascade of stages 舞台の段々滝 舞台たちの次から次へと続く段々 段階たちの次から次へと続くもの dot product 別名 inner product 内積 ij、これらの点から? ordered pair 順序対 row 列、行列の行 vector operation ベクトル演算(scalar operation、スカラー換算) directed 有向の ・ symbol 象徴 「記号」でも良いか sum 和 addend 加数 augend 被加算数 subtrahend 減数 minuend 被減数 multiplier 乗数 multiplicand 被乗数 summand 加数 infix 挿入辞 prefix 接頭辞 binary tree 二進木、二分木 subtree 部分木、下位木構造 prefix code 接頭符号、語頭符号 optimality 「最適性」とした intersection 共通部分
ホーム > 和書 > 理学 > 数学 > 情報数学 出版社内容情報 プログラミング言語LISPの方言であるSchemeを使用し、抽象化、再帰、インタプリタ、メタ言語的抽象といった計算機科学における概念の真髄を丁寧に解説した古典的名著。また計算機科学教育に多大な影響を与えたことはもちろ 内容説明 第二版は新しい主題を強調。最も主要なのは計算モデルでの時の扱いの異る解決法:状態を持つオブジェクト、並列プログラミング、関数型プログラミング、遅延評価と非決定性などの果す役割である。並列性と非決定性の新しい節を採用し、この主題を全体で統一した。 目次 1 手続きによる抽象の構築(プログラムの要素;手続きとその生成するプロセス ほか) 2 データによる抽象の構築(データ抽象入門;階層データ構造と閉包性 ほか) 3 標準部品化力、オブジェクトおよび状態(代入と局所状態;評価の環境モデル ほか) 4 超言語的抽象(超循環評価器;Schemeの変形―遅延評価 ほか) 5 レジスタ計算機での計算(レジスタ計算機の設計;レジスタ計算機シミュレータ ほか)
3. 5 項は 制約の拡散 と訳されている。原題は Propagation of Constraints であるので、 制約の伝搬 と訳すのがよいと思う。拡散は不可逆的現象で、元へ戻すことができない、という意味に取れる。 伝搬であれば情報が落ちることなくすべて伝わり、元へ戻すこともできる、という意味をもつ。 p. 262 の 脚注 61 では、 3. 5 節の制約伝搬システム と訳されている。 なお、ニューラルネットワークにおける back propagation という用語は逆伝搬法と訳されていた。 直截 p. 25 では 再帰的アルゴリズムのように直截的には書くことが出来ない. とある。 原文は、 this is not written down so straightforwardly as the recursive algorithm.
9km。うち駒寄川源流~小出川合流地点までは4. 21km この4. 21kmのなかで、川沿いが走れないのは 八王子神社~堤坂下交差点の0. 67km ⑥溝渠の縁しか通る場所がない~⑦再び駒寄川の1. 13km の1. 80kmなので、 川沿い走れる率は2. 41÷4. 21=57. 2% コース総距離ベースでは22%しか川沿いを走ってはいませんが、 曲がり角が少なくコースが複雑でない。 いよいよ本当の源泉まで見ることができる 人も車も少ない みずき地区の街の景観が美しい ため、今までで1. 2を争うお気に入りのコースになりました。 2020年のランニング記録 その後、12/27までジムと目久尻川を走り、4年連続で年間1, 000km走破を達成。 来年もこれぐらいのペースで頑張ります。 20201231
この十字路で右折。 次のこの十字路で右折し、 千ノ川沿いに復帰。ここからはしばらく川沿いに進めます。 あいかわらず堆砂が多い千ノ川。 相模線の高架が見えたら右岸に移ります。 先にイオン茅ケ崎店の駐車場棟が見えたら、そこからは川沿いに進めないので、南(左)にそれてイオンのブロックを丸ごと回り込みます。 ここで右折すれば… イオンのブロックは三角形なのでそのまま川沿いに復帰。 この堆砂が撤去された切れ目のところに何時も必ずいるシロサギ。 イオンから1. 7kmで千ノ川が小出川に合流します。ここからの最寄り駅はJR相模線茅ヶ崎駅。今来た道を戻ります。 梅田橋で南に向かい… 茅ヶ崎駅北口に到着。 いつもなら川沿い走れる率ですが… ここでいつもなら距離や川沿い走れる率の公開ですが、家に帰って地理院タイルをもう一回見てみると、 「げっ!まだ上流があるっ!」 十字が今回の出発点、その東に川の存在が! スリーハンドレッド側の源流も未調査ですし、今回見つけた赤羽根川の正体も不明…。千ノ川編はまだまだ完結しそうにありません。 20190901
T字路から100mほどの所で東に40mほど道を逸れると、源泉③と④からの流れが確認できます。 元の道に戻り、右手に川を見ながら、4車線の遠藤宮原線に向かいます。 ⑥東西の流れの合流点 遠藤宮原線に行き当たったら、左50m先に見える道に入ります。 この看板が目印。 180mほど走ったところのT字路で右折します。 T字路から80mの地点。右の東からの源泉③④の流れ、左の西から①②の流れがこの地点ですべて合流します。 T合流地点を過ぎて最初の十字路を左折します。 ここで左折。 クランク状の十字路に突き当たるのでそのまま南下。写真では右方向に進みます。 400m走ると、左手に川の流れが! これは上流側。この辺りはガラスハウスに囲まれているので、川沿いは走れないですね。 ここから小出川までは、藤沢市の河川改修工事が行われていないので、昔ながらの景観のままです。川面ではカモが群で羽根を休めているので、走るのは申し訳ないです。 ⑦アメリカセンダングサの群生 ここからは服にトゲ状の実を残すアメリカセンダングサが多いため、秋はタイツがこの状態に。手で取っても先端のトゲは繊維に残るので、家でピンセットで取ります (;´Д`) ⑧小出川との合流地点 橋が折れているわけではありません。手前の岸は対岸より低いので、橋が傾斜しているだけです。 橋を渡ったところ。 この合流地点から500mも、走れば多数の蝶が飛び立つ、地上の天国です。 ⑨2021年3月まで通行止めあり と油断していたら、500m先に工事中の柵が! 2021年3月まで通行止めのようです。 今日は一旦右に逸れます。 このT字路で左折。 800m進むと突き当りで小出中央通りに出ます。右に行けば寒川駅ですが、今日は左に向かって小出川の一ツ橋を見に行ってみます。 通行止めが無ければゴール地点の予定だった一ツ橋 下流から見ると通行できそうに見えます。 振替って一ツ橋で右折し、寒川駅に向かいます。 小出中央通りを1. 寒川から海老名(相模線) 時刻表（ＪＲ相模線） - NAVITIME. 1km走ります。 コメント トヨタのある岡田交差点で左折します。 相模線の踏切を渡り、 渡ってすぐで右折。 踏切から150mでJR相模線、寒川駅に到着。 川沿い走れる率は? 従来「川沿い走れる率」は、「川面を見て走れる距離 ÷ 川の全長」という定義で通してきましたが、打戻川は「川面は見えないが川は見える」区間が多いため、定義を「川を見て走れる距離 ÷ 川の全長」に変更します。 藤沢少年の森の源泉④から一ツ橋までは4.
乗換案内 海老名 → 寒川 05:10 発 05:32 着 乗換 0 回 1ヶ月 7, 260円 (きっぷ15日分) 3ヶ月 20, 690円 1ヶ月より1, 090円お得 6ヶ月 34, 840円 1ヶ月より8, 720円お得 5, 710円 (きっぷ11. 5日分) 16, 280円 1ヶ月より850円お得 30, 830円 1ヶ月より3, 430円お得 5, 130円 (きっぷ10. 5日分) 14, 650円 1ヶ月より740円お得 27, 740円 1ヶ月より3, 040円お得 3, 990円 (きっぷ8日分) 11, 390円 1ヶ月より580円お得 21, 580円 1ヶ月より2, 360円お得 1番線発 JR相模線 普通 茅ケ崎行き 閉じる 前後の列車 5駅 05:12 厚木 05:19 社家 05:22 門沢橋 05:26 倉見 05:29 宮山 条件を変更して再検索
乗換案内 寒川 → 海老名 04:50 発 05:07 着 乗換 0 回 1ヶ月 7, 260円 (きっぷ15日分) 3ヶ月 20, 690円 1ヶ月より1, 090円お得 6ヶ月 34, 840円 1ヶ月より8, 720円お得 5, 710円 (きっぷ11. 5日分) 16, 280円 1ヶ月より850円お得 30, 830円 1ヶ月より3, 430円お得 5, 130円 (きっぷ10. 5日分) 14, 650円 1ヶ月より740円お得 27, 740円 1ヶ月より3, 040円お得 3, 990円 (きっぷ8日分) 11, 390円 1ヶ月より580円お得 21, 580円 1ヶ月より2, 360円お得 JR相模線 普通 橋本行き 閉じる 前後の列車 5駅 04:53 宮山 04:56 倉見 04:58 門沢橋 05:01 社家 05:04 厚木 2番線着 条件を変更して再検索
神前結婚式場・各種会食・催事 アクセスマップ JR相模線 宮山駅下車 徒歩5分 東名高速道路 厚木I. Cから 20分 首都圏中央連絡自動車道 海老名I. Cから 15分 首都圏中央連絡自動車道 寒川北I. Cから 5分 相模國一之宮 寒川神社参集殿 住所 〒253-0106 神奈川県高座郡寒川町宮山3835-1 TEL 0467-75-5555 FAX 0467-75-5556 相模國一之宮 寒川神社参集殿 TEL 0467-75-5555 FAX 0467-75-5556 Copyright©2011 Samukawa-jinja Sansyuden All rights reserved.