檜山正幸のキマイラ飼育記 (はてなBlog)2025-10-17 レノボとThinkPadにはもうガッカリだぜ（サポートのメール全文公開） 日常 僕は、ThinkPad がIBM製品だった時代から今まで、ThinkPad をずっと使い続けています。次の写真の下側のノートPCは ThinkPad X1 Carbon Gen 12 で、上に載っている汚れた箱は ThinkPad 701C （バタフライキーボード）の模型の箱です。模型は ThinkPad 10周年… 2025-10-16 ヒルベルトのイプシロン記号とボトム 雑記／備忘 「ヒルベルトのイプシロン記号のうまい使い方」において、ヒルベルトのイプシロン記号を集合ではなくて集合族に作用させると具合がいい、という話をしました。このことを別な側面から見てみます。$`A`$ が空でない集合のとき、$`\varepsilon\, A`$ は、$`A`$… 2025-10-14 また「普遍性
