2022-03-18から1日間の記事一覧
型の定義 べき集合から型 (type)を作り出して、さらにそのべき集合のそのまたべき集合を型と見なして階層的に作りだしていく。 Xのべき集合をP(X)と書くこととする。 例えば、集合Xに対して、 X := {a, b, c} A型 := P(X) = { ∅, {a}, {b}, {c}, {a, b}, {b,…
型の定義 べき集合から型 (type)を作り出して、さらにそのべき集合のそのまたべき集合を型と見なして階層的に作りだしていく。 Xのべき集合をP(X)と書くこととする。 例えば、集合Xに対して、 X := {a, b, c} A型 := P(X) = { ∅, {a}, {b}, {c}, {a, b}, {b,…