プログラムと対称性