の Semantics

って、どうしようかなーとは迷ってる。いちおう肩書きだけは理論屋だから一回くらいはフォーマルに書き下したいとは思うけど、さてどうしようか。
kuzha のコードから、どんな JavaVM のコードセットが生成されるかだけ書けばいいかな。丸投げパターンだけど。けどまだ kuzha.code.jvm.* 整備してないなぁ……。