型システム祭りをリアルタイムで見てたけど「あ、５分でこれ間に合わねえな」っておもいました (edited)