DrFaustのアンテナ

おとなりアンテナ | おすすめページ

1. 2024/07/21 17:53:16 檜山正幸のキマイラ飼育記 [javascript]

   2024-07-20
   贅沢主義者のグロタンディーク宇宙
   雑記／備忘
   たいていの公理系はミニマリスト・アプローチで定義されていて、無駄な（他の公理達から導出可能な）公理は入れないで、必要最小限の公理達から構成されています。しかし、導出可能な命題を最初から公理系に入れておくのが絶対にダメなわけではないです。「…
   贅沢主義者のグロタンディーク宇宙
   
2. 2024/06/06 07:29:07 nazonoRubyist RubyでJavaScriptのためにC - Rubyist

   Apple ID や X (Twitter) アカウントと連携したはてなログインをより便利にしました
   2024 / 6
   

3. 2011/12/25 14:24:10 分裂勘違い君劇場

   やがてくる大増税時代に豊かに生活するために準備すべきこと