6 時半起床.
今日は内科の定期検査があるので朝食をとらずに家を出る.
検査の結果は特に問題無し.
買い物をして帰宅する.
疲れたので少し眠る.
午後に起きて食事.
鶏肉と白菜の鍋.
まだ明るいが布団に入る.
2023年02月28日
2023年02月27日
生活費をおろす 〜 買い物
7 時起床.
体調が今一つである.
朝食をとる.
キャベツとベーコンエッグとコーヒー.
鬱がやや辛く, 頓服を飲んで寝込んだ.
午後まで休む.
何とか起きて買い物に行く.
体が重たい. 頭の中に灰色の靄が立ち込めている感じ.
辛い.
野菜と魚などを買う.
帰宅して再び寝込む.
夜に起きて食事.
鰹のたたきと大根おろしとご飯.
食べて片付けをして休む.
体調が今一つである.
朝食をとる.
キャベツとベーコンエッグとコーヒー.
鬱がやや辛く, 頓服を飲んで寝込んだ.
午後まで休む.
何とか起きて買い物に行く.
体が重たい. 頭の中に灰色の靄が立ち込めている感じ.
辛い.
野菜と魚などを買う.
帰宅して再び寝込む.
夜に起きて食事.
鰹のたたきと大根おろしとご飯.
食べて片付けをして休む.
2023年02月26日
2023年02月25日
平和な一日
1 時起床.
本を読む.
カント『人倫の形而上学の基礎づけ』.
理性が道徳法則に関心を抱くことの可能性について. 難しい.
それから数学をやる.
教科書の練習問題を考える.
朝までやって区切りを付ける.
朝食をとる.
納豆と卵かけご飯と味噌汁.
午前中は買い物に行く.
いつものスーパーに行って野菜や魚を買う.
それから先日行ったパン屋に行ってパンを何種類か買う.
昼から少し休む.
眠った.
夕方に起きて食事.
牡蠣と小松菜のパスタ.
今日はいろいろできた.
早めに布団に入る.
本を読む.
カント『人倫の形而上学の基礎づけ』.
理性が道徳法則に関心を抱くことの可能性について. 難しい.
それから数学をやる.
教科書の練習問題を考える.
朝までやって区切りを付ける.
朝食をとる.
納豆と卵かけご飯と味噌汁.
午前中は買い物に行く.
いつものスーパーに行って野菜や魚を買う.
それから先日行ったパン屋に行ってパンを何種類か買う.
昼から少し休む.
眠った.
夕方に起きて食事.
牡蠣と小松菜のパスタ.
今日はいろいろできた.
早めに布団に入る.
2023年02月24日
2023年02月23日
鬱が苦しい中の買い物
8 時半起床.
鬱が辛い.
何もする気にならない.
苦しい.
けれども天気がいいので, 陽の光を浴びようと無理をして散歩を兼ねた買い物に出た.
いつものスーパーまでの遊歩道をゆっくり歩く.
陽射しが気持ちいい.
少し気分が上向いた.
野菜や肉を買う.
帰宅して本を読む.
西郷甲矢人・能美十三『圏論の道案内』.
米田の補題の説明がわかりやすい.
夕方前に食事.
小松菜とコンビーフ炒めとご飯.
今日は鬱が辛いわりにはいろいろできた方だろう.
まだ明るいが布団に入る.
鬱が辛い.
何もする気にならない.
苦しい.
けれども天気がいいので, 陽の光を浴びようと無理をして散歩を兼ねた買い物に出た.
いつものスーパーまでの遊歩道をゆっくり歩く.
陽射しが気持ちいい.
少し気分が上向いた.
野菜や肉を買う.
帰宅して本を読む.
西郷甲矢人・能美十三『圏論の道案内』.
米田の補題の説明がわかりやすい.
夕方前に食事.
小松菜とコンビーフ炒めとご飯.
今日は鬱が辛いわりにはいろいろできた方だろう.
まだ明るいが布団に入る.
2023年02月22日
朝の鬱が辛い
7 時に目が覚める.
鬱が辛い.
なかなか体調が安定しない.
枕元の頓服を飲んで気持ちが落ち着くのを待つ.
8 時過ぎに起きる.
しかし何もする気が起こらない.
午前中は何もできずに終わる.
少し無理をして, 午後からアルコール依存症の自助グループに行く.
体が重たい.
足を一歩前に出すのも辛い.
今日のテーマは「今日一日」.
自分は, 鬱が苦しいときに酒を飲みたくなるが, ミーティングと今日一日という言葉に支えられて断酒が続いているというようなことを話した.
帰宅して食事.
真鯛の刺身と大根おろしとご飯.
早めに布団に入る.
鬱が辛い.
なかなか体調が安定しない.
枕元の頓服を飲んで気持ちが落ち着くのを待つ.
8 時過ぎに起きる.
しかし何もする気が起こらない.
午前中は何もできずに終わる.
少し無理をして, 午後からアルコール依存症の自助グループに行く.
体が重たい.
足を一歩前に出すのも辛い.
今日のテーマは「今日一日」.
自分は, 鬱が苦しいときに酒を飲みたくなるが, ミーティングと今日一日という言葉に支えられて断酒が続いているというようなことを話した.
帰宅して食事.
真鯛の刺身と大根おろしとご飯.
早めに布団に入る.
2023年02月21日
読書と数学 〜 アルコール依存症の自助グループ
0 時半起床.
昨日の鬱からは回復できた.
本を読む.
カント『人倫の形而上学の基礎づけ』.
いかにして自由は可能であるかという問題が論じられる.
それから数学をやる.
教科書の練習問題を考える.
朝までやって区切りを付けた.
朝食をとる.
キャベツとベーコンエッグとコーヒー.
午前中はアルコール依存症の自助グループに行く.
参加したのは少人数だったが, リラックスして話すことができた.
買い物をして帰宅.
朝の数学の続きをやる.
少し進んだ.
夕方に食事.
豚ばら肉と白菜の鍋.
片付けをして布団に入る.
昨日の鬱からは回復できた.
本を読む.
カント『人倫の形而上学の基礎づけ』.
いかにして自由は可能であるかという問題が論じられる.
それから数学をやる.
教科書の練習問題を考える.
朝までやって区切りを付けた.
朝食をとる.
キャベツとベーコンエッグとコーヒー.
午前中はアルコール依存症の自助グループに行く.
参加したのは少人数だったが, リラックスして話すことができた.
買い物をして帰宅.
朝の数学の続きをやる.
少し進んだ.
夕方に食事.
豚ばら肉と白菜の鍋.
片付けをして布団に入る.
2023年02月20日
ほぼ終日寝込む
8 時半に目が覚める.
鬱が苦しい. 起きられない.
午前中は寝込んだ.
頓服を飲んで買い物に行く.
いつものスーパーまで行く気力が出ず, 近所のコンビニでカップ麺を買った.
帰宅して食べる.
再び寝込む.
鬱が苦しい. 起きられない.
午前中は寝込んだ.
頓服を飲んで買い物に行く.
いつものスーパーまで行く気力が出ず, 近所のコンビニでカップ麺を買った.
帰宅して食べる.
再び寝込む.
2023年02月19日
Haskell: 簡単なプログラムを実行してみる
昨日実行環境を整えた Haskell を使ってみる.
教科書は Graham Hutton 著/山本和彦訳『Programming in Haskell 2nd edition』を使う.
本に載っているリストの和を求めるプログラムを sum.hs の名前で保存する.
これを Haskell インタープリターからロードする.
ところが以下のようなエラーが出た.
少し調べたら, sum という関数は Haskell 自身ですでに定義されているので, 同じ名前の関数を定義しようとしたことで名前の衝突が起こったためとわかった.
これを回避するために sum.hs の冒頭に次の一行を追加する.
これでロードができるようになる.
いくつかの計算をしてみる.
この調子で勉強を続けていくつもりである.
教科書は 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
ところが以下のようなエラーが出た.
ghci> :load
sum [1 of 1] Compiling Main ( sum.hs, interpreted )
sum.hs:3:18: error: Ambiguous occurrence ‘sum’ It could refer to
either ‘Prelude.sum’, imported from ‘Prelude’ at sum.hs:1:1
(and originally defined in ‘Data.Foldable’) or ‘Main.sum’,
defined at sum.hs:2:1
||
3 | sum (n:ns) = n + sum ns
| ^^^ |
Failed, no modules loaded.
少し調べたら, sum という関数は Haskell 自身ですでに定義されているので, 同じ名前の関数を定義しようとしたことで名前の衝突が起こったためとわかった.
これを回避するために sum.hs の冒頭に次の一行を追加する.
import Prelude hiding (sum)
sum :: Num a => [a] -> a
sum [] = 0
sum (n:ns) = n + sum ns
これでロードができるようになる.
[1 of 1] Compiling Main ( sum.hs, interpreted )
Ok, one module loaded.
いくつかの計算をしてみる.
ghci> sum [1,3,5,7,9,11]
36
ghci> sum [1..10]
55
この調子で勉強を続けていくつもりである.