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

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

2016-01-27から1日間の記事一覧

C-M-ナントカ

これを見て[Ctrl]を押してしまうのだが、メタキーがないときは、Ctrlより先に[Esc]または[Ctrl]+[LBrace]、それから[Ctrl]+ナントカ。

-or接尾辞、Interchangor, Snakerator

[1409.2148] Quasistrict symmetric monoidal 2-categories via wire diagrams でBruce Bartlettは、Interchanger ではなくて Interchangor を使っている。 ニョロニョロ関係式を表す射を Snakerator と呼ぶ人がいる。 [追記]テンソル積(モノイド積)を与え…

あると良さそう 2

双対的に反転してコピーする機能 方向の切り替え。やっぱり、上から下がいい。 描画次元が0のセルを有限な大きさ(矩形、方体)で表示する。 交替律の適用の自動的な最適化 より一般的なペースティング可能箇所の検出 プレースホルダを含むテンプレート図形…