タグ / パンと紅茶
記事
だらだら過ごす
[2023/08/06 16:00]
7 時半起床
鬱が辛い.
何とか頑張って起きる.
午前中は何もできなかった.
昼に買い物に行く.
鬱が辛いが, 重たい体を動かしていつものスーパーまで行く.
野菜やパンを買う.
昼食をとる.
パンと紅茶.
鬱が堪え難くなってくる.
まだ夕方前だが布団に入る.
暑い中で歩く [2023/07/09 18:44]
7 時半起床.
鬱が少し辛いが, 起きられないほどではない.
朝食をとる.
パンと紅茶.
午前中は数学をやる.
モナドに関しての以前のノートを読み返す.
昼からアルコール依存症の自助グループに行く.
今日は暑い.
そのような中で 1 時間半ほど歩いた.
会場の区民センターまで歩こうと思ったのだ.
しかし暑さと疲れで途中でばててしまい, 電車に乗る.
今日は少人数のミーティングだった.
他の仲間の話を聴いて背中を押される気分になる..
..
数学の勉強 〜 買い物 〜 アルコール依存症の自助グループ [2023/06/25 17:35]
4 時半起床.
やや倦怠感がある.
数学をやる.
体がだるいこともあって, 今一つ集中できない.
朝食をとる.
パンと紅茶.
気分転換に買い物に行く.
いつものスーパーまでの遊歩道を歩いているうちにだるさは治まった.
帰宅して朝の数学の続きをやる.
以前のノートを読み返す.
午後からアルコール依存症の自助グループに行く.
会場の福祉センターまで歩くつもりで家を出たが, 暑さでばててしまい途中から電車に乗った.
今日のテーマは「一..
久し振りに普通の時間に起きる [2023/05/14 23:30]
8 時起床.
倦怠感はあるが何とか起き上がれる
朝食をとる.
バンと紅茶.
倦怠感が辛くなってくる.
寝込んだ.
そのまま一日が終わる.
午後から寝込む [2023/04/16 23:30]
0 時半起床.
早起きはできたが, やや鬱が辛い.
本を読む.
シモーヌ・ヴェイユ『重力と恩寵』から「社会の調和」の節.
社会とは, 無限に小さな秩序を持った個人の集まりでなければならない.
あらかじめ集団があっての個人ではないのだ.
それから数学をやる.
教科書の練習問題を解く.
必ずしも単位的ではないモノイドの圏 $\mathbf{Monod}$ が集合の圏 $\mathbf{Set}$ 上でモナド的であることを示す.
次いで同様のことを, 必ず..
久々に体調がいい日 [2023/04/09 23:30]
0 時起床.
今日は体調がいい.
本を読む.
カント『純粋理性批判』から「第二版序言」の続き.
純粋理性の批判という計画を実行するにあたり, カントは哲学者ヴォルフの厳密性に従うことを宣言する.
カントがヴォルフの厳密性に関して語った, 一つの学を確実に進めるには, 原理の法則化確立, 概念の明晰な定義, 厳密な証明の試み, 推論の大胆な跳躍の防止が必要である, という言葉は, 数学についても成立するだろう.
それから数学をやる.
monadicity ..
気分が低調だが, コンピューターの設定作業を行う [2023/04/02 23:30]
4 時半起床.
やや鬱が辛い.
本を読む.
カント『純粋理性批判』から「第二版序言」の続き.
純粋理性批判は既存の学派の独占権に損失を与えるが, 他には利益の他何もないことが述べられる.
朝食をとる.
パンと紅茶.
食べている最中から鬱が辛くなってくる.
OpenBSD のアップグレード作業を行う.
頭が働かない.
辛い.
休みながら作業をする.
何とか午前中には終わった.
この後, Emacs HEAD のコンパイル・インストー..
休み休み数学をやる [2023/03/19 23:30]
-2 時起床.
早く起きられたのはいいが, やや鬱が辛い.
数学をやる.
monadic functor (モナド的関手) の計算.
なかなか頭が働かず, 計算に集中できない.
横になって休みながら計算を進める.
鬱のときには仕方が無い.
明け方に少し眠る.
眠ってだいぶ気分が落ち着いた.
朝食をとる.
パンと紅茶.
それから昼まで数学の続きをやる.
昼過ぎに買い物に行く.
野菜などを買う.
帰宅して再び少し眠る.
..
クリニックに行く 〜 疲れて早く休む [2023/03/18 23:34]
2 時起床.
数学をやる.
教科書を読んで計算を行う.
今日は午前中にクリニックに行くので, 早めに朝食をとる.
納豆と卵かけご飯と味噌汁.
クリニックに行って朝一番に受付をする.
雨が降っていて寒いせいか, 今日の待ち合い室は人が少ない.
それほど待たずに診察を受け, 薬を受け取ることができた.
診察では, この一週間ほど気力が出ないことを相談する.
昼過ぎに帰宅.
疲れたので小一時間休む.
それから食事をとる.
パンと紅茶...
読書 〜 睡眠 〜 アルコール依存症の自助グループ [2023/03/05 23:30]
0 時起床.
本を読む.
カント『人倫の形而上学の基礎づけ』.
理性は, 自由に関する理性的存在者の行為の法則の最高原理の絶対的必然性を説明し得ない.
これが実践哲学における理性の限界であることが語られる.
重要なことは, それゆえに実践哲学が不完全であるとして切り捨てることではなく, 理解し得ず不完全な事柄があると認めた上で, なお我々の思考を進化させていくことである.
以上を結論として, 本書を読了する.
道徳の基本としてカントが定めた, 意志の全て..
午前中から寝込む [2023/02/12 23:30]
4 時半起床.
やや鬱が辛い.
朝まで何もできず.
朝食をとる.
パンと紅茶.
次第に気分の落ち込みが酷くなってくる.
自分は駄目だという思い, 自分のやってきたことに何の意味も無いという思いが強い.
苦しい.
寝込んだ.
布団の中で縮こまる.
夜まで起きられず.
そのまま休む.
読書と数学 〜 夕方からの鬱 [2023/01/29 23:30]
2 時起床.
本を読む.
シモーヌ・ヴェイユ『重力と恩寵』から「知性と恩寵」の節.
真理の前では知性は無にならざるを得ないというヴェイユの言葉に共感する.
それから数学をやる.
idempotent monad (羃等モナドと訳せばいいのだろうか) に関する教科書の練習問題を考える.
idempotent monad とは, 反射的部分圏 (reflective subcategory) の随伴に付随するモナドである.
朝までかけて解く.
朝食をと..
≪前へ 次へ≫
Alexandre Grothendieck Alpha レジスター dropbox Dropbox からのダウンロード El Capitan Emacs Emacs HEAD Emacs HEAD のコンパイルとインストール Emacs29 emacs30 Emacs31 Emily Riehl, "Category Theory in Context" Freyd の随伴関手定理 GTO 命令 Helm HP42S iPhone J・L・ハーマン『心的外傷と回復』 Kan 拡張 Kleisli 圏 LaTeX MAC Mac Pro early 2009 macOS macOS Mojave MacPorts OpenBSD OpenBSD / Mac Pro OpenBSD / Mac Pro のアップグレード OpenBSD 7.3 / Mac Pro OpenBSD 7.4 / Mac Pro OpenBSD 7.5 / Mac Pro OpenBSD のアップグレード作業 OS X OS X El Capitan PDP-11 PSW さんからの電話 PSW さんとの面接 PTSD RCL 命令 shell SKK STO 命令 Susan Cain Syncthing TeX UNIX VirtualBox Wanderlust well-defined XEQ 命令 『Quiet』 『プリーモ・レーヴィ全詩集 ── 予期せぬ時に』 『老人読書日記』 おでん おろし蕎麦 お笑い お金 かき揚げと大根おろし, 蕎麦 かき氷 ご飯 しらす干しとご飯 だらだらとネットを見てしまうという悪癖 だらだらとネットを見てしまう悪癖 だらだらとネットを見る悪癖 つけ麺 ひきこもり ふりかけ ぶっかけ饂飩 ほうれん草のお浸し ほうれん草のパスタ ほっけの塩焼きとご飯 もやし炒め もり蕎麦 やることを手帳に書き出す方法 アルコール依存 アルコール依存症 アルコール依存症の自助グループ アルゴリズム的思考の困難さ イアン・ハッキング『数学はなぜ哲学の問題になるのか』 イコライザー インスタントの味噌汁 エレキコミック エレ片 オニオンスライス オムレツ カップ麺 カップ麺とご飯 カミュ『シーシュポスの神話』 カミュ『ペスト』 カレー カレーライス カント『プロレゴメナ』 カント『プロレゴメナ』: 最高存在と純粋理性 カント『人倫の形而上学の基礎づけ』 カント『純粋理性批判』 キムチ キャベツ キャベツとコーヒー キャベツとスクランブルエッグとコーヒー キャベツとチーズのサラダ キャベツとハムエッグとコーヒー キャベツとベーコンエッグ, コーヒー キャベツとベーコンエッグとご飯 キャベツとベーコンエッグとコーヒー キャベツと目玉焼き キャベツと目玉焼きとコーヒー キャベツと目玉焼きとサラダチキンとコーヒー キャベツと目玉焼きとソーセージとコーヒー キャベツのざく切り キャベツのサラダ, 目玉焼き, サラダチキン, コーヒー キャベツのスパイス炒め キャベツの千切り キャベツ炒め クエン酸と重曹 クリニック グレープフルーツ コミュニケーション コミュニケーション恐怖 コロナワクチン接種 コンビニでの買い物 コンピューター コーヒー サッポロ一番塩ラーメン システム管理 システム管理作業 シモーヌ・ヴェイユ『重力と恩寵』 シャワー ジプレキサ (オランザピン) ジャーマンポテトとご飯 ジョージ・G・スピーロ『ポアンカレ予想』 スキーマ療法 スタック ストレッチ スライス圏 スーザン・ケイン (Susan Cain) セルフカウンセリング ソーセージ ソーセージと玉葱炒め ソーセージと野菜のグリル ソーセージ炒め チラシ印刷 チラシ配り チーズ チーズとキャベツ チーズとトマトとレタスのサラダ チーズオムレツ ディビッド・マス『トラウマ』 デイケア デイケア: 「幸せについて考える」 デイケア: 「生きづらさをつぶやく」 デイケアの友人 デイケアの友人との会話 デイケアの食事会 デッサンの狂い トポス トマト トマトとキャベツとチーズのサラダ トマトとキャベツのサラダ トマトとチーズのサラダ トマトとバジルのパスタ トマトとピーマンのパスタ トマトとレタスとチーズのサラダ トマトとレタスのサラダ トマトと小松菜のパスタ トマトのパスタ トマトシチュー トラウマ ドストエフスキー ドライアイ ネット恐怖 ハムエッグ ハヤシライス ハンバーグ バイト バジルのパスタ バナナ バンとコーヒー パニック パン パンとコーヒー パンとコーヒーの朝食 パンとサンドイッチ パンと牛乳 パンと紅茶 ビーフステーキと玉葱炒め プラトン『国家』 プログラミング プログラミングの勉強 プール ベーコンエッグ ベーコンエッグと納豆とご飯 ペペロンチーノ ポトフ ポークソテーと玉葱炒め ミニトマト ミートソーススパゲティ メカジキのムニエル メンタルの弱さ メンタルの疲れ メンタルの脆さ メール モナド ヨーグルト ラジオ ラタトゥイユ ラム肉と玉葱炒め ラム肉と玉葱炒め, ご飯 ラーメン ラーメンと餃子 リハビリ ルシア・ベルリン『すべての月、すべての年』 ルシア・ベルリン『掃除婦のための手引き書』 ロバート・コールズ『シモーヌ・ヴェイユ入門』 ロースカツ ロースカツとキャベツ ロースカツと千切りキャベツ 一つづつやっていく方法 一つ一つやっていく方法 万年床 不動産屋 不安 不安と動悸 不安と緊張 不安感 不眠 不眠症状 世界堂 二度寝 二階堂奥歯『八本脚の蝶』 仕事 伊東屋 休むことの必要性 休息 体が重い 体の重さ 体調 体調不良 余極限 (colimit) 作業療法 作業療法のアトリエの展覧会 作業療法の友人 修理 借金 倦怠感 倦怠感と無気力 健康診断 入浴 入院 入院の準備 入院生活 八朔 内科 内科の定期検査 冷奴 冷奴とキムチ 冷奴と塩鮭 冷奴と納豆と卵かけご飯 冷奴と鰹のたたき 冷奴と鰹の刺身 分岐命令 刻みキャベツ 加藤忠史『うつ病の脳科学』 動悸 動悸と不安 午前中からの鬱 午前中の抑鬱感 午前中の睡眠 午前中の鬱 午後からの抑鬱感 午後からの鬱 午後の鬱 半順序集合 卵かけご飯 友人と会う 可換錐 (commutative cone) 台風 同値関係 商圏 (quotient category) 回復 回復の兆し 図書館 圏の連結性 (connectedness) 圏の骨格 (skeleton) 圏論 基本群 塩鮭 塩鮭と蕎麦 夏ばて 夕方からの抑鬱感 夕方からの鬱 夕方の散歩 夕方の鬱 外出恐怖 外出恐怖と対人恐怖 夜の鬱 夢 大根おろし 大根煮 天麩羅, 大根おろし, 蕎麦 天麩羅と大根おろし, 蕎麦 天麩羅と大根おろしと蕎麦 太宰治『晩年』から「思い出」 太宰治『走れメロス』 始対象 定期検査 家 家計簿 寝た切り 寝込んでばかりの生活 対人恐怖 射の合同 (arrow congruence) 射圏 (arrow category) 将来への不安 将来への不安感 小松菜のお浸し 小松菜のパスタ 山田俊行『はじめての数理論理学』 年末年始の鬱 年賀状 弁当 引っ越し 役所 心の深いところの疲れ 心の病 心理テスト 怒りの感情 思考力の低下 急な気分の落ち込み 急激な気分の落ち込み 恐怖 恐怖感 悪夢 惣菜の寿司 慢性的な抑鬱感 慢性的な鬱 成人健診 戸部良一他『失敗の本質』 抑鬱感 抑鬱感と不安感 抑鬱感と無気力 捩れ射圏 (twisted arrow category) 掃除 放送大学 故障 散歩 散歩がてらの買い物 散歩と買い物 散歩を兼ねた買い物 散髪 数学 数学の勉強 数学の勉強: 随伴関手 数学の復習 数学の練習問題 整形外科 新藤兼人 日記 日記を書く 早朝の散歩 早朝の鬱 早起き 明け方の鬱 映画 昼からの抑鬱感 昼からの鬱 昼寝 昼間の鬱 暑い中での買い物 朝からの鬱 朝のコーヒー 朝の抑鬱感 朝の散歩 朝の無気力 朝の読書 朝の買い物 朝の鬱 朝の鬱と無気力 朝食 林檎 枝豆 梅雨の時期の鬱 梅雨の鬱 極限 (limit) 残業 気分の落ち込み 気力が出ない 気力の出ない生活 水泳 沢庵 油揚げと塩鮭 洗濯 洗濯物を干す 浅漬け 浅蜊と大根と豆腐と油揚げの味噌汁 浅蜊と大根と豆腐の味噌汁 海老の塩胡椒焼き 海苔と卵かけご飯 海苔巻き 海苔弁当 深呼吸 混雑したスーパーでの買い物 湯豆腐 湯豆腐と〆鯖 湯豆腐と塩鮭 湯豆腐と真鯛の刺身 湯豆腐と鰹のたたき 湯豆腐と鰹の刺身 炒飯 無価値感 無気力 無気力と疲労感 焼き肉 焼き鮭 焼き鮭とご飯 焼酎 煮豚 牛乳 牛焼き肉 牛肉と小松菜炒めとご飯 牛肉と玉葱炒め 牛肉と玉葱炒め, ご飯 牛肉と玉葱炒めとご飯 牛肉と玉葱炒めの海苔弁当 牡蠣とバジルのパスタ 牡蠣と小松菜のパスタ 牡蠣と玉葱のペペロンチーノ 特殊随伴関手定理 玉葱炒め 甘え 生活 生活のリズム 生活費と買い物 画面フリーズ 疲労感 疲労感と倦怠感 疲労感と無気力 病院 白菜漬け 目玉焼き 目玉焼き, 納豆, ご飯, 味噌汁 目玉焼きと納豆とご飯と味噌汁 真夏日 真鯛の刺身と大根おろしとご飯 眠剤 眠剤の効き過ぎ 眼医者 眼科 眼科の定期検査 睡眠 睡眠不足 社会からの孤立 社会復帰 秋刀魚の塩焼き 秋鮭のムニエル 穏やかな一日 竹田青嗣『現代思想の冒険』 米田の補題 米田の補題 (The Yoneda Lemma) 精神的疲労 糖尿病 紀伊國屋書店 納豆 納豆, 鯖の塩焼き, ご飯 納豆とご飯と味噌汁 納豆と卵かけご飯 納豆と卵かけご飯と味噌汁 終対象 絵 絵と数学 絵の具 絵を描く 絵を描くことによる鬱からの回復 絵を描くことによる鬱からの解放 絵画 緊張 緊張感 線形代数 罪悪感 罪責感 背中と右足の痛み 胡瓜の糠漬 胡瓜の糠漬け 脳が疲れた感じ 脳が疲れた感覚 脳の疲れ 自分に何一つ自信が持てない 自分は駄目だという思い 自己否定 自己嫌悪 自己憎悪 自然変換 自然変換 (natural transformation) 自立支援医療 自責の念 茹で卵 葱焼き 蕎麦 蕎麦と大根おろし 薬 蛸とトマトのパスタ 血糖値 複素数 診察 診察と薬 診断書 話すことによる解放 認知の歪み 認知療法 認知療法シート 語学の勉強 読書 豆のシチュー 豆腐とご飯 豚しゃぶ肉と新玉葱のウスターソースとポン酢和え 豚ばら肉と玉葱炒めとご飯 豚キムチ 豚キムチとご飯 豚バラ肉と玉葱炒め 豚バラ肉の塩焼き 豚汁 豚焼き肉 豚肉と卵の炒め物とご飯 豚肉と玉葱炒め 豚肉と白菜の鍋 豚肉の塩焼き 豚肉の生姜焼き 豚肉生姜焼き 買い出し 買い物 買い物を兼ねた散歩 赤魚のきのこソースとご飯 赤魚の西京漬け焼きとご飯 辛子明太子と卵かけご飯 逆圏 過去の苦しい記憶 過去の記憶 過呼吸 部屋の片付け 酒 酒への依存 酒への渇望 酷い無気力 野菜スープ 鉛筆画 銀行と買い物 長時間の睡眠 長芋の千切り 関手圏 随伴関手 障害年金 障害者手帳 障害者手帳の更新 集団恐怖 雨の中の散歩 電話恐怖 音楽 頓服 頓服を飲んでの買い物 頭の中の灰色の靄 食 食べて寝るだけの生活 食パン 食事 食事会 飲み会 骨折 鬱 鬱からの回復 鬱からの解放 鬱が苦しい中での買い物 鬱が辛い中での散歩 鬱が辛い中での買い物 鬱と不安感 鬱と倦怠感 鬱と無気力 鬱と疲労感 鬱の中での買い物 鬱の中の買い物 鬱の波 鬱病 魚のつけ焼きとご飯 魚の照り焼きとご飯 魚の香味焼きとご飯 鮪の山かけとご飯 鮭のムニエル 鮭の南蛮焼きとご飯 鯖の塩焼き 鯖の塩焼きと大根おろしとご飯 鯖塩焼き 鯖生姜ご飯 鰆の山椒焼きとご飯 鰈の唐揚げとご飯 鰤の塩焼き 鰹のたたき 鰹のたたきとご飯 鰹のたたきと大根おろしとご飯 鰹の刺身 鰹節ご飯 鶏の幽庵焼きとご飯 鶏の照り焼きとご飯 鶏もも肉ともやし炒め 鶏もも肉と白菜の味噌鍋 鶏もも肉と白菜の鍋 鶏もも肉焼き 鶏肉と白菜の鍋 鶏胸肉のスパイス焼き 麻婆豆腐 麻婆豆腐とご飯
