［１］３次元半立方体

　　（１，１，１）

　　（１，－１，－１）

　　（－１，１，－１）

　　（－１，－１，１）

（１，１，１）からみるとα2面は

（１，１，１）（－１，－１，１）（１，－１，－１），

（１，１，１）（－１，－１，１）（－１，１，－１），

（１，１，１）（１，－１，－１）（－１，１，－１）

ｈγ2面は

（１，１，１）（－１，－１，１）

（１，１，１）（１，－１，－１）

（１，１，１）（－１，１，－１）

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

［２］４次元半立方体

　　±（１，１，１，１）

　　±（１，１，－１，－１）

　　±（１，－１，１，－１）

　　±（１，－１，－１，１）でまとめることができる．

（１，１，１，１）からみるとα3面は，α2の前後に１をつけて，

（１，１，１，１）（１，－１，－１，１）（１，１，－１，－１）

（１，１，１，１）（－１，－１，１，１）（１，－１，－１，１），

→重複するものを消すと

（１，１，１，１）（１，－１，－１，１）（１，１，－１，－１）

（－１，－１，１，１）・・・しかしＮＧ

（１，１，１，１）（１，－１，－１，１）（１，－１，１，－１）

（１，１，１，１）（－１，－１，１，１）（－１，１，－１，１），

→重複するものを消すと・・・

（１，１，１，１）（１，１，－１，－１）（１，－１，１，－１）

（１，１，１，１）（１，－１，－１，１）（－１，１，－１，１）

→重複するものを消すと・・・

ｈγ3面は，ｈγ2面の前後に１をつけて

（１，１，１，１）（１，－１，－１，１）（－１，－１，１，１）

（１，１，１，１）（１，１，－１，－１），（１，－１，－１，－１）

（１，１，１，１）（１，－１，１，－１）（－１，１，－１，１）

→１点足りない

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

　意外と難しいので，重複するものを消すのではなく・・・

（１，１，１，１）からみるとα3面は，α2の前後に１をつけて，

（１，１，１，１）（１，－１，－１，１）（１，１，－１，－１）

→もう１点は（１，＊，－１，＊）共通するもの

　　　　　　（－１，＊，１，＊）共通しないもの

共通しないものから→（－１，１，１，－１）

　　　　　　　　　　（－１，－１，１，１）→どちらもＮＧ．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