From: tadashi nagao <tadashi.nagao@...>
Date: 2008-02-20T17:52:46+09:00
Subject: [ruby-list:44670] Re: Ruby で形式手法

長尾です。

早速のレスありがとうございます。

Ruby が形式手法を意識したものになるとすごいなと思っています。
仕様の中に盛り込むのは無理でも、Ruby ベースの形式仕様記述ができると、
特定領域でのRuby の利用が広がると思っています。

もちろん、仕様の中にはいれば、いろんな場面で幅広く使われるでしょう。
制御系のシステムで幅広く使われるはずです。

08/02/20 に Yukihiro Matsumoto<matz@ruby-lang.org> さんは書きました:
> まつもと ゆきひろです
>
> In message "Re: [ruby-list:44664] Ruby で形式手法"
>     on Wed, 20 Feb 2008 11:49:55 +0900, "tadashi nagao" <tadashi.nagao@gmail.com> writes:
>
> |Ruby の仕様の中に、なんらかの形で、
> |形式手法を盛り込むことは可能なのでしょうか？
>
> 知識がないので、断言できませんが、Rubyそのものは形式的手法と
> はなじまないような気がします。
>
> |CafeOBJ 的なことができると面白いような気がします。
> |http://www.jaist.ac.jp/~t-seino/lectures/cafeobj-intro-j/
>
> でも、一種のDSLととらえればCafeOBJのようなものを(語彙を追加
> することで)Rubyによる形式的記述として導入できるかもしれませ
> ん。
>
>                                 まつもと ゆきひろ /:|)
>
>