階乗君のプログラムが来春早々に劇場版で公開されるよ