WindowsのVoltaはかなり変な作りをしているらしい。C:/Program Files/Volta/ にある実行可能ファイルを実行すると、同名のcmdスクリプト/exeファイルを順番に再帰的にプロセス起動して、無限にプロセスを生成してしまう。C:/Program Files/Volta/ 内でプログ…

Voltaをバイナリでインストールした。 which node で C:\Program Files\Volta\node.exe それなら、C:\Program Files\nodejs\node.exe はいらないだろうとアンイストール。 node.exe を起動できなくなった。 どうやら、もともとあった node.js v16.14.0 をVol…

曲線は入れてない。 M, m ：moveTo x,y 注意： M, mコマンドの後ろに座標を連ねた場合はLコマンドとして扱われる． L, l ：lineTo x,y V, v ：vertical x H, h ：horizontal y Z, z : endPath pathの属性は： stroke="noneか色" ： 描画線の色。noneだと何も…

SVGの点線・破線は： 破線と点線の区別はない。幾つかの属性を使用する。 stroke-dasharray stroke-linecap storoke-dashoffset stroke-dasharray="間隔" 間隔は none 、または数値のカンマ区切りリスト、「描く／描かなない」の交代的並びで、繰り返し適用…

定義側： <defs> <symbol id="dogstamp" viewBox="0 0 395 372"> <path d="..."/> </symbol> </defs> 呼び出し側： <svg x="0" y="0" width="192px" height="166px" viewBox="0 0 192 166" > </svg>

SVGの寸法単位（ピクセルやインチ）は意味がない、だってスケーラブルだから。SVG図形が描画される空間は仮想的・理想的な $`{\bf R}^2`$ だと思っていいので、寸法はすべて無次元数で書く。仮想キャンバスから表示に切り出す部分を viewBox で指定。ビュー…

[f6] を押してタブフラップにフォーカスを移動する。 [tab] と [shift+tab] でタブを移動できる。 [enter] でタブを表示できる。 グループタブフラップにフォーカスがある状態で、[space] OR [enter] でグループを開閉できる。 [ctrl+arrow] でタブ位置を移…

shift+? ヘルプ表示 f 全画面トグル t シアターモード・トグル i ミニプレイヤー・トグル space 再生・一時停止 j 10秒巻き戻し k 停止／再生トグル l(small L) 10秒早送り vi風 H←, J↓, K↑, L→ Youtube H J← K■ L→ shift+ shift+> 再生速度早く 数字キー 全…

B -A が before, after のオプション。-B 3 -A 3 は単に -3 でも同じ。-C は -2 つまり -B 2 -A 2 と同じ。 mathlib > git branch * master mathlib > git rev-parse master 8618f40d51539454fe06511d5c8504a77f30c598 mathlib > grep -A 3 -B 3 8618 ..\..\…

久しぶりで色々忘れている。 MSYS2のルート / は C:\msys64\ MSYS2の /c/ は C:\ したがって、/c/msys64/ は / /ucrt64/, /mingw64/, /clang64/ と、それらの32ビット版があるが、当初はダミーで空っぽ clang32.exe, clangarm64.exe, mingw64.exe, ucrt64.ex…

書き方がいくつかあるときはTypeScript寄りの記法を選ぶ。 仮引数記述 @param {型} 名前 - 説明 戻り値記述 @returns {型} asyncな関数の戻り値 @returns {Promise<型>} 配列型 Array<型> 連想配列型 { [key: キーの型]: バリューの型 } TypeScriptと同じに…

図のタイトルをYAMLフロントマターにするのは使えねー。 統一性がない。 構文： flowchart sequence diag. ID[ラベル] タイプ ID as ラベル ソース アロー ラベル ターゲット ソース アロー ターゲット: ラベル 次のようにすれば、統一的だった。 ノードは …

flowchart と subgraph の構文が一致しない。flowchart id[title] direction TB なら良かった。 辺へのスタイリングが番号指定でカス

---, , o--o, x--x はマニュアルにあった。 ==o, -.-o, -.-x とかも使える。 =.=> はダメ。 o-->, x--> はエラーにならないが効かない。 style nodeId styling が使える。 linkStyle linkNo styling が使えるが不便。 class id1, id2 className が使える。 c…

context と template のペアで、ドル始まり文字列を変数としてのテンプレート展開。 .context as $context | .template | walk( if (type == "string" and test("^\\$")) then $context[.[1:]] else . end ) 関数を使うとわかりやすいかも。 .context as $co…

