2016-10-26から1日間の記事一覧
sinkが吸い込みなのはいいとして、sourceは多義的過ぎるから湧き出しに別な言葉を使いたい。bubbleは湧き出しの意味もあったのか。使えるのは、bubble, bubblingとか。名詞のsplingを形容詞に使ってspling nodeでもいいかも。ネイティブの語感はサッパリわか…
使い分けがわからん。semantics(セマンティクス)は意味論という名詞。「構文論 vs. 意味論」のときは、セマンティクスだと思うが、意味写像のこともセマンティクスと言ったりする。semanticは形容詞で、「意味の、語義の、意味論の、意味論的な」。semanti…
シーケントの両側でカンマの解釈が一致するものをコンパクトシーケントと呼んできたが、コンパクトでないシーケントの明示的な呼び方がない。そこで: 一様(uniform)シーケント -- 左右のカンマが同じ意味 二様(biform)シーケント -- 左右のカンマが違う…
(ネットワーク)デバイス ←→ タイル、多角形、三角形 ネットワーク、ワイヤリング ←→ タイル張り、多角形分割、三角形分割 湧き出し、吸い込みなし ←→ (局所)循環なし サイクルなし ←→ ?
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 ヤ…