TypeScriptプロジェクトを始めたら ： もう一度サラからやってみるか。 サラからやった記録。 TmpTsDev > which tsc C:\Users\m-hiyama\AppData\Roaming\npm\tsc.ps1 TmpTsDev > tsc --version Version 4.6.2 ディレクトリを作る。 map.ts を作る。 グローバ…

「TypeScriptプロジェクトの始め方」の続き。素のディレクトリからデフォルト設定で始めるとけっこう色々ハマる。とりあえず次がコンパイルできない。 var map:Map<number, string>; map = new Map<number, string>(); map.set(3, "hello"); console.log(map.get(3)); 次はnode.jsで直接実行</number,></number,>…

JavaScriptの module.exports と exports の挙動を説明する言葉を探していたら： https://qiita.com/raccy/items/d4c5e7995a8fc90109ee ↑概念と用語法としては正しい指摘だと思うが、「参照渡し」はすでに「アドレス渡し」の意味で通用してしまっているから…

TypeScriptで、CommonJS設定なら export = fooFun; は使える。module.exports = fooFun; にコンパイルされる。 JavaScriptの exports 変数 JavaScriptの module.exports プロパティ TypeScriptの export 変数 TypeScriptの export キーワード これはハマるだ…

https://typescriptbook.jp/reference/import-export-require ： モジュールは、importまたはexportを1つ以上含むJavaScriptファイルを言います。 TypeScriptはそうなんだろうが、分かりにくいな。スクリプト／モジュール判定法は、2つに分ける。 内的判定：…

CommonJS方式は、言語仕様ではなくて、JavaScript言語処理系実装が提供する機能に過ぎない（標準化されてるとしても）。この機能の主要な構成素は： モジュールコード実行中には require として見える NativeModule.require関数 モジュールコード実行中には …

古い記事だが、https://jovi0608.hatenablog.com/entry/20111226/1324879536 に、node.jsソースの一部が載っていた。 src/node.js(v0.6.6) 526 NativeModule.wrap = function(script) { 527 return NativeModule.wrapper[0] + script + NativeModule.wrapper…

後で資料にする。 terminology 述語と関係 vocabulary 論理の述語 { 0項述語 1項述語 2項述語 無項述語〈nulary predicate〉 単項述語〈unary predicate〉 二項述語〈binary predicate〉 n項述語 述語 /* ボキャブラリー内部の同義語指定にはイコール */ 0項…

最近のプログラミングって、ちょっとしたことやるにもプロジェクトディレクトリが必要でめんどいわー。ほんとにちょっとしたことならオンライン・プレイグラウンドで済ませる。んで、ちょっとしたこと用プロジェクトの作り方 node, npm, tsc はグローバルイ…

多様体の定義を見ていて思ったこと。 多様体やその点が実体としてまずある、から出発する流儀 測定器と測定値がまずある、から出発する流儀 それぞれ、実体主義、測定主義と呼ぶことにする。現代のメジャーな多様体の定義は、実体主義的だが、昔は測定主義的…

随時追加変更 Submitted: 1 May 2013 Title: The operad of wiring diagrams: formalizing a graphical language for databases, recursion, and plug-and-play circuits Author: David I. Spivak URL: https://arxiv.org/abs/1305.0297 PDF: https://arxiv.…

SSL証明書失効 と同じことをやらかして同じ手順で再取得した。だが、今回は通知のメールが来なかった。前回メールを見逃したのでそこは対策してたのだが、そもそもメールが来ない。メールを当てにしないで、定期実行ジョブ仕掛けるわ。

2022-06-06 たぶん15時くらいに気づく。漏水はそれ以前からだろうが、開始時刻は不明。 今は16時くらい。 雨は前日 2022-06-05 の夜からだろうから、丸一日は降ってない。雨量は 1～3mm/時 くらいで特に多くはない。 雨量がたいしたことないのは、川の水位が…

vocabulary of (predicate)s 多様体 { 境界を許す広義多様体 境界を許さない狭義多様体 } context Extended for 多様体 { 多様体 := 境界を許す広義多様体 境界無し多様体 := 境界を許さない狭義多様体 境界有り多様体 := 境界を許す広義多様体 ∧ ￢境界を許…

descriptionモジュールとterminologyモジュールにするか。モジュール名・名前空間があるが、description〈desc〉とterminology〈term〉は異なる名前空間〈名前コンテンナ〉。 description TransitionSystem signture RightTransitionSystem within (C in Mon…

module TransitionSystem signture RightTransitionSystem within (C in MonCAT) { sort A sort S operation t: S×A → S } signature DetTransitionSystem := TransitionSystem within Set signature ParTransitionSystem := TransitionSystem within Partia…

指標による定義： module TransitionSystem signture RightTransitionSystem within (C in MonCAT} { sort A sort S operation t: S×A → S alias alphabet := A alias state-space := S alias right-transition := t alias transition := right-transition }…

vocabulary Panda { パンダ レッサーパンダ ジャイアントパンダ } context Now for Panda { パンダ := ジャイアントパンダ レッサーパンダ := レッサーパンダ _ := パンダ } context Old for Panda { パンダ := レッサーパンダ _ := ジャイアントパンダ _ :=…

アルファベット アルファベットの要素： {アクション | 入力 | 刺激}?{ラベル | レター | 記号 | シンボル | 信号}、インストラクション{記号 | ラベル | ニモニック}? 遷移、作用、実行 遷移系、マシン、エンジン 状態{空間 | 集合} ムーブ、ムーブペア、ム…

穴あきストリング図 ケリー／マックレーン・グラフ 多様体 ボックス＝サークル バー＝ストリング 境界 ポート＝ピン 符号、符号付き色 境界条件 ワイヤー リンク 複体構造のセル ワイヤリング リンキング 球体と同相の多様体（ボール、ブロブ）の境界（球、…

Title: Shapely monads and analytic functors Authors: Richard Garner, Tom Hirschowitz Submitted: 18 Dec 2015 (v1), 10 Oct 2017 (v3) Pages: 52p URL : https://arxiv.org/abs/1512.05980 多項式の一般化。多圏と類似物がまとめてあるのがいい。多射に…

img/pict/ ローカルパス C:\Users\m-hiyama\Work\Chimaira.org\root/img3/pict/component-block.gif ◯ Beanome Language C:\Users\m-hiyama\Work\Chimaira.org\root/img3/pict/CORBA_Component.gif ◯ C:\Users\m-hiyama\Work\Chimaira.org\root/img3/pict/So…

ドット＝ポート＝ピン＝ソケット＝スロット エッジ＝アーク≒ワイヤー≒ケーブル＝バス ボックス＝サークル＝スフィア≒カローラ＝ブーケ≒インターフェース 入れ子ダイアグラム＝星座＝メタツリー オープンエッジ≒ハーフエッジ＝ダート＝フラグ

僕はA案だが。 A案 B案 C案 指標 指標 セオリー セオリー セオリー 代数 モデル 代数 モデル

スロットは、位置〈ポジション | 出現〉だけを持ち、実体のないプレースホルダー 定数は、スロットを記号で埋めた〈置換した〉セル。内側の束縛。 変数は、スロットを記号で埋めた〈置換した〉セル。外側の束縛。 リテラルは、スロットをシング〈実体〉で埋…

ワイヤリング図 ケリー／マックレーン・グラフ ボックス ライン〈棒〉 入力ピン マイナス頂点 出力ピン プラス頂点 ワイヤー 有向辺 内部ワイヤー 横方向辺 公開ワイヤー 縦方向辺 ボックスの自己ループは、同一線〈棒〉内リンク（辺）となる。分岐するリン…