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

7 時半起床.

昨日よりは早く起きられたが, まだ眠剤が体に残っていてふらふらする.

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

本を読む.
太宰治『御伽草子』「新釈諸国噺」から「貧の意地」.

弱くて貧乏で酒ばかり飲んでいる男が大晦日に酒を飲む話.
主人公の原田内助の振る舞いは, 自分に重なるところがある. 面白い.

ふらふらするので, 買い物を兼ねた散歩に出かける.
1 時間半ほど歩いて, やっと体が目覚めた気がする.

買い物をして帰宅.

朝の続きで太宰治の『御伽草子』「新釈諸国噺」から「 大力」を読む.
怪力に生まれつき, 粗暴だがその力ゆえに角力取 (すもうとり) になった男の末路を描く.
これも面白い.

少し眠る.

夕方に起きて食事.
湯豆腐と鮪の刺身とご飯.

眠剤と頓服を飲んで早めに休む.

10 時半起床.

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

まとまった洗濯をする. 何度も洗濯機を回す.

部屋を片付けたい.
特に本棚の整理をしたい.
数学書が増えたので, そのためのスペースを作りたい.

しかしそのためには本を処分する必要がある.
結局何もできず.

夕方前に買い物に行く.
この時期にしては空いていた.

少し疲れて帰宅.

食事をとる.
ジャーマンポテトとご飯.

眠剤と頓服を飲んで休む.

1 時半起床.
何とか鬱は治まった.

本を読む.
イアン・ハッキング『数学はなぜ哲学の問題になるのか』.
アラン・コンヌによれば, 数学的存在は時間と空間の外にあるものである.
一方ティモシー・ガワーズによれば, 数学的存在を信じている数学者 A の振る舞いは, それに否定的な数学者 B の振る舞いと変わらず, さらに数学的存在について考えること自体を無意味と見做している数学者 C の振る舞いとも変わらないと言う.
なお, ガワーズは一世紀以内にコンピューターが数学者にとって代わるのではないかという疑念を持っているそうだ.

一区切り付いたが眠い.

二度寝をする.

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

午前中は買い物に行く.
デパートまで出かけて, 手帳とカレンダーを買った.
街に出ると年の瀬が押し詰まってきている感じがする.

買い物をして帰宅.

午後は家計簿として使っている LibreOffice のスプレッドシートを来年用に修正する.

夕方に食事.
麻婆豆腐とご飯.

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

2 時半起床.

やや鬱が辛い.

絵を描く.
体が重たく絵を描くのが辛いが, ゆっくり描き進める.

朝までやった. だんだん絵に集中できてきて気持ちが落ち着く.

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

気分の落ち込みがまだ辛いので, 横になって休む.
少し眠る.

昼前に何とか起き上がる.
今日は天気がよく, 陽の光に当たって体を動かせば気分も上向くと思い, 散歩に出かける.

2 時間近く歩いた.

途中で銀行の ATM で年末年始の生活費をおろし, いつものスーパーで買い物をして帰宅.

鬱からは多少回復したが, やはり苦しい.

早めの食事をとる.
ジャーマンポテトとご飯.
頭が働かず, 調理の手順を間違える.

ゆっくり食べた.

今日は体調が悪くて駄目だ.

まだ夕方だが, 眠剤と頓服を飲ん休む.

7 時半起床.

朝食をとる.
チーズとコーヒー.

午前中はだらだらと過ごす.

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

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

今日の食事は, 鶏もも肉焼きとじゃが芋とレタス.

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

2 時半起床.

本を読む.
イアン・ハッキング『数学はなぜ哲学の問題になるのか』.
数の定義にはいろいろな形式があるが, それらは同値ではない (論理学的には, という意味だろうか?).
数学的プラトニズムでは, これを異なる数の体系が存在すると考えるのではなく, それらの形式の奥に存在する数学的対象としての数の異なる表現と考えるとのこと.

それから数学をやる.
圏論の教科書を読み進める.
関手 $U : \mathrm{A}\rightarrow\mathrm{C}$ がモナド的 (monadic) ならば, $U$ は同型射 (isomorphism) を反映するという補題の証明を読む.

朝までやって区切りを付ける.
証明を追い切れなかった. 続きは明日にする.

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

早い時間にクリニックに行く.
外は寒い.

朝一番で受け付けを済ませる.

診察を受けて, 薬を出してもらって, 昼前にクリニックを出ることができた.
いつものことだが, 精神的に疲れた.

買い物をして帰宅.

横になって休む.
少し眠る.

夜に起きて近所のラーメン屋に行く.
塩ラーメンを注文. 美味しい.

長く感じられる一日だった.
眠剤と頓服を飲んで休む.

2 時半起床.

年賀状を書く. と言っても, 自分には知人が少ないので 10 枚程度である.

朝までかかって書き上げる.

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

やや鬱が辛くなってくる. まただ. 頓服を飲んで横になって休む. 肩も凝って
しまった. 少し眠る.

昼前に起きて散歩に出かける.

途中の郵便局で年賀状を投函する. それからいつものスーパーに寄って買い物
をする.

2 時間ほど歩いた.

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

夕方に食事. 鯖塩焼きとご飯.

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

3 時起床.

鬱が辛いが頑張って起きる.

絵を描く.
昨日も起きたときには鬱が辛かったが, ゆっくり絵を描いているうちに気分が上向いてきた.

少しづつ絵に集中できてくる. 気持ちが弱っているせいか相変わらず描線が細くて弱々しいが, 確実に鬱からは解放された.
よかった..

朝になって食事をとる.
キャベツと目玉焼きとコーヒー.

午前中も朝の絵の続きを描く.

午後からデイケアに行く.
若干, 外に出るのが怖いという思いがあったが何とか家を出ることができた.

今日のプログラムは「生きづらさをつぶやく」.
言いっ放し聴きっ放しで参加者のそれぞれが辛さや苦しみを感じていることを話していく.

自分はこの 2 か月ほど外に出るのが怖いということ, 鬱病になってから次第に感情が摩滅していっているような気がすることなどを話した.

このセッションには一人, 自分が勝手に苦手だと思っていたメンバーが参加していたのだが, 彼から思いもかけず温かい言葉をもらった.
嬉しかった. 同時に自分を恥じた.

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

眠剤を飲んで休む.

3 時起床.

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

本を読んだり数学をする気力が出ない.

絵を描く.
弱々しい線の絵だが, 描いているうちに気分が上向いてきて, 朝まで集中できた.

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

鬱がまた辛くなってきて寝込む.
昨日と同じだ.

午後まで動けず.

何とか起きて買い物に行く.
野菜や肉などを買う.

夕食はインスタントラーメン.

早めに布団に入る.

2 時半起床.

本を読む.
イアン・ハッキング『数学はなぜ哲学の問題になるのか』.
数学的対象に関するアラン・コンヌの見解について述べられる.

コンヌによれば, 数学的対象とは空間と時間の外に存在するものであって, アプリオリには何の構造も持たない. 我々がそれを思考し探求することによってその構造が発生してくるというものである.

それから数学をやる.
圏論の教科書を読み進める.

朝までやって食事.
納豆と卵かけご飯と味噌汁.

食べている途中から気分が落ち込んでくる. 理由不明.

寝込んだ.

そのまま午後まで動けず.
自分は駄目だという思いが辛い.

夕方に何とか買い物に行く.

食事は簡単に済ませた.
バジルのパスタ.

鬱がまだ苦しい.
早めに布団に入る.