VDM++
実は前回のソースは動きません。
http://d.hatena.ne.jp/a-san/20060217#p1
言語側のバグがあって、Internal Errorを起こします。どひゃー!!!\(^o^)/
あれからメールで報告し、今日、何とかバグと認めてもらって、近日中には直るらしい。
まぁ、面白い半分、苦労も多々。
実は前回のソースは動きません。
http://d.hatena.ne.jp/a-san/20060217#p1
言語側のバグがあって、Internal Errorを起こします。どひゃー!!!\(^o^)/
あれからメールで報告し、今日、何とかバグと認めてもらって、近日中には直るらしい。
まぁ、面白い半分、苦労も多々。