もう幾つ寝ると

前回の記事から一月過ぎてしまった. この一カ月間, 山と進めている事業プロジェクト (どこかで説明するかも知れません) に (30%程は) エネルギーを注いでいて, 特に山は腱鞘炎が治ってから毎週のように行っているから, … 続きを読む

アルピニズムと死

近頃 (といってもここ一カ月程度の話だが), 見たり読んだり考えたりすることが多くて疲れてしまうので, お手軽SNSに辛うじて覚書程度のものを記録しているが, 一年の内数カ月はそういう期間があって良いものかも知れないとい … 続きを読む

Boolean algebra v.s. Heyting algebra

【2021/10/12 ラジオ】Coqとか証明駆動開発とかに関するファクトチェックをした時のノートをlatexで書き起こしたものです. 興味がある方は参考にどうぞ. ※ブログメンテナンスの影響で, 記事番号が変わりました … 続きを読む

PCスタンドと評価経済

本日のお題は特に無し. なのでなんてことはない, ついさっきまで二つのPCスタンドの内どちらを買うかでずいぶん悩んでいて, ついに買った話を書きます. 元々私は頸椎ヘルニアがあって, 長時間の作業中少し頭を上に向けておき … 続きを読む