国民と国家は別なのだろうか

by

どの番組か忘れたが (恐らくAbema Prime), ある有識者が次のように発言していた: 国民と国家を別に考えないと, (経済制裁が元首や側近に行かず, 国民にばかり行く恐れがあるので) 果たして経済制裁が本当に効く … 続きを読む

頭の良い人は、難しい事を簡潔に説明する

by

この言明を聞いたことがありますか？ 対偶を取ると、「難しい事を簡潔に説明できなければ、頭が良くない」。これは果たして真でしょうか。 これを真だとすると、数学を含む科学の最先端の論文を簡潔に説明できない専門家たちは頭が良く … 続きを読む

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

by

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

引っ越し

by

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

もう幾つ寝ると

by

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

アルピニズムと死

by

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

Boolean algebra v.s. Heyting algebra

by

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