Catyの変更や拡張

Caty メモ Caty更新

http://d.hatena.ne.jp/m-hiyama-memo/20121231/1356927784 から後の2012年後半の変更拡張： file:writeに--mkdirオプションを追加 pv, item, nth, xjson:get に --safe, --default オプション特殊コマンドもオプションの構文チェックアプリケーション修飾…

2012-12-31

Catyの変更や拡張

Caty メモ Caty更新

http://d.hatena.ne.jp/m-hiyama-memo/20120229/1330491076 から後の2012年前半の変更拡張： debug:fuserコマンドを追加(Linux用) cpl (Classical Propositional Logic) モジュールを追加、暫定的 gv:draw に --format=plaindot を追加 Caty起動時オプション…

2012-12-25

新名称

メモ

Chimaira.org UgB (Underground Base)

2012-12-25

フロイド／ウォーシャル法と豊穣圏論

リンク DFD セミナー

スタンフォードのヴァーン・プラット（Vaughan Pratt）が1989年に書いた論文に ENRICHED CATEGORIES AND THE FLOYD-WARSHALL CONNECTION というのがある。実質4ページ（1行はみ出して5ページ）だが、含蓄に富み面白い。「離散物理としてのグラフ理論 - 檜山…

2012-12-18

jQuery のバージョン確認

メモ

http://d.hatena.ne.jp/m-hiyama-memo/20121020/1350714050 で： <script type="text/javascript" src="http://www.google.com/jsapi"></script> <script type="text/javascript">google.load("jquery", "1.7");</script> これでロードはされるが、詳細なバージョンはわからない。$().jquery で分かる。

2012-12-18

RequireJSのダミー

メモ

まだ不十分、つうか間違っているところもあるけど、とりあえずメモしておく。http://d.hatena.ne.jp/m-hiyama/20120815/1344988132 で試しに使っている。 /* dummy-define.js -*- coding: utf-8 */ if (this && !this.define) { define = function (name, de…