higepon https://blog.hatena.ne.jp/higepon/ higepon blog https://higepon.hatenablog.com/ scheme ここに書いてある内容は古いです。A正規形まとめをご参照ください。自分の実装で normalize のバグを発見したのだが正しいありかたに核心が持てないので論文読みに戻る。 また訳してみるメソッドを使う。 CEK machine 論文「The Essence of Compiling with Continuations」のA正規化の核心は Figure 8 にあると思うのだけど、CEK machine が分からないとだめそう。 Figure 2 前後で初出だから周辺の文章を意訳してみるか。 CEKマシンは、Figure 2 に示される遷移関数に従い状態遷移する。 例えば、ブロック (let (… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fhigepon.hatenablog.com%2Fentry%2F20080110%2F1199930702" title=" A-normal form 再学習 その1 - Scheme VM を書く - higepon blog" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2008-01-10 11:05:02 rich https://higepon.hatenablog.com/entry/20080110/1199930702 1.0 100%