いろいろと思いつくことを書いてきたけど、え～と何ですなー。。。 全然何を言いたいんだかさっぱりわからんですな。読み返してみると。 「証明」 「ある命題が、事前に認められた仮定から、事前に認められた推論規則のみを用いて有限ステップで導くことがで…

昨日、久々にｼﾞﾑに行ってきた。 この状態で何級が登れるだろうということでやってみた。 まず最初に5級に取り付いてみた。 重い。体が重い。体が重くて指に負荷がかかり過ぎる。 とても快適ではないが、1個目完登。 次の5級。 重い体に苦労しながらも終了点…