blog2014-12-24から1日間の記事一覧2014-12-24ZFCはじめてみるの巻2順序対の定義。きつかったのでコメントもなしにガリガリ書いていた。きれいなやり方があるはず。相変わらず、ComprehensionとかReplacementは先送りにしていますがどうなることか。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。