2008-05-10 23 misc 余剰CPU時間を使ってルービックキューブは23手以内で揃うと証明 via /. むむ、ルービックキューブを解くロボットのためであっても、20、21くらいが限界ならば、やはり機構の高速化争いになるんだろうなぁ。