パラメトリック図において「A = B + C」という制約を記述するのはどこか。

2026年3月17日

具体的な数式や論理式は制約ブロックの内部に定義される。

あるメッセージが自分自身に対して送信される場合、そのメッセージを何と呼ぶか。

要求の「検証（verify）」に使用されるモデル要素として不適切なものはどれか。