堀部和経 Ｗ．Ｓ． 数学 と その周辺　「自宅内」
2026年 「１月の日記」 です。
Background figure by Horibe Kazunori

---

ＨＯＭＥ ・ 「自宅」 「日記」の表紙

---

前の月へ ・ 次の月へ

---

１月１日へ




次の日へ
＠2026/1/7(水)
　朝から田口君のところへ散髪に行ってきた。
　１か月と4日しかたっていない。
　いつもより髪が伸びた気がしていたのだが・・・４日しか多くない。

　北庭の駐車場の表面塗装の修正のページへ・・・一番下に昨日の事をまとめてあります。



次の日へ
＠2026/1/6(火)
　昨日から分けありで、屋根のないところに車を止めていたら
　こんな状態ににりました。
　朝日に照らされてキラキラしていました。
　写真よりもっときれいだったのですが・・・
　スマホで写したけど・・・後は想像してね。




次の日へ
＠2026/1/5(月)
　マンジャロは、1週間に1階なので楽ですね。



次の日へ
＠2026/1/4(日)
　昨年から処方されている「マンジャロ」の先保護具。
　Coqの学習画面・・・ここまでできた深夜ですが



次の日へ
＠2026/1/3(土)
　自由な時間があるとゆう毎日を遅れ、とても幸せ
　そしてまだまだ知りたい数学関係の事を、
　毎日仕入て楽しんでます。
　今日からは「証明支援系Coq」を学ぼうと思い、
　ここに書いておきます。
　こうすると自らを「縛れます」からね。
　Coqの世界で、一応Codeを書いて（計算？かな）をする事までは確認できた。
　いや〜、今まで知らなかったなぁ！
　こういう世界がある事を、どなたか熟練されている方が、私の近くにいますか？？？？
＼(^o^)／



次の日へ
＠2026/1/2(金)
　Netfrixで、映画「リバー流れないでよ」を見た。
　京都貴船の老舗料理旅館を舞台にしたドタバタコメディー
　いい出来でした。




次の日へ
＠2026/1/1(木)
　おせち料理を、２種類発注していた。
　初めて、こんなものを買ってみた。
　味もかわいらしい、優しい味でした。

---

ＴＯＰに戻る