2014-12-24から1日間の記事一覧
順序対の定義。 結構きつかったのでコメントもなしにガリガリ書いていた。もっときれいなやり方があるはず。 順序対の定義と性質 相変わらず、ComprehensionとかReplacementは先送りにしていますがどうなることか。
順序対の定義。 結構きつかったのでコメントもなしにガリガリ書いていた。もっときれいなやり方があるはず。 順序対の定義と性質 相変わらず、ComprehensionとかReplacementは先送りにしていますがどうなることか。