型ボキャブラリー： 型定義の集まり。 型名： 型名ボキャブラリーのなかで、型定義を識別するラベル オブジェクトのデータ型： オブジェクトとファセットの組み合わせ ファセット： ボキャブラリー名と型名の組み合わせで、オブジェクトと関係付けられる。 …

含有関係と出現関係について述べる。まず関係型の定義： reltype contains : Item +-> Item reltype containedIn := contains^t reltype occursIn : Term +-> Item reltype hasOccurrence := occursIn^tオーバーロードした定義： reltype (_1 contains _2 at…

JQPlayGround が自分用の jq を自分でインストールした。場所は： c:\Users\m-hiyama\AppData\Roaming\Code\User\globalStorage\davidnussio.vscode-jq-playground これで jq.exe の実体は2つになる。最初のインストールは C:\Users\m-hiyama\Work\bin\jq.exe…

win10 |- windows html5 |- html es6 |- js js |- proglang proglang |- software js ⇔ javascript