やや回復する 〜 数学 〜 体調を崩して寝込む



鬱がやや辛い. 動悸も苦しい.
頓服を飲んで起きる.



今日は夕方まで数学をやっていた.
証明の一部に論理の流れがややこしいところがあって自分が考えた筋道にも関わらず, 自身にも理解しづらい.
その部分を細かく調べてみたら, 本質的に同じことを別のやり方で繰り返していた.
結論に至る筋道を 2 つの仕方で繰り返して 1 つの推論の筋道としてまとめていたのでわかりにくくなっていた.

少し具体的に言うと, ある圏 $\mathscr{C}$ である命題 $P_1$ を証明し, 次に似たような命題 $P_2$ を証明し, この 2 つの結果を用いて最終的に命題 $P$ を導いていた.
しかし証明を整理した結果, 圏 $\mathscr{C}$ で証明した命題 $P_1$ を $\mathscr{C}$ の逆圏 $\mathscr{C}^{\,\mathrm{op}}$ において書き換えるだけで命題 $P_2$ になる. これに気付いていなかったため, 同じ議論が長々と繰り返されていたのだ.
これで少し証明の見通しが良くなった.
さらに整理すれば, 圏 $\mathscr{C}$ で命題 $P_1$ を証明した時点で最終的な命題 $P$ はその系として得られる.
これで証明が短くまとめられた.
こういう風なことをやっていた.
全体を整理して書き直したことで, 証明がわかりやすくなって嬉しい.

気が付いたら夕方である.
かなり没頭していたので疲れた.

シャワーを浴びる.

夕食をとった.
焼き鮭と納豆とご飯.

ところが, 食事をしている最中から抑鬱感が強くなってきた.
理由不明.
気分がだんだん沈んでいく.

何だか身体が重いし, 顔を上げていることができない.

苦しい.
堪えられずに就寝前の薬と頓服を飲んで布団に潜る.
頭から布団をかぶって縮こまり丸くなって休む.
【このカテゴリーの最新記事】
posted by 底彦 at 23:30 | Comment(0) | TrackBack(0) | 日常生活

2017年03月14日

この記事へのコメント
コメントを書く

お名前:

メールアドレス:


ホームページアドレス:

コメント:

この記事へのトラックバックURL
https://fanblogs.jp/tb/6049159

この記事へのトラックバック
ファン
検索
<< 2024年12月 >>
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
最新記事
最新コメント
眼科の定期検査 〜 散歩 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)
プロフィール

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