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

9 時起床.

少し鬱が辛いが何とか起きられた.

朝食をとる.
キャベツと目玉焼きとコーヒー.

気持ちが沈んでくる. 苦しい.

体を動かせば気分が上向くかと思い, 昼から散歩に出かける.
最初は足を一歩前に出すのも辛かったが, 歩き続けるうちに楽になってくる.

2 時間ほど歩いて, 買い物をして帰宅.

鬱はだいぶよくなった.

食事を作る.
ポークカレー.
ゆっくり煮込んで夕方に完成.

味わって食べる.

まだ早いが布団に入る.

7 時半起床.

体がだるいが, 何とか起きた.

朝食をとる.
キャベツと目玉焼きとコーヒー.

昼前に買い物に行く.
野菜や肉などを買う.

今日は午後からデイケアに行こうと思っていた.
ところが, 着替えや支度が済んだ頃から不安感が強くなってくる.
呼吸が浅くなり, 以前よく経験していた過呼吸に近い状態になる.

人が怖い. 外に出るのが怖い.

頓服を飲んだが治まらず.

そのまま寝込んだ.
自分を否定する思いが強い.

布団にくるまったのだが, 不安で眠れず.

夜になって少し気持ちが落ち着いて起き上がる.

あらためて眠剤と頓服を飲んで布団に入る.

7 時起床.

食欲が無く朝食はとらなかった.

午前中は役所に行く.
障害者自立支援医療の受給者証の更新手続きをしなければならない.

多少手間取ったものの, 手続きは無事に終わった.

昼から映画を観に行く.
『ゴジラ -1.0』.

特攻隊から逃げ出して戦争から帰った主人公の敷島が, 過去の記憶に苦しむ姿に共感する.
自分も現実から逃げ出して, 現在世の中から隠れるようにして生きている.

敷島はその苦しみから逃れられたのだろうか.
いい映画である.

帰宅して食事.
昨日の残りのおでん.

まだ早いが眠剤と頓服を飲んで布団に入る.

1 時半起床.

本を読む.
イアン・ハッキング『数学はなぜ哲学の問題になるのか』.

応用数学の一例として航空学, その中でも効率的な翼 (airfoil) の開発における数学と工学との関係について語られている.
ハッキングは, 通常は数学者は理想の理論を追い求め, 工学者・エンジニアは現実的な解を追い求めるとした上で, 20 世紀初頭のイギリスの航空学においてはある種の逆転現象が起きていたと言う.
飛行機の効率的な翼の構造に伴う気体の運動を解明するためには, ナヴィエ-ストークス方程式という非線形の偏微分方程式を解く必要がある.
ところが, この方程式は 3 次元以上では極めて難しく, 数学的に特殊解を求めることすら著しい困難が伴う (そもそもそのような特殊解でも過去に得られているのだろうか).
そこで数学者がとったのは, 数多くの風洞実験を行い, 理論をそれに合わせていくという実践的な方法だった.
一方で工学者・エンジニアはこの困難な問題を単純化 ── ある種の理想化 ── して, 解を求めるという方法をとった.

数学者が現実に向き合い, 工学者・エンジニアが理想論に向かったと言うのである.

これはどうなのだろうか.
数学者も絶えず実験を行っている. どれほど抽象的な分野であったとしてもそうだ.
昔ならば具体例の計算を紙に書くことによって, 現在ならばおそらくコンピューターによるシミュレーションを行うことによって, である.
一足飛びに理想化を行うわけではないのではないか.

工学者・エンジニアであっても, おそらくこの姿勢に変わりは無いと思う.
小さなプロトタイプを作り, 徐々にプロダクトに仕上げていく.
現実的な解を追い求めるために, 理論の吟味を要すると思う.

---

それから数学をやる.
圏論の教科書を読み進める.
小さな補題の証明だが, 自分の考えと理解が広がっていくのが楽しい.
現在はまだ体調が安定しないが, ゆっくり読んでいきたい.

午前中に内科の定期検査を受ける.
外に出るととても寒い.

いつものように検査を受け, 結果について話し合う.
幸い今月も問題は無かった.

医院を出ると, 相変わらずの寒さで冷たい雨が降りそうな空気である.

買い物をして帰宅.

朝の数学の続きをやる.

区切りを付けて夕食を作る.
今夜はおでんである.
傍らでコンピューターの作業をしながらゆっくり煮る.

美味しくできた.
残念ながら大根にはまだ火が十分に通っていないが, 明日にはもっと美味しくなるだろう.

眠剤と頓服を飲んで早めに布団に入る.

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

環境変数の設定.

AUTOCONF_VERSION="2.71"
AUTOMAKE_VERSION="1.16"
LD_LIBRARY_PATH=$LD_LIBRARY_PATH:/usr/local/lib/gcc/x86_64-unknown-openbsd7.4/11.2.0

コンパイル・インストール。

$ ./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

時間はかかったが問題無く終わった. ほっとする.

M-x emacs-version
This is GNU Emacs 30.0.50 (build 1, x86_64-unknown-openbsd7.4,
X toolkit, cairo version 1.18.0, Xaw3d scroll bars) of 2023-12-05

/usr/src 以下のベースシステムのソースコードのコンパイルがエラー終了する問題に関して少し調べた.
今回のエラーで, そのような名前のメンバー関数が存在しないと通知されたものは以下の通りである.

emitCast, emitRem, emitDiv, emitBitOr, emitShl, emitShr, emitBitXor,
emitSubPtr, emitCall, emitIncPop, emitDecPop, emitPop.

LLVM/clang の以前のソースコードを見ると, これらのメンバー関数は実際に存在し, 定義されている.
なぜ, 今回の OpenBSD のソースコードで削除されたのか?

