論理和を表すのに縦の点線がある。点線の場合どちらかを満たせば良い。形をしていると言いたいのだと思う)。なる条件がすぐ分かる事。一方で表は読むのは簡単ですが、ちゃんとスキマ無くて表を作るのが面倒です。使い、自動的に表をメンテナンスします。代入が起こる表を考えます。する為に、メニューから新しい列を出します。すると入力した条件以外の条件の列が自動生成されます。条件がダブらないように、スキマが出来ないように自動調整します。その3モデルを実装する。最初に感想を書いて、あとで記録を書く。いろんな誤解がだんだん溶けて来たのでまた書きます。