データ作成方法

型指定も型の定義もあるとき、その型のデータを作るには？

その型の変数に入れられればいい。
さらに型定義に関するアサーションをパスすればいい。

→適当に選んで当てはめる？

---

最も簡単な型…booleanの値を得るためには？
・値の候補がない
boolean→true/false
が得られないと。

→これが得られるようになれば…
定義しておくしかない？
true/falseの表を作るということ。

アサーションを利用できないか？
→自動的な当てはめになるだけ。