引っ越し

by

荷物や業者の準備も佳境に入った. ピアノ以外の大型家具は業者の手配も一通り済み, 小物の断捨離を少しずつ進めている. 断捨離をしている間, まるで過去の自分と対話してるような気持ちになる — 書籍はその最たる … 続きを読む

もう幾つ寝ると

by

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

アルピニズムと死

by

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

Boolean algebra v.s. Heyting algebra

by

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

PCスタンドと評価経済

by

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

daigoの動画を観た

by

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