2012-01-17から1日間の記事一覧
付録A続きます。 A.1.5 木を特徴付ける 単射的である(親ノードは1つ)というのすぐ出てきたのですが、循環を防ぐための ^ 演算子(推移閉包)を使う書きかたがなかなか出てきませんでした pred isTree (r: univ -> univ) { r.~r in iden -- 単射的 no iden & r …
付録A続きます。 A.1.5 木を特徴付ける 単射的である(親ノードは1つ)というのすぐ出てきたのですが、循環を防ぐための ^ 演算子(推移閉包)を使う書きかたがなかなか出てきませんでした pred isTree (r: univ -> univ) { r.~r in iden -- 単射的 no iden & r …