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

認知療法からの帰り道, 無性にラーメンを食べたくなった.

途中の新宿でとある中華料理店に立ち寄った.
新宿の思い出横丁にある 岐阜屋 という店.
朝から酒も出す店なので蒸し鶏やピータンを肴にビールや焼酎をやっている人の姿もある. 自分も以前は酒を飲むためにこの店に通い詰めていた.

ラーメンを一杯頼んだ.
すぐに出てくる.
コシのある平打ち麺にもやし, 支那竹, 焼豚, 海苔がのっている.
熱いスープで体が温まる.
美味い.

幸せだ.

8 時起床.
今朝は早めの時間に起きられた.

今日は午後に認知療法の予定がある.
午前中は認知療法のシートに最近の体調や自動思考のことを書く.
※ 自動思考というのは, たとえば鬱病のひとが自然と自分はいるだけで人に迷惑をかけている, 死んでお詫びをするしかないなどと思ってしまう, そのこと. 認知とも認知の歪みなどとも呼ばれる.

それで PSW さんに最近のメンタルの疲れの苦しさや午前中の抑鬱感について相談したところ, 季節のせいかも知れないと言われる.
今の時期は曇天の日が多かったり不安定な天候の日が続いたりして鬱になりやすい.
確かにそれはある.
けれどもそれに加えて人や社会との関わりに疲れていることもあると思うと伝える. うまくは言えないが, 無理をして積極的にそういう機会を増やそうとしていた.

PSW さんからは次のように言われた.
底彦さんが精神的に疲れていることは確かなので休んでください. 休むことが仕事だと思って充分休んでください. 頓服をうまく活用してください.

今日の認知療法は濃密な時間で, 終わってぐったりしてしまった.

帰宅して寝込む.

精神的な疲労感が激しく動けなかった.

10 時起床.
とにかく疲れていて何をするのも面倒くさい.
下手をすると自暴自棄になってしまいそうで非常にまずい.

気付いたらあっという間に夕方になっている.

数学をやる. 疲労困憊していてキーボードを打つのもだるい割りには短時間だが集中できた.

このところ毎日がこんな調子で時間を無駄に費やしてどうしようもない.
時間は自ら作り出すものだ, などと言うが作り出すパワーが無いのだ.

夕食はトマトとピーマンのスパゲティ.
料理をするパワーはまだある.

これまで TeX 環境は TeXLive の Mac 用のパッケージを使っていたのだが, それを止めて MacPorts に入っている texlive パッケージを使うことにした.
こうしておけば月に一度行う MacPorts のアップデートで TeX 環境も一緒にアップデートできて便利である (2 つのパッケージは同等だがディレクトリー構成が若干異なる)

# port -v -f install texlive +full

-f オプションを付けているのは, すでにインストールしてある TeXLive パッケージのファイルを上書きできるようにするためである.
また, +full オプションは拡張パッケージまで含めて texlive パッケージをインストールするためである.

午前中は鬱が苦しくて起きられなかった.
しかしメンタルの疲労感はほぼ無くなっている.
この数日の間, 寝込んで休んでいたのがよかったのかも知れない.

頓服を飲んで昼過ぎに何とか起きて遅い昼食をとる.
ベーコンが冷蔵庫に余っていたので近所のスーパーに行ってセロリを買って, セロリとベーコンのペペロンチーノを作った.
セロリとベーコンがよく合って美味しい.

午後, 行き詰まっていた数学の問題について考えていたら解決した.
もともと同値関係に関する非常に初歩の問題なのだが, 自分は問題そのものの意味がよくわかっていなかったようである.
ある図式の可換性を証明する必要があったのだが, それが以下の問題に言い換えられることに気付いたら解けた.

$X$ をある集合の元の形式列の集合とする.
$E$ を $X$ 上の同値関係とし, $X$ の元 $f, f', g, g'$ に対して $f \,E\, f'$ かつ $g \,E\, g'$ の関係があるときに形式列 $fg$ と形式列 $f'g'$ の間に
\begin{equation*}
(fg) \,E\, (f'g')
\end{equation*}
という関係が成り立つか.

躓いたがいい経験になった.

午前中から寝込んでしまう.
頭の中が整理できず, 混乱している.
そしてひどく疲れている.
ただ一つ, 昨日よりは幾分ましなのが救いだ.

それでも日々の生活のこととか, 全部が非常に難しくて何をすれば良いのかわからない感じ.

ひたすら布団にくるまって休む.

12 時半に目が覚めた.
抑鬱感は軽くなったがメンタルの疲れが苦しい.

結局布団から出たのは夕方の 5 時を回った頃だった.
精神的に疲れていてどうにもならない.
それでも起き上がれてとりあえずは良かった.

数学で行き詰まっているところを考えるが, 少しやってクタクタになってしまう.

夕食は納豆と卵かけご飯.
今日も早めに休む.

鬱が苦しい. 疲労感が強い.
ほぼ寝た切りで終わる.

10 時半起床.
何だか精神的にとても疲れている. 頓服を飲んで起きた.

腹が減ったが調理をするのがとんでもなく億劫なので牛乳を飲んで昼食を済ませる.

夕方までだらだらとネットを眺めてしまう. ネットが怖いと言いつつ見始めると延々と時間を使ってしまう.
良くない.

夕方, 少し無理をして数学を考えるが行き詰まる. けれども短時間でも集中できたのは良い.

夕食は蕎麦を茹でて食べる. 湯を沸かせば作れる. 片付けも楽だ.

疲れが取れないので早めに休む.