>>615
Secdr.tar.gz が 313KB なんでそれくらいでしょうね。ライセンスは GPL みたいなんで
うぷろださえあれば私もうぷ出来ます。

ところで、SECD マシンじゃなくて SGCD マシン（G-Machine）というのがあるみたい
ですが、これってどういう物なのでしょうか？
ググって見たらグラフ理論と関係あるみたいですが、グラフ理論って最適化とかでよく
聞く物の、中身が良く分かりません。。。