新規記事の投稿を行うことで、非表示にすることが可能です。
タグ / S9fES
記事
ベータリダクション(beta reduction)とcall-by-name [2017/02/13 22:47]
"Scheme 9 from Empty Space"の終盤で出てきた単語です。
Wikipediaの「評価戦略」「ラムダ計算」あたりを読み込めば理解できるかなあ、と。
beta reductionはベータ簡約、call-by-nameは名前呼び、と訳すのが正しいそう。
ちょくちょくわからない単語も出てくるけどリンクたどりながら読みまくるしかないな。
apache Bash on Windows CGI CSS cygwin Emacs Gauche Gesture Git GitHub gnupack html JavaScript lisp Macbook Microsoft Edge OneDrive prewitt rlwrap S9fES Scheme sobel SONY svs13 Synaptics TouchPad Ubuntu Windows10 Windows8.1 Z3 Compact オレオ ジェスチャー タッチパッド ハイブリッドスリープ ビターココアビスケット 計算機プログラムの構造と解釈