07/10/18 06:48:07
おっといかん、>>560のmm変換の発展だ(w
実はバイナリツリーとして一般化できるな。
つーことで、はなはだ陳腐だが、bt変換と名づける(w
bt[・・・,n]
=bt[・・・,n+1]bt[・・・,n]
で、適当な分岐停止条件をつけて木を作れば
項の値が評価できる。うほっほ。こりゃええわ。
ふぃっしゅなんぞに任せておくのはもったいない。
ファーストステージ(ε0)はふぃっしゅの優勝で終わったが
セカンドステージ(Γ0)は漏れ様がいただくぜ
・・・とあおってみるw