a4「新しいＴ語は、計算が木構造ではなく、時間が遅れることが特徴なんですが、
停止性問題を解きながら、人間に近い読解をさせます。読解に関しては、前から
言ってる通り、A,B->Cを基本として、キーワードを連鎖させていきます。それで、
動詞(verbe)が見つかったら、関数がまたD,E->Fのように発火していきます。」
Ａ「これは正しい。」