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と彼らのダクトのいくつかの新しい形を導入した。トップレベルへの例外を伝播するために必要とされる。