通称「日程くん」で決めてるみたいです。wikiったら出てきます。知らなかったので、見てみたら面白かったです。