icefog

地方への移転: 動物的独立の実験

by

移転から二週目に差し掛かってみて, いよいよ活動の準備が整ってきた. 初期は住居やインフラの整備が優先されるので, どうしてもマイナスをゼロにすることに忙しく, 食事も思うようには行かなかった (それよりも先んじてクライ … 続きを読む

引っ越し

by

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

もう幾つ寝ると

by

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

アルピニズムと死

by

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

Boolean algebra v.s. Heyting algebra

by

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

PCスタンドと評価経済

by

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