そういや、勉強会で米田埋め込み／米田の補題の話が出ていて、家帰ってからも圏論の基礎読んだりして、何となく理解はしたのですが。 …そんな同型がわかって何か嬉しいのだろうか（すいません愚昧な私をお許しください） まぁ嬉しいから今回も話に出てきたり…

でした。 カントールの対角線論法（圏論版）とローヴェルの不動点定理をやりましたが、以前書いたはずのＹコンビネータの作り方には酒井さん遅刻のため至らずｗ 次回持ち越しで。んでもってその後、べき（exponentiation）の話に突入。何というか、今まで記…

ボレーの調子がよかった。切るのではなく、前に押し出すように。 反面、ストロークがまた調子悪くなってしまった。（特にフォア）どうも足の筋肉がほぐれていないと、どうしてもタイミングが合わなくなってしまう。 一応事前にストレッチはするんだけども、…