天気 の 子 ライ麦 畑 で つかまえ て: 計算機プログラムの構造と解釈 | 東京外国語大学附属図書館Ｏｐａｃ
天気の子 考察 〜『 ライ麦畑でつかまえて 』から読むんだったら〜 「天気の子は、新海版『 ライ麦畑でつかまえて 』だ」って意見が世の中に出回ってる みたいだけどそれは違うんじゃない? という考察です。 違う……よね?
天気の子を『ライ麦畑でつかまえて』から読むんだったら - ……まで秒読み
全世界で6500万部、日本でも330万部を超えるベストセラー、J.
古さは感じない 読んでいて、特に古いと感じる部分はありませんでした。強いて言うなら今のマシンでは一瞬で終わる8クイーン問題が実行に非常に時間がかかると書いてあった箇所があったことくらいでしょうか。全体的に、今でも役立つ内容だと思います。 (追記: 4. の最後に追記しましたが、現代のScheme処理系Racketだともっとモダンに書き換えられる箇所が多いそうです。) 3. ところどころ非常に難しい 2. 5, 4. 3, 4. 4, 5章が非常に難しいです。 2. 5. 2と4. 3は本文を理解するのにも問題を解くのにもものすごく時間と労力がかかりました。 2. 『計算機プログラムの構造と解釈』一章一節読書メモ · GitHub. 3はだいたいの人がスキップしていて、スキップせず解いてる人がめちゃくちゃ苦しんでいたので便乗してスキップしました。 4. 3非決定計算の箇所は、もう二度とやりたくないぐらい難しかったです。 どうしても本文のコードの動きがわからなかったので動作プロセスを地道に追うことにしましたが、頭がパンクしそうになりました。 なんとか理解できたもののそれがあまりに苦で、続く4. 4からは演習問題をほぼ放棄しました。最後まで自力で解けたという人は能力・根気ともに大変優れた方だと思います。 放棄したりネットの解答に助けられた難問は、これらの章以外にもたくさんありました。 きのこる庭というブログで問題ごとに5段階で難易度が載っていたので、それを参考に飛ばすかどうか決めるのをおすすめします。体感難易度が違うものが結構ありましたので、参考程度ですが。 4. Schemeにやや不満 2章から、200〜300行とかなり長いプログラムを改造する問題がかなり出てきますが、 ここで、Schemeが動的言語であることに起因する苦しみに遭遇します。 強い静的型付け言語なら静的チェックで一瞬で見つかるようなバグに何時間も戦うハメになるからです。 この本が難しい理由の何割かはそこにあると思います。 Schemeのつらさは他にもあります。Schemeではあらゆるデータ構造を連結リストの入れ子で表現しますが、代数的データ型・パターンマッチと比べて相当把握しにくくて、好みの問題もあるでしょうが自分は嫌いでした。 リスト操作の仕方もややこしく、cons, append, listあたりを完全に使いこなすのも大変でした(というか最後まで使いこなせた気がしないです)。set-car!, set-cdr!
『計算機プログラムの構造と解釈』一章一節読書メモ · Github
lambda calculus ラムダ計算 Church ラムダ計算を考案した一人。 ・ nondeterministic evaluation 「非決定主義的評価」とした。非決定評価? 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 「末尾循環」とした、末尾回帰?
今日「『計算機プログラムの構造と解釈』で面白い問題があるんですよ」というのを教えてもらった。それは問題1.