アルピニズムと死

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

Boolean algebra v.s. Heyting algebra

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

PCスタンドと評価経済

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

daigoの動画を観た

炎上動画で話題になっていたので動画のオリジナルをかいつまんで観た. 内容の感想や批判は専門家も発信されてる様子なので特に触れないようにしたいが, 切り口を変えて思うところを書いておきたい. まず前提として, daigoは … 続きを読む