>>92 で作られる順序数の
標準形判別、標準形化、収束列の表示などを行うツールを作りました。

http://www1.axfc.net/uploader/Sc/so/184531.lzh