2009-12-09から1日間の記事一覧
trait の話 Design Descision の話 stackable trait の話 import 文で別名が付けられるよ 形式手法の話とか ついに形式手法勉強会開催か? with が何回も出るのが面倒な気がした 今回は,演習というか手を動かしてみよう的な時間が長い感じでした. この辺の…
trait の話 Design Descision の話 stackable trait の話 import 文で別名が付けられるよ 形式手法の話とか ついに形式手法勉強会開催か? with が何回も出るのが面倒な気がした 今回は,演習というか手を動かしてみよう的な時間が長い感じでした. この辺の…