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:

またいくつかの新しい形 ev 書換えとその縮図 27 で紹介します。これが最上位レベルに発生した例外を伝播するため必要です。

Results (Japanese) 2:

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

Results (Japanese) 3:

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