田中 正彦 TANAKA Masahiko
１３元までの有限束の全データです。
ｎ元束のデータを入力としてｎ＋１元束を作り出す方法で求めました。
プログラムはこちら
| ｎ | 総数 | 計算時間 | データ |
|
2
|
1
|
-
|
-
|
|
3
|
1
|
-
|
-
|
|
4
|
2
|
-
|
all4.txt |
|
5
|
5
|
-
|
all5.txt |
|
6
|
15
|
-
|
all6.txt |
|
7
|
53
|
-
|
all7.txt |
|
8
|
222
|
-
|
all8.txt |
|
9
|
1078
|
-
|
all9.txt |
|
10
|
5994
|
4sec
|
all10.zip |
|
11
|
37622
|
90sec
|
all11.zip |
|
12
|
262776
|
2493sec
|
all12.zip |
|
13
|
2018305
|
61535sec
|
all13.zip |
論文など
[1] 田村三郎、田中正彦： 「有限束の数え上げ」、 数理科学1984年1月
[２]田村三郎、田中正彦他：「有限代数系の組合せ論的考察」、一般研究（Ｃ）研究成果報告書１９９０年３月
[３]田中正彦：「有限束の数え上げ」、兵庫大学論集２００１年３月
[4]田中正彦：「有限束による論理実験」、兵庫大学論集２００３年３月