アフィリエイト広告を利用しています

広告

posted by fanblog

2017年02月13日

ベータリダクション(beta reduction)とcall-by-name

"Scheme 9 from Empty Space"の終盤で出てきた単語です。

Wikipediaの「評価戦略」「ラムダ計算」あたりを読み込めば理解できるかなあ、と。

beta reductionはベータ簡約、call-by-nameは名前呼び、と訳すのが正しいそう。

ちょくちょくわからない単語も出てくるけどリンクたどりながら読みまくるしかないな。
タグ:S9fES
この記事へのコメント
コメントを書く

お名前:

メールアドレス:


ホームページアドレス:

コメント:

※ブログオーナーが承認したコメントのみ表示されます。

この記事へのトラックバックURL
https://fanblogs.jp/tb/5939855
※ブログオーナーが承認したトラックバックのみ表示されます。

この記事へのトラックバック
検索
最新記事
最新コメント
カテゴリーアーカイブ
タグクラウド
<< 2018年05月 >>
    1 2 3 4 5
6 7 8 9 10 11 12
13 14 15 16 17 18 19
20 21 22 23 24 25 26
27 28 29 30 31    
プロフィール
さんの画像

情報系を専攻する学生。 しばらく使わなかったりした知識は忘れていくのでこのブログにまとめてみたり。
プロフィール
×

この広告は30日以上新しい記事の更新がないブログに表示されております。