古いソースコードから上記のメンバー関数をコピーしてきて再コンパイルすることも考えたが, 全体の整合性がとれるか, そもそもそうしたところでコンパイルが通るかどうかはわからない. 簡単には行かないだろう.
これらのメンバー関数が削除された何らかの理由があるのかも知れないが, わからない.

現在の OpenBSD 用の LLVM/clang のソースコードは改修途上にあるのかも知れない.

どうも自分の手に負える類のものではないようである.
残念だが, ベースシステムのコンパイルは一旦諦める.

X 関連のファイルのコンパイル・インストールを行う.

# cd /usr/xenocara
# make bootstrap
# make obj
# make build

パッケージのアップデートを行う.

# pkg_add -uv

ところが, 途中で

pkg_add: Installation of llvm-13.0.0p21 failed, partial installation recorded as partial-llvm-13.0.0p21

というエラーメッセージが出て先に進めなくなってしまう.
それで, pkg_add を対話的に実行するオプション -i を付けて再度実行する.

# pkg_add -uv -i

なぜか今度は成功した. こちらの判断も求められることは無く終わった.

ひとまず, 今回のアップグレード作業はこれで区切りを付けることにする.

$ uname -a
OpenBSD mybsd.local 7.4 GENERIC.MP#24 amd64

7 時起床.

鬱が辛い.
頭の中に灰色の靄がかかっているようだ.

朝食をとる.
キャベツと目玉焼きとコーヒー.

横になって休む.

昼過ぎに買い物に行く.
足を一歩前に出すのも辛い. ゆっくり歩く.
野菜などを買う.

帰宅してまた横になって休む.

夕方に食事.
大根煮とご飯.

温かいものを食べて少し気持ちが和らぐ.

片付けをして休む.

3 時起床.

3 時起床.

本を読む.
イアン・ハッキング『数学はなぜ哲学の問題になるのか』.
剛性の数学について述べられる.
正多面体に関する様々な工学上の剛性に関する発見と並行して, 純粋数学としてコーシーやセルバーグが貢献したということは初めて知った.
この事実に限ってのことではあるが, いかに抽象的であろうと数学と自然との関係に思いを馳せてしまう.

それから数学をやる.
圏論の教科書を読み進める.
Par$\acute{\textrm{e}}$ による "反変冪集合関手 (contravariant power set functor) $P : \mathbf{Set}^{\mathrm{op}}\rightarrow\mathbf{Set}$ はモナド的 (monadic) である" という定理とその証明を読む.
非常にきれいな定理である.
途中まで証明を読んで疲れてしまった.
続きは明日にして区切りを付ける.

朝食をとる.
納豆と卵かけご飯と味噌汁.

午前中は OpenBSD のアップグレード作業の続きなどを行う.

昼前に買い物に行く.
野菜や魚を買った.

何だか疲れた.
帰宅して少し休む.

夕方に食事.
貝の刺身盛り合わせと蕎麦と大根おろし.

片付けて布団に入る.

/usr/src 以下のライブラリーのソースのコンパイルでエラーが出て止まっている.

/usr/src/gnu/usr.bin/clang/libclangAST/../../../llvm/clang/lib/AST/Interp/ByteCodeExprGen.cpp:119:18:
error: no member named 'emitCast' in 'clang::interp::ByteCodeExprGen'
    return this->emitCast(*FromT, *ToT, CE);
           ~~~~  ^
/usr/src/gnu/usr.bin/clang/libclangAST/../../../llvm/clang/lib/AST/Interp/ByteCodeExprGen.cpp:204:26:
error: no member named 'emitRem' in 'clang::interp::ByteCodeExprGen'
    return Discard(this->emitRem(*T, BO));
  ・ ・ ・ ・
20 errors generated.
 *** Error 1 in gnu/usr.bin/clang/libclangAST (:67 'ByteCodeExprGen.o': @c++ -O2 -pipe  -fno-ret-protector -mno-retpoline -ffunct...)
 *** Error 2 in gnu/usr.bin/clang (:48 'all': @for entry in include/llvm/Config libLLVMSupport libLLVMTableGen llvm-tblgen inc...)
 *** Error 2 in gnu/usr.bin (:48 'all': @for entry in clang cvs binutils binutils-2.17 perl texinfo; do  set -e; if test -d /u...)
 *** Error 2 in gnu (:48 'all': @for entry in lib usr.bin usr.sbin; do  set -e; if test -d /usr/src/gnu/${entry}.amd64; then  ...)
 *** Error 2 in . (:48 'all': @for entry in lib include bin libexec sbin usr.bin usr.sbin share games gnu sys; do  set -e; if ...)
 *** Error 2 in . (Makefile:97 'do-build')
 *** Error 2 in /usr/src (Makefile:74 'build')

調べてみると, 上記エラーメッセージにあるとおり, 確かに /usr/src のソースコード内には emitCast, emitRem などの関数が存在しない.
ただ, 自分が C++ について知らないのでそれ以上深く原因を探るのが難しい.
引き続き調べてみるが, /usr/src のソースコードがアップデートされるのを待つということも並行して進めていきたい.

9 時半起床.

この 2 日間, 鬱が苦しかったが, 何とか解放された.
よかった.

昼まで洗濯などをして過ごす.

それから昼食をとる.
キャベツと目玉焼きとコーヒー.

買い物に行く.
野菜と肉などを買う.

帰宅してからシステム管理の作業を行う.
OpenBSD のアップグレード作業.

今日できる分をやって区切りを付ける.

夕方に食事.
鶏もも肉と葱焼き, ご飯.

午前中に起きて, 日中もそれなりにいろいろできた.
明日もこういう風になってほしい.

片付けをして布団に入る.