directory structure
{@bkp/}{D:\}{台録構造}(3)
B̅
{%OneDriveCommercial%\ss2\bkp\ K#D657/438D}
ss2配下への移動
主要OneDriveの容量を節約するため,および抜控というのはss2の目的にそぐうため,%OneDriveCommercial%\bkp
から%OneDriveCommercial%\ss2\bkp\
に移動することにした。
2023-11-24日,全面的な移行を完了した。
{D:\OneDrive - Osaka University\}{@muz/}{抽象台録}{D:\}{台録構造}(5)
B̅
{%OneDriveCommercial%\muz\ K#D657/A610}
{
考え過ぎ?}{台録}{剰余類}{商}{
場筋の結合に
B̅
/
は意外と合理的かもしれない}{Pythonのpathlibは斜線演算子を多重定義している}{台録構造}{数学}(8){台録構造にたいする区分の演算子としての性質 K#D657/5469}
動機
「ノードを分割する」という意味
草稿
私は,「見た目だけか」(そしてそういう意味での多重定義が許されてるのか)と思っていたが,階層構造を剰余類として考えると,たしかに「意味」も合っている?のか?→いや剰余は違うかも。
Google Bardに訊いたら,『The Art of Computer Programming』に,台録構造の数学的性質について論じている箇所があると言われた。今度調べる。
{疑問}{@doc/p9g/lualang/lpg.pdf}{@doc/p9g/lualang/}{変更履歴/20230526}{@doc/p9g/}{台録構造}{分類}(7)
B̅
{ほんとうにp9g配下にすべきか?—過剰な分類では? K#D657/08CB}
@doc/p9g/配下には「論組」としての実体をもつもののみを配置すべきではないか。
たとえばデライト──あるいはそれほど高級でなくても良いが──のような標付け機構があって,その標についての話であれば,p9g(←programming)に分類するのに吝かではないが,台録構造という完全な上位下位概念の話なら,.../p9g/lualang/...
というのはいささか限定しすぎではないか。
{〈Microsoft Windows〉}{〈Ventoy〉}{〈Linux〉}{台録構造}{区画}{USB閃光記憶装置}(6)
B̅
{Ventoy入り機器の区画・台録構造 K#D657/0BFE}
方針
- 区画に対人用の名前を付けたい
- 区画の構成は: EFI機構区画 / Ventoy区画 / 一般区画
- Vと一般は機器の記憶容量を半分づつ支配? 今使ってるやつ(KXA-128G-01)だと64GBづつ? 足りるのか?
EFI機構区画
ここはVentoy導入系が自動で生成する(はず)なので,
とくに気にする必要はない。
Ventoy区画
/ventoy
固定。
読み込み中...
{譜類機構階層標準}{〈GNU Guix〉}{台録構造}(3)
B̅
{John Kehayias「The Filesystem Hierarchy Standard Comes to Guix Containers」。2023-01-06 K#D657/1014}
{〈Microsoft Windows〉}{%UCRTVersion%}{%UniversalCRTSdkDir%}{〈Microsoft Visual C++〉}{台録構造}(5)
B̅
{%UniversalCRTSdkDir%\Include\%UCRTVersion%\ucrt\ K#D657/8B4D}
{〈Microsoft Windows〉}{%VCToolsInstallDir%}{〈Microsoft Visual C++〉}{台録構造}(4)
B̅