ツール

お遊びでつくったやつです.将来的には実用的なソフトウェアも載せたいのですが.

Knuth Bendix Completion in Standard ML [URL]

一階項書き換え系を操作する Standard ML 製の UNIX コマンドです.MLton でコンパイルします.

ACP bot (現在停止中) [URL]

項書き換え系の Church-Rosser 性と正規系の一意性を判定する Twitter bot です.ACP の最新版を用いて判定しています.凡例は COPS を参考にしてください.

Brainf*ck in Standard ML [URL]

研究室で Standard ML を使うことになったときに,練習のために作った Brainf*ck のインタプリタです.100以下の素数を計算するサンプルプログラムを付属しています.

たんたん洗脳ページ [URL]

大学のそばにある某担々麺屋さんに行きたくなる洗脳を掛けるページです.Matrix Canvas Code を参考にしました.