形式手法を盛り込むことは可能なのでしょうか?知識がないので、断言できませんが、Rubyそのものは形式的手法とはなじまないような気がします。http://mlog.euqset.org/archives/ruby-list/44669.html質問者は「形式手法」,それに対してMatzさんは「形式的手法」と書いています.私自身は前の大学で,助手1年目で自分の研究テーマとなるキーワードを3つ挙げよと依頼があったときに,3番目に少し悩んで,結局,「形式的手法」と答えたのでした.どんな研究だったかというと,暗号プロトコルの仕様やセキュリティ目標*1を形式的仕様として記述し,そこからは推論によって,目標を達成できるか否かを示すための枠組み作りをしていました.その後はそういうテーマから離れましたが,「形式的」とか「仕様記述」とかいった記事や書籍があれば,興味を持って読むことがあります.そして最近よく,「形式手法」という表現を見るようになっていました.そんなときに,『知識がないので、断言できませんが、Rubyそのものは形式的手法とはなじまないような気がします。9はてなブログをはじめよう!takehikomさんは、はてなブログを使っています。ブログを報告する引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。