コンピュータッドは、言い換えれば多グラフだが、「形容詞「複」「多」と箙〈えびら〉 - 檜山正幸のキマイラ飼育記」に従えば、高次多箙（higher polyquiver）のことだ。1-quiver＝普通の有向グラフのときと同じに、生成形から自由生成できる。高次多箙の生…

セレプセスを持つ圏や双圏がセレプティック（sylleptic）と形容される。セレプセス an invertible modification called the syllepsis を持つモノイド双圏については、https://arxiv.org/pdf/1301.1053v7.pdf のp.19を見よ。syllepsis（salmonsyllepsis）と…

sinkが吸い込みなのはいいとして、sourceは多義的過ぎるから湧き出しに別な言葉を使いたい。bubbleは湧き出しの意味もあったのか。使えるのは、bubble, bubblingとか。名詞のsplingを形容詞に使ってspling nodeでもいいかも。ネイティブの語感はサッパリわか…

使い分けがわからん。semantics（セマンティクス）は意味論という名詞。「構文論 vs. 意味論」のときは、セマンティクスだと思うが、意味写像のこともセマンティクスと言ったりする。semanticは形容詞で、「意味の、語義の、意味論の、意味論的な」。semanti…

（ネットワーク）デバイス ←→ タイル、多角形、三角形 ネットワーク、ワイヤリング ←→ タイル張り、多角形分割、三角形分割 湧き出し、吸い込みなし ←→ （局所）循環なし サイクルなし ←→ ？

n-gon ブーケ カローラ マーク付きカローラ 二部カローラ（スパイダー） トライデント円、バイデント円 ベンツマーク オペトープ ツリー タリー パラシュート 構成法 併置 直積 シリンダー構成 錐体構成 懸垂構成 約懸垂構成 貼り合わせ、同一視、商空間 ラ…

associa-tor 結合律 unit-or 単位律 zigzag-i-rator zigzag-e-rator ニョロニョロ snake-rator ニョロニョロ pentagon-ator マックレーンの五角形 triangul-ator マックレーンの三角形 tensor-ator 交替律、単純版 interchang-or 交替律 Yang-Baxter-ator ヤ…

http://kousyou.cc/archives/6830 http://www.infonet.co.jp/apt/march/syllabus/bookshelf/G/gon.html バラゴン（地底怪獣、vsフランケンシュタイン）、カネゴンは知っていた。ナメゴン、ラゴンは「？」。バラゴンじゃなくてバルゴン（「ル」、vsガメラ）も…

ヨアヒム・コックがpictionaryという言葉を使っていた。絵とテキストの翻訳を示す表。

ストリング図（ストリンググラフ）で、ノードがただ1つのものをカローラ（corolla）と呼ぶ。辺の数をnとしてn-カローラとも言う。0-カローラは孤立した単一ノードだけの図。1-カローラは辺の向きにより二種類ある。辺が2部に分けられているカローラを二部カ…

円筒形の三角形分割を考えると、辺の貼り合わせにより一角形（一辺形）が出来る。一角形（一辺形）、ニ角形（ニ辺形）も必要だ。http://xxx.lanl.gov/pdf/hep-th/9305080v2の12pにone-gonが出てくる。one-gon, two-gon あるいは unigon, bigon かな。

planeは平面、飛行機もある。カタカナ書きなら、プレインかプレーン planarは形容詞。平面的、カタカナ書きならプレイナーかな。平面多面体ならプレイナーポリゴン。

bentもbendも名詞があるが、bend（ベンド）のほうがいいようだ。crossとcrossing、どっちでみいが、クロスにしよう。 ストレートジャンクション 形状は一種類 クロスジャンクション 形状は一種類 ベンドジャンクション 形状はニ種類、方向を入れると四種類 …

トレース公理のなかのスライディング＝ループに沿ったスライディング ベントに沿ったスライディング＝180度回転＝双対 クロスに沿ったスライディング＝擦り抜け公式 ストレートワイヤーに沿ったスライディング＝垂直スライディング＝エレベーター移動 ジャン…

スライディング ストレッチング ストレートン シフト ヤンキング フリッピング

空間に順方向があって、ワイヤーの進行方向が決まっているとする。 ワイヤーに戻り点（折り返し特異点）がなくて曲がっているときはグニグニ。 ワイヤーに戻り点がある曲がりはニョロニョロ。 戻り点は、微分ベクトル（速度ベクトル）の進行方向に対する成分…

動詞的（名詞もかねる） flip toggle swap change interchange exchange switch permutate （permutation） commute transpose （そのままでも名詞、他にtransposition） twist 名詞 symmetry parity polarity sign charge flag （up, down） cross crossing…

公理をひとつも持たないセオリーをダムセオリーと呼ぼう。日本語ではアホ理論。

英辞郎から：consolidation 【名】 〔会社などの〕統合、合同 〔複数のものの〕統合［合同］体 強化、安定化、強固になること 《地学》石化（作用）◆【同】lithification 《地学》〔粘土地盤の〕圧密 《心理学》〔記憶の〕固定（化） 《金融》保ち合い 適当…

カタカナ書きが難しい。コアージョンかコエージョンあたりかな。あるいは、強制、型強制で通すか。

混じっている！メモ編 豊穣 http://d.hatena.ne.jp/m-hiyama-memo/searchdiary?word=%CB%AD%BE%F7 豊饒 http://d.hatena.ne.jp/m-hiyama-memo/searchdiary?word=%CB%AD%F1%C1 本編 豊穣 http://d.hatena.ne.jp/m-hiyama/searchdiary?word=%CB%AD%BE%F7 豊饒 …

「しゅじゅ」と読むのが“正しい”という話もあるが、、、

Knowing is not enough,we must apply.Willing is not enough,we must do. だそうで。

isar-refとかimplementtion文書で： stateが状態（名詞）と述べる（提示する、主張する）のときがある。Isar/VMでは、述べるの意味のstateが状態の名前として使われている。"state"という名前で「述べる」の意味のstateがある。 argumentが引数のときと、議…

フラン人の名前、「ウエ」に聞こえる。ウエはポールソンの先輩らしく、イザベルはウエの娘さんだとか。

axiomatization axiomはアを強くア!キシオム、axiomatizationは割と平板で、アキシオマタゼーションと聞こえる。アキシオマチゼーションじゃないな。ラテン語のaxiomataは、アキシオーマタ（秋し大ウ股）っぽい。

「確信犯」とか「性悪説」とかの言葉には一般的な誤解があるようだが、むしろ誤解・誤用で使っている人が多だろう。 すっとぼけているが実は分かってやっている。 人を信用する態度。 別にいいんじゃないのかな、それで→言葉は通じることが一番だいじ - 檜山…

花文字って曖昧だな。カリグラフィー、筆記体（スクリプト体）、ドイツ文字・フラクトゥールのどれを意味するかが人により違う。 カリグラフィー - Wikipedia フラクトゥール - Wikipedia TeXだと、mathcal, mathscr, mathfrak があるが、どれが「花文字」か…

「ねじれ」と「ひねり」は同じ意味であろう。漢字も同じ字「捻（ねん）」を使うようだし。 ネジレル → 捻れる ヒネル → 撚る／捻る あと、よじれ（捩れ）ってのがある。英語だと writhe（ライズ）らしい。からみ（絡み）もある。形容詞で tortile（【形】ね…

movieismって“宗教”があるらしい。 https://www.facebook.com/Movieism-237717159625751/ Movieism - A religion that believes that when you die you then get resurrected in a movie that you have seen while living. resurrected 復活を遂げる 現世で…