ポリンタイマーはRJC2012についてきてたものみたいですけど、ダウンロード版には入ってない可能性ありそうかなぁ…記述がない