From: Yukihiro Matsumoto <matz@...>
Date: 2008-02-20T17:19:04+09:00
Subject: [ruby-list:44669] Re: Ruby で形式手法

まつもと ゆきひろです

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による形式的記述として導入できるかもしれませ
ん。

                                まつもと ゆきひろ /:|)