このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」(http://d.hatena.ne.jp/m-hiyama-memo/)のデータを移行・保存したものであり、今後(2019年1月以降)更新の予定はありません。

今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。

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

型定義も制約述語もインスタンスも問い合わせも区別する必然性はない

ということを、またしてもスピヴァックから教わった。最近、gv:draw-data というコマンドを作ったのだが、データ(XJSONインスタンス)をグラフに描く。例えば、[@userNum 123, , "hello"] だと、次のようになる。もっと簡単な {"x":2, "y":2} だと次。gv:dr…

色気に惑わされる

これは象徴的、あるいは比喩的な絵だ。以下の話も比喩的だ。ノードと辺(矢印)からなるグラフを色塗りしている。各ノードは別な色にして、辺も塗り分けてある。二通りのルールで、辺を彩色している。どのようなルールかは簡単に推測できるだろう。色の選び…