引き続き、コンパイラの社内研究会開催。ざっくりと概要は読み終わった。K 正規化とα変換で SSA と同等なことが達成ているのではないかと。A 正規化はインラインが楽。でもインラインしないなら、結局 K 正規化しないといけなさそう。HLS ではクロージャ変換…