ていへんかけるたかさわるに

0 時起床.

本を読む.
カント『純粋理性批判』から「第二版序言」の続き.
第二版において行った叙述の訂正について述べられる.
難解とされ, 十分な理解が得られなかった部分をできるだけわかりやすく書き直したとのこと.
その際, 命題および命題の証明理由の内容については変更の必要を認めなかったというところに, カントの自信が窺える.

それから数学をやる.
モノイドの圏 $\mathbf{Monoid}$ が集合の圏 $\mathbf{Set}$ 上でモナド的 (monadic) であるという命題の証明を読む.
圏論的に, 図式を使った計算で証明が進行していく.
朝までかかって読み終えた.

朝食をとる.
キャベツとハムエッグとコーヒー.

午前中は郵便局に行って役所に書類を提出する.
銀行の ATM に行って今週分の生活費をおろす.
買い物に行って野菜や魚などを買う.

昼過ぎに一区切り付いた.

少し眠る.

夕方に起きて食事.
しらすおろしと小松菜炒めとご飯.

まだ早いが布団に入る.

0 時起床.
今日は体調がいい.

本を読む.
カント『純粋理性批判』から「第二版序言」の続き.
純粋理性の批判という計画を実行するにあたり, カントは哲学者ヴォルフの厳密性に従うことを宣言する.
カントがヴォルフの厳密性に関して語った, 一つの学を確実に進めるには, 原理の法則化確立, 概念の明晰な定義, 厳密な証明の試み, 推論の大胆な跳躍の防止が必要である, という言葉は, 数学についても成立するだろう.

それから数学をやる.
monadicity 定理の証明で引っ掛かっていた箇所が解決する.
一種の循環論法に陥っていたようだ.
必要な議論を書き加えて, 不要な箇所を削除し証明を完成させる.

朝食をとる.
パンと紅茶.

少し眠る.

起きてから数学の続きをやる.
代数の復習. イデアルに関する教科書の練習問題を解く.

午後からアルコール依存症の自助グループに行く.
今日は参加人数は少なかったが, その分個々の経験に関する重たい話が多く共感できるところが多々あった.

夕方に帰宅.
食事をとる.
蕎麦と大根おろし.

まだ明るいが布団に入る.

5 時起床.
昨晩は眠りが浅かった.
鬱が少し辛いが何とか起きる.

朝食をとる.
納豆と卵かけご飯と味噌汁.
ゆっくり味わって食べる.

午前中に買い物に行く.
野菜やパンなどを買う.
食料品の値段が高くて困る.

午後からはデイケアの友人の家に行く.
友人が鬱に関するテレビ番組を録画してくれたので, それを観に行ったのだ.

内容は自分が経験したことや勉強した範囲を超えるものではなかったが, 参考になった.
番組の中で, 「自分は駄目だ」と思ってしまう鬱病者が認知療法を通じて回復する内容が紹介されている.

この鬱病者の体験は自分に置き換えることができる.
自分は駄目だという思いは, 自分の場合も認知療法で対処できるかも知れない.

その後, 友人と病気や体調のことを話す.

夕方に友人宅を出て帰宅.

一休みしてから食事をとる.
トマトと小松菜のパスタ.

早めに布団に入る.

4 時半起床.
鬱が辛いが, 踏ん張って起き上がった.

作業療法に行きたいので弁当を作る.
頭が働かないので, 調理の手順を手帳に箇条書きにして一つづつやっていく.

いつもより少し遅い時間に家を出た.
鬱が辛く, 駅で引き返そうかとも思ったが行くだけ行ってみようと気力を絞る.

午前中に病院のアトリエに着く.

ずっと休んでいた仲間が来ていた. 入院していたのだそうだ.
話を聴いているうちに自分の方も気持ちが落ち着いてきた.

絵を描く.
描きかけの絵に色を塗る.
今日は背景をほぼ全面的に塗り直した.

集中している間は鬱のことが忘れられる.

夕方にアトリエを出る.

夜はアルコール依存症の自助グループに行く.
今日のテーマは「行動に移す」.
神を信じていない自分でも助けてほしいと祈るときがある. そんなことを話した.

くたくたになる.
眠い.

今日は鬱が辛かったがいろいろできてよかった.

帰宅して布団に入る.

7 時起床.
鬱が辛いが何とか起き上がる.
このところ毎朝の鬱が苦しい.

朝食をとる.
キャベツとハムエッグとコーヒー.

午前中は買い物に行く.
体が重たく, 足を一歩前に出すのも辛い.

野菜や魚を買って帰宅.

少し無理をして午後からデイケアに行く.
今日のプログラムは「幸せについて考える」.

月 1 度全 4 回のワークショップ形式のプログラムの第 2 回目.
前向きになる秘訣や, 生涯をかけて成し遂げたいことなど, 鬱が辛い中でいろいろ考えるのはしんどかった.
逆に吐き出してすっきりした部分, 他のメンバーの辛い体験を聴いて共感できた部分もある.

帰宅して食事.
鮭の混ぜご飯.

食べて, 片付けをして休む.

6 時半起床.
鬱と無気力が辛い.

何もやる気にならない.

気力を絞って午前中に買い物に行く.
野菜などを買う.

帰宅して食事.
昨日のポトフの残りとご飯.

鬱が苦しい.
寝込んだ.

そのまま一日が終わる.

3 時起床.

本を読む.
カント『純粋理性批判』から「第二版序言」の続き.
批判が反対するものが, 既存の学派の独占権であることが語られる.

それから数学を少しやる.
あまり進展せず.

午前中は内科の定期検査がある.
早めに家を出る.

