カテゴリーっていうと、プログラム意味論の道具ぐらいのことしか
知らないんだけど、UNIXとも関係大きいの？