グラフ、サブグラフ、ノードの属性に URL と toolip が使える。ただし、出力がSVGのとき。

「デダップ」か「デデュープ」かな。de-dupulication の省略。「同じものを重複して持たない」という原則と、そのための行為がdedup。gitはファイル内容レベルで究極的なdedupをしている。最近のNPMは、パッケージのdedupをしているらしい。何をもって「同じ…

gitでは コミットグラフ ファイルツリー オブジェクトグラフ などが出てくる。ソフトウェアの依存性では： モジュール依存性グラフ パッケージ依存性グラフ もっと細かい粒度では： 関数コールグラフ コールグラフは静的な関係性だけだから、実行時には フロ…

npm list --depth=10 好きなレベルを指定できる。--all ですべてのレベル。 npm list に深い階層にあるパッケージも指定できる。依存性を上にたどるような表示 npm view パッケージ （npm show パッケージ でも同じ） npm view パッケージ dependencies npm …

ビューイングにはいいが、CRUD操作は満足にできないので、生のgitコマンドを叩くことになる。tigキーバインドと生コマンドラインが混じるので、中途半端で良いソフトウェアとは言い難い。ビューイング〈閲覧 | インスペクト〉専用と考えたほうがストレスがな…

動機： tigを使おうとした。 tigでは、^nキー と DownArrowキー は別なバインドを持つ。 AutoHotKyeのキーマップで、^n → DownArrow とマップしている。ダメだ。 対処： tig を cmd.exe でのみ使う。 cmd.exe に対しては、キーマップをしない。 手順： 常駐…

過去記事： SSHの事情と理屈と設定 - (新) 檜山正幸のキマイラ飼育記 メモ編 SSHコマンドとconfig - (新) 檜山正幸のキマイラ飼育記 メモ編 wt(Windows Terminal) + SSH - (新) 檜山正幸のキマイラ飼育記 メモ編 これらの内容を概念的にまとめる。内容： 情…

SSHの事情と理屈と設定 - (新) 檜山正幸のキマイラ飼育記 メモ編 にて： ssh, sshdコマンドの設定と使い方は触れない。 クライアント側で使う ssh コマンドに関して補足する。sshコマンドでリモートホストに接続するときのコマンドライン構文は： ssh 〈ホス…

SSH関係の過去記事： SSH関連 - (新) 檜山正幸のキマイラ飼育記 メモ編 2022-08-22 SSH関連 (2) - (新) 檜山正幸のキマイラ飼育記 メモ編 2022-08-24 SSH関連 (3) known_hosts - (新) 檜山正幸のキマイラ飼育記 メモ編 2022-08-24 前後の事情、具体的な設定…

出現するたびに悪口を言っている。https://m-hiyama.hatenablog.com/entry/2020/09/07/165418 蒸し返し： アドホック多相 vs パラメトリック多相 '∀'は、もともとは記号論理の全称限量子〈universal quantifier〉の記号です。僕は、ここに'∀'を使うのは好き…

ペンの太さを記録してくれない。 普通は：2.5px, 7px 太めは： 5px, 8px かな。

そうそう、セルに型が付くのだった。セルに型フィールドと値フィールドがある。特定番地のセルのフィールドに値が入っていることを$`\quad \text{A2.Val} = 7\\ \quad \text{A2.Typ} = {\bf N} %`$まとめて$`\quad \text{A2} = (7 : {\bf Nat})`$次の機能が…

ヒエー、僕は使ったことない。 表計算ソフト〈スプレッドシート〉が便利なのは、入力に対する自動計算／自動再計算をやってくれるから。 高機能かつDomainSpecificな電卓〈カリキュレーター〉として使える。 セル番地は A1, C30 のように英字と数字の並び、…

関連記事： SSH関連 - (新) 檜山正幸のキマイラ飼育記 メモ編 SSH関連 (2) - (新) 檜山正幸のキマイラ飼育記 メモ編 SSH関連 (3) known_hosts - (新) 檜山正幸のキマイラ飼育記 メモ編 この記事 ~/.ssh/known_hosts は、クライアントして接続する先のサーバ…

関連記事： SSH関連 - (新) 檜山正幸のキマイラ飼育記 メモ編 SSH関連 (2) - (新) 檜山正幸のキマイラ飼育記 メモ編 この記事 SSH関連 (3) known_hosts - (新) 檜山正幸のキマイラ飼育記 メモ編 C:\WINDOWS\System32\OpenSSH\ssh.exe と C:\WINDOWS\System32…