任意性
#分かってない
選択肢
を
列挙
する代わりに
母集団
の名前を分母に置く
母集団の
名前
は任意性の
議論
のために
導入
したとも言える
任意のAはBである
$ <m,A>
ｍを作用させるとAを返すもの