Coqでルービックキューブ