2007-03-03から1日間の記事一覧
前の「構造制約を満たしていると確認されていない状態」については、もう少しうまく取り扱えないかなと考えてみました。 そこで思いついたのが、「あるモデルにおいて１つの固定的な構造制約を満たしているかどうか」と考えるよりは、「構造制約にも階層があ…
前の「構造制約を満たしていると確認されていない状態」については、もう少しうまく取り扱えないかなと考えてみました。 そこで思いついたのが、「あるモデルにおいて１つの固定的な構造制約を満たしているかどうか」と考えるよりは、「構造制約にも階層があ…
