ペンの太さを記録してくれない。 普通は：2.5px, 7px 太めは： 5px, 8px かな。

アリーナ1 {旅行 → {1日目, 2日目, 3日目}} $`y^3`$ アリーナ2 {和 → {焼き魚, 煮魚, 刺し身}, 洋 → {グリルチキン}, 中華 → {エビチリ, 麻婆豆腐}} $`y^3 + y + y^2`$ アリーナ3 {和 → {羊羹, わらび餅}, 洋 → {ショートケーキ, モンブラン, ババロア}} $`y…

トレース付きモノイド圏の新しい定義 圏論的レンズ 4： テレオロジー圏 トレース付き圏の公理を次のように名付ける。 バニシング バンドリング （通常はバニシング 2） タイトニング スライディング ヤンキング スーパーポージング テレオロジー圏のトートロ…

確かムーアは論理式の集合の上の閉包作用素として演繹系を定義したと思う。アクツェルの推論系〈inference system〉の定義は以下のよう： 判断〈judgement〉の集合 U 演繹ルール〈deduction rule〉は A⊆U と c∈U の組 (A, c) 、これを A/c とも書く。 A を演…

多ソートのストリング図の定式化に極性〈in-out〉と色〈型 | ソート | 対象〉が付いた集合が必要になる。色が {a, b, c} なら (-a, -a, -b, +b, +a) とかが色付き極性付き集合の表記になる。極性は二値なら何でもいいから左右でもよい。(→a, →a, →b, ←b, ←a)…