BEAFはサラダ数のなかでもいろいろと応用が効きそうな技を使ってるのでおいしいほうだと思います。
BEAFなのにサラダって、なんか変な感じだけど。

ラヨ関数より強い関数が将来できるとして、どんな関数ができるんだろうか。
神託機械ですら計算できないという時点で浅学な自分にはもう想像が追いつかない。
神託言語?　そんなものあったっけ?