  The Schroedinger functional formalism is given as a field theory in a finite
volume with a Dirichlet boundary condition in temporal direction. When one
tries to construct this formalism with the Ginsparg-Wilson fermion including
the overlap Dirac operator and the domain-wall fermion one easily runs into
difficulties. The reason is that if the Dirichlet boundary condition is simply
imposed on the Wilson Dirac operator $DW$ inside of the overlap Dirac operator
an exponentially small eigenvalue appears in $DW$, which affects the locality
properties of the operator. In this paper we propose a new procedure to impose
the Schroedinger functional Dirichlet boundary condition on the overlap Dirac
operator using an orbifolding projection.
