前例がない言葉には'?'を先頭に。 連続 組み合わせ 電気 ランク付け 点 頂点 結節点 頂点 接ベクトル 辺 電線/導線 辺 ?2-接ベクトル 2-単体 ? 三角面 関数 頂点関数/形式 ポテンシャル スコア関数 1-微分形式 辺形式 電位差, 電圧 2者比較形式 2-微分形式 …

電気 ランキング 電位（ポテンシャル） スコア 電位差 スコア差 電圧 ランク圧 電流 ランク流 電気回路 推しグラフ ランク流が勾配流である ⇔ ランク流のランク圧がスコア差になっている。 次が関係する。 有向グラフにサイクルを作らない方法 -- レベル関数…

s, tをパラメータとする2次元ベクトル空間から、3次元ベクトル空間への線形写像を g:V→W とする。g(V)⊆W は部分空間で、w∈W からg(V)への垂線の足の逆像を対応させる写像を f:W→V とする。すると、点 g(f(w))はg(V)の上にあって、wからの距離が最短の点を与…

ビックリマークはバン以外にシュリーク〈shriek〉と発音するそうだ。たまに使う、双対で上下にビックリマークを付けるヤツは、上ビックリ＝upper shriek、下ビックリ＝lower shriek。

マッツキンが近い気がするが、綴を忘れないようにすることを考慮して モツキンかな。

forvoで聞いて、なんとかカタカナ書きするなら、デッサン・ドンフォン かな。

また、やらかした！ 後悔、後悔、後悔 - 檜山正幸のキマイラ飼育記 メモ編 ヤコビ微分圏を失ったぁー - 檜山正幸のキマイラ飼育記 メモ編 当面はヤコビ微分圏の定義をなんとか再現する。 CADGタグを見直す→ [CADG] - 檜山正幸のキマイラ飼育記 メモ編 「ヤコ…

「ローヴェア」のほうが近いので、「ローヴェア」にする。 https://ja.forvo.com/word/william_lawvere/ https://ja.wikipedia.org/wiki/%E3%82%A6%E3%82%A3%E3%83%AA%E3%82%A2%E3%83%A0%E3%83%BB%E3%83%AD%E3%83%BC%E3%83%B4%E3%82%A7%E3%82%A2

サル、いやガキ（園児）でも使えるGUIとは - 檜山正幸のキマイラ飼育記

googleアカウントでログインしているなら、 https://drive.google.com/drive/my-drive というURLが自分のドライブを指す。 上部の[My Drive]のドロップダウンメニューから"New folder"でフォルダを作れる。 左ペインの[My Drive]はツリービューを提供する。 …

検索やソートに利用できる項目ソート／グルーピング ブックマークの生成時刻 タイトル文字列のソート順、あまり意味ねー URLのあるレベル（ドメイン名など）でグルーピングする。 人気順（ユーザー数が多い順） 検索／制限 タグによる検索 コメント内にある…

http://b.hatena.ne.jp/help/entry/port#export に従う。 ユーザー画面から設定画面に 「データ管理」タブに移動します エクスポートより、Atomフォーマットを選んで、右クリックでダウンロード。 何も変更しないと、ダウンロードのファイル名はdump.htmとな…

Webフロントエンドでの話 - 檜山正幸のキマイラ飼育記 メモ編 の続き。browserify, babele, webpackとか。 babelはトランスパイラである、と。で、browserifyはトランスパイラとは違うのか？ browserifyは、依存性を分析してブラウザー向けに変換するのかな…

Webフロントエンドとは縁がないのでよく知らんが、ビルドツールは 最近のビルドツールって何なの？ - 檜山正幸のキマイラ飼育記 で取り上げたことがある。2017年前半に、bowerというツールも終焉したらしい（よく知らんが、ご愁傷様）。 https://qiita.com/M…

まずやってみると： >>> lambda x, y: x + y at 0x0000000002B8ED68> >>> sumf = lambda x, y: x + y >>> sumf at 0x0000000002B8E668> >>> sumf(1, 2) 3 以下、どれも認めていいが、 λ(x, y). x + y λ(x, y).(x + y) λ x, y .(x + y) λ x, y :(x + y) lambd…

h1 クラスなし、ブログタイトル h2 クラスなし、その日の見出し h3 class=title、記事見出し 星1つ記法 h4 クラスなし、記事内の節見出し 星2つ記法 h5 記事内の項見出し 星3つ記法 h3のクラスなしをパート見出しに使えるかもしれない。

