\$WinREAgent\ 無害な一時ファイルらしい → https://amksystem.com/tech/win10-hidden-folder-winreagent/ \trdock_debug.log → https://forums.lenovo.com/t5/Pre-Installed-Lenovo-Software-and-Applications/C-trdock-debug-log-is-constantly-appearing-…

セクションという呼び名が適切かどうか分からない（暫定）だが、そう呼ぶとして、セクションの構成素は： 背景指標 Γ 新規導入指標 Σ 定義済み指標 Δ 構成手続き φ : Γ+Σ → Δ セクションから、次の構成手続きも出来る。 φ': Γ+Σ → Γ+Δ Σは、次の可能性がある…

Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages Sebastian Ullrich, Leonardo de Moura https://arxiv.org/abs/2001.10490 またはPDF https://lmcs.episciences.org/9362/pdf

choco upgrade chocolatey コマンでアップグレードしたが失敗。なんかグチャグチャになってしまった。OneDriveの“ドキュメント\”パスが関係しているようだが、よくワカラン。最初からインストールし直しするしかなさそうだが、choco使うのやめようかな。WinG…