2016-01-27から1日間の記事一覧
これを見て[Ctrl]を押してしまうのだが、メタキーがないときは、Ctrlより先に[Esc]または[Ctrl]+[LBrace]、それから[Ctrl]+ナントカ。
[1409.2148] Quasistrict symmetric monoidal 2-categories via wire diagrams でBruce Bartlettは、Interchanger ではなくて Interchangor を使っている。 ニョロニョロ関係式を表す射を Snakerator と呼ぶ人がいる。 [追記]テンソル積(モノイド積)を与え…
双対的に反転してコピーする機能 方向の切り替え。やっぱり、上から下がいい。 描画次元が0のセルを有限な大きさ(矩形、方体)で表示する。 交替律の適用の自動的な最適化 より一般的なペースティング可能箇所の検出 プレースホルダを含むテンプレート図形…