バージョン管理された人

subversionで管理されてます

2019-04-01から1ヶ月間の記事一覧

CrystalのIndexableの実装

本家のAPIドキュメントに Indexable(T) の詳しい実装方法がなくて苦戦した。 crystal-lang.org 最初は #unsafe_fetch だけを実装すればよいのかと思ったが、どうも、#unsafe_fetch を実装しただけだとスタックオーバーフローを起こしてプログラムが死ぬ。 不…

集合の濃度について

2つの有限集合とが同じ数の元を持つとは、に含まれる元の個数とに含まれる元の個数を数えればわかる。 また、有限集合が有限集合以上の元を持つことは、集合の元の個数をと表すことでと表すことができるし、は有限集合が有限集合よりも元を多くもっていると…