検査を終えて, 買い物をして帰宅.

朝から何も食べていなかったので空腹である.
ポトフを作った.
キャベツ, 人参, 玉葱, じゃが芋や蕪, 豚ばら肉など材料をことこと煮込むのは楽しい.

ゆっくり味わって食べる.

クリニックに行ったときもそうだが, 内科に行っても精神的に疲れる.

まだ明るかったが布団に入る.

10 時起床.
鬱が苦しい.
何もやる気にならない.

とりあえず食事をとる.
キャベツとコーヒー.

頓服を飲んで寝込む.
少し眠った.

午後に起きる.
まだ鬱が辛いが, 銀行の ATM まで行って今週分の生活費をおろしてこないといけない.

よろよろと出かける.
歩いているうちに気分が上向くかも知れない.

何とか生活費をおろせた. ほっとする.

それから買い物に行く.
鶏卵などを買う.

帰宅して食事.
ベーコンエッグとご飯.

いろいろ頑張って, くたくたになってしまった.
片付けをして休む.

4 時半起床.
やや鬱が辛い.

本を読む.
カント『純粋理性批判』から「第二版序言」の続き.
純粋理性批判は既存の学派の独占権に損失を与えるが, 他には利益の他何もないことが述べられる.

朝食をとる.
パンと紅茶.
食べている最中から鬱が辛くなってくる.

OpenBSD のアップグレード作業を行う.
頭が働かない.
辛い.

休みながら作業をする.
何とか午前中には終わった.

この後, Emacs HEAD のコンパイル・インストールを行いたいが気力が出ない.

頓服を飲んで寝込んだ.

夕方に起きる.
買い物に行く.
体が重く, 歩くのが辛い.
野菜などを買う.

帰宅して Emacs のコンパイルを行う.
途中でエラーが出たが, 対処する気力が出ず作業を中断する.

夕食をとる.
蕎麦と大根おろし.

そのまま眠る.

深夜に起きて, Emacs のコンパイルエラーに対処する.
インストールまでを行い, 再び眠る.

Emacs HEAD のコンパイルとインストールを行う.

$ export AUTOCONF_VERSION="2.71"
$ export AUTOMAKE_VERSION="1.16"
$ ./autogen.sh
$ ./configure \
    'CFLAGS=-I/usr/include -I/usr/X11R6/include -I/usr/local/include' \
    'LDFLAGS=-L/usr/lib -L/usr/X11R6/lib -L/usr/local/lib -lgccjit' \
    --prefix=/usr/local \
    --mandir=/usr/local/share/man \
    --infodir=/usr/local/info \
    --with-x-toolkit=athena \
    --with-imagemagick \
    --with-xaw3d \
    --with-x \
    --without-xim \
    --with-xpm=ifavailable \
    --with-native-compilation

libgccjit のチェックの際にエラーが出た.

checking for gcc_jit_context_acquire in -lgccjit... yes
checking for libgccjit.h... yes
configure: error: The installed libgccjit failed to compile and run a test program using
the libgccjit library; see config.log for the details of the failure.
The test program can be found here:
<https://gcc.gnu.org/onlinedocs/jit/intro/tutorial01.html>.
You can try compiling it yourself to investigate the issues.
Please report the issue to your distribution if libgccjit was installed
through that.
You can find the instructions on how to compile and install libgccjit from
source on this site:
<https://gcc.gnu.org/wiki/JIT>.

メッセージに従って, https://gcc.gnu.org/onlinedocs/jit/intro/tutorial01.html にあるテストプログラム tut01-hello-world.c をコンパイルして動かしてみる.

$ egcc -I/usr/include -I/usr/local/include -L/usr/lib -L/usr/local/lib \
  tut01-hello-world.c -o tut01-hello-world -lgccjit
$ ./tut01-hello-world
ld: error: unable to find library -lgcc
ld: error: unable to find library -lgcc
libgccjit.so: error: error invoking gcc driver
NULL result

libgcc が見つからないというエラーが出る.
探したらディレクトリー /usr/local/lib/gcc/x86_64-unknown-openbsd7.3/11.2.0 に libgcc.a があった.
そこで環境変数 LD_LIBRARY_PATH にこのディレクトリーを指定してテストプログラムを実行する.

$ export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:/usr/local/lib/gcc/x86_64-unknown-openbsd7.3/11.2.0
$ ./tut01-hello-world
hello world

今度はうまく行った.

上記のように環境変数 LD_LIBRARY_PATH を設定した状況で Emacs HEAD のコンパイルとインストールを行う.

$ ./autogen.sh
$ ./configure \
    'CFLAGS=-I/usr/include -I/usr/X11R6/include -I/usr/local/include' \
    'LDFLAGS=-L/usr/lib -L/usr/X11R6/lib -L/usr/local/lib -lgccjit' \
    --prefix=/usr/local \
    --mandir=/usr/local/share/man \
    --infodir=/usr/local/info \
    --with-x-toolkit=athena \
    --with-imagemagick \
    --with-xaw3d \
    --with-x \
    --without-xim \
    --with-xpm=ifavailable \
    --with-native-compilation
$ git pull
$ gmake bootstrap
$ gmake check
# gmake install

また, \$/.emacs.d/init.el の中でも環境変数 LD_LIBRARY_PATH を

(setenv "LD_LIBRARY_PATH" "$LD_LIBRARY_PATH:/usr/local/lib/gcc/x86_64-unknown-openbsd7.3/11.2.0")

のように設定した.

これまではなぜうまく動いていたのだろうかという疑問は残るが, 最新版のシステムを使っていればこういうことはある.