higepon https://blog.hatena.ne.jp/higepon/ higepon blog https://higepon.hatenablog.com/ (let1 a 3 (+ a (+ 1 2)) はA正規化しても変化しないという理解であっているだろうか？それとも (+ a (+ 1 2)) の部分を正規化するのが正しい? 考えすぎて理解が怪しくなってきた。誰かと議論しながら考えたいと強く思う。 が、くじけないよ。気分転換しよう。 追記 上のlet1 は Figure 7 のEvaluation Contexts のどれにもあてはまらないから。これ以上変換は進まない。と解釈している。 しかしコードを見ると (+ a (+ 1 2)) の中も正規化しているように見える。 どちらが論文的に正しいのか分からなくて途方に暮れる。 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fhigepon.hatenablog.com%2Fentry%2F20080116%2F1200490932" title="A正規化漬け - 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-16 22:42:12 rich https://higepon.hatenablog.com/entry/20080116/1200490932 1.0 100%