東京工科大の学生が学内システムをDockerで開発、その舞台裏を聞く