2025-11-30
やったこと
SVNではファイルシステムの木構造の中にブランチを管理するので、old_branches/branch3のようなnestされたブランチが簡単にできる
TikZで三角形の図を作ろうとしたけれどなかなか難しかったのでPowerPointで作成 ChatGPT、Geminiの両方で期待したものを作れなかった。TikZの周辺知識が足りないせいでどこが原因かわからない。
衛生的マクロの文の間を改善。衛生的マクロ自体の説明を少し追加。 レジスタが例えばどういうものを保存しているかを記載 ブラックフライデーで買いたいものを購入
証明の構造
数学の証明の書き方はCoq、Leanのようにローカルコンテキスト、ゴールの考え方をすれば良さそうである
雑記
今日もCosenseの中をさまよっていたら日が暮れてしまった。本当はやらなければならない家の中やその他のことがやれていない。
電子書籍系を紀伊国屋書店オンラインで買い漁り。ちゃんと読みたい。
実務で役立つ バックアップの教科書 基本の考え方からツール活用・差分管理・世代管理・データ保全・リストア・リカバリー・可用性の確保
クラウド時代のWindows開発環境-VS Code・Docker・WSL徹底攻略
「相続税、私が払うの？！」とあわてる前に子どもがやるべき相続準備の本
モノが多い 部屋が狭い 時間がない でも、捨てられない人の捨てない片づけ
最高のコーチは、教えない。 ディスカヴァー携書
陰謀論と排外主義 分断社会を読み解く７つの視点 扶桑社ＢＯＯＫＳ新書
コーヒーの力で一日動いてる