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

広告

この広告は30日以上更新がないブログに表示されております。
新規記事の投稿を行うことで、非表示にすることが可能です。
posted by fanblog
タグ / S9fES

記事
ベータリダクション(beta reduction)とcall-by-name [2017/02/13 22:47]
"Scheme 9 from Empty Space"の終盤で出てきた単語です。 Wikipediaの「評価戦略」「ラムダ計算」あたりを読み込めば理解できるかなあ、と。 beta reductionはベータ簡約、call-by-nameは名前呼び、と訳すのが正しいそう。 ちょくちょくわからない単語も出てくるけどリンクたどりながら読みまくるしかないな。

検索
最新記事
最新コメント
カテゴリーアーカイブ
タグクラウド
<< 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日以上新しい記事の更新がないブログに表示されております。