satake7のアンテナid:satake7 1/4ページ ▽ 檜山正幸のキマイラ飼育記 ●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 6.次5> 0.はてなアンテナトップ 8.このページを友達に紹介 9.このページの先頭へ □ヘルプ /お知らせ □ログイン □無料ユーザー登録 □はてなトップ (c) Hatena