半形式化した仕様における「形式的な部分」は,一般に図式言語によって与えられる(p.144) 冒頭にあるように,次の役割分担を考えている.図式とそこに書かれるテキストを考えたときに,図式は形式性を受け持つ.図式中に書かれる […]
-
Pages
-
Categories
-
Archives
半形式化した仕様における「形式的な部分」は,一般に図式言語によって与えられる(p.144) 冒頭にあるように,次の役割分担を考えている.図式とそこに書かれるテキストを考えたときに,図式は形式性を受け持つ.図式中に書かれる […]