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

9 時起床.

眠剤が効き過ぎた. 体がふらふらする.

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

それから散歩に出かける.
そのついでに銀行の ATM に寄って今週分の生活費をおろし, いつものスーパーに行って野菜や肉を買う.

1 時間半ほど歩いて帰宅.

少し横になって休む.

夕方に食事.
ソーセージと蕪のスープ, ご飯.

食べている途中から鬱が辛くなってくる.
午後あるいは夕方からの鬱が続いている.
辛い.

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

2 時起床.

早い時間に起きることができたが, 気分が少し落ち込んでいる.
コーヒーを淹れて気持ちを落ち着ける.

本を読む.
イアン・ハッキング『数学はなぜ哲学の問題になるのか』.
応用数学に関して表現-演繹的描像という問題が提起されている.

何らかの現象を明らかにしたいと考えたときに, その現象の数学的なモデルを構成する (表現) という方法がある.
その上で, その現象がどのような結果を導くのかを数学を用いて計算する (演繹).
少なくとも近代の自然科学理論の発展は, このようなやり方によって進められてきた.
しかし, その結果はあくまでも最初の数学的モデリングが正しいとした上での計算結果である. 本当にその現象が計算通りの結果に至るかどうかは, 実験などによって検証されなければならない.
表現-演繹的描像にはこの視点が欠けている, というのである.

著者は広く応用数学全般についてそのような指摘をしているが, 自分は理論物理学と実験物理学の関係を想いながら読んだ.

それから数学をやる.
圏論の教科書を読む.
昨日証明した命題の実例の項を読んだが, なかなか理解できない. 集中することが難しい.

次第に気分の落ち込みが強くなってくる. 理由不明.
今日は駄目だ.

布団にもぐり込んで休む.
苦しい.

昼まで動けず.

午後になってやっと起き上がることができた.

買い物に行く. 外は晴れていて歩くと気持ちがいい.

いつものスーパーまで歩く気力が無く, 近くのコンビニで買い物を済ませた.

帰宅して食事.
昨日の残りのポトフを温めて食べる.

ゆっくり食べる.

鬱が辛い.
今日は終日辛かった.

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

-1 時半起床.
少しづつ早い時間に起きる生活ができてきたのかも知れない.

本を読む.
イアン・ハッキング『数学はなぜ哲学の問題になるのか』.
著者によって数学の「応用」の大雑把な分類が語られている. いくつか挙げてみる.
・ 数学の数学自身への応用 (代数の幾何への応用やその逆など).
・ 理論物理学への応用.
・ 実践的な事柄への応用 (数値解析, オペレーションズ・リサーチ, 制御など).
・ 数学的モデリング.
・ 日常の仕事への応用 (会計士, 大工, 農家, 法律家など).

自分は以前仕事で, 顧客に納入するシステムの信頼性を計算するサービスに携わっていたことがある.
確率論, 特にマルコフ過程や待ち行列理論を用いる計算だったが, これなどは数学の実践的な事柄への応用もしくは小規模な数学的モデリングと言えるかも知れない.

それから数学をやる.
圏論の教科書を読み進める.
昨日見つかった自分の証明の間違いだが, 何とか解決することができた.
コンパクトハウスドルフ空間の圏から集合の圏への忘却関手 $U : \mathbf{cHaus}\rightarrow\mathbf{Set}$ がモナド的, すなわち $U$ に対する左随伴関手 $F : \mathbf{Set}\rightarrow\mathbf{cHaus}$ が存在して, モナド $T=UF$ 上の随伴の圏 $\mathbf{Adj}_T$ における一意的な関手 $\mathbf{cHaus}\rightarrow\mathbf{Set}^T$ が圏同値を与えるという結果を導く命題だが, 前提条件を十分に理解できていなかったための誤りだった.

ただ, それでも教科書の証明の一部に理解できない部分がある.
少し考えたがやはりわからない.
とりあえず, 一旦置いて先に進むことにする.

朝までやって区切りを付ける.
読書と数学に集中できたのはいいが, 頭が疲れてしまった.

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

少し眠る.

目が覚めてから買い物を兼ねた散歩に出かける.
天気がいい. 陽射しが気持ちいい.

野菜と肉などを買う.
1 時間ほど歩いた.

眠気が治まらない.
帰宅してまた眠る.

夕方に起きた. 何とか頭の疲れはとれた.

夕食にポトフを作る.
野菜や肉を切って, ゆっくり煮込む. こういう料理の時間は楽しい.

美味しくできた. 体が野菜を求めていたようである.

今日はわりと充実した一日になったと思う.
眠剤と頓服を飲んで布団に入る.

0 時半起床.
今日も早い時間に起きることができた.
続けていきたい.

本を読む.
イアン・ハッキング『数学はなぜ哲学の問題になるのか』.
イギリスにおける応用数学の発展について述べられている.
応用数学や数理物理学がはっきりと姿を顕す前には, マックスウェルも数学の賞をもらったことがあると書かれていた.

