環境変数は展開し、start を前置補完してくれる。 %appdata% %homepath% 次が動く、メカニズムと理由は謎。 shell:downloads shell:camera roll

移行には通常のバックアップ＆リストアを使う。特別なツールは使わない。 旧PCから外部ディスクにパックアップ。 新PCにリストア。 実は、旧PCのユーザー名と新PCのユーザー名が変わっていた（hiyamaとm-hiyama）、無意識だった。で、リストアが新PCのホーム…

デスクトップ構造 - (新) 檜山正幸のキマイラ飼育記 メモ編 の続き。ファイルシステムの基本はツリー構造だが、次のリンクがある。 ハードリンク シンボリックリンク ジャンクション 次の記事を見よ。 https://www.atmarkit.co.jp/ait/articles/1306/07/news…

使うものは、スタートメニューのWの項目の Windows Powershell/ Windows 管理ツール Windows システムツール/ あたり。Powershellや Windows システムツール/コマンドプロンプト〈cmd.exe〉は、右クリック→その他→管理者として実行 する必要がある。Powershe…

この機会に、改めてWindowsファイルシステムの構造を再確認しておこう。「デスクトップ」と呼ばれるフォルダは"仮想合成フォルダ”で、次のモノがマージされる。C:/Users/ユーザー/ を ~ と書く。 ~/Desktop/ 内の項目 C:/Users/Public/Desktop/ 内の項目 OS…

以下を見よ。なんかめんどくさいなー。 https://faq.nec-lavie.jp/qasearch/1007/app/servlet/relatedqa?QID=017810 Powershellに Alt+Ctrl+P を設定した。

Escが小さくなった。 ファンクションキーが小さくなった。 マイク・スピーカー専用キーはなくなった。 Home, End, Deleteの位置が変わっている。（Insertはどうでもいい。） しかも、Deleteが小さくなった。 PgUp, PgDn の位置が変わった。 Back, Forwardキ…

生のファイルシステムとUI上の表示が違う。内部にマップを持っていて、名前と物理ディレクトリとの対応をとっている。マップは一種のシンボリックリンクで変更可能だと思う。 ~/AppData/ AppData ~/Documents/ ドキュメント ~/Links/ リンク ~/Saved Games/ …

https://answers.microsoft.com/en-us/windows/forum/all/what-is-the-purpose-of-the-searches-folder/7f78de97-c894-4700-9a2d-1d67564c7145 The folder contains shortcuts to search results. You can revisit the file by clicking on the shortcut. Th…

ブラウザの設定などは今は複数デバイスで同期される（便利になった！）。が、今開いているタブの同期機能はない。Firefoxでもchromeでも、OneTab という拡張があり、これで解決。 OneTabをインストールする。 すべてのタブをリストにする。タブは閉じられる…

やはり、プレテーブルとテーブルを区別しないのはダメだ。プレテーブルでは実体集合の概念が入っており、プレテーブルの域は実体集合であり、カラムが候補キーであるか判断できる。 テーブルは、実体集合はなくなり、タプル集合となる。タプル集合（これが《…

古めのコピー・ユーティリティで扱えなかったファイル。 長すぎるファイル名（npmの再帰的なライブラリディレクトリ）。 変な文字を含むファイル名：ドイツ語のβみたいな文字（ss）、ダイアクリティカルマークの二個点（ウムラウトか）がついた文字（これも…

排他的否定、拡張的否定、制限的否定 - (新) 檜山正幸のキマイラ飼育記 メモ編 否定の接頭辞 un -- undecidable, uncurry 決定不能、反カリー in -- incomplete 不完全 non -- non-commutative 非可換 i -- irrational, irrelevant 無理数、無関連 de -- dec…

区別しにくい概念 現テーブル〈現状テーブル | テーブル状態〉と概念テーブル テーブルスキーマ〈テーブルプロファイル〉と概念テーブル 射〈多値関数〉と射のグラフ集合 グラフ集合とグラフ射 ポインティング射と部分集合 認識しにくい概念 単元集合＝単位…

左側奥から USB3.1 Type-C(Thunderbolt3、Video-out 機能付き) USB3.1 Type-C(Thunderbolt3、Video-out 機能付き) USB 3.0（Powered USB） 右側奥から セキュリティー・キーホール HDMI USB3.0 イーサネット拡張コネクター マイクロフォン/ヘッドフォン・コ…

