このブログの更新は X(旧Twitter)アカウント @m_hiyama で通知されます。
Follow @m_hiyama

ご連絡は上記 X アカウントに DM にてお願いします。

参照用 記事

2013-03-06から1日間の記事一覧

スキーマとインスタンス -- 一般関手モデル

スピヴァックの関手データモデルは、実に示唆に富んでいます。スピヴァックのアイディアは、データモデルに限らず、ソフトウェアシステムのさまざまな側面のモデル化に使えそうです。関手データモデルの要点を簡略にまとめるなら: (データベース)スキーマ…