ここでは「オンラインide」、「オンラインジャッジ」についても説明する。