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