npm version 8.12.2 の挙動が変なんでダウングレードした。これは、バージョン指定してインストール。 > npm -v npm WARN logfile could not be created: TypeError: fs.withOwnerSync is not a function 8.12.2 > npm install npm@8.12.0 --global npm WARN…

ボキャブラリーをノードとして、コンテキストを辺とする有向グラフを考える。木と同様に、リーフノード〈シンクノード | sink node〉という概念を使う。 リーフノードを基礎ボキャブラリー〈ground vocabulary〉と呼ぶ。 基礎ボキャブラリーではないボキャブ…

TypeScriptのテスト の続き。次をインストールする。 グローバルに esbuild ローカルに esbuild-jest ローカルに @types/jest jestの設定をする。例えば、package.json に書く。 "jest": { "verbose": true, "transform": { "\\.ts$": "esbuild-jest" } }, …

特にグローバルインストールを調べる。 古いパッケージを調べる npm outdate {-g | --global}? 脆弱性があるパッケージを確認する npm audit 、グローバルはチェックできない。 新しいバージョンに更新する npm update XXX {-g | --global}? npm install npm…

npmをアップデートしたら動かなくなった。エラーは TypeError: cleanUrl is not a functioncleanUrlを呼ぼうとして無いというもの。fixするには、 ~\AppData\Roaming\npm\node_modules\npm\node_modules\npm-registry-fetch\lib\index.js の最後に module.ex…

TrRun4: 檜山トレラン4 X01 アットマークによる識別ヒント - HackMD 檜山トレラン4 E01 名付けのジレンマ - HackMD 檜山トレラン4 D01 混乱しがちな言葉 - HackMD 檜山トレラン4 B02 名前の使用法と導入時の半形式的記述 - HackMD 檜山トレラン4 B08 0-文法 …

terminology 構造的データ /* 参考： * セクションとタプル https://m-hiyama.hatenablog.com/entry/2022/06/14/153042 */ vocabulary 構造的データ-明確 { {インデックス付けられた}?集合族 インデックス集合 定数値の集合族 インデックス集合の要素 集合族…

terminology _ vocabulary 論理-明確な語句 { 述語記号 真偽値集合の要素 集合圏の真偽値集合のn-直積を域として真偽値集合を余域とする射 集合圏の特定対象のn-直積を域として真偽値集合を余域とする射 集合圏の真偽値集合を余域とする射 自由変数を含む古…