高度深化段階(交換代数→同調代数→リー代数)の選択論理