エントリーの編集
![loading...](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/common/loading@2x.gif)
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
Scheme手習い (8) 表現と抽象化 - kb84tkhrのブログ
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
![アプリのスクリーンショット](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/entry/app-screenshot.png)
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
Scheme手習い (8) 表現と抽象化 - kb84tkhrのブログ
基本的な再帰の練習は5章までで終わり 第6章「影法師」からは応用編といった感じ 6章では算術式を題材に... 基本的な再帰の練習は5章までで終わり 第6章「影法師」からは応用編といった感じ 6章では算術式を題材にして表現と抽象化を学びます 算術式をschemeで取り扱うためにS式で表したものを算術式の表現と呼びます まずは単純に、n + 3を(n + 3)と表現します ということは1 + 2 + 3の表現は(1 + 2 + 3)かと思ったらハズレ ここでは「2つの(数を含む)アトムか算術式を+か*か^で結合したもの」を算術式と呼んでます 算術式の定義に算術式が出てきますので再帰的定義ですね こういうのが後から出てくるのがこの本の特徴 1 + 2 + 3は算術式1 + 2と算術式3を+で結合したものか、 または算術式1と算術式2 + 3を+で結合したものとみなせるので その表現は((1 + 2) + 3)か(1 + (2 + 3))のどちらかになります 右から結合とか左から結合とかは決まっていないよ