VDM講師

社内でVDM教育を開いていたのですが、急遽、私も講師さんのサポートに参加しました。
カリー化、高階関数、多相関数、など。
うーむ。この辺って、VBやJavaやC/C++など、仕事でよく使う言語にはない技術だから、
説明がしにくいですよねー。
受講者の人たちはC/C++的ドメインの方々だったので、
Templateや関数ポインタなどを駆使して説明しましたが、
ちゃんと伝わったのでしょうか？
いいサンプルがあれば説明がしやすいのですが、急遽呼ばれたので、
十分な用意ができなかったです。
サンプルも、ドメインごとに分けて準備した方がいいかもしれませんね。