ロラン・バルトの S/Z は Sein und Zeit の頭文字でもあるなと思って「S/Z 存在と時間」で検索したらなぜかタカサキさんの講演スライドが出てきたので読んでいる．

を，二等辺三角形OAB ⊂ 扇形OAB ⊂ 直角三角形OAC（CはOB上，∠Aが直角）の図から導かれる不等式 を使って証明しているのをよく見るが，扇形OHH' ⊂ 二等辺三角形OAB ⊂ 扇形OAB （HはBからOAに下ろした垂線の足，H'は線分OB上）の図から導かれる不等式 を…