*1参考： モノイド圏の単位対象の定義について： これ難しいやん - 檜山正幸のキマイラ飼育記 http://www.sciencedirect.com/science/article/pii/S0001870883710558 標準表現は右標準表現を考える。とりあえず絵だけ並べる。これはバックワード・リーズニン…

本編 http://d.hatena.ne.jp/m-hiyama/20171010/1507600955 : と、そろそろこの記事はおしまいにします。それにしても、「（詳細は別途記述予定。）」をイッパイ入れちゃったな。いつになるか分からないし、全部書けるかも不安ですが、出来る限り宿題は果た…

実体ノードEとその属性集合Aがあり、Aを含むリレーション型Rがあるとき、AがRに置いて網羅的とは、 A:E→Tuple(A) は単射である。 Rの任意のインスタンスrにおいて、r[A] = A[E] が成立する。 さらに、r|→r[A] が常に単射（つまり、キー）なら、完全と呼ぶ。…

ERスキーマの図式的表現をER図と呼ぶことにする。ノードとアロー（有向辺）からなるグラフ（箙）。 図 説明 ドメインノード 基本的値の集合 実体ノード 個体の集合 属性アロー 実体→ドメイン 関連アロー 実体→実体 計算アロー ドメイン→ドメイン ドメイン→実…

リレーショナルと言わずに形容詞もリレーションで済ませる。で、リレーションスキーマとリレーション指標（relational signature）は同義語。Sがリレーション指標とは、Sのインデックスセット|S|があり、ドメイン割り当て δS:|S|→|Set| があること。指標射 j…

階数n n階のモノ・値 (n + 1)階のモノ・集合 0 ドメイン要素（値）、タプル 制約された値、絞り込まれたタプルの集合 1 リレーション 制約されたリレーションの集合 2 カインド (考えない) 関数・演算 値の関数・演算：引数が値 タプルの関数・演算：引数が…

通常の用語 退避先 備考 タプル 配列、ペア 長さ2の配列をペアと呼ぶ 関係（relation） 関連（relationship） 二項関連しか扱わない 直積 ペア積 n-直積はペア積の繰り返しとする 結合（composition） 合成 合成が多数派 域（domain） 始域（source） 圏論の…

参考 TeX Unicode ⊆ ⊑ ∪ ⊔ ∩ ⊓ 〜 ⌣ ⇔ ↔

ラックス・モノイド関手をラクソイド（laxoid）と呼ぶことにする。オプラックス・モノイド関手はコラクソイド。タイト・ラクソイド＝タイト・コラクソイド。厳密は考えてもしょうがない。結合律子とラクソイドの関係を長年気付かなかったのは、やはり記法の…

記法バイアスと記法独立な把握： 順序随伴を例として - 檜山正幸のキマイラ飼育記に関連するメモ。囲み記号の多様性 ( ), { }, [] 左右が同じ囲み記号 | |, " ", ' ', ` ` 囲み記号の省略 区切り記号 ',', ;, :, |, /, 空白, 改行, なし（併置） 二種の区切…

乗法もベキ等な可換ISR（(ordered) idempotent semiring）での話。 加法はベキ等 ベキ等な加法に基づく順序が入っている。 乗法は順序を保存する。 ここまではISRの定義。さらに： 乗法もベキ等 すべての元は単位元より大きくならない ∀x. x≦1 次の等式は仮…

1≦i≦n に対して ai が可換半環の要素だとして、n = 2, 3, 4, ... に関して次が成立する。数学的帰納法を使えばいい。ステップ推進には分配法則を使う。iをn-単体の頂点番号だと思うとわかりやすい。無向辺i-jに対する和の総積とk-対面に対する双積の和が等し…

Γ#30Φ の構成法： ΓをSelectする。 ビューを(Γ:3)(project=1, Slice=0)にする。ナリティ1の射影で、スライスに β:2 f->g:1 A->B が見える。この状態なら、ビュー上で次元差1となり j:1:B->C をアタッチ可能。 j:1:B->C をアタッチする。結果的に、Γ[B]j とい…

Saveはサーバー側に保存するので、アカウントが必要。 Export, Importはローカルストレージとメモリーのあいだのやり取りなのでアカウント不要。 ワークスペース名.jsonでエクスポートされる。 インポートはローカルから読む、かなり速い。 Graphicはimage.p…