午後まで寝込む 〜 ラーメンを食べに行く


気分が酷く落ち込んでいる.

頓服を飲んで寝込む.


午前中の鬱が午後まで長引くと, 半日が潰れてしまう.

食事をまだとっていない. 空腹である.
駅の近くのラーメン屋に出かける.

ラーメンライスと餃子.
美味しい. 元気が出るようだ.

帰宅して語学をやる.

それから数学をやる.
昨日引っ掛かった箇所を以前のノートで調べる.
反変冪集合関手 (contravariant power set functor) $P : \mathbf{Set}^{\mathrm{op}}\rightarrow\mathbf{Set}$ がモナド的 (monadic) であるという結果.
どこかで証明しただろうか?
そうしたら 教科書 の定理 5.5.8 の帰結として, 反変冪集合関手 $P$ がモナド的であることが導いてある.
だが, この定理の証明は練習問題になっていて読者に任せられている. 自分はこれをやっていない. だから証明はまだである.
これは証明しておかないといけない.
明日以降証明する.

薬を飲んで休む.
タグ： 抑鬱感 朝からの鬱 ラーメンライスと餃子 語学の勉強 数学の勉強
posted by 底彦 at 17:59 | Comment(0) | TrackBack(0) | 勉強

2024年07月27日

ファン
このブログの読者になる
更新情報をチェックする
ブックマークする
友達に教える
検索
<< 2024年07月 >>
日 月 火 水 木 金 土
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 31
最新記事
(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: