F# の例(1) F# で動作するようにすることはできましたが、まだよくわからないところがあります。「エレファントな群とリー代数」では「項書き換え」の「一階の項」を「一般マグマの多項式」として多項式のように扱う方法について考えました。論理プログラミ…