新しく覚える言葉： 射＝多値写像＝多値関数 構成素：射の域、余域、定義域、像 ポインティング射（特殊な射）とコポインティング射 性質：一意〈単葉 | 決定性〉、全域、単射、全射 操作：射の反転 操作：射のテンソル積 操作：射のアングル積〈タプル〉 操…

集合と射＝多値関数（関連）しか扱わない、その他のごちゃごちゃした概念を入れない！ ただし、《ドメイン》〈値集合〉と実体集合〈個体集合〉の区別はする。 組み込みデータ型は《ドメイン》の仲間とする。 実体集合から《ドメイン》への一意全域射を属性と…

教科書:コース→書籍 の図 digraph { /* 実体集合 */ コース 書籍 /* 関連 */ コース -> 書籍 [label="教科書"] } 多値写像'教科書'のグラフ集合を Graph(多値写像) として、射影写像を first, second と書くとして： digraph { /* 集合 */ G[label="Graph(教…

これはER図に限ったことではないが、A⊆X をどう図示するか？ 埋め込み写像 i:A→X 1からの多値写像（非決定性要素） A:1→X 集合としてのA digraph{ /* 集合 */ A X /* 写像 */ A -> X[label="i"] /* 埋め込み */ X1[label="X"] 1[label="{0}"] 1 -> X1[label=…

とりあえず、Graphvizソース、必要があればレンダリングして見る。ER図は視点によって変わってしまう。どれがいいかの判断ができないし、相互変換も難しい。学生中心に見ると： digraph{ /* ドメイン */ D_氏名[shape=none,fontcolor=red] D_年齢[shape=none…

今したLINE発言のコピー。[…] は修正追加文言。 ニューノーマルというのは、「もうもとの生活には戻れない」を肯定的（否定的でないように）言ったものなんでしょう。必ずしも悪いこととは思いません。オールドノーマルが良かったわけでもないので。 それに…

ブラウザのダウンロード ブラウザにログインして同期する。 Google日本語入力のダウンロード タッチパッドを無効化する コントロールキーをなんとかする KeySwapが今でも使える。 CapsLock→左Ctrl 変換→半角/全角 ダブルクリック→シングルクリックに変更（エ…

構造： 順序（あまり使わない） 二部 InOut 二部順序 InOut順序（装飾済み） 図 実線矢 ならば（構造忘却） 点線矢 細工している（埋め込み写像） 点線まる あまり使わない https://bit.ly/3e8A2oh spider-decoration.svg digraph{ 順序[style=dotted] 二部 …

マルコフ核： 確率計算のモダンな体系 - 檜山正幸のキマイラ飼育記 (はてなBlog) 測度的積分核と随伴構造 - 檜山正幸のキマイラ飼育記 (はてなBlog) 意味 新 旧 カリー化 F∧ (なし) 反カリー化 F∨ (なし) 関数の引き戻し F*(f) f.F 測度の前送り F*(L) F.L …

XXX装備圏は XXX-supplied category のこと。XXX-supplied category ＝ category with XXX-supply. 例：余可換コモノイド装備圏 ＝ 準マルコフ圏 例：可換モノイド装備圏 ＝ 準余マルコフ圏 例：フロベニウス代数装備圏 ＝ ハイパーグラフ圏 例：可換余可換…

事前にスケジューリングにより、URL決めておく。既にURL生成済み。 管理者権限はログインにより獲得する。アカウントは別途通知。 PCを2つ使う必要性はないようだが、予備にスタンバイは必要。 自分自身のモニタリングはさほど必要ではない。 誰かのクローズ…

装飾の種類 付与 忘却 leg order structure ordering unordering leg bipartite structure bi-partitioning fusioning in-out structure in-out assignment in-out forgetting 割り当てと忘却を使うと： order assignment ←→ order forgetting bi-partition …

過去： 代表値汎関数とシャープ化オペレータ - (新) 檜山正幸のキマイラ飼育記 メモ編 ジリィ型モナドのアイレンベルク／ムーア代数を{重心 | 平均{値}? | 中心 | 代表{値}}代数と呼ぶ。その代数の代数演算、または代数演算の結果を{重心 | 平均{値}? | 中心…

チャンネル理論とデータベースと符号理論 - (新) 檜山正幸のキマイラ飼育記 メモ編 論理とテンソル計算 - (新) 檜山正幸のキマイラ飼育記 メモ編 ドメイン圏とテーブル代数 - (新) 檜山正幸のキマイラ飼育記 メモ編 新ERモデル 2 - (新) 檜山正幸のキマイラ…