鬱が辛い

6 時半起床. 鬱と無気力が辛い. 何もする気にならない. 昼まで寝込む. 気力が出ない. 昼過ぎに買い物に行く. 足を一歩前に出すのも辛い. 野菜を買う. 帰宅して食事. 天麩羅と大根おろし, 蕎麦. 片付けをして布団に入る.

いろいろやる

4 時起床. 本を読む. シモーヌ・ヴェイユ『重力と恩寵』から「労働の神秘」の節. 労働者たちは、パンよりも詩を必要とする。その生活が詩になることを必要としている。永遠からさしこむ光を必要としているのだ。 自分は労働者ではない. ほぼ慢性的な鬱の中で, 働くこともできずぎりぎりの生活を送っている. 自分の生活が詩になることを求めたことがあったろうか? それから数学をやる. 必ずしも単位的では…

午後から寝込む

0 時半起床. 早起きはできたが, やや鬱が辛い. 本を読む. シモーヌ・ヴェイユ『重力と恩寵』から「社会の調和」の節. 社会とは, 無限に小さな秩序を持った個人の集まりでなければならない. あらかじめ集団があっての個人ではないのだ. それから数学をやる. 教科書の練習問題を解く. 必ずしも単位的ではないモノイドの圏 $\mathbf{Monod}$ が集合の圏 $\mathbf{Set}$ 上でモナド的であることを示す. 次いで同様のこ…

クリニック 〜 夜のラーメン

-2 時起床. 本を読む. シモーヌ・ヴェイユ『重力と恩寵』から「イスラエル」の節. ヴェイユは, 神による教育をいうものを強く批判している. 神による教育という考えは, 特に政治権力が宗教と結び付いたときに全体主義を引き起こすのだと. 救いを求めようとすれば, 個人として直接神に向かい合わなければならない. それから数学をやる. 代数の復習. 環論に関する教科書の練習問題を解く. 朝までやって食事をとる.…

終日寝込む

7 時に目が覚める. 鬱が辛い. 自分は駄目だという思いが浮かんでくる. 苦しい. 頓服を飲んで寝込む. 多少落ち着いたので昼に起きて昼食を作る. サーモンムニエルと小松菜炒めとご飯. 食べて再び寝込む. そのまま一日が終わる.

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

-0 時半起床. 本を読む. カント『純粋理性批判』「第二版序言」から注釈の続き. 我々のどの直観が外的な客観に対応しているかは, 経験一般を単なる想像と区別する規則に則って一つひとつ決定されなければならないことが語られる. 以上を以て「第二版序言」は終わる. それから数学をやる. 教科書の練習問題を考える. 環の圏 $\mathbf{Ring}$ が集合の圏 $\mathbf{Set}$ 上でモナド的 (monadic) であることを証明する. …

飲酒欲求に堪える

-1 時半起床. 本を読む. カント『純粋理性批判』「第二版序言」から, 心理的観念論の論破と外的直観の客観的実在性の証明に関する注釈. 時間性の中における私の存在が確かであるというのと同程度に, 外的直観を与える私の外にあるものの存在も確かであると主張されている. それから数学をやる. 教科書の練習問題を解く. アーベル群の圏 $\mathbf{Ab}$ が集合の圏 $\mathbf{Set}$ 上でモナド的 (monadic) であることの…

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

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

読書と数学 〜 生活費と買い物

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

久々に体調がいい日

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

デイケアの友人の家に行く

5 時起床. 昨晩は眠りが浅かった. 鬱が少し辛いが何とか起きる. 朝食をとる. 納豆と卵かけご飯と味噌汁. ゆっくり味わって食べる. 午前中に買い物に行く. 野菜やパンなどを買う. 食料品の値段が高くて困る. 午後からはデイケアの友人の家に行く. 友人が鬱に関するテレビ番組を録画してくれたので, それを観に行ったのだ. 内容は自分が経験したことや勉強した範囲を超えるものではなかったが, 参考になった. …

鬱が辛いが作業療法に行く

4 時半起床. 鬱が辛いが, 踏ん張って起き上がった. 作業療法に行きたいので弁当を作る. 頭が働かないので, 調理の手順を手帳に箇条書きにして一つづつやっていく. いつもより少し遅い時間に家を出た. 鬱が辛く, 駅で引き返そうかとも思ったが行くだけ行ってみようと気力を絞る. 午前中に病院のアトリエに着く. ずっと休んでいた仲間が来ていた. 入院していたのだそうだ. 話を聴いているうちに自分の方も気持ちが…

デイケアに行く

7 時起床. 鬱が辛いが何とか起き上がる. このところ毎朝の鬱が苦しい. 朝食をとる. キャベツとハムエッグとコーヒー. 午前中は買い物に行く. 体が重たく, 足を一歩前に出すのも辛い. 野菜や魚を買って帰宅. 少し無理をして午後からデイケアに行く. 今日のプログラムは「幸せについて考える」. 月 1 度全 4 回のワークショップ形式のプログラムの第 2 回目. 前向きになる秘訣や, 生涯をかけて成し遂げたいこ…

昼から寝込む

6 時半起床. 鬱と無気力が辛い. 何もやる気にならない. 気力を絞って午前中に買い物に行く. 野菜などを買う. 帰宅して食事. 昨日のポトフの残りとご飯. 鬱が苦しい. 寝込んだ. そのまま一日が終わる.

内科の定期検査に行く

3 時起床. 本を読む. カント『純粋理性批判』から「第二版序言」の続き. 批判が反対するものが, 既存の学派の独占権であることが語られる. それから数学を少しやる. あまり進展せず. 午前中は内科の定期検査がある. 早めに家を出る. 検査を終えて, 買い物をして帰宅. 朝から何も食べていなかったので空腹である. ポトフを作った. キャベツ, 人参, 玉葱, じゃが芋や蕪, 豚ばら肉など材料をゆっくり煮込むの…

鬱が辛い中, いろいろやる

