2016-05-27 とりあえずの比較 その他ソフトウェア globular 名前 Globular Quantomatic FQL IDE 形態 Webアプリケーション デスクトップ デスクトップ 実装言語 JavaScript ML + Scala Java 記述言語 なし なし 4種類あり エンジン分離 不可 可能 不可 データ交換 バイナリ JSON ソースコード 背景理論 グレイ圏 対称モノイド圏 関手データモデル 描画方法 高次ストリング図 ストリング図 ペースティング図 証明 セルの定義 導出の定義 なし