仕事が忙しくて、目立った進展はありません m(__)m6章の Static analysis はぜんぜん理解できなかったので、とりあえず論文の方はそのまま最後まで流し読みしました。理解度 30%程度です ^^); ただし、少しは処理系のイメージが湧いてきたような・・・です。…