== 有限束の数え上げ ==
'''Enumeration of Finite Lattices'''
TANAKA Masahiko

１３元までの有限束の全データです。
 . ｎ元束のデータを入力としてｎ＋１元束を作り出す方法で求めました。
 . プログラムは[[http://ei-www.hyogo-dai.ac.jp/~masahiko/lattice/soku3.c|こちら]]

||<)>N||<)>総数||<:>データ||
||<)>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||all10.zip||
||<)>11||<)>37622||all11.zip||
||<)>12||<)>262776||all12.zip||
||<)>13||<)>2018305||all13.zip||

論文など
 1. 田村三郎、田中正彦： 「有限束の数え上げ」、 数理科学1984年1月
 1. 田村三郎、田中正彦他：「有限代数系の組合せ論的考察」、一般研究（Ｃ）研究成果報告書１９９０年３月
 1. 田中正彦：「有限束の数え上げ」、兵庫大学論集２００１年３月
 1. 田中正彦：「有限束による論理実験」、兵庫大学論集２００３年３月