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

0 時半起床.

本を読む.
カント『純粋理性批判』.
「第一版序言」.
本書の主題が形而上学はいかにして可能か, つまり悟性と理性は経験を離れて何をどのように認識できるのかという問題であることが述べられる.
何とか最後まで読み切りたい. 10 年くらいはかかるだろう.

それから数学をやる.
圏 $\mathrm{C}$ 上のモナド $T$ 上の代数 ($T$-algebra) が, 任意の $\mathrm{C}$ の対象に対する標準的な余イコライザー (coequalizer) 表現を与えるという命題に対する一連の証明を読む.

昼過ぎまで集中してどうにか証明を読み追えた.
しかしまだ理解が十分ではないという気がする. 考え続けたい.

頭を使って疲れたせいか, 気分が沈んでくる.
体を動かせば気分も上向くかも知れないと思い, 買い物に出かける.
魚などを買った.

歩いたせいか気持ちが落ち着く. よかった.

帰宅して小一時間眠る.

夕方に起きて食事.
カジキのバジルオイル焼きと温素麺.

今日は寒い.
早めに布団に入る.

1 時半起床.

絵を描く.
昨日は疲れと気分の落ち込みで作業療法のアトリエで絵を十分に描くことができなかった.

家で絵を描くのは久し振りだが, 今日も倦怠感がありあまり集中できない.

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

午前中は駅の近くのパン屋といつものスーパーに買い物に行く.
体がだるくて出かけるのが辛かったが, 歩いているうちに少しだが倦怠感が薄れてきた.

家に戻って買ってきたカレーパンを食べる. 美味しい.

午後からデイケアの友人と待ち合わせて映画を観る.
『長ぐつをはいたネコと 9 つの命』.
楽しくていい映画だった.

その後, 近くのカフェに入って話をする.
お互いの最近の生活のことなど近況を話す

夜に帰宅.
食事をとりたいが, 作る気力が出ない.

思い立って近所のラーメン屋に行った.
以前から気になっていた店である.

ラーメンと餃子を頼む.
美味かった.

帰ってそのまま休む.

2 時起床.

本を読む.
イアン・ハッキング『数学はなぜ哲学の問題になるのか』.
ハッキングは, 数学を数学たらしめているものについて G.H.ハーディの言葉を引用する.
最高の数学は美しいばかりでなく、重い (serious) のである。
確かに, 特にアカデミアでは, 数学は美しく荘厳で厳かなものであると捉えられているところはあるのかも知れない.
しかしハッキングはこれに加えて数学の楽しさ (fun) について述べている.
彼は特に数学パズルなどに表われる, 数学のゲーム性を強調している.
自分はハーディの言葉に深く共感する. さらにハッキングの見方に共感しつつも, 数学の fun な部分については, 精神の深い集中による高揚を付け加えたい.
また, 美しさは別として, 数学について言われる荘厳さや厳かさはおそらく数学の本質からは幾分か離れた一つの見方に過ぎないと思う. 過剰さを感じる.

それから数学をやる.
圏 $\mathrm{C}$ 上のモナド $T$ 上の代数 ($T$-algebra) が, 任意の $\mathrm{C}$ の対象に対する標準的な余イコライザー (coequalizer) 表現を与えるという命題.
一見自明に見える結果の背景に深い構造がある.
昼まで計算を続ける.

午後からはアルコール依存症の自助グループに行く.
雨が降っていたが, 会場の区民センターまで歩く.

今日のテーマは「今日一日」.
アルコール依存症者である自分は, 常に今日一日だけは酒を飲まないでいようという意識に支えられている.
それぞれの仲間の「今日一日」への思いが聞けてよかった.

買い物をして帰宅.
疲れたので小一時間ほど眠る.

夜に起きて食事.
牛肉と玉葱炒めとご飯.

今日はいつものような夕方の鬱が無い. 気持ちが落ち着いている.
片付けをして休む.

-1 時半起床.

本を読む.
イアン・ハッキング『数学はなぜ哲学の問題になるのか』.
本文中でウィリアム・サーストンの文章が引用されている.
言い換えれば、数学が前進するにつれて、われわれはそれを自分たちの思考に組み込む。われわれの思考がより洗練されるにつれて、われわれは、新しい数学的概念と新しい数学的構造とを生成する。つまり、数学の主題は、われわれがいかに考えるかを反映して変化するのである。
この記述は, 数学が人間の思考の構造と深く関わっていることを述べている.
さらに言えば, 人間の思考の構造それ自体も数学の主題となり得ることまで示唆されているように受け取れる.

それから数学をやる.
教科書の練習問題を考える.
反射的部分圏 $\mathrm{D}\hookrightarrow\mathrm{C}$ と, それに伴う圏 $\mathrm{C}$ 上のモナド $T$ が与えられたとき, $T$-代数の圏 (Eilenberg-Moore 圏) および Kleisli 圏が $\mathrm{C}$ の反射的部分圏 (reflective subcategory) になっていることを示せという問題.
朝までかかって証明を書く.
そのあと, 代数の復習をする. イデアルに関する練習問題を解く.

午後からアルコール依存症の自助グループに行く.
天気が良かったので会場となっている教会まで歩いた. 50 分ほどで着く.
今日は参加人数が少なかったが, 静かな雰囲気でいいミーティングだった.

買い物をして帰宅.
疲れたので少し眠る.

