読書と数学 〜 アルコール依存症の自助グループ 〜 昼寝



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

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

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

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

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

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

買い物をして帰宅.

疲れたので少し眠る.

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

夕方に布団に入る.
タグ： 鰹の刺身と大根おろしとご飯 キャベツとベーコンエッグとコーヒー 午後の睡眠 アルコール依存症の自助グループ 数学の勉強 カント『純粋理性批判』
posted by 底彦 at 23:30 | Comment(0) | TrackBack(0) | 日常生活

2023年04月11日

ファン
このブログの読者になる
更新情報をチェックする
ブックマークする
友達に教える
検索
<< 2023年04月 >>
日 月 火 水 木 金 土
1
2 3 4 5 6 7 8
9 10 11 12 13 14 15
16 17 18 19 20 21 22
23 24 25 26 27 28 29
30
最新記事
(12/14) 夕方まで寝込む
(12/13) 終日寝込む
(12/12) 診察と認知行動療法 ── 2024/12/12
(12/11) 一日寝込む
(12/10) 精神的に疲れている
最新コメント
眼科の定期検査 〜 散歩 by コトタマ (02/15)
眼科の定期検査 by 三文字寄れば文殊のヒフミヨ (09/21)
本を読んで過ごす by 底彦 (12/13)
本を読んで過ごす by ねこ (12/12)
数学の計算をする by 底彦 (12/04)
タグクラウド
カテゴリアーカイブ
仕事 (59)
社会復帰 (22)
酒 (44)
コンピューター (211)
鬱 (1463)
借金 (8)
勉強 (13)
食 (13)
数学 (97)
運動 (8)
日常生活 (1407)
絵 (204)
健康 (38)
読書 (21)
プロフィール
底彦さんの画像
底彦
RDF Site Summary

ブログランキング・にほんブログ村へ
にほんブログ村
にほんブログ村 メンタルヘルスブログ うつ病（鬱病）へ
にほんブログ村
にほんブログ村 科学ブログ 数学へ
にほんブログ村
にほんブログ村 ＩＴ技術ブログ プログラム・プログラマーへ
にほんブログ村
Mobilize your Site
スマートフォン版を閲覧 | PC版を閲覧
    Share by: