2006-01-18 キャスト可能性を容易に判定する実装 programming language http://www.kmonos.net/wlog/57.php#_1848060114 グラフ理論とトポロジカルソートを混ぜたような話。k.inabaさんによるまとめ。