We also introduce in Figure 27 some

We also introduce in Figure 27 some new forms of ev-redexes and their reducts, which are needed for propagating a raised exception to the top level.

Results (Japanese) 1:

我々 も図 27 ev リデックスの最上位レベルに発生した例外を伝播するため必要となるその縮いくつかの新しい形態を紹介します。

Results (Japanese) 2:

また、図27のEV-redexes、トップレベルに上げ例外を伝播するために必要とされる彼らの縮約、いくつかの新たな形でご紹介します。

Results (Japanese) 3:

また図27におけるev redexesと彼らのダクトのいくつかの新しい形を導入し、トップレベルに例外を伝播するために必要とされる。