夕方に食事.
鰹のたたきと大根おろしとご飯.

まだ明るいが布団に入る.

-2 時起床.

本を読む.
シモーヌ・ヴェイユ『重力と恩寵』から「大怪獣」の節.
大怪獣とは, 社会的なもの, 社会的な集団, 個人をしてそれに従うことを強制するものの謂いである.
これによって個人は奴隷とされるのである.
社会は洞窟であるが、そこから出るには、孤独でなければならない。

それから数学をやる.
反射的部分圏 (reflective subcategory) の包含関手が monadic (モナド的) であるという命題の証明を追う.
朝までかかって何とか理解できた.

朝食をとる.
キャベツと目玉焼きとサラダチキンとコーヒー.

午前中はアルコール依存症の自助グループに行く.
今日のテーマは「飲まないで生きる」.
アルコール依存症者が常に向き合う問題であるためか, 重たい話が多かった.

買い物をして帰宅.

精神的に疲れた.
気分が次第に落ち込んでくる.
こういうことがある度に, 自分のメンタルの弱さを思ってしまう.
横になって少し眠る.

夕方に起きて食事.
真鯛の刺身と大根おろしとご飯.

鬱が辛い.
まだ明るいが布団に入る.

2 時起床.

本を読む.
シモーヌ・ヴェイユ『重力と恩寵』から「社会的烙印を...」の節.
努力とその成果との間に社会的要因 ── 地位や名誉など ── が介在している限り, ひとは社会の奴隷である.
それでも人間は社会生活を営まなければならない. どうすればいいか.
ヴェイユは, 自らが奴隷であることを必然であると自覚し, 自分だけをあてにして一つの個として生きなければならないと言っている.

それから数学をやる.
maybe monad の Kleisli 随伴が monadic (モナド的), すなわち集合と部分定義関数 (partially-defined function) からなる Kleisli 圏 $\mathbf{Set}^\partial$ から maybe monad の代数の圏 $\mathbf{Set}_+$ への標準的な関手が圏同値を与えることを示す.

朝食をとる.
パンと目玉焼きとサラダチキンとコーヒー.

午前中は銀行の ATM に行って, 今週分の生活費をおろす.
電気代が高くなっていることもあり, 次回の障害年金給付まで節約した生活をしなければならない.

買い物に行く.
野菜と肉を買う.

午後は代数の復習をする. イデアルの概念など.

夕方に食事.
豚ばら肉と白菜の鍋.

少しづつ鬱が辛くなってくる.
今日いろいろやったからかも知れない.
脳の疲れと鬱とが関係していると感じる.

早めに布団に入る.

2 時起床.

本を読む.
イアン・ハッキング『数学はなぜ哲学の問題になるのか』.
図書館で借りてきた.
数学における証明と応用とに関する考察のようである.

朝まで読む.

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

次第に鬱が辛くなってくる. 理由不明.

頓服を飲む.
午前中は寝込んだ.

昼過ぎに何とか起き上がる.
黙祷する.

それから買い物に行く.
野菜やパンなどを買う.

帰宅して食事.
トマトと青梗菜のパスタ.

体調が今一つである.
片付けをして休む.

-1 時起床.

本を読む.
シモーヌ・ヴェイユ『重力と恩寵』から「代数」の節.
ひとが記号 (=もの) として扱われ, 他の記号と代替可能になってしまう.
個ではなく集団としてしか見られなくなり, あらゆることが結果の数字と, その数字を生み出す効率性という尺度で計られる.
当時の社会がそのようになっていることに対する批判的考察.

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

朝までやって, 食事をとる.
キャベツと目玉焼きとソーセージとコーヒー.

数学の続きをやる.

午後からアルコール依存症の自助グループに行く.
天気がよく暖かいせいか, 参加者が多かった.

帰宅して食事.
サーモンムニエルとキャベツ.

今日は体調もよく, いろいろできて充実していた.
早めに休む.

-1 時半起床.

本を読む.
シモーヌ・ヴェイユ『重力と恩寵』から「美」の節.
シモーヌ・ヴェイユにとって, 美とは注意力を以て見つめていられるもの, そしてそのような行為を通して神と繋がるようなものである.

それから数学をやる.
教科書の練習問題を考える.
朝までかかって大雑把に解答をまとめる.

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

先ほどまとめた練習問題の解答について, 細かな間違いを修正し全体の構成を見直す.

疲れた.
昼まで眠る.

午後からアルコール依存症の自助グループに行く.
今日は暖かい.
今日のテーマは「生きることは愛すること」.
難しいテーマだったが, 会場となっている教会の神父さんの言葉だそうだ.

買い物をして帰宅.

食事をとる.
麻婆豆腐とご飯.

朝が早かったせいで眠い.
まだ明るいが布団に入る.

5 時半起床.

本を読む.
シモーヌ・ヴェイユ『重力と恩寵』から「中間的なもの」の節.
中間的なものとは, 善の側面も悪の側面も備えたものであって, ひとはこの道を通ってしか美と真理の国に入ることはできない.
ヴェイユは, 中間的なものの例として欲望を挙げている.

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

午前中はアルコール依存症の自助グループに行く.
仲間の話を聴いて, いろいろと身につまされる.

買い物をして帰宅.

疲れたので眠る.

夕方に起きて食事.
鶏肉と白菜の鍋.

早めに布団に入る.