次のタグに関する実験をする。 STEM 半形式証明スクリプト xgerby stringer 実験の情報は、muses〈ミューゼス〉というタグにまとめる。今日のメモ： node.js のアップデートは、バイナリパッケージの再インストールだった。 npm のアップデートは nmp update…

レンダリング関係： 数式が使える。 ストリング図が描ける。 ペースティング図が描ける。 graphvizグラフが描ける。 構造関係： gerbyのような参照が出来る。 命題・証明の依存関係が出力可能。 指標が書ける。バンドルではなくて散在記述〈scattered descri…