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

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

2016-10-26から1日間の記事一覧

sinkとsourceじゃなくて

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

semanticとsemantical

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

一様(uniform)と二様(biform)なシーケント

シーケントの両側でカンマの解釈が一致するものをコンパクトシーケントと呼んできたが、コンパクトでないシーケントの明示的な呼び方がない。そこで: 一様(uniform)シーケント -- 左右のカンマが同じ意味 二様(biform)シーケント -- 左右のカンマが違う…

比喩的表現

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

図形の名前、構成の名前

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

rator

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