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

4 時起床.

本を読む.
シモーヌ・ヴェイユ『重力と恩寵』から「労働の神秘」の節.

労働者たちは、パンよりも詩を必要とする。その生活が詩になることを必要としている。永遠からさしこむ光を必要としているのだ。

自分は労働者ではない.
ほぼ慢性的な鬱の中で, 働くこともできずぎりぎりの生活を送っている.
自分の生活が詩になることを求めたことがあったろうか?

それから数学をやる.
必ずしも単位的ではない環の圏 $\mathbf{Rng}$ が集合の圏 $\mathbf{Set}$ 上でモナド的であることの証明を行う.
昼までかかったが何とかできた.

午後から銀行の ATM に行って一週間分の生活費をおろす.
買い物に行く.
野菜や魚を買う.

帰宅して食事.
鯖の塩焼き, 大根おろし, ご飯.

まだ夕方だが布団に入る.

-2 時起床.

本を読む.
シモーヌ・ヴェイユ『重力と恩寵』から「イスラエル」の節.
ヴェイユは, 神による教育というものを強く批判している.
神による教育という考えは, 特に政治権力が宗教と結び付いたときに全体主義を引き起こすのだと.
救いを求めようとすれば, 個人として直接神に向かい合わなければならない.

それから数学をやる.

代数の復習. 環論に関する教科書の練習問題を解く.

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

今日はクリニックに行って診察を受けて薬をもらってこなければいけない.

早めに家を出る.

朝一番に受付をする.
待ち時間は数学の練習問題の計算をする.
可換モノイドの圏 $\mathbf{CMonoid}$ が集合の圏 $\mathbf{Set}$ 上でモナド的であることの証明を行う.

診察では, 主治医にこの一週間ほど体調が安定してきたことを話す.

買い物をして午後に帰宅.

精神的に疲れた.
眠る.

起きたら夜だった.

近所のラーメン屋に行く.
塩ラーメンを食べた. 美味い.

帰宅して布団に入る.

-0 時半起床.

本を読む.
カント『純粋理性批判』「第二版序言」から注釈の続き.
我々のどの直観が外的な客観に対応しているかは, 経験一般を単なる想像と区別する規則に則って一つひとつ決定されなければならないことが語られる.
以上を以て「第二版序言」は終わる.

それから数学をやる.
教科書の練習問題を考える.
環の圏 $\mathbf{Ring}$ が集合の圏 $\mathbf{Set}$ 上でモナド的 (monadic) であることを証明する.
昼までかかって証明を書き終えた.

午後からアルコール依存症の自助グループに行く.
今日のテーマは「一杯の酒」.
気持ちが落ち着くミーティングだった.

帰宅して食事.
昨日のスープの残りと小松菜炒めとご飯.

片付けをして休む.

-2 時起床.

本を読む.
カント『純粋理性批判』から「第二版序言」の続き.
序言のまとめ.
カント自身は今後, 自然および道徳の形而上学を提供するという計画の完成へと進むつもりであり, 本著作の晦渋な点を明快にすることは, この著作を克服した優秀な人びとの力に待ちたいとのこと.
一個の理説を己れ自らの上に確立したいと願う人びとにとって, 本書はその理説を彫琢し美しく完成させるために役立つであろうとして序言を結んでいる.

数学をやる.
代数の復習. ユークリッド環に関する練習問題を解く.
圏論の勉強. 群の圏 $\mathbf{Group}$ が集合の圏 $\mathbf{Set}$ 上でモナド的 (monadic) であることの証明を行う.
これには, 昨日やったモノイドの圏 $\mathbf{Monoid}$ が $\mathbf{Set}$ 上でモナド的であるという結果を使う.

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

朝食をとる.
キャベツとベーコンエッグとコーヒー.

午前中はアルコール依存症の自助グループに行く.
天気がよかったので, 会場となっている教会まで歩いた. 気持ちがいい.

今日の参加者は自分を入れて 4 人.
静かないいミーティングだった.

買い物をして帰宅.

疲れたので少し眠る.

起きて早めの夕食をとる.
鰹の刺身と大根おろしとご飯.

夕方に布団に入る.

0 時起床.

本を読む.
カント『純粋理性批判』から「第二版序言」の続き.
第二版において行った叙述の訂正について述べられる.
難解とされ, 十分な理解が得られなかった部分をできるだけわかりやすく書き直したとのこと.
その際, 命題および命題の証明理由の内容については変更の必要を認めなかったというところに, カントの自信が窺える.

それから数学をやる.
モノイドの圏 $\mathbf{Monoid}$ が集合の圏 $\mathbf{Set}$ 上でモナド的 (monadic) であるという命題の証明を読む.
圏論的に, 図式を使った計算で証明が進行していく.
朝までかかって読み終えた.

朝食をとる.
キャベツとハムエッグとコーヒー.

午前中は郵便局に行って役所に書類を提出する.
銀行の ATM に行って今週分の生活費をおろす.
買い物に行って野菜や魚などを買う.

昼過ぎに一区切り付いた.

少し眠る.

夕方に起きて食事.
しらすおろしと小松菜炒めとご飯.

まだ早いが布団に入る.

0 時起床.
今日は体調がいい.

