ミニシアターは「リナシアター」と呼ばれる。