2004-11-04 sigfm special forum SIGFM 形式仕様研究会 "UML-ISING" FORMAL TECHNIQUES by Dines Bjornerへ参加。Formal methodにもっと図的記法を導入しましょうというお話。東京会館で2次会。旧交を温める。