質問編集履歴
1
推敲
title
CHANGED
|
@@ -1,1 +1,1 @@
|
|
|
1
|
-
集合
|
|
1
|
+
集合の表現
|
body
CHANGED
|
@@ -2,7 +2,7 @@
|
|
|
2
2
|
また、四角形には長方形とひし形があり、両方の部分集合であるものは全て正方形です。
|
|
3
3
|
|
|
4
4
|
これらをうまく表現できるような構文を設計したいです。
|
|
5
|
-
オブジェクト指向プログラミング言語は、継承を使い集合論をうまく表すことが出来ますが、今ある言語に搭載されている機能だけでは、上のような集合を明示的に
|
|
5
|
+
オブジェクト指向プログラミング言語は、継承を使い集合論をうまく表すことが出来ますが、今ある言語に搭載されている機能だけでは、上のような集合を明示的に表すのは難しい言語ばかりです。私はそれらを実現できる言語を知りません。それらを実現できるような言語を設計したいです。
|
|
6
6
|
|
|
7
7
|
具体的には、以下のような事が明示できる物です。
|
|
8
8
|
1.人間は女性と男性の直和集合である。
|