▽檜山正幸のｷﾏｲﾗ飼育記
●11/22 08:33
2024-11-21等式の二種類の使用法： 選別条件と同一視宣言雑記／備忘ひとつ前の記事｢圏論のｴﾝﾄﾞとｺｴﾝﾄﾞは双対なんだよ｣において､“連立方程式系の解空間”と“関係族の同値閉包による商集合”が双対的だという話をしました｡この双対性はちょっと不思議な感じがします｡最終的には､写像（集合圏の射）の並行ﾍﾟｱ（両端が…2024-11-20圏論のｴﾝﾄﾞとｺｴﾝﾄﾞは双対なんだよ雑記／備忘ｴﾝﾄﾞとｺｴﾝﾄﾞは､その名前から双対なんだろうとは誰でも思うでしょう｡しかし､定義の仕方によっては双対性が見えにくいこともあります｡この記事では､ｴﾝﾄﾞとｺｴﾝﾄﾞの双対性が出来るだけ見えやすくなるような定義と記法を提示します｡$`\newcommand…等式の二種類の使用法： 選別条件と同一視宣言圏論のｴﾝﾄﾞとｺｴﾝﾄﾞは双対なんだよ

▽floatingdays
●11/21 12:23
｢lexicon （XLLEX.DLL）が見つからないか､または壊れています｡｣の修復Windows XPでMS Office 2007のｱﾌﾟﾘを起動できなくなった問題に対して､試行錯誤した上で何とか回復できたことのﾒﾓ｡ 回り道が多くて余分なこともしてると思うが､誰か（あるいは自分）の役に立つかもしれないので記録しておく｡ いつものようにExcelを開こ...

▽Baldanders.info
●11/10 20:12
現在のｽﾃｰﾀｽ𝕏 (旧 Twitter) のｱｶｳﾝﾄは現在休眠中です（期間未定）｡ﾒｲﾝの SNS 活動場所は Mastodon と Bluesky です｡Powered by Hugo 0.138.0 and Theme of Baldanders.info.

▽発声練習
●11/03 19:14
中村哲氏の殺害事件の実行犯と中村氏没後の灌漑活動2024 / 11

▽まめめも
●10/07 15:33
TypeScriptは型安全じゃないからすばらしい2024 / 10