2006-10-24 VDM++《17》Map に対する演算(2) Shall_we_Agile = Java.use(better, Python) # Swing by VDM++《記事一覧》 改訂♪2008/09/07《承前》