鬱と疲労感・無気力が強くて 夕方まで起きられず.
それでも午後からゆっくりと体調が上向きになってきたので頓服を飲んで起きた.
シャワーを浴びる.
過去の記憶に襲われてなる鬱は治まるのに時間がかかるなあ. 仕方無いけれど.
2017年06月21日
2017年06月20日
買い出しと図書館
10 時半起床.
頓服を飲まなかったが起きられた. 午前中に起きられてよかった.
買い出しに行く.
キャベツ, ブロッコリー, トマト, レタス, 大根, 茄子, 玉葱, じゃが芋, エリンギ, 胡瓜, チーズ, パスタ, 豚肉切り落としと豚バラブロック, 鶏のムネ肉とモモ肉, ソーセージ, 卵, 牛乳, 納豆.
大袋 4 つ. 2 つは肩掛けの布バッグに詰めて 2 つは両手に持つ.
ものすごく重い. 大量に買い過ぎた.
一旦帰宅してから今度は図書館に行く. 借りている本の貸し出しの延長手続きをする.
今日は気温も高く歩いていると自然に汗が出てくる.
帰宅して遅い昼食. 食べるのを忘れて冷蔵庫の野菜室に残っていた茄子と舞茸を使って, トマトと茄子と舞茸のスパゲッティを作る.
パスタを茹で過ぎてやや失敗. しかし美味しかった.
食べている途中で気分が沈んでくる.
ゆっくりとではあるが, 過去に友人や会社の同僚と飲んだり食べたり話したりしたいろいろな記憶が浮かんできた.
そのときの自分の言動や態度が, 非常に傲慢で場の雰囲気を台無しにしてしまったとか, それがどれだけ皆を不愉快な思いをさせたかとか, 自分は結局のところ自分一人良ければいい利己的な人間で屑としか言いようが無いとか.
いるだけで周りに迷惑をかけてしまう出来損ないなのだ, と.
罪悪感と自己否定が苦しい. 体が石みたいに固まって動けなくなってくる.
こうなってしまうと休む以外に元には戻らない.
頓服を飲んでから横になる.
そのまま動けなくなって寝込む.
頓服を飲まなかったが起きられた. 午前中に起きられてよかった.
買い出しに行く.
キャベツ, ブロッコリー, トマト, レタス, 大根, 茄子, 玉葱, じゃが芋, エリンギ, 胡瓜, チーズ, パスタ, 豚肉切り落としと豚バラブロック, 鶏のムネ肉とモモ肉, ソーセージ, 卵, 牛乳, 納豆.
大袋 4 つ. 2 つは肩掛けの布バッグに詰めて 2 つは両手に持つ.
ものすごく重い. 大量に買い過ぎた.
一旦帰宅してから今度は図書館に行く. 借りている本の貸し出しの延長手続きをする.
今日は気温も高く歩いていると自然に汗が出てくる.
帰宅して遅い昼食. 食べるのを忘れて冷蔵庫の野菜室に残っていた茄子と舞茸を使って, トマトと茄子と舞茸のスパゲッティを作る.
パスタを茹で過ぎてやや失敗. しかし美味しかった.
食べている途中で気分が沈んでくる.
ゆっくりとではあるが, 過去に友人や会社の同僚と飲んだり食べたり話したりしたいろいろな記憶が浮かんできた.
そのときの自分の言動や態度が, 非常に傲慢で場の雰囲気を台無しにしてしまったとか, それがどれだけ皆を不愉快な思いをさせたかとか, 自分は結局のところ自分一人良ければいい利己的な人間で屑としか言いようが無いとか.
いるだけで周りに迷惑をかけてしまう出来損ないなのだ, と.
罪悪感と自己否定が苦しい. 体が石みたいに固まって動けなくなってくる.
こうなってしまうと休む以外に元には戻らない.
頓服を飲んでから横になる.
そのまま動けなくなって寝込む.
2017年06月19日
2017年06月18日
良くない
9 時起床.
5 時半くらいに目が覚めて, 頓服を飲まずに気分を落ち着けて何とか起きることができた.
疲労感が少し強い. 体の疲れでも精神の疲れでもない. とにかく疲れている.
数学をやる. 2 時間ほどでへとへとになる. やったことは証明の中のある段落とそれに続く別の段落の入れ換え, それだけだ.
それだけに 2 時間かかって心底疲れ切った.
昼食は牛乳. お昼の分の定時の薬を飲んで横になって休んだら眠ってしまった.
苦しい夢を見た. そのせいかわからないが目が覚めたら抑鬱感が激しくなっていて動けない.
体が重い. 小さく縮こまって固まってしまっている.
頭の中に重たい靄がかかっているみたい.
自責の念が強い. 相当. かなり.
シャワーだけは何とか浴びておこうと頓服を飲んだ.
それでどうにか起きてシャワーを浴びた. 気分は上向かず. 駄目だ.
食欲はあったが, 料理の準備をするパワーが無い. 牛乳を飲んだ.
今日の鬱はちょっと苦しい. 充分に休むことで回復するとは思うが.
僅かではあるが怖い.
5 時半くらいに目が覚めて, 頓服を飲まずに気分を落ち着けて何とか起きることができた.
疲労感が少し強い. 体の疲れでも精神の疲れでもない. とにかく疲れている.
数学をやる. 2 時間ほどでへとへとになる. やったことは証明の中のある段落とそれに続く別の段落の入れ換え, それだけだ.
それだけに 2 時間かかって心底疲れ切った.
昼食は牛乳. お昼の分の定時の薬を飲んで横になって休んだら眠ってしまった.
苦しい夢を見た. そのせいかわからないが目が覚めたら抑鬱感が激しくなっていて動けない.
体が重い. 小さく縮こまって固まってしまっている.
頭の中に重たい靄がかかっているみたい.
自責の念が強い. 相当. かなり.
シャワーだけは何とか浴びておこうと頓服を飲んだ.
それでどうにか起きてシャワーを浴びた. 気分は上向かず. 駄目だ.
食欲はあったが, 料理の準備をするパワーが無い. 牛乳を飲んだ.
今日の鬱はちょっと苦しい. 充分に休むことで回復するとは思うが.
僅かではあるが怖い.
2017年06月17日
数学: 圏の骨格 (skeleton) ── 定義に戻ってみる
$\mathscr{C}$ を任意の圏とする.
$\mathscr{C}$ の射の集まり $\mathrm{Ar}({\mathscr{C}})$ に対して次のように定める.
(i) $\mathscr{C}$ の射を対象とする;
(ii) $f : X \to Y$, $g : X' \to Y'$ を $\mathscr{C}$ の 2 つの射とする. $f$ から $g$ への射を, $\mathscr{C}$ の射 $h : X \to X'$, $k : Y \to Y'$ の対 $(h, k)$ で図式
\begin{equation*}
\begin{xy}
\xymatrix@=48pt {
X \ar[d]_{f} \ar[r]^{h} & X' \ar[d]^{g} \\
Y \ar[r]_{k} & Y'
}
\end{xy}
\end{equation*}
を可換図式にするものと定義する.
このとき $\mathrm{Ar}({\mathscr{C}})$ は圏となる. これを圏 $\mathscr{C}$ の射圏 (arrow category) と呼ぶ.
$\mathscr{C}$ の対象 $\mathrm{Ob}(\mathscr{C})$ において, 対象が同型であることは $\mathrm{Ob}(\mathscr{C})$ における同値関係となる. $\mathrm{Ob}(\mathscr{C})$ をこの同値関係で割った商空間を $\hat{O}$ とおく.
同様に, $\mathrm{Ar}({\mathscr{C}})$ の対象 $\mathrm{Ob}(\mathrm{Ar}({\mathscr{C}}))$ (つまり $\mathscr{C}$ の射の集まり) において, 対象が同型であることは $\mathrm{Ob}(\mathrm{Ar}({\mathscr{C}}))$ における同値関係となる. $\mathrm{Ob}(\mathrm{Ar}({\mathscr{C}}))$ をこの同値関係で割った商空間を $\hat{A}$ とおく.
$\hat{O}$ と $\hat{A}$ に対して次の操作を行う.
・ $\hat{O}$ の各同値類から $\mathscr{C}$ の対象を 1 個ずつ選ぶ. 結果の集まりを $O$ とおく;
・ $\hat{A}$ の各同値類から $\mathrm{Ar}({\mathscr{C}})$ の対象を 1 個ずつ選ぶ. 結果の集まりを $A$ とおく.
この $O$ と $A$ を適切に定め, 以下の 4 つの関数を適切に定義することより, $O$ を対象, $A$ を射とする圏を構成することができる.
このために,
(1) $d^0, d^1 : A \to O$. ── $A$ に属する任意の射に対して, それぞれ射のソースとターゲットになる $O$ の対象を与える;
(2) $u : O \to A$. ── $O$ に属する任意の対象に対して, その上の恒等射 (identity) を与える;
(3) $m : P \to A$. ここで
\begin{equation*}
P = \left\{\, (f, g) \mid f, g \in A. \, d^0(f) = d^1(g) \,\right\}
\end{equation*}
である ── $A$ の 2 つの射 $f$ と $g$ に対して $f$ のソース $d^0(f) \in O$ と $g$ のターゲット $d^1(g) \in O$ が等しいとき, $f$ と $g$ の射の合成を与える.
このように構成された圏を
\begin{equation*}
\mathrm{sk}(\mathscr{C}) = (A, O, d^0, d^1, u, m)
\end{equation*}
と表わし, 圏 $\mathscr{C}$ の骨格 (skeleton) と呼ぶ.
今やっているのは, $\mathrm{sk}(\mathscr{C})$ の構成と, それが圏であることの証明. ひとまずできたと思うので証明を一から書いている.
$A$ の定義と関数 $m : P \to A$ の定義にかなり苦労した.
こういった苦労は自分としてはいつものことで, 非常に基礎的なところで大きく躓くのである.
$\mathscr{C}$ の射の集まり $\mathrm{Ar}({\mathscr{C}})$ に対して次のように定める.
(i) $\mathscr{C}$ の射を対象とする;
(ii) $f : X \to Y$, $g : X' \to Y'$ を $\mathscr{C}$ の 2 つの射とする. $f$ から $g$ への射を, $\mathscr{C}$ の射 $h : X \to X'$, $k : Y \to Y'$ の対 $(h, k)$ で図式
\begin{equation*}
\begin{xy}
\xymatrix@=48pt {
X \ar[d]_{f} \ar[r]^{h} & X' \ar[d]^{g} \\
Y \ar[r]_{k} & Y'
}
\end{xy}
\end{equation*}
を可換図式にするものと定義する.
このとき $\mathrm{Ar}({\mathscr{C}})$ は圏となる. これを圏 $\mathscr{C}$ の射圏 (arrow category) と呼ぶ.
$\mathscr{C}$ の対象 $\mathrm{Ob}(\mathscr{C})$ において, 対象が同型であることは $\mathrm{Ob}(\mathscr{C})$ における同値関係となる. $\mathrm{Ob}(\mathscr{C})$ をこの同値関係で割った商空間を $\hat{O}$ とおく.
同様に, $\mathrm{Ar}({\mathscr{C}})$ の対象 $\mathrm{Ob}(\mathrm{Ar}({\mathscr{C}}))$ (つまり $\mathscr{C}$ の射の集まり) において, 対象が同型であることは $\mathrm{Ob}(\mathrm{Ar}({\mathscr{C}}))$ における同値関係となる. $\mathrm{Ob}(\mathrm{Ar}({\mathscr{C}}))$ をこの同値関係で割った商空間を $\hat{A}$ とおく.
$\hat{O}$ と $\hat{A}$ に対して次の操作を行う.
・ $\hat{O}$ の各同値類から $\mathscr{C}$ の対象を 1 個ずつ選ぶ. 結果の集まりを $O$ とおく;
・ $\hat{A}$ の各同値類から $\mathrm{Ar}({\mathscr{C}})$ の対象を 1 個ずつ選ぶ. 結果の集まりを $A$ とおく.
この $O$ と $A$ を適切に定め, 以下の 4 つの関数を適切に定義することより, $O$ を対象, $A$ を射とする圏を構成することができる.
このために,
(1) $d^0, d^1 : A \to O$. ── $A$ に属する任意の射に対して, それぞれ射のソースとターゲットになる $O$ の対象を与える;
(2) $u : O \to A$. ── $O$ に属する任意の対象に対して, その上の恒等射 (identity) を与える;
(3) $m : P \to A$. ここで
\begin{equation*}
P = \left\{\, (f, g) \mid f, g \in A. \, d^0(f) = d^1(g) \,\right\}
\end{equation*}
である ── $A$ の 2 つの射 $f$ と $g$ に対して $f$ のソース $d^0(f) \in O$ と $g$ のターゲット $d^1(g) \in O$ が等しいとき, $f$ と $g$ の射の合成を与える.
このように構成された圏を
\begin{equation*}
\mathrm{sk}(\mathscr{C}) = (A, O, d^0, d^1, u, m)
\end{equation*}
と表わし, 圏 $\mathscr{C}$ の骨格 (skeleton) と呼ぶ.
今やっているのは, $\mathrm{sk}(\mathscr{C})$ の構成と, それが圏であることの証明. ひとまずできたと思うので証明を一から書いている.
$A$ の定義と関数 $m : P \to A$ の定義にかなり苦労した.
こういった苦労は自分としてはいつものことで, 非常に基礎的なところで大きく躓くのである.
体調が安定しない
9 時半起床.
目が覚めたのは 6 時過ぎだった. いつもなら飲む頓服を今日は飲まなかった.
最近心と体のパワーが付いてきた実感があり, 目が覚めてからの鬱も軽くなっているのではという期待があった.
しかし徐々に抑鬱感が強くなってきた. 不安や緊張, 恐怖の感情がゆっくり芽生えてくる.
苦しくなってきた. 動けなくなりそうだ.
まだ朝の体調はそこまで回復していない. 残念だ.
頓服を飲んで起きた. 頓服は効いたが頭がぼうっとする.
数学をやるが考えがぼんやりしてしまう. けれど粘って考える.
こういう体調の時にも, ゆっくりでいいから深く考えられる力をつけたい.
鬱から解放されない限り, "こういう体調の時" は今後たくさんある.
数学は大して進まなかったがとりあえず途中で寝てしまわずに机に向かうことができたのは良かった.
頓服の眠気がそんなに強くなかったのも助かった.
昼食はハムエッグとご飯.
野菜とか肉が無くなってきているのでまた買い出しに行かないと駄目だ.
午後一番でプールに行く.
薬でぼんやりとした状態から逃れたかった.
スポーツセンターは混んでいた. ロビーに人があふれている.
電子掲示板に表示されている混雑状況を見たらプールは 150 人近く入場している. 確かプールは最大 300 人までだったと思う.
いつも平日の朝一番で行くとせいぜい 30 人程度なので物凄い混みようだ.
ロビーですでに緊張で体が硬くなったが思い切って入場した.
結局無事に泳いで出てくることができた.
一旦プールに入って泳ぎ始めてしまえば, 緊張や恐怖に悩まされることは無い.
更衣室が苦しかった.
大勢の人がいると, 自然に自分が他の人の迷惑になっている・足手纏いになっている・邪魔になっている・本当に申し訳ない, という思いが湧き出てきて軽い混乱状態に陥ってしまうのだ.
ただ, これまでのような激しい動悸や緊張感は無かった.
対人恐怖もゆっくりと回復してきているのだろう. 確実に.
帰宅したら不安と恐怖が強くなって横になった. 動けなくて 2 時間ほど休む.
かなり無理はしてたんだな.
買い出しに出るパワーは無かった.
シャワーを浴びて夕食. 焼き油揚げと納豆とご飯.
目が覚めたのは 6 時過ぎだった. いつもなら飲む頓服を今日は飲まなかった.
最近心と体のパワーが付いてきた実感があり, 目が覚めてからの鬱も軽くなっているのではという期待があった.
しかし徐々に抑鬱感が強くなってきた. 不安や緊張, 恐怖の感情がゆっくり芽生えてくる.
苦しくなってきた. 動けなくなりそうだ.
まだ朝の体調はそこまで回復していない. 残念だ.
頓服を飲んで起きた. 頓服は効いたが頭がぼうっとする.
数学をやるが考えがぼんやりしてしまう. けれど粘って考える.
こういう体調の時にも, ゆっくりでいいから深く考えられる力をつけたい.
鬱から解放されない限り, "こういう体調の時" は今後たくさんある.
数学は大して進まなかったがとりあえず途中で寝てしまわずに机に向かうことができたのは良かった.
頓服の眠気がそんなに強くなかったのも助かった.
昼食はハムエッグとご飯.
野菜とか肉が無くなってきているのでまた買い出しに行かないと駄目だ.
午後一番でプールに行く.
薬でぼんやりとした状態から逃れたかった.
スポーツセンターは混んでいた. ロビーに人があふれている.
電子掲示板に表示されている混雑状況を見たらプールは 150 人近く入場している. 確かプールは最大 300 人までだったと思う.
いつも平日の朝一番で行くとせいぜい 30 人程度なので物凄い混みようだ.
ロビーですでに緊張で体が硬くなったが思い切って入場した.
結局無事に泳いで出てくることができた.
一旦プールに入って泳ぎ始めてしまえば, 緊張や恐怖に悩まされることは無い.
更衣室が苦しかった.
大勢の人がいると, 自然に自分が他の人の迷惑になっている・足手纏いになっている・邪魔になっている・本当に申し訳ない, という思いが湧き出てきて軽い混乱状態に陥ってしまうのだ.
ただ, これまでのような激しい動悸や緊張感は無かった.
対人恐怖もゆっくりと回復してきているのだろう. 確実に.
帰宅したら不安と恐怖が強くなって横になった. 動けなくて 2 時間ほど休む.
かなり無理はしてたんだな.
買い出しに出るパワーは無かった.
シャワーを浴びて夕食. 焼き油揚げと納豆とご飯.
2017年06月16日
終日寝込む
鬱が苦しくて動けず.
夜まで寝込む.
何とか食事だけはとっておこうと思い, 頓服を飲んでのろのろと起きた.
食欲は無かったが, 鰹節ご飯を食べた. 美味かった. 実は空腹だったのかも.
再び休む.
夜まで寝込む.
何とか食事だけはとっておこうと思い, 頓服を飲んでのろのろと起きた.
食欲は無かったが, 鰹節ご飯を食べた. 美味かった. 実は空腹だったのかも.
再び休む.
2017年06月15日
Mac: 修理の申し込みをする
夜になってネットで調べた Mac の修理店に修理の依頼メールを送る.
これで一つ心のつっかえが取れた.
とりあえず見積もりだけでもやってもらう.
だましだまし使えるとは言っても, さすがに Finder 操作で画面フリーズが発生すると凹む.
PDF ファイルを見るのに恐る恐る Acrobat Reader や Preview や
iTunes を下手に起動できないのもつらい.
日々使っている Emacs と Firefox もいつ使えなくなるかわからない.
早く修理に出したほうがいい.
これで一つ心のつっかえが取れた.
とりあえず見積もりだけでもやってもらう.
だましだまし使えるとは言っても, さすがに Finder 操作で画面フリーズが発生すると凹む.
PDF ファイルを見るのに恐る恐る Acrobat Reader や Preview や
xpdf
を起動しないといけないのは嫌だ.iTunes を下手に起動できないのもつらい.
日々使っている Emacs と Firefox もいつ使えなくなるかわからない.
早く修理に出したほうがいい.
チラシ配り中に体調を崩す
7 時半起床.
目が覚めてから頓服を服用したのだが, 効き目が眠気のほうに出てしまって 1 時間以上寝てしまった.
午前中は数学をやる. 証明を最初から書き直しているが, 間違いが見つかって直したり, 余計な記述を削除したりしながら少しずつ進める. 楽しい.
昼食は昨日の麻婆豆腐の残りとご飯.
午後からチラシ配りに出かける.
大抵いつもはチラシを配っていると気分が上向いてくるのだが, 今日はなぜか途中から鬱々としてきた.
最初はしばらくしたら治まるだろうと思っていたが駄目だった.
歩くのがしんどい. 体が重いし, 道順が何だかぼんやりとしかわからなくなってきた. よくない.
携帯している頓服を飲んだ. 配るのを中止して途中で切り上げて帰宅する.
帰宅して 2 時間ほど横になって休んだら落ち着いた. どうして体調を崩してしまったんだろう.
疲れが溜まっていたのだろうか.
理由不明.
シャワーを浴びて夕食をとる. 野菜炒めと納豆とご飯.
早めに休む.
目が覚めてから頓服を服用したのだが, 効き目が眠気のほうに出てしまって 1 時間以上寝てしまった.
午前中は数学をやる. 証明を最初から書き直しているが, 間違いが見つかって直したり, 余計な記述を削除したりしながら少しずつ進める. 楽しい.
昼食は昨日の麻婆豆腐の残りとご飯.
午後からチラシ配りに出かける.
大抵いつもはチラシを配っていると気分が上向いてくるのだが, 今日はなぜか途中から鬱々としてきた.
最初はしばらくしたら治まるだろうと思っていたが駄目だった.
歩くのがしんどい. 体が重いし, 道順が何だかぼんやりとしかわからなくなってきた. よくない.
携帯している頓服を飲んだ. 配るのを中止して途中で切り上げて帰宅する.
帰宅して 2 時間ほど横になって休んだら落ち着いた. どうして体調を崩してしまったんだろう.
疲れが溜まっていたのだろうか.
理由不明.
シャワーを浴びて夕食をとる. 野菜炒めと納豆とご飯.
早めに休む.
2017年06月14日
Mac: Preview 操作中に画面がフリーズする 〜 xpdf を使う
数学の問題の証明は LaTeX で書いている.
その際, コンパイルしてできる PDF ファイルの表示には Preview を使っている.
最初は Acrobat Reader を使っていたのだが, Mac の調子が悪くなって Acrobat Reader を使うと画面が乱れて最悪の場合画面がフリーズしてしまうので Preview を使っていた.
今日もいつものように Preview で PDF ファイルを表示させていたらページをスクロールした瞬間に画面が激しく乱れた.
しばらくしたら元に戻ったが, 次にページスクロールを行ったら画面がフリーズしてしまった.
Mac を再起動しても状況は変わらない.
それで Preview を使うのを諦めて xpdf を使った. これは大丈夫だった.
Mac を使う上でわざわざ XQuartz を起動することもないと思って, いつの頃からか Mac では xpdf はほとんど使っていなかった.
けれども xpdf だと起動時に
のようにズームやページの指定ができて便利だ. 動作も軽快でいい.
上記のような指定は Preview や Acrobat Reader でも起動時にできるのかも知れないが, いつも起動後にマウスや GUI に頼っていたので知らない.
調べてみないとわからない.
ネットで探した修理店に修理の申し込みをしようと思っていたのだが忘れた.
早く修理に出そう.
その際, コンパイルしてできる PDF ファイルの表示には Preview を使っている.
最初は Acrobat Reader を使っていたのだが, Mac の調子が悪くなって Acrobat Reader を使うと画面が乱れて最悪の場合画面がフリーズしてしまうので Preview を使っていた.
今日もいつものように Preview で PDF ファイルを表示させていたらページをスクロールした瞬間に画面が激しく乱れた.
しばらくしたら元に戻ったが, 次にページスクロールを行ったら画面がフリーズしてしまった.
Mac を再起動しても状況は変わらない.
それで Preview を使うのを諦めて xpdf を使った. これは大丈夫だった.
Mac を使う上でわざわざ XQuartz を起動することもないと思って, いつの頃からか Mac では xpdf はほとんど使っていなかった.
けれども xpdf だと起動時に
$ xpdf -z 110 foo.pdf 6
のようにズームやページの指定ができて便利だ. 動作も軽快でいい.
上記のような指定は Preview や Acrobat Reader でも起動時にできるのかも知れないが, いつも起動後にマウスや GUI に頼っていたので知らない.
調べてみないとわからない.
ネットで探した修理店に修理の申し込みをしようと思っていたのだが忘れた.
早く修理に出そう.
