2022-04-19から1日間の記事一覧

オートマトンなど、雑多

無名: 集合 要素 型 インスタンス 空間 点 関係 ? 写像 ? 写像の要素相当概念は、呼び出し/発動〈call | invocation | インボケーション〉と呼ぶことにする。関係のインスタンスは、RDFでは (a, b)∈R を (a, R, b) と書いてトリプルと呼ぶ。 関数の呼び出…

多義曖昧語:シェープ

「シェープ」の意味が曖昧 直感的な意味での形状。ツリーやバンブーなどのグラフと思ってよいので、形状グラフ。 形状グラフのラベル 形状グラフのポジション集合 形状グラフとボジション集合の組(構造) ラベルとボジション集合の組(構造) 当初は形状グ…

TypeScript山形括弧型アサーション

初見、意味不明だった。 export const Type = { ConditionalsExpression: <'conditionalsExpression'>'conditionalsExpression', DisjunctionExpression: <'disjunctionExpression'>'disjunctionExpression', ConjunctionExpression: <'conjunctionExpressio…