話し手の態度（意図の復元可能性）： 話し手基準： 自分（話し手）なら、この言い方で分かる（復元可能）。 聞き手基準： 聞き手は、この言い方で分かる（復元可能）だろう。 主要な責任： 話し手責任： コミュニケーションを成立させる責任は話し手にある。…

会社： levi strauss & co オンライン： https://www.levi.jp/ タイプ： 511 サイズ： W31 L32 または W32 L32 ジーパン

順不同に色々。パッケージ： パッケージ名は名前空間付きにできて @foo/bar のように書ける。従来のフラットな名前 foo もある。 パッケージ名は原則物理的ディレクトリ名だが、./package.json で指定した名前が正式名。 パッケージのエントリーポイントファ…

Fam: Mono(A, B) → [A1, Nat(y^A2, B)] Yon: Nat(y^A2, B) → B(A2) Fam; [A1, Yon] : Mon(A, B) → [A1, B(A2)] Split: [A1, B1×A2^B2] → [A1, B1]×[A1, A2^B2] UnCurry: [A1, A2^B2] → [A1×B2, A2] Split;([A1, B1]×UnCurry) : [A1, B1×A2^B2] → [A1, B1]×[A…

(n, k)→(m, l)-コンストラクタ F とは： C はn-圏、|C|_k は C のk-射の集合 D はm-圏、|D|_l は D のl-射の集合 F: |C|_k ⊇→ |D|_l が、CからDへの(n, k)→(m, l)-コンストラクタ 部分写像でないときはフルコンストラクタ 例： (0, 0)→(0, 0)-コンストラクタ…

コンステレーションの図示にいおて、1次元キャンバスの場合も2次元に描く習慣があるのか？ -- これは混乱のもとだな、良くない。 1次元穴あきキャンバス： 区間に穴が開いている。穴は幅0でも有限幅でもいい。穴の境界にプロファイル情報が載るが、それは A …

https://techmemo.biz/sw/vscode-workbench-colorcustomizations/ を見て、検索置換の色味を変えた。もっと早く変えれば良かった。settings.json を次のようにする。 { "workbench.colorCustomizations": { "editor.lineHighlightBackground": "#e2adad", //…

CommonJS方式 exports と module.exports - (新) 檜山正幸のキマイラ飼育記 メモ編 の話。 let mod = {}; mod.exports = {}; (function (module, exports){ exports = "hello"; // 好きなコード })(mod, mod.exports); console.dir(mod.exports); これで挙動…

名前列挙したエクスポート文は、ファイルの先頭でも最後でもいいが、ファイルの先頭を推奨。最後だと、そこにあるのを見過ごす可能性があるし、長いファイルをスクロールする手間もイヤだ。メタ的情報は先頭に書け。 import * as say from './say.js'; ↑だと…

index.js, index.ts とかでメインエントリーポイントを指定する習慣があるが、これはやめたい。 ファイル名だけでは何をするものか想像ができない。ディレクトリ名／プロジェクト名の情報が別に必要。 コピーして上書きする危険がある。 パッケージ／ディレ…

export default function foo() { console.log("hello"); } 次のようにコンパイルされる。 "use strict"; exports.__esModule = true; function foo() { console.log("hello"); } exports["default"] = foo; exports["default"] は、mudule.exports.default …

terminology _ vocabulary コンステレーション { サークル ポート マーカー 向き付きサークル〈oriented circle〉 順序付きサークル = 向き付きマーカー付きサークル 方向付きサークル〈directed circle〉 方向付き順序付きサークル〈directed ordered circl…

「‥‥とは何か？」という疑問・質問。例えば「型とは何か？」 合意目的の質問： 何かを便宜的に約束しよう、という提案 追求目的の質問： 一意的なホントの意味を探ろう、という提案 追求目的のの質問は、追求すべき実態が存在しないとナンセンスになる。しば…

用法1 用法2 用法3 シグマ型 依存ペア型 依存積型 依存和型 パイ型 依存関数型 依存指数型 依存積型 description _ procedure Sigma from a Type A and a Family (F : A → |Set|) produces a Type S { // 省略 } procedure Pi from a Type A and a Family (F…

まず、「package.json の imports / exports フィールド」については、 https://shisama.hatenablog.com/entry/2020/12/21/090000 TyepScriptの設定でもモジュール名マップ〈エイリアス〉ができるらしい。使っている例が次にあるが、オーバーキルしてるよう…

esbuild関係。https://qiita.com/rkamikawa/items/7c6210fc97aaf8878536 から： ビルドツールには、esbuild の他に、Webpack、Gulp、Parcel、Rollup、Browserify、FuseBox などがあります。 はっ？ ビルドツールって？？ JIT コンパイルを使用するため、速度…

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-直積を域として真偽値集合を余域とする射 集合圏の真偽値集合を余域とする射 自由変数を含む古…

terminology _ vocabulary 圏と射-統一的 { 0-圏 1-圏 0-圏の0-射 0-圏の1-射 1-圏の0-射 1-圏の1-射 1-圏の恒等1-射 1-圏の2-射 } context 圏と射-常識的 for 圏と射-統一的 { 集合 := 0-圏 圏 := 1-圏 集合の要素 := 0-圏の0-射 集合の要素の等値性 := 0-…

TypeScriptプロジェクトの始め方 - (新) 檜山正幸のキマイラ飼育記 メモ編 TypeScriptプロジェクトを始めたら - (新) 檜山正幸のキマイラ飼育記 メモ編 再度、素のディレクトリから始めたら - (新) 檜山正幸のキマイラ飼育記 メモ編 まだハマっている所←わか…

サラからの最低限環境構築を試していたが、最低限でもテストは必要。でjestは入れてみた。https://jestjs.io/ja/docs/cli により使う。jestのテストコードはそれ自身がDSLみたいなものだから、JavaScript構文で書いてもいいと思うが、テストコード自体をType…

実際は引数を渡せるが、引数なしと違う挙動をしてしまう。 まだハマっている所←わかった - (新) 檜山正幸のキマイラ飼育記 メモ編 tsc だけで起動するのが基本的な使い方となる。なぜ？ tsc は tsconfig.json の files を見てコンパイルすべきファイルを決め…

esbuildってやつがある。型チェックをしないが高速。esbuildの補助ツールに： esbuild-register https://github.com/egoist/esbuild-register esbuild-node-tsc https://github.com/a7ul/esbuild-node-tsc esbuild-registerがnode-tsコマンドの代替、esbuild…

素のディレクトリでまだハマっている所がある。サンプルコードは var map:Map<number, string>; map = new Map<number, string>(); map.set(3, "hello"); console.log(map.get(3)); map.set(5, "world"); console.log(map.get(5)); for (let [key, val] of map) { console.log(`${key} = ${va</number,></number,>…