TAPL演習の2.2.6を解いてみた。 【問題】 集合S上の関係Rを与え、関係R’を以下の様に定義する。 R' = R ∪ { (s,s) | S ∍s } R'が反射的閉包であることを示せ。 --------------------------------------------- 反射的閉包は定義2.2.1及び2.2.5より下記の条件…

富田林でメモリアルCXがあり出走してきました。 今季で10回目、今年で最後にするそうです。 レースの方は、いつもの着順で変わり映えなしとな感じで終わりました。 出走したレースは６０分耐久（３０分x2)とスプリント。 合計３レース走りました。 １レース…