haskell-ja > Archives > 2012/11/22

2012/11/22 21:46:29 UTCnobsun
#
krxross さん
2012/11/22 21:53:05 UTCnobsun
#
一段の簡約でリデックス(簡約可能項)がいくつ減るかは元の式のパターンによりますから,単純に元式のリデックス数を数えるだけでは簡約系列の数え上げはできないと思いますがどうでしょうか.