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