[URL]
ナノデザイン
　えっ、九州工業大学(九工大)のベンチャーなのか。
　そういえば、似た名前で、九工大のベンチャーで、LispハッカーかつProlog
ハッカーのumerinこと梅田君が関係しているところがあったよね。Prologでい
ろいろやってる会社なんだけど、と思って調べたら、やっとわかった。
　「なうデータ研究所」だ。＼(^O^)／
　リンクは
[URL]
[URL]
をどうぞ。

　VHDLに名前が似た言語で、ハードじゃなくてソフトウェアの検証をする言語
があったなあと思って、検索したら、やっと、出た。
[URL]
形式仕様記述(フォーマルメソッド、Formal Methods)

　そうそう、形式仕様記述言語のVDMだ。
　やっと思い出すとは、もう終わっとるね。＼(^O^)／
　でも、ま、脳が覚えてなくても、外部記憶と検索システムががんばってくれ
てるから、知的生産ができますね。
　どこが、知的生産だよ。