それから数学をやる.
圏論の教科書を読み進める.
その途中で, 理解したと思っていた命題の証明のノートに誤りがあることに気付く.
朝まで考えるが解決せず. 理解がどこか間違っている.

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

頭が疲れたので少し眠る.

短時間の睡眠ですっきりした.

午前中は区役所に行く.
新しい障害者手帳を受け取る.
更新の手続きをしてから 4 か月ほどかかったが, 無事に受け取れてほっとする.

買い物をして帰宅.

遅めの昼食をとる
昨日作ったスープが残っているので, パスタと和えて食べる.

まだ午後の早い時間だが, いろいろやって疲れてしまった.
眠い.

昼間だが眠剤と頓服を飲んで布団に入る.
ぐっすり休めれば回復するだろう.

0 時起床.

今日も幸いなことに早起きできた.

本を読む. イアン・ハッキング『数学はなぜ哲学の問題になるのか』.
18, 19 世紀におけるフランス (特にエコール・ポリテクニーク) での応用数学の発展について述べられる.

数学をやる.
解析と代数の練習問題を解く.
楽しい.

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

朝の勉強で集中したからか, 頭が疲れている.
布団にもぐって少し眠る.

昼前に起きて, 散歩に出かける.
1 時間半ほど歩いた.

買い物をして帰宅.

遅い昼食をとる. ソーセージとトマトとひよこ豆のスープ.

夕方から鬱が少し辛くなってくる.
昨日今日と急に早い時間に起きたので, 心と体が付いていけないのかも知れない.

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

1 時半起床.
すっきり目が覚めた.

本を読む.
イアン・ハッキング『数学はなぜ哲学の問題になるのか』.
それまでの「数学」が「純粋数学」と「応用数学」に分岐していく歴史的経緯が述べられる.

それから数学をやる.
解析と代数の練習問題を考える.

朝までやって区切りを付ける.

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

一休みしてから散歩に出かける.
1 時間半ほど歩く.

一旦帰宅して, 買い物に行く.
野菜や肉などを買う.

夕方に食事をとる.
ソーセージと野菜のグリル.

早い時間に起きるといろいろできる.
明日も早い時間に起きたいが, これは眠剤の効き具合に依存するのでどうなるのかわからない.

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

新しい Wi-Fi ルーターを購入したので, OpenBSD とスマホでの設定を行う.

スマホでの設定は, Wi-Fi ルーターのパッケージに付属していた QR コードを読み込むことで完了した.

OpenBSD (Ver. 7.4) での設定は, /etc/hostname.urtwn0 (urtwn0 はネットワークインターフェース名) に

  nwid MyWiFiRouterSSID  wpakey MyWiFiRouterPassword
  inet autoconf

と記述すればよい. ここで MyWiFiRouterSSID と MyWiFiRouterPassword は Wi-Fi ルーター毎の SSID と WPA パスワードである.

設定はネットワークを再起動することで反映される.

  # sh /etc/netstart urtwn0

これで, /etc/resolv.conf が新しく作成され, 新しい Wi-Fi ルーターでスマホと OpenBSD での通信が可能になる.

7 時起床.

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

午前中は絵を描いて過ごす.
いまのところ弱々しい線でしか描けないが楽しい.

昼に買い物に行く.
天気が良くて気持ちがいい.

一休みしてから散歩に出かける.
1 時間半ほど歩いた.

夕方に食事.
冷奴と納豆とご飯と味噌汁.

次第に鬱が辛くなってくる.
夕方から夜にかけての鬱がなかなか治まらない.

早めに布団に入る.

7 時半起床.
めっきり寒くなった.

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

ふと気が向いて, 午前中に絵を描く.
今年の 5 月以来ではないだろうか. 描きたくなった.

何かをデッサンするわけでもなく, 線や図形を描いただけだが楽しかった.
一つひとつの線が弱々しい.
自分の現在の体調を表わしているようだ.

昼に散歩がてら, 今週の生活費をおろして買い物をする.
ちょっと生活費が厳しい.
節約しないといけない.

帰宅して少し休む.

だんだん鬱が辛くなってくる. 理由不明.
生きていくことがとても難しく感じられる.
苦しい.

夕方に食事.
炒飯.

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

8 時起床.
どうにか, 苦しい鬱からは回復したようである.

食欲が無いが, コーヒーを飲む.
ほっとする.

午前中は数学を考える.
あまり進展無し.

昼からデイケアの友人と会う.
食事をとりながら, お互いのことを話す.
日々の生活のことや, 体調のことなど.

心の病を抱えた者として, こういう会話をできる相手がいるというのはとてもありがたい.

買い物をして夕方に帰宅.

帰宅してから朝の数学の続きを考えるが進展せず.
自分の場合は, 紙のノートを開いて地道に計算することでしか前に進めないように思う.
座って考えているだけでは何も出てこない.

湯豆腐とおろし蕎麦.
ゆっくり食べる.

片付けをして, 頓服と眠剤を飲んで布団に入る.