2022-04-19から1日間の記事一覧
無名: 集合 要素 型 インスタンス 空間 点 関係 ? 写像 ? 写像の要素相当概念は、呼び出し/発動〈call | invocation | インボケーション〉と呼ぶことにする。関係のインスタンスは、RDFでは (a, b)∈R を (a, R, b) と書いてトリプルと呼ぶ。 関数の呼び出…
「シェープ」の意味が曖昧 直感的な意味での形状。ツリーやバンブーなどのグラフと思ってよいので、形状グラフ。 形状グラフのラベル 形状グラフのポジション集合 形状グラフとボジション集合の組(構造) ラベルとボジション集合の組(構造) 当初は形状グ…
初見、意味不明だった。 export const Type = { ConditionalsExpression: <'conditionalsExpression'>'conditionalsExpression', DisjunctionExpression: <'disjunctionExpression'>'disjunctionExpression', ConjunctionExpression: <'conjunctionExpressio…