タグ「データベース」の記事

圏論は業務システムで何に使えるか ── Topos Instituteの公開物とCatlab.jlで試すスキーマ・データ移行・モデルの合成

2026年11月12日 01:00

圏論が業務のソフトウェアで何に使えるかを、Topos Instituteの公開物で紹介します。Catlab.jlで受注のスキーマを圏として書き、スキーマ変更時のデータ移行と、部品のモデルの合成を手元で動かしました。

業務システムのコード設計 ── 商品コード・顧客コードの決め方とチェックディジット

2026年07月18日 02:00

商品コード・顧客コードなど業務システムのコード体系を決める実践ガイド。有意コードと無意味連番の判断表、JAN・Luhn等のチェックディジット算式とC#実装、Excelの0落ち対策、桁あふれと移行まで整理します。

業務アプリのDBスキーマをバージョン管理する ── 「客先ごとにDBが違う」を防ぐマイグレーションの実践

2026年07月17日 07:20

客先ごとに分散する業務アプリのDBスキーマをバージョン管理する実践ガイド。PRAGMA user_versionと前進マイグレーションのC#実装、EF Core Migrations・DbUp・自前実装の判断表、2段階リリースまで整理します。