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

昨日から走らせていたベースシステムのコンパイルが終了した.
先月は 14 時間ほどで終わったが, 今回は 17 時間かかった.

ベースシステムをマージし, デバイスを作成する.

# sysmerge
# cd /dev/ && ./MAKEDEV all

次いで X 関連のコンパイル・インストール作業を行う.

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

先月は途中でコンパイルエラーが発生して, やり直したらうまくいったのだった.
今回は一度の実行で make が終了した.

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

# pkg_add -uv

問題無く終了.

今月の OpenBSD のアップグレード作業が終わった.

$ uname -a
OpenBSD mybsd.local 7.5 GENERIC.MP#29 amd64

昼間は鬱が辛かったが, 夜になって少し元気が出てきたので月初めの OpenBSD のアップグレード作業を行う.

最初にベースシステム, X 関連, ports をアップデートする.

$ cd /usr/src
$ cvs -q up -Pd -A
$ cd /usr/xenocara
$ cvs -q up -Pd -A
$ cd /usr/ports
$ cvs -q up -Pd -A

最新のスナップショットへのアップグレードを行う.

# sysupgrade -s

新しいソースでカーネルの再構築とシステムの再起動を行う.

# cd /sys/arch/$(machine)/compile/GENERIC.MP
# make obj
# make config
# make && make build
# shutdown -r now

ベースシステムの構築を行う.

# cd /usr/src
# make obj && make build

これは時間がかかるので, 以降の作業は明日以降にする.

朝から鬱が辛く, 起き上がれない.
夕方まで寝込んだ.

夜に起き上がって食事.
ソーセージと玉葱炒め.

何もできずに休む.

7 時起床.
早い時間に起きることができた.

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

午前中からいろいろできると思っていたのだが, 午後までだらだらとネットを見て時間を費やしてしまう.
無駄なことをした罪悪感と, ネットを見過ぎたことによる気分の落ち込みで苦しくなる.

どうにかならないものか.

何もできなかった.
夕方まで横になって休む.

気持ちが沈んでいるが, 買い物に行く.
いつものスーパーまでの道のりは, 足を前に出すのもしんどい.

帰宅して語学の勉強をする.
気力が出ないので最低限のことだけ.

それから数学をやるが, 頭が働かない.
鬱のときに数学を考えるのは難しい. まったく進まなかった.

夕食をとる.
帆立と玉葱のスパゲティ.
パスタは辛いときでも比較的楽に作れる.

薬を飲んで布団に入る.

10 時起床.

体がだるい.
鬱ではない. このところの暑さでばてているのだと思う.

のろのろと昼食をとる.
納豆と卵かけご飯と味噌汁.

倦怠感が酷く, 夕方まで休んだ.

何とか起き上がって買い物に行く.
外は雨が降ったようでそれほど暑くはない.
いつものスーパーで野菜と肉を買って帰宅.

短い時間だが語学と数学をやる.

夕食は合鴨串とサラダとご飯.

今日は終日だるさに苦しめられた.

薬を飲んで休む.

朝から抑鬱感がある.
起き上がれない.
頓服を飲んで寝込んだ.

起きられたのは午後になってからだった.
13 時半起床.

ここしばらくの毎朝の鬱がなかなかしんどい. 何とか抜け出せないだろうか.

語学の勉強をする.
それから数学の勉強をする.

どちらも集中して論理的に考えることが難しい.
語学は単語やフレーズなどがふわふわして自分の中にまるで入ってこない.
数学は証明を考える問題をやっているのに想像力がまったく働かず何も進展しない.

区切りを付けて買い物に出かける.
外は非常に暑い.

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

夕食はソーセージとサラダ, ミートソーススパゲッティ.

薬を飲んで布団に入る.

8 時半起床.

やや鬱が辛いが寝込むほどではない. 何とかなるだろう.

昼からデイケアの友人と会う.
カフェに入っていろいろ話す.
お互いの病気のことや, 近況など.

友人は最近体調がいいようである. よかった.
自分もまだ鬱の波から抜け出せていないようだが, 少しづつ良くなってきているとは感じる.
時々お互いについて話し合うのは, 自分自身の体調を確認する意味でもよい.

別れて夕方に帰宅.

語学の勉強をする.

それから数学をするが, 眠気に襲われて寝てしまった.
数学は少ししかできなかった.

起きたら午前零時近くになっている.
こんなに寝てしまうとは思わなかった.

もう何をする時間も無い.

薬を飲んで寝る.

朝から鬱が辛い.
気分が酷く落ち込んでいる.

頓服を飲んで寝込む.

午後になってようやく起き上がれた.
午前中の鬱が午後まで長引くと, 半日が潰れてしまう.

食事をまだとっていない. 空腹である.
駅の近くのラーメン屋に出かける.

ラーメンライスと餃子.
美味しい. 元気が出るようだ.

帰宅して語学をやる.

それから数学をやる.
昨日引っ掛かった箇所を以前のノートで調べる.
反変冪集合関手 (contravariant power set functor) $P : \mathbf{Set}^{\mathrm{op}}\rightarrow\mathbf{Set}$ がモナド的 (monadic) であるという結果.
どこかで証明しただろうか?
そうしたら 教科書 の定理 5.5.8 の帰結として, 反変冪集合関手 $P$ がモナド的であることが導いてある.
だが, この定理の証明は練習問題になっていて読者に任せられている. 自分はこれをやっていない. だから証明はまだである.
これは証明しておかないといけない.
明日以降証明する.

薬を飲んで休む.

11 時半起床.

よく眠れた. こんな時間になったが, 疲れていたのかも知れない.

買い物に行く.
外はサウナ風呂の中にいるように暑い.

野菜や肉などを買って帰宅.
汗だくになってしまった.

シャワーを浴びて一休みしてから語学の勉強をする.

それから数学をやる.
教科書 の記述でよくわからない箇所がある.
以前勉強したところ.
ノートを見直しながら進める.

夕食は麻婆豆腐とサラダ.

薬を飲んで布団に入る.

昨晩は得体の知れない不安が強く, 朝まで一睡もできなかった.
明るくなってやっと眠くなる.
午前中はずっと寝る.

昼に目が覚めたが, 今度は抑鬱感が強い.
何もする気にならず, 布団から起き上がれない. 気分の落ち込みが強く気力も出ない.
苦しい.

枕元の頓服を飲んだ.

14 時起床.
頓服がよく効いてくれたおかげか気分もいい.

外の空気を吸いたかったので買い物に行く.
パスタソースなどを買って帰宅.

語学の勉強をする.
単語を覚えたりフレーズを音読したり.

それから数学をやる.
教科書 を読み進める.
これまで読んできた教科書の各章の概念が次第に統合されてきたように感じる. 面白い.
夕食は生ハムのサラダとミートソーススパゲティ.

今日は頓服に助けられた.
薬を飲んで休む.