本を読む.
カント『純粋理性批判』から「第二版序言」の続き.
純粋理性の批判という計画を実行するにあたり, カントは哲学者ヴォルフの厳密性に従うことを宣言する.
カントがヴォルフの厳密性に関して語った, 一つの学を確実に進めるには, 原理の法則化確立, 概念の明晰な定義, 厳密な証明の試み, 推論の大胆な跳躍の防止が必要である, という言葉は, 数学についても成立するだろう.

それから数学をやる.
monadicity 定理の証明で引っ掛かっていた箇所が解決する.
一種の循環論法に陥っていたようだ.
必要な議論を書き加えて, 不要な箇所を削除し証明を完成させる.

朝食をとる.
パンと紅茶.

少し眠る.

起きてから数学の続きをやる.
代数の復習. イデアルに関する教科書の練習問題を解く.

午後からアルコール依存症の自助グループに行く.
今日は参加人数は少なかったが, その分個々の経験に関する重たい話が多く共感できるところが多々あった.

夕方に帰宅.
食事をとる.
蕎麦と大根おろし.

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

1 時半に一度起きたが, 昨日の疲れがとれず二度寝をする.

6 時半起床.

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

OpenBSD のアップグレード作業を行う.

区切りが付いてから, 図書館に行く.
借りている本の貸出期間延長の手続きをする. それと太宰治『走れメロス』を借りた.

駅近くのパン屋に行ってパンを買う.
それからいつものスーパーに行く.
野菜などを買う.

午後は少し眠る.

夕方に起きて食事.
トマトと小松菜のパスタ.

早めに布団に入る.

-2 時起床.

本を読む.
カント『純粋理性批判』から「第二版序言」の続き.
感性的直観による客観すなわち現象が認識の対象であり, 物自体は認識の対象外であると本書では主張する.
そうすると, たとえば人間の心は物質として自然法則に従う部分 (自由の存在しない部分) と, 思惟の対象とはなるが認識はできない部分 (自由が存在する部分) とに分けられる.
「自然法則に基くこの世界では, 人間もそれに従う物質であり, 全ては決定されていて自由は存在しない」という矛盾が起こらなくなる.

それから数学をやる.
monadicity 定理の証明で昨日わからなかった部分を考える.
集中して計算を行う.
少し進展した.
考え方は今の方向性での計算で合っていると思う.

朝食をとる.
キャベツとベーコンエッグとコーヒー.

集中して疲れたので少し眠る.

昼前に起きて数学をやる.
代数の復習. 素イデアルに関する教科書の練習問題を解く.

午後からアルコール依存症の自助グループに行く.
散歩を兼ねて会場まで歩いた.

今日のテーマは「ターニングポイント」.
各人が自己の経験を話した.
そのために重たい話が多かったが, いいミーティングだった.

買い物をして帰宅.

食事をとる.
メカジキのムニエルとキャベツ.

今日は平和に一日を過ごすことができた.

早めに布団に入る.

-1 時起床.

本を読む.
カント『純粋理性批判』. 「第二版序言」の続き.
本書における批判から得られる帰結が, 思弁的理性に経験の限界を越えさせないようにすることであると述べられる.

それから数学をやる.
monadicity 定理:「右随伴関手 $U : \mathrm{D} \rightarrow \mathrm{C}$ がモナド的 (monadic) であるための必要十分条件は, $U$ が $U$-分解対 ($U$-split pair) の余イコライザー (coequalizer) を作成することである」の証明を読む.
一箇所わからないところがあり, 途中からそれをずっと考える.
解決しない.

集中し過ぎて疲れた.

朝食をとる.
キャベツとベーコンエッグとコーヒー.

少し眠る.

昼前に起きて朝の続きを考える.
進展せず. どこか, 自分の理解が不足しているところがある.
明日もう一度考えることにして区切りを付ける.

午後からアルコール依存症の自助グループに行く.
静かな雰囲気で気持ちが落ち着いた.

買い物をして帰宅.

食事をとる.
鮪の山かけとご飯.

夕方から鬱が辛くなってくる.
自分は駄目だという思いが強い. 苦しい.

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

-1 時半起床.

本を読む.
カント『純粋理性批判』.
「第二版序言」.
カントが本書において行った, 認識が対象に従うのではなく対象が認識に従うのだという, いわゆるコペルニクス的転回について述べられる.
それに応じて, 必然的に物自体という概念が現れてくる.

それから数学をやる.
昨日勉強した命題の系:
モナド的関手 $U : \mathrm{D} \rightarrow \mathrm{C}$ が任意の $U$-分解対 ($U$-split pair) の余イコライザー (coequalizer) を作る.
の証明を読む.

行間を補って詳しい証明を書き上げたと思ったのだが, 読み返してみたら途中の議論に自分でもすっきりしない箇所がある.
教科書の議論と合致せず, よく読んだら間違っていた.
証明の鍵となる重要な箇所で, 結局一度完成させたと思った証明のノートを始めから全部書き直すことにする.
自分の理解に不十分な点があったからで, 集中して考えてやっとわかった.

午前中に何とか終わる.

疲れた.
少し眠る.

昼過ぎに起きる.

銀行の ATM に行って今週の生活費をおろす.
先週, 節約しなければならないと書いたのだが節約できていない.
このままだと, 来月 15 日の障害年金支給前の生活はぎりぎりになってしまう.

買い物に行く.
野菜と肉などを買う. 米も買う.

帰宅して食事.
煮物とご飯.

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