素数を数える染岡さん 2011-04