- 618 名前：デフォルトの名無しさん mailto:sage [04/06/17 03:18]
- >>615
Secdr.tar.gz が 313KB なんでそれくらいでしょうね。ライセンスは GPL みたいなんで
うぷろださえあれば私もうぷ出来ます。
ところで、SECD マシンじゃなくて SGCD マシン（G-Machine）というのがあるみたい
ですが、これってどういう物なのでしょうか？
ググって見たらグラフ理論と関係あるみたいですが、グラフ理論って最適化とかでよく
聞く物の、中身が良く分かりません。。。
