遺伝学・遺伝統計学関連の姉妹ブログ『ryamadaの遺伝学・遺伝統計学メモ』
京都大学大学院医学研究科ゲノム医学センター統計遺伝学分野のWiki
講義・スライド
医学生物学と数学とプログラミングの三重学習を狙う学習ツール
駆け足で読む○○シリーズ
ぱらぱらめくるシリーズ
カシオの計算機
オンライン整数列大辞典

5 Relations 関係（二項関係、とかそういう『数学的な関係』という意味での関係) ぱらぱらめくる『The Haskell Road to Logic, Maths and Programming』

Haskell ぱらぱらめくるシリーズ
  • 関係は、順序を問題にするペアの集合として定まる
  • 関係が持つ性質にはreflexive, irreflexive,symmetric,asymmetric,antisymmetric,transitive,intransitive, pre-order(quasi-order),strict-partial-order,parial-order,linear,total-orderとかがあって、それに対応して定義が論理式で書ける。Haskellではそれを意識して関係が実装されている
  • 集合を分割する
  • 集合の分割と整数分割が同じ土台で説明される