■置換多面体の空間充填性（その１３７）
５次元正単体系の場合をやってみたい．
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
［１］｛３，３，３，３｝（１，０，１，０，０）
ｆ4＝（１／１０＋２／８＋０／３＋０／１２＋３／３０）ｆ0＝６＋１５＋（２０）＋（１５）＋６＝２７
１０は｛３，３，３｝（０，１，０，０）の頂点数
８は｛３，３｝（１，０，０）×｛｝（１）の頂点数＝４×２＝８
３は｛３｝（０，０）×｛３｝（１，０）の頂点数＝１×３＝３
１２は｛｝（０）×｛３，３｝（１，０，１）の頂点数＝１×１２＝１２
３０は｛３，３，３｝（１，０，１，０）の頂点数
［２］｛３，３，３，３｝（１，０，０，１，０）
ｆ4＝（１／１０＋３／１２＋３／９＋０／４＋２／２０）ｆ0＝６＋１５＋２０＋（１５）＋６＝４７
１０は｛３，３，３｝（０，０，１，０）の頂点数
１２は｛３，３｝（０，１，０）×｛｝（１）の頂点数＝６×２＝１２
９は｛３｝（１，０）×｛３｝（１，０）の頂点数＝３×３＝９
４は｛｝（０）×｛３，３｝（１，０，０）の頂点数＝１×４＝４
２０は｛３，３，３｝（１，０，０，１）の頂点数
［３］｛３，３，３，３｝（０，１，０，１，０）
ｆ4＝（２／３０＋０／６＋２／９＋０／６＋２／３０）ｆ0＝６＋（１５）＋２０＋（１５）＋６＝３２
３０は｛３，３，３｝（１，０，１，０）の頂点数
６は｛３，３｝（０，１，０）×｛｝（０）の頂点数＝６×１＝６
９は｛３｝（１，０）×｛３｝（０，１）の頂点数＝３×３＝９
６は｛｝（０）×｛３，３｝（０，１，０）の頂点数＝１×６＝６
３０は｛３，３，３｝（０，１，０，１）の頂点数
［４］｛３，３，３，３｝（１，１，１，０，０）
ｆ4＝（１／２０＋１／８＋０／６＋０／２４＋３／６０）ｆ0＝６＋１５＋（２０）＋（１５）＋６＝２７
２０は｛３，３，３｝（１，１，０，０）の頂点数
８は｛３，３｝（１，０，０）×｛｝（１）の頂点数＝４×２＝８
６は｛３｝（０，０）×｛３｝（１，１）の頂点数＝１×６＝６
２４は｛｝（０）×｛３，３｝（１，１，１）の頂点数＝１×２４＝２４
６０は｛３，３，３｝（１，１，１，０）の頂点数
［５］｛３，３，３，３｝（１，１，０，１，０）
ｆ4＝（１／３０＋１／１２＋２／１８＋０／１２＋２／６０）ｆ0＝６＋１５＋２０＋（１５）＋６＝４７
３０は｛３，３，３｝（１，０，１，０）の頂点数
１２は｛３，３｝（０，１，０）×｛｝（１）の頂点数＝６×２＝１２
１８は｛３｝（１，０）×｛３｝（１，１）の頂点数＝３×６＝１８
１２は｛｝（０）×｛３，３｝（１，１，０）の頂点数＝１×１２＝１２
６０は｛３，３，３｝（１，１，０，１）の頂点数
［６］｛３，３，３，３｝（１，０，１，１，０）
ｆ4＝（１／３０＋２／２４＋１／９＋０／１２＋２／６０）ｆ0＝６＋１５＋２０＋（１５）＋６＝４７
３０は｛３，３，３｝（０，１，１，０）の頂点数
２４は｛３，３｝（１，１，０）×｛｝（１）の頂点数＝１２×２＝２４
９は｛３｝（１，０）×｛３｝（１，０）の頂点数＝３×３＝９
１２は｛｝（０）×｛３，３｝（１，０，１）の頂点数＝１×１２＝１２
６０は｛３，３，３｝（１，０，１，１）の頂点数
［７］｛３，３，３，３｝（０，１，１，１，０）
ｆ4＝（２／６０＋０／１２＋１／９＋０／１２＋２／６０）ｆ0＝６＋（１５）＋２０＋（１５）＋６＝３２
６０は｛３，３，３｝（１，１，１，０）の頂点数
１２は｛３，３｝（１，１，０）×｛｝（０）の頂点数＝１２×１＝１２
９は｛３｝（１，０）×｛３｝（０，１）の頂点数＝３×３＝９
１２は｛｝（０）×｛３，３｝（０，１，１）の頂点数＝１×１２＝１２
６０は｛３，３，３｝（０，１，１，１）の頂点数
［８］｛３，３，３，３｝（１，１，１，１，０）
ｆ4＝（１／６０＋１／２４＋１／１８＋０／２４＋２／１２０）ｆ0＝６＋１５＋（２０）＋１５＋６＝４２
６０は｛３，３，３｝（１，１，１，０）の頂点数
２４は｛３，３｝（１，１，０）×｛｝（１）の頂点数＝１２×２＝２４
１８は｛３｝（１，０）×｛３｝（１，１）の頂点数＝３×６＝１８
２４は｛｝（０）×｛３，３｝（１，１，１）の頂点数＝１×２４＝２４
１２０は｛３，３，３｝（１，１，１，１）の頂点数
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