10 時起床. 鬱が苦しい. 何もやる気にならない. とりあえず食事をとる. キャベツとコーヒー. 頓服を飲んで寝込む. 少し眠った. 午後に起きる. まだ鬱が辛いが, 銀行の ATM まで行って今週分の生活費をおろしてこないといけない. よろよろと出かける. 歩いているうちに気分が上向くかも知れない. 何とか生活費をおろせた. ほっとする. それから買い物に行く. 鶏卵などを買う. 帰宅して食事. ベーコ…

気分が低調だが, コンピューターの設定作業を行う

4 時半起床. やや鬱が辛い. 本を読む. カント『純粋理性批判』から「第二版序言」の続き. 純粋理性批判は既存の学派の独占権に損失を与えるが, 他には利益の他何もないことが述べられる. 朝食をとる. パンと紅茶. 食べている最中から鬱が辛くなってくる. OpenBSD のアップグレード作業を行う. 頭が働かない. 辛い. 休みながら作業をする. 何とか午前中には終わった. この後, Emacs HEAD のコンパイル・イ…

システム管理: Emacs HEAD のコンパイルとインストール

Emacs HEAD のコンパイルとインストールを行う. $ export AUTOCONF_VERSION="2.71" $ export AUTOMAKE_VERSION="1.16" $ ./autogen.sh $ ./configure \ 'CFLAGS=-I/usr/include -I/usr/X11R6/include -I/usr/local/include' \ 'LDFLAGS=-L/usr/lib -L/usr/X11R6/lib -L/usr/local/lib -lgccjit' \ --prefix=/usr/local \ --mandir=/usr/local/share/man \ --infodir=/usr/local/info \ …

システム管理: OpenBSD のアップグレード作業 ── 2023 年 4 月 (2)

ベースシステムのコンパイルが終わったのでマージしてデバイスファイルを作成する. # sysmerge # cd /dev/ && ./MAKEDEV all X 関連ファイルのコンパイルとインストールを行う. # cd /usr/xenocara # make bootstrap # make obj # make build パッケージのアップデートを行う. # pkg_add -uv これで OpenBSD のアップグレード作業が完了する. 今回は何も問題は起…

システム管理: OpenBSD のアップグレード作業 ── 2023 年 4 月 (1)

月初めなので, OpenBSD のアップグレード作業を行う. ソースツリーのアップデート. $ cd /usr/src # ベースシステムのソースコードのアップデート. $ cvs -q up -Pd -A $ cd /usr/xenocara # X のソースコードのアップデート. $ cvs -q up -Pd -A $ cd /usr/ports # ports ツリーのアップデート. $ cvs -q up -Pd -A # sysupgrade -s # システムの最新のスナップショットへのア…

図書館 〜 買い物

1 時半に一度起きたが, 昨日の疲れがとれず二度寝をする. 6 時半起床. 朝食をとる. 納豆と卵かけご飯と味噌汁. OpenBSD のアップグレード作業を行う. 区切りが付いてから, 図書館に行く. 借りている本の貸出期間延長の手続きをする. それと太宰治『走れメロス』を借りた. 駅近くのパン屋に行ってパンを買う. それからいつものスーパーに行く. 野菜などを買う. 午後は少し眠る. 夕方に起きて食事. トマ…

昼まで寝込む 〜 アルコール依存症の自助グループ

-2 時起床. 早い時間に起きられたのだが鬱が辛い. 自分は駄目だという否定的な考えが浮かんでくる. 昨日の数学の計算の続きをやろうとするが, 頭の中に灰色の靄がかかっていて考えることができない. 苦しい. 結局頓服を飲んで寝込んだ. 昼まで眠る. 再び起きたときには, 気持ちはかなり落ち着いていた. 数学をやる. 代数の復習. ユークリッド環についてまとめたノートを読み返す. ユークリッド環においては,…

平和に一日を終える

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

読書と数学 〜 アルコール依存症の自助グループ 〜 夕方の鬱

-1 時起床. 本を読む. カント『純粋理性批判』. 「第二版序言」の続き. 本書における批判から得られる帰結が, 思弁的理性に経験の限界を越えさせないようにすることであると述べられる. それから数学をやる. monadicity 定理:「右随伴関手 $U : \mathrm{D} \rightarrow \mathrm{C}$ がモナド的 (monadic) であるための必要十分条件は, $U$ が $U$-分解対 ($U$-split pair) の余イコライザー (coequalizer) を作成するこ…

午後から鬱が苦しくなる

-1 時起床. 本を読む. カント『純粋理性批判』. 「第二版序言」の続き. 純粋理性批判を方法論として一つの新しい形而上学が構築されることが語られる. それから数学をやる. 教科書の練習問題を考える. 朝まで計算を行う. 朝食をとる. キャベツとベーコンエッグとコーヒー. 午前中はアルコール依存症の自助グループに行く. 冷たい雨が降っていて寒かったが, 会場の教会まで歩いた. 今日のテーマは「思いやり…

読書と数学 〜 午前中眠る 〜 生活費と買い物と食事

-1 時半起床. 本を読む. カント『純粋理性批判』. 「第二版序言」. カントが本書において行った, 認識が対象に従うのではなく対象が認識に従うのだという, いわゆるコペルニクス的転回について述べられる. それに応じて, 必然的に物自体という概念が現れてくる. それから数学をやる. 昨日勉強した命題の系: モナド的関手 $U : \mathrm{D} \rightarrow \mathrm{C}$ が任意の $U$-分解対 ($U$-split pair) の余イコ…

読書と数学 〜 買い物と食事

