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

0 時起床.

数学をやる.
位相空間 $X$ 上の層の圏 $\mathbf{Sh}(X)$ がトポスになることの証明を書き終えた.
しかし明日にでも読み返してみないと本当に終わったかどうかはわからない. これまで何度か証明をし終わったと思ったが, 読み返すと不明な点があった.
調べると証明が不完全だったり, 証明の中で使っている練習問題に自分が与えた解が間違っていてやり直していたのだ.

全体を見ると素直できれいな証明である. しかし圏論の基礎的な事柄をきちんと理解していないと流れを追えない. そういうところで引っ掛かっていたのだろう.

午後からデイケアに行った. 今日はデイケアの運営にネット環境をどう使うかについての話し合いである.

行ってみるとスタッフ以外のメンバーは自分を入れて三人だった. もう一人いたけれど体調が悪くて帰ったそうだ.
これだと何かを決めるとか, そういったことはできないので, ネットの利用についての雑談のようなものになった.

自分の通っているデイケアでは, 昨年の 10 月に規模が大幅に縮小されてから, メンバーと一部のスタッフとで LINE のグループを作ってそこで連絡を取り合ったり話し合ったりしている.
携帯電話もスマホも持っていないメンバーもいる. そういう人にはスタッフから個別に電話で連絡をする.

自分はスマホを持っているが, LINE グループには参加していない. ネット恐怖で LINE が使えないためである.
そのことについて誰からも何も言われないのはとてもありがたい.

その LINE のグループで, デイケアのホームページを作ろうという話題が出てきたとのこと.
ネットに興味があるメンバー数人が Web 開発の勉強をやっていて, フリーのホームページサービスを使ってできないかという話になっているらしい.
その内容を詰める話し合いだったらしいのだが, 今日は見送りである.

2014 年までの数年間, 自分は Web 開発の仕事をしていた. 何一つ理解していないのによくできていたものだと思う.
本を読んで理解するということが不可能だったため, HTML も CSS も JavaScript も丸暗記してやっていたのだ.
そこに理解は無い. プログラミングの楽しさも無かった.

こういう生兵法は必ず破綻することが身に沁みてわかった.
それがわかっただけでも良かったと納得できる日は来るのだろうか.
罪悪感と自己否定の意識が未だに強くてどうしようもない.

過去のことを思い出したせいか, 気分が沈んでくる. 動けなくなるほどではないがあまり良くない.

帰宅してそのまま寝込む.