m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ 関手データ Caty 気付いた プログラム意味論 圏一般論 ということを、またしてもスピヴァックから教わった。最近、gv:draw-data というコマンドを作ったのだが、データ（XJSONインスタンス）をグラフに描く。例えば、[@userNum 123, , "hello"] だと、次のようになる。もっと簡単な {"x":2, "y":2} だと次。gv:draw-dataは常にツリーを描くが、この例では値2が共有されているので、辺xと辺yを合流させてもいいい。普通はインスタンスをツリーに描くが、合流があってもいいので、一般的にはインスタンスのグラフはDAGとなる。ただし、インスタンスはサイクルは含まない（スキーマのグラフはサイクリックになる、再帰的… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20130503%2F1367562359" title="型定義も制約述語もインスタンスも問い合わせも区別する必然性はない - (保存用) 檜山正幸のキマイラ飼育記 メモ編" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> http://www.chimaira.org/img3/draw-data-1.gif Hatena Blog https://hatena.blog 2013-05-03 15:25:59 rich https://m-hiyama-memo.hatenablog.jp/entry/20130503/1367562359 1.0 100%