0 時半起床. 本を読む. カント『純粋理性批判』. 「第一版序文」. 本書の主題が形而上学はいかにして可能か, つまり悟性と理性は経験を離れて何をどのように認識できるのかという問題であることが述べられる. 何とか最後まで読み切りたい. 10 年くらいはかかるだろう. それから数学をやる. 圏 $\mathrm{C}$ 上のモナド $T$ 上の代数 ($T$-algebra) が, 任意の $\mathrm{C}$ の対象に対する標準的な余イコライザー (co…

数学: モナド ── 定義と随伴により引き起こされるモナド

モナドの概念をまとめておく. 定義等は Emily Riehl の教科書 "Category Theory in Context" に従う. 定義.圏 $\mathrm{C}$ におけるモナド (monad) は 3 つ組 $(T,\eta,\mu)$: ・ 関手 $T : \mathrm{C} \rightarrow \mathrm{C}$; ・ 単位 (unit)と呼ばれる自然変換 $\eta : 1_{\mathrm{C}} \Rightarrow T$; ・ 積 (multiplication)と呼ばれる自然…

絵を描く 〜 映画を観る

1 時半起床. 絵を描く. 昨日は疲れと気分の落ち込みで作業療法のアトリエで絵を十分に描くことができなかった. 家で絵を描くのは久し振りだが, 今日も倦怠感がありあまり集中できない. 朝食をとる. 納豆と卵かけご飯と味噌汁. 午前中は駅の近くのパン屋といつものスーパーに買い物に行く. 体がだるくて出かけるのが辛かったが, 歩いているうちに少しだが倦怠感が薄れてきた. 家に戻って買ってきたカレーパンを…

作業療法に行く ── くたくたになる

-0 時半起床. 昨晩は眠りが浅かった. そのせいか若干の疲労感がある. 数学をやる. 教科書を読み進める. 今一つ集中できない. 疲れがある. けれども今日は作業療法に行きたいので, 弁当を作る. 途中何度も横になる. いつもなら出かける時間になったが, 疲れているので少し休む. 遅くに家を出て, 昼過ぎに病院のアトリエに着いた. 昼食をとる. 午後は描きかけの絵に色を塗ったり, 構図を修正したりする. …

今日は夕方の鬱が無い

2 時起床. 本を読む. イアン・ハッキング『数学はなぜ哲学の問題になるのか』. ハッキングは, 数学を数学たらしめているものについて G.H.ハーディの言葉を引用する. 最高の数学は美しいばかりでなく、重い (serious) のである。 確かに, 特にアカデミアでは, 数学は美しく荘厳で厳かなものであると捉えられているところはあるのかも知れない. しかしハッキングはこれに加えて数学の楽しさ (fun) について述べて…

自分の性格上の問題と抑鬱感のこと

鬱病の治療のために行っていた認知療法やスキーマ療法を通じて, また障害年金と生活保護に頼っている自分の生活を振り返ってみてわかったことがある. どのようなときに, 自分は極端なストレスを感じるのか. 人と触れ合うことや自分の将来を考えるときには確かにストレスを感じる. しかしもっと具体的で, しかも精神的に追い詰められる場合がある. それは人から何かを頼まれたとき, 頼りにされたとき, さらにそれらにい…

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

-1 時半起床. 本を読む. イアン・ハッキング『数学はなぜ哲学の問題になるのか』. 本文中でウィリアム・サーストンの文章が引用されている. 言い換えれば、数学が前進するにつれて、われわれはそれを自分たちの思考に組み込む。われわれの思考がより洗練されるにつれて、われわれは、新しい数学的概念と新しい数学的構造とを生成する。つまり、数学の主題は、われわれがいかに考えるかを反映して変化するのである。…

午後から体調を崩す

-2 時起床. 本を読む. シモーヌ・ヴェイユ『重力と恩寵』から「大怪獣」の節. 大怪獣とは, 社会的なもの, 社会的な集団, 個人をしてそれに従うことを強制するものの謂いである. これによって個人は奴隷とされるのである. 社会は洞窟であるが、そこから出るには、孤独でなければならない。 それから数学をやる. 反射的部分圏 (reflective subcategory) の包含関手が monadic (モナド的) であるという命題の証明…

生活費をおろす 〜 買い物に行く

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

休み休み数学をやる

-2 時起床. 早く起きられたのはいいが, やや鬱が辛い. 数学をやる. monadic functor (モナド的関手) の計算. なかなか頭が働かず, 計算に集中できない. 横になって休みながら計算を進める. 鬱のときには仕方が無い. 明け方に少し眠る. 眠ってだいぶ気分が落ち着いた. 朝食をとる. パンと紅茶. それから昼まで数学の続きをやる. 昼過ぎに買い物に行く. 野菜などを買う. 帰宅して再び少し眠る. …

クリニックに行く 〜 疲れて早く休む

2 時起床. 数学をやる. 教科書を読んで計算を行う. 今日は午前中にクリニックに行くので, 早めに朝食をとる. 納豆と卵かけご飯と味噌汁. クリニックに行って朝一番に受付をする. 雨が降っていて寒いせいか, 今日の待ち合い室は人が少ない. それほど待たずに診察を受け, 薬を受け取ることができた. 診察では, この一週間ほど気力が出ないことを相談する. 昼過ぎに帰宅. 疲れたので小一時間休む. それから…

作業療法に行く

3 時起床. 数学をやる. 教科書を読み進める. 明け方に区切りを付ける. 今日は作業療法に行きたい. 弁当を作る. いつもの時間に家を出て, 午前中に病院のアトリエに着く. 描きかけの絵に色を塗っていく. なかなか思い通りの色にはならないが, 絵を描くのは楽しい. 夕方に帰宅. 夜はアルコール依存症の自助グループに行く. 今日のテーマは「落ち着き」. 自分は夕方から鬱になることが多く, そのことで気持…

鬱の中の買い物と食事

鬱が苦しい. 起き上がれない. 寝込む. 午後になって少し動けるようになったので買い物に行く. けれども足を一歩前に出すのも辛い. 何とか買い物をして帰宅. 食事をとる. 牛焼き肉と大根おろしとご飯. そのまま休む.

作業療法の友人と会う

6 時半起床. 午前中に作業療法の友人と会う約束がある. カフェで待ち合わせて会った. 病気のことや, お互いが現在作業療法のアトリエで取り組んでいる作品のことなどについて話す. 昼過ぎに別れる. 買い物をして帰宅. 話をしたせいか, 疲れている. 横になって休む. いつもより話をしただけで疲れてしまうというのはどうなのか? 夕方前に起きて食事. 麻婆豆腐とご飯. まだ早いが布団に入る.

気力が出ない中, いろいろやる

6 時半起床. 鬱が辛く, 気力が出ない. のろのろと起きて食事. キャベツと目玉焼きとソーセージとコーヒー. 頓服を飲む. 少し無理をしてアルコール依存症の自助グループに行く. 会場となっている教会までの道のりが遠い. 人数は少なかったがいいミーティングだった. 買い物をして帰宅. 疲れた. 横になって休む. 無気力が辛い. 夕方に食事. トマトとピーマンのパスタ. まだ明るいが休む.

今一つ体調が良くない

5 時起床. 朝まで本を読んで過ごす. 朝食をとる. キャベツと目玉焼きとソーセージとコーヒー. 気分が沈んでくる. 理由不明. 苦しい. 頓服を飲んで寝込む. 昼過ぎに起き上がる. 着替えて出かける. 銀行の ATM に行って今週分の生活費をおろす. それから買い物に行く. 野菜や魚を買う. 帰宅して再び寝込む. 気力が出ない. 夕方に起きて食事. 鯖の塩焼きと大根おろし, ご飯. 早めに布団に入る.

昼過ぎまで寝込む 〜 食事

3 時半起床. 早く起きることはできたが, 鬱が少し辛い. 本を読もうと思ったが, 気力が出ない. 鬱が苦しくなってくる. このまま生きていけるのだろうかという, 将来に対する不安に襲われる. 頓服を飲んで寝込んだ. 布団にくるまって縮こまる. 苦しい. 夕方に少し楽になったので, 起き上がって食事をとる. 蕎麦と大根おろし. 食べて再び休む.

読書 〜 午前中寝込む 〜 買い物と食事

2 時起床. 本を読む. イアン・ハッキング『数学はなぜ哲学の問題になるのか』. 図書館で借りてきた. 数学における証明と応用とに関する考察のようである. 朝まで読む. 食事をとる. キャベツと目玉焼きとソーセージとコーヒー. 次第に鬱が辛くなってくる. 理由不明. 頓服を飲む. 午前中は寝込んだ. 昼過ぎに何とか起き上がる. 黙祷する. それから買い物に行く. 野菜やパンなどを買う. 帰宅して食…

鬱が辛いが作業療法に行く

-0 時半起床. 数学をやる. 教科書を読み進める. 明け方から弁当を作る. 今日は作業療法に行きたい. 弁当を作っている最中から鬱が辛くなってくる. それでも無理をしていつもの時間に家を出た. どうしても駄目そうだったら, 途中で帰って来ればいい. 午前中に病院のアトリエに着く. 先週から描き始めた絵に色を付ける. 鬱が辛い. 早めに帰ろうとも思ったが, 色を塗ることに集中しているうちに多少気分が和ら…

充実した一日

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

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

-1 時半起床. 本を読む. シモーヌ・ヴェイユ『重力と恩寵』から「美」の節. シモーヌ・ヴェイユにとって, 美とは注意力を以て見つめていられるもの, そしてそのような行為を通して神と繋がるようなものである. それから数学をやる. 教科書の練習問題を考える. 朝までかかって大雑把に解答をまとめる. 朝食をとる. キャベツと目玉焼きとソーセージとコーヒー. 先ほどまとめた練習問題の解答について, 細かな間違…

読書 〜 アルコール依存症の自助グループ 〜 食事

5 時半起床. 本を読む. シモーヌ・ヴェイユ『重力と恩寵』から「中間的なもの」の節. 中間的なものとは, 善の側面も悪の側面も備えたものであって, ひとはこの道を通ってしか美と真理の国に入ることはできない. ヴェイユは, 中間的なものの例として欲望を挙げている. 朝食をとる. キャベツと目玉焼きとソーセージとコーヒー. 午前中はアルコール依存症の自助グループに行く. 仲間の話を聴いて, いろいろと身につま…

一日中眠い

5 時半起床. 昨晩はあまり眠れなかった. 明るくなるまでだらだら過ごす. 朝食をとる. キャベツと目玉焼きとソーセージとコーヒー. それから本を読む. シモーヌ・ヴェイユ『重力と恩寵』から「宇宙の意味」の節. 世界に起こるひとつの出来事を承認できないということは、世界が存在しないのを望むことにほかならない。 (中略) 世界が存在しないのを望むのは、このわたしが今あるままで、全体となるのを望むこと…

読書 〜 睡眠 〜 アルコール依存症の自助グループ

0 時起床. 本を読む. カント『人倫の形而上学の基礎づけ』. 理性は, 自由に関する理性的存在者の行為の法則の最高原理の絶対的必然性を説明し得ない. これが実践哲学における理性の限界であることが語られる. 重要なことは, それゆえに実践哲学が不完全であるとして切り捨てることではなく, 理解し得ず不完全な事柄があると認めた上で, なお我々の思考を進化させていくことである. 以上を結論として, 本書を読了する. …

不動産屋に行く

0 時半起床. 本を読む. カント『人倫の形而上学の基礎づけ』. 純粋理性がいかにして実践的たり得るかという問い掛けに理性が答えられないのと同様のことが, 意志の原因性としての自由はいかにして可能かという問い掛けに対しても生じるということが語られる. カントの一連の議論は精緻であるが, 難しい. 昨日寝たのが少し遅い時間だったこともあり, 疲労感と眠気がある. 読書に一区切りが付いてから朝食をとる. 納…

作業療法に行く ── 新しい絵を描き始める

0 時起床. 数学をやる. 教科書の練習問題を考える. 問題の意味がよくわからなかったので, ノートを読み返して以前勉強したことを確認しながら計算を行う. 明け方まで続ける. 今日は作業療法に行きたいので弁当を作る. 昨日買ったメカジキと小松菜を使う. いつもの時間に家を出て, 午前中に病院のアトリエに到着する. 今日から新しい絵を描き始めた. 昼になって, 長く入院していた仲間がアトリエに来る. 久し振…

デイケアに行く

2 時半起床. 本を読む. カント『人倫の形而上学の基礎づけ』. いかにして純粋理性が実践的になり得るかを理性は知ることができないこと. 難しいが本書も終わりに近付いてきた. それから昨日の OpenBSD のアップグレード作業の続きと, Emacs HEAD のコンパイルとインストールの作業を行う. 作業の合い間に朝食をとる. キャベツと目玉焼きとソーセージとコーヒー. Emacs のコンパイルでエラーが出たので対処する…

システム管理: Emacs HEAD のコンパイルとインストール ── loadable library and perl binaries are mismatched エラーの発生

Emacs HEAD のコンパイルとインストールを行う. $ export AUTOCONF_VERSION="2.71" $ export AUTOMAKE_VERSION="1.16" $ ./autogen.sh $ ./configure \ 'CFLAGS=-I/usr/include -I/usr/X11R6/include -I/usr/local/include' \ 'LDFLAGS=-L/usr/lib -L/usr/X11R6/lib -L/usr/local/lib -lgccjit' \ --prefix=/usr/local \ --mandir=/usr/local/share/man \ --infodir=/usr/local/info \ …

システム管理: OpenBSD のアップグレード作業 ── 2023 年 3 月 (2)

昨日の作業の続きを行う. ベースシステムのコンパイルが終わっているのでマージしてデバイスファイルを作成する. # sysmerge # cd /dev/ && ./MAKEDEV all 次いで, X 関連ファイルのコンパイルとインストールを行う. # cd /usr/xenocara # make bootstrap # make obj # make build パッケージのアップデート. # pkg_add -uv 以上で OpenBSD のアップグレード作業が…

体調が今一つだがいろいろやる

9 時起床. 気分が沈んでいる. 鬱が辛い. 遅い朝食をとる. キャベツと目玉焼きとソーセージとコーヒー. 月が新しくなったので OpenBSD のアップグレード作業を行う. 辛い. 頭の中に灰色の靄が立ち込めている気がする. 集中できない. 無理せずに休み休み進める. 午後に買い物に行く. コーヒーなどを買う. 体を動かして少し楽になった. 数学をやる. 教科書の練習問題を考える. 夕方に食事. 真鯛の刺…

システム管理: OpenBSD のアップグレード作業 ── 2023 年 3 月 (1)

月初めなので, OpenBSD のアップグレード作業を行う. ソースツリーのアップデート. $ cd /usr/src # ベースシステムのソースコードのアップデート. $ cvs -q up -Pd -A $ cd /usr/xenocara # X のソースコードのアップデート. $ cvs -q up -Pd -A $ cd /usr/ports # ports ツリーのアップデート. $ cvs -q up -Pd -A # sysupgrade -s # システムの最新のスナップショットへのア…

内科の定期検査

6 時半起床. 今日は内科の定期検査があるので朝食をとらずに家を出る. 検査の結果は特に問題無し. 買い物をして帰宅する. 疲れたので少し眠る. 午後に起きて食事. 鶏肉と白菜の鍋. まだ明るいが布団に入る.

生活費をおろす 〜 買い物

7 時起床. 体調が今一つである. 朝食をとる. キャベツとベーコンエッグとコーヒー. 鬱がやや辛く, 頓服を飲んで寝込んだ. 午後まで休む. 何とか起きて買い物に行く. 体が重たい. 頭の中に灰色の靄が立ち込めている感じ. 辛い. 野菜と魚などを買う. 帰宅して再び寝込む. 夜に起きて食事. 鰹のたたきと大根おろしとご飯. 食べて片付けをして休む.

鍋パーティー

7 時半起床. 今日はデイケアの友人の家に行く. 鍋をやるので一緒に食べようということで昼に待ち合わせる. キムチ鍋を作って食べた. 体が温まる. 夕方に帰宅. そのまま休む.

平和な一日

1 時起床. 本を読む. カント『人倫の形而上学の基礎づけ』. 理性が道徳法則に関心を抱くことの可能性について. 難しい. それから数学をやる. 教科書の練習問題を考える. 朝までやって区切りを付ける. 朝食をとる. 納豆と卵かけご飯と味噌汁. 午前中は買い物に行く. いつものスーパーに行って野菜や魚を買う. それから先日行ったパン屋に行ってパンを何種類か買う. 昼から少し休む. 眠った. 夕方に…

終日寝込む

9 時半に目が覚める. 鬱が苦しい. 頓服を飲んで午後まで寝込む. 夕方に食事. 牛肉と小松菜炒めとご飯. 今日は何もできなかった. 食べて片付けをして寝る.

鬱が苦しい中の買い物

8 時半起床. 鬱が辛い. 何もする気にならない. 苦しい. けれども天気がいいので, 陽の光を浴びようと無理をして散歩を兼ねた買い物に出た. いつものスーパーまでの遊歩道をゆっくり歩く. 陽射しが気持ちいい. 少し気分が上向いた. 野菜や肉を買う. 帰宅して本を読む. 西郷甲矢人・能美十三『圏論の道案内』. 米田の補題の説明がわかりやすい. 夕方前に食事. 小松菜とコンビーフ炒めとご飯. 今日は鬱が…

朝の鬱が辛い

7 時に目が覚める. 鬱が辛い. なかなか体調が安定しない. 枕元の頓服を飲んで気持ちが落ち着くのを待つ. 8 時過ぎに起きる. しかし何もする気が起こらない. 午前中は何もできずに終わる. 少し無理をして, 午後からアルコール依存症の自助グループに行く. 体が重たい. 足を一歩前に出すのも辛い. 今日のテーマは「今日一日」. 自分は, 鬱が苦しいときに酒を飲みたくなるが, ミーティングと今日一日という言…

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

0 時半起床. 昨日の鬱からは回復できた. 本を読む. カント『人倫の形而上学の基礎づけ』. いかにして自由は可能であるかという問題が論じられる. それから数学をやる. 教科書の練習問題を考える. 朝までやって区切りを付けた. 朝食をとる. キャベツとベーコンエッグとコーヒー. 午前中はアルコール依存症の自助グループに行く. 参加したのは少人数だったが, リラックスして話すことができた. 買い物をし…

ほぼ終日寝込む

8 時半に目が覚める. 鬱が苦しい. 起きられない. 午前中は寝込んだ. 頓服を飲んで買い物に行く. いつものスーパーまで行く気力が出ず, 近所のコンビニでカップ麺を買った. 帰宅して食べる. 再び寝込む.

Haskell: 簡単なプログラムを実行してみる

昨日実行環境を整えた Haskell を使ってみる. 教科書は Graham Hutton 著/山本和彦訳『Programming in Haskell 2nd edition』を使う. 本に載っているリストの和を求めるプログラムを sum.hs の名前で保存する. sum :: Num a => [a] -> a sum [] = 0 sum (n:ns) = n + sum ns これを Haskell インタープリターからロードする. ghci> :load sum ところが以下のようなエラーが出た.

パン屋に行く

7 時半起床. やや鬱が辛いが起き上がる. 体を動かせば気分が上向くかと思い, 駅の近くのパン屋まで行く. ちょうど店が開いたばかりで, まだパンの品揃えは十分ではなかったが, カレーパンとショコラパンとバンズを買った. 歩いて気持ちが落ち着いてきた. 帰宅してゆっくり朝食をとる. このパン屋でカレーバンを買ったのは初めてだが美味しい. ショコラパンもいい. バンズにはハムを挟んで食べた. 午前中はプロ…

クリニックに行く

3 時起床. 数学をやる. 教科書の練習問題を考える. 今日はクリニックに行って診察を受けて薬をもらってこないといけない. 早い時間に家を出る. 朝一番に受付をする. そのおかげで 40 分ほど待っただけで診察を受けることができた. 薬も早い時間に受け取れて, そのまま帰宅. 午後はプログラミングの勉強をする. 夕方に食事. 牡蠣と小松菜のパスタ. やはりクリニックに行くと疲れる. 早めに休む.

プログラミング: Haskell をインストールする

圏論でモナドを勉強して, Haskell を使いたくなった. GHC (Glasgow Haskell Compiler) をインストールする. ところがエラーになった. # pkg_add -v ghc Update candidates: quirks-6.98 -> quirks-6.101 quirks-6.101 signed on 2023-02-14T11:05:49Z quirks-6.98->6.101: ok Can't install ghc-9.2.5p0 because of libraries library c.97.0 not found /usr/lib/libc.so.96.1 (system): bad major /usr…

夕方まで寝込む

9 時に目が覚める. 鬱が苦しい. 理由不明. よろよろと起きて朝食をとる. キャベツとベーコンエッグとコーヒー. 気分の落ち込みが辛い. 頓服を飲んで寝込んだ. 夕方前に何とか起き上がれた. 頓服が効いたせいか, 鬱も少し回復した. 夕食をとる. メカジキのムニエルと小松菜炒めとご飯. 早めに休む.

作業療法の友人の個展に行く

1 時半起床. 本を読む. カント『人倫の形而上学の基礎づけ』. 実践理性の行為法則について. それから数学をやる. 教科書の練習問題を考える. 朝までやってから朝食をとる. キャベツとベーコンエッグとコーヒー. 作業療法の友人が個展を開催しているので, 午前中はそれを観に行った. その友人の作品は色彩が豊かで, 観ていると気持ちが明るくなる. 個展を観た後, また別の作業療法の友人と待ち合わせてある喫…

デイケアに行く

0 時半起床. 本を読む. カント『人倫の形而上学の基礎づけ』. 実践理性の限界について語られる. それから数学をやる. 教科書を読み進める. 昼までやって区切りを付ける. 午後からデイケアに行く. 今日のプログラムは「生きづらさをつぶやく」. 人が怖いことや, 気力がなかなか出ないことなどを話した. 話すことですっきりする. このプログラムは毎月あるので, 来月も参加したい. 夕方に帰宅して食事. 真…

アルコール依存症の自助グループ 〜 数学の勉強

6 時起床. 体がだるい. 若干の鬱もある. ゆっくり起きて朝食をとる. キャベツと目玉焼きとソーセージとコーヒー. どうしてこんなに体がだるいのだろう. 体を無理にでも動かせば倦怠感も薄れると思い, アルコール依存症の自助グループに行く. 開始時間を過ぎて会場の教会に到着. 今日のテーマは「自分を信じろ」. 自分の過去行ってきたことを思い返すととても自分を信じることはできない, というようなことを話す. …

何とか鬱から回復する

6 時半起床. どうにか酷い鬱は治まった. 朝食をとる. キャベツと目玉焼きとソーセージとコーヒー. 午前中は数学の勉強をする. 教科書を読み進める. 昼過ぎに買い物に行く. 野菜や肉を買う. 午後は本を読んで過ごす. ルシア・ベルリン『すべての月、すべての年』. 読了. 「ミヒート」という短編がいい. すでに子どものいるアメリアという 17 歳の少女の物語. それが少女と ER の看護士双方の視点から描かれる…

午前中から寝込む

4 時半起床. やや鬱が辛い. 朝まで何もできず. 朝食をとる. パンと紅茶. 次第に気分の落ち込みが酷くなってくる. 自分は駄目だという思い, 自分のやってきたことに何の意味も無いという思いが強い. 苦しい. 寝込んだ. 布団の中で縮こまる. 夜まで起きられず. そのまま休む.

西新井大師に行く

1 時起床. 本を読む. カント『人倫の形而上学の基礎づけ』. なかなか本に集中できず, 何度も同じ箇所を読み返す. 自由意志と自然法則との両立を, 自然法則を感性界のこととして解釈し, 自由意志を物自体の世界のこととして解釈することで成立させている. それから数学をやる. Kleisli 随伴がモナド $(T,\eta,\mu)$ 上の随伴の圏 $\mathbf{Adj}_T$ における始対象であることの証明を追う. 午前中までやって区切りを付…

雪の中, 作業療法に行く

0 時起床. 数学をやる. モナド $(T,\eta,\mu)$ を導く関手の随伴の圏 $\mathbf{Adj}_T$ において, Kleisli 随伴が始対象, Eilenberg-Moore 随伴が終対象となるという命題の証明を読む. 明け方前に区切りを付ける. 証明の概略を読んで終わる. 今日は作業療法に行きたいので弁当を作る. いつもの時間に家を出ると外は雪が降っている. 寒い. 午前中に病院のアトリエに到着. 今日はスタッフも含めても 4 人しか来て…

本を読んで過ごす<br />

1 時起床. 本を読む. カント『人倫の形而上学の基礎づけ』. 実践哲学への道を拓くにあたり, 理論哲学のおいて自由意志と自然法則の対立が引き起こす矛盾について解決しなければならないことが語られる. それから数学をやる. Kleisli 圏から関手の随伴を導く定理の証明について, 途中までやった計算をやり直す. 昨日は行き詰まってしまったが, じっくり考えたら解決した. 朝食をとる. キャベツと目玉焼きとソーセー…

読書 〜 数学の計算 〜 アルコール依存症の自助グループ

0 時起床. 本を読む. カント『人倫の形而上学の基礎づけ』. 自由な意志の働きから道徳の原理となる定言的命法が導かれることが示される. ところで, カントは誰でも理性を持つ限りにおいて, 欲望のただ中にあったとしても善い行為をしたいと望むものであると言っている. しかしそうだろうか. たとえば自分は酒浸りだった頃, 酒が生活の全てで, 金が無くなった時は酒を手に入れるために大切な本も売ったし (非常に後悔し…

体調がいい日が続く

3 時半起床. 本を読む. カント『人倫の形而上学の基礎づけ』. 理性的存在者は知性界と感性界の双方に属し, 知性界においては理性に, したがって意志の自律に服従する. この自律的な意志による行為が感性界において, 義務として表われることが語られる. 難しいが, 精緻な議論である. それから数学をやる. Kleisli 圏の定義. イメージが掴み辛かったので, 例を読んで計算しながら定義を確認する. 朝食をとる. キャ…

読書と数学の一日

0 時起床. 体調はいい. 本を読む. シモーヌ・ヴェイユ『重力と恩寵』から「ギュゲスの指環』の節. 自分も知らず知らずのうちに, 見えない社会構造やシステムに従ってしまうことが多い. 他者との軋轢を恐れたり, 自分が「善良な」人間に見られたいがためにそのようにするのだ. ここから抜け出すことは, おそらく自分の性格からして無理だと思う. 唯一できそうなことは, そのような構造にあまり近寄らないことだろう. 世…

気分がすぐれない中, いろいろやる

4 時起床. 鬱が辛い. 自分の日々行っていることに何の意味も価値も無いように思えてくる. こういう思いに陥ると苦しい. 少し踏ん張って本を読む. シモーヌ・ヴェイユ『重力と恩寵』より「読み」の節. ヴェイユは, 裁いてはいけないと言う. 裁かないことが, 裁きなのだとも言っている. ヴェイユの言葉は, 自分で自分を裁くことにも適用されるのだろうか? だとしたら救いである. 自分は自分を裁こうとしている. そ…

疲れで終日眠い

4 時半に目が覚める. 昨日の疲れがまだとれていない. 二度寝をする. 朝になって起きて朝食をとる. キャベツとベーコンエッグとコーヒー. 午前中も眠る. 昼過ぎに起きて買い物に行く. 帰宅して食事. 豚ばら肉と韮の鍋. いくら眠っても疲れがとれない. 早めに布団に入る.

作業療法に行く ── 外出恐怖に襲われる

0 時起床. 数学をやる. Eilenberg-Moore 圏の定義. 今日は作業療法に行きたいので区切りを付けて弁当を作る. しかし弁当を作り終えて, 出かける支度をしている最中に動悸が苦しくなってくる. 外に出るのが怖い. 先日作業療法に行った日の朝もこうだった. 恐ろしいことなど何も無いはずなのに... 少し過敏になっているのかも知れない. 頓服を飲んで横になって休む. 一時間ほどして, 動悸が治まったのでゆっく…

システム管理: OpenBSD のアップグレード作業と Emacs HEAD のコンパイル・インストール ── 2023 年 2 月 (2)

昨日から走らせていたベースシステムのコンパイルが朝になって終了する. マージ作業を行う. # sysmerge # システム関連の各種ファイルのアップデート # cd /dev/ && ./MAKEDEV all # デバイスファイルの作成 X のコンパイル. # cd /usr/xenocara # make bootstrap # make obj # make build パッケージのアップデート. # pkg_add -uv 以上…

読書と数学 〜 買い物と食事

0 時半起床. カント『人倫の形而上学の基礎づけ』. 自由の理念に基く意志が, 道徳法則に従わなければならないのはなぜかという問題へのアプローチ. 理性の司る知性界においては, 自由な意志から道徳法則が導かれる. 一方, 悟性と感性の司る感性界においては, 道徳法則は義務として機能する. 難しい. 概ね納得はした. 日をあらためて考えてみたい. それから数学をやる. 教科書を読み進める. 任意のモナドが与えられた…

システム管理: OpenBSD のアップグレード作業 ── 2023 年 2 月 (1)

新しい月になったので, OpenBSD のアップグレードを行う. ソースツリーのアップデート. $ cd /usr/src # ベースシステムのソースコードのアップデート. $ cvs -q up -Pd -A $ cd /usr/xenocara # X のソースコードのアップデート. $ cvs -q up -Pd -A $ cd /usr/ports # ports ツリーのアップデート. $ cvs -q up -Pd -A # sysupgrade -s # システムの最新のスナップショットへ…

無気力の中, いろいろやる

2 時起床. 早く起きることはできたが無気力が辛い. 何もできずに明け方まで時間が過ぎる. 朝になってから, ゆっくり本を開く. カント『人倫の形而上学の基礎づけ』. 自由な意志が道徳の原理に従わなければならないのはなぜか, そのことに我々が価値を見出だすのはどうしてか, といった問い掛けがなされる. 本書を読み進めていく中で, 自分もこのような疑問を抱いていた. カントはここで当たり前を疑っている. その姿…

今年初の作業療法

1 時起床. 数学をやる. 昨日の計算の続き. 進展無し. 何か行き詰まっている. 今日は久し振りに作業療法に行きたい. 弁当を作る. 準備をして家を出る時になって, 急に動悸がしてくる. 人が怖い. 頓服を飲んで横になり, 落ち着くのを待つ. もしどうしても駄目なようなら, 途中で帰ってくればよいと自分に言い聞かせる. やや遅めに家を出る. 昼過ぎになったが, 何とか無事に病院のアトリエに到着した. 描きか…

鬱からの回復 〜 生活費と買い物

1 時起床. 昨日の鬱からは何とか回復した. 苦しかった. それでも何度も急な鬱を経験してきてわかることは, 自分の場合, 十分に睡眠をとれば気分は回復するということだ. 休息と薬, 作業療法や認知療法などの適切な治療によって寛解するかも知れないという望みも湧いてくる. 本を読む. カント『人倫の形而上学の基礎づけ』. 道徳の法則の前提としての自由な意志について. それから数学をやる. 教科書の練習問題を…

読書と数学 〜 夕方からの鬱

2 時起床. 本を読む. シモーヌ・ヴェイユ『重力と恩寵』から「知性と恩寵」の節. 真理の前では知性は無にならざるを得ないというヴェイユの言葉に共感する. それから数学をやる. idempotent monad (羃等モナドと訳せばいいのだろうか) に関する教科書の練習問題を考える. idempotent monad とは, 反射的部分圏 (reflective subcategory) の随伴に付随するモナドである. 朝までかけて解く. 朝食をとる. パンと紅茶…

久し振りの読書と数学

3 時起床. 昨晩はあまり眠れなかったが, 早い時間に目が覚めた. 今日は気分がいい. 本を読む. シモーヌ・ヴェイユ『重力と恩寵』から「訓練」の節. 不可能なものに近付くためには, 可能なものをやり遂げていかなければならない. それは義務であるとヴェイユは言う. ただし一部の禁欲主義者のようになってはいけない, とも. それから数学をやる. 数学のノートを広げるのは 2 週間振りである. 以前やったところを忘…

買い物と食事だけの日

9 時起床. 鬱が辛いが何とか起き上がった. 朝食の食材を買いにいつものスーパーに出かける. ベーコンとお茶などを買う. 歩いたことで, 少し気分が上向いた. 帰宅して遅い朝食. キャベツとベーコンエッグ, コーヒー. 昼過ぎから再び鬱が辛くなってきて寝込む. 寝込む時間が多く, 何もできない日々が続いている. 今のところは, こうして休んで回復を待つしか無いのだろう. 夕方に起きて食事. 豚ばら肉と玉葱炒…

久し振りにデイケアに行く

7 時起床. 今朝は幸い鬱は無い. 朝食をとる. キャベツとベーコンエッグとコーヒー. 午前中は買い物に行く. 野菜や魚や肉を買う. 帰宅して少し休む. 午後からデイケアに行く. デイケアに行くのは今年に入って初めてである. 体調が悪くて行けなかったのだが, 今日のプログラム「生きづらさをつぶやく」には参加したかった. 話して吐き出すことで楽になるものがある. 参加者は 5 人. 順番にそれぞれが生き…

眼科に行く 〜 買い物と食事

8 時起床. 今朝も鬱が辛い. しかし今日は午前中に眼科の定期検査がある. ゆっくりと朝食をとる. キャベツとベーコンエッグとコーヒー. 味わいながら食べる. 少し気分が上向いた. 眼科に行く. 外は非常に寒い. 検査の結果は特に異常無し. ドライアイの目薬も出してもらって昼過ぎに帰宅. 買い物に行く. 朝の鬱は何とか治まった. 野菜と肉を買う. 帰宅して横になって休む. 外出すると疲れてしまうこ…

内科の定期検査

6 時半起床. 何とか起きる. 今日は朝一番で内科の定期検査がある. 体が重いが支度をして出かける. 検査の結果は前月と大して変わらず. 買い物をして帰宅. 疲れたので少し横になって休む. いくら休んでも疲れがとれない. 夕方に起きて食事. 麻婆豆腐とご飯. 片付けをして休む.

生活費をおろす 〜 買い物と食事

10 時起床. 鬱が辛いが何とか起き上がった. 月曜日なので, 生活費をおろしに銀行の ATM まで行く. 体が重たく, 歩くのが辛い. 何とか生活費をおろして帰宅. 少し寝込む. 何もできない日々が続いている. 苦しい. 午後から買い物に行く. 野菜などを買う. 帰宅して食事. 蕎麦と大根おろし. ゆっくり食べる. 早い時間に布団に入る.

午前中鬱で寝込む 〜 アルコール依存症の自助グループ

8 時半に目が覚める. 鬱が辛い. 何もする気にならない. 枕元の薬を飲んで, 布団の中で効いてくるのを待つ. 1 時間ほどして, よろよろと起き上がって食事. パンと紅茶. 食べてまた寝込む. この気力の出ない状態を何とかしたい. 昨日の主治医の診察だと, とにかく無理をせず休むということだったが... 鬱が苦しいので頓服を飲む. 少し眠った. 午後に目が覚める. 幸い頓服が効いてくれて, 気分が上向いた. …

クリニックに行く

3 時起床. 昨日よく眠ったせいか, 鬱はそれほど辛くない. 眠れば回復するのだ. 今日はクリニックに行って診察を受け, 薬をもらってこなければいけない. 朝食の準備をする. 納豆と卵かけご飯と味噌汁. 朝食をしっかりとって元気を出したかった. 早めに家を出て朝一番で受付を済ませる. 先月と同じく早い時間に受付をしたため, それほど待たずに診察を受け, 薬を出してもらうことができた. 診察では現在の鬱が辛い…