カテナの開発手法Lyee その5

>>39
仕様の妥当性なんてどうやって検証するの？　これが本当にできれば勝ったも
同然なんだけどね．

ある種のプロトコルみたいに，仕様レベルで十分な形式化ができていて，かつ
検証した性質も形式化ができている場合ならともかくとして．もっともこれは
従来からある検証系で十分対処できる話なんだけどね．

>>22
情報系の学科でLyeeを真面目に講義するのは，工学系の学科で永久機関ができ
るといって講義をするのと一緒．はっきりいって講師は犯罪者．