{デラング}{進捗記録}{数式記法}{軽量標記言語}{越化参照}{希哲16年2月4日の開発}{希哲16年2月4日21歩}{良い代替案}{深く考えず}{変更する}...=}(139)

{希哲16年2月4日17歩 K#F85E/A-E74C-503B}

進捗時限記録中略

デラング整備越化記法越化参照疑似実体参照についての検討終了

越化エスケープ基本的な仕様について記法内部実装両面から急速にまとまった

単一文字越化

まず,バックスラッシュ使った単一文字越化では,全ての文字越化することにした。ただし,この「越化」は,「通常とは異なる特殊な解釈試みること」であり,論組言語等でのそれと同様必ずしもデラング記法としての解釈避けることではない。

非特殊文字扱い

軽量標記言語単一文字越化対象非特殊文字に付けた場合の挙動としては,「不明なエスケープシーケンス」などと違了出すわけにはいかないので,以下の2つ考えられる

普段非特殊文字にあえて越化文字を付けてみることなどないので,一般的にどう実装するものなのか分からなかったが,特に定石があるわけではなさそうだ。

当初なんとなく前者想定していたが,この場合,全ての特殊(になりうる)文字予め定義しておく必要があり,挙動変則性用者混乱させる懸念もある。デラングの場合は文脈によって特殊文字になったりならなかったりすることも多いため,その対応も含めるとかなり複雑化してしまう。

後者の方が分かりやすいといえば分かりやすく,先日交度記法出来た代置子方式応用すれば実装単純化出来る。数式記法などでは越化対象文字判別する必要があるが,これは代置子への置換処理の前に制御子置換すればいい。

いずれにせよ後から変更するのが難しい仕様ではないので,まずは実装単純性を取るべきだろう。

数式記法との整合性

越化記法との整合性深く考えずLaTeX 方面の慣習従い導入した数式記法\[ ... \]\( ... \) をどうするかという問題に少し手間取った

これまで越化記法も「デラング記法としての解釈避ける」ためのものとして想定していたが,ここで本来越化という概念立ち返り,「通常とは異なる特殊な解釈試みる」ためのものとすることで整合させることにした。

越化参照

単一文字越化で「越化」という概念捉え直した結果,これまで Dex で「疑似実体参照」と呼んでいたものを「越化参照」として再定義することが出来た。

これに伴い,疑似実体参照では &_foo; としていた記法を,越化直感的に分かりやすい &^foo;統一することにした。代置子&^[連番];,「制御子(ここで命名&^[名前]; となる。

越化用の代置子に関しては &^1; などと書き分けるかと考えたのとほぼ同時に前述越化概念拡張があり,そもそもこれまで「疑似実体参照」と呼んでいたものが越化列役割同じであることに気付いた

参照先実体があるわけではないので「疑似実体参照」という名称にはずっと違和感があったものの,良い代替案見つからなかった。これで越化記法課題同時に解決してしまった。

{進捗記録}{Slackware 時代}{ネット環境整備}{希哲15年10月26日の開発}{希哲15年10月26日の整清}{内部配線}{試していない}{良い復習}{弄っていなかった}{変わらなかった}...=}(70)

{希哲15年10月26日9歩 K#F85E/A-E74C-A67B}

ネット環境整備配線整理過程SLFS における USB 3.0 ポート認識不良についての調査始めたものの,未解決保留

主力機には筐体前面背面にそれぞれ2つずつ USB 3.0 ポートがあるが,Linux では Slackware 時代からいまいち使えた試しがない。それもそのはずで,どうも USB 3.0 ホストコントローラー認識されていない最初から Windows仮想機でしか入れていないので,Linux 固有問題かもしれない。

lspci では Etron TechnologyEJ168 が見えるがドライバ表示がなく lsusb では表示されない。

怪しいのは UEFI核脳構配起動応付あたりだが,今のところよく分かっていない。UEFI 設定見直した明らかおかしい所は見つからなかった

核脳構配では,そもそも USB 3.0有効にしていなかったので CONFIG_USB_XHCI_HCD=yCONFIG_USB_XHCI_PCI=y加えて核脳再構築をしたが,相変わらず。更に CONFIG_USB_XHCI_PLATFORM=y を加えても変わらなかった

これまで使っていた Linux 核脳 vmlinuz-4.9.9-slfs-t2希哲11年6月28日備立したもので,しばらく弄っていなかったので,良い復習にはなった。今回の備立は一応 vmlinuz-4.9.9-slfs-t3 としておいた。今後何かと調整しやすくなるだろう。

起動応付変更はまだ試していないが,急ぐことでもないので今日はこの辺でやめておいた。

内部配線問題もありそうな気がしてきたので,今度の主力機清掃時に確認してみる。

{整清記録}{使わなくなった}{触らない}{よく使っていた}{打ちながら}{全体的な}{やりたかった}{ずっと}{希哲15年9月28日}{希哲15年9月26日の整清}...=}(45)

{希哲15年9月28日の整清 K#F85E/A-E74C-9B6A}

譜類整理

ずっとやりたかった全体的な譜類整理着手した。

ls打ちながらというのも辛いので,SLFS にも何か譜類管理系導入することを考えた。以前よく使っていた Thunar を入れようかと思ったが,極力依存性低いものがいい。しかし,単純引装しやすいものがなかなか見つからなかった

結局,Dired使うことにした。開発作業流れでは日常的に使ってきたが,こういう視点で使うことはあまり無かった。

テンキー

26日の整清なんとなくテンキーHHKB右上配置してみたが,これがなかなか良い

これまでマウス右側に置いていた。いまいち活用出来ず,ほとんど触らなくなっていた。

携帯抜控 DVD ケース

携帯抜控 DVD ケース26日の整清配置整理してからまた使えるようになり,日次抜控やりやすくなった日次抜控で使うことにしたものの,いつの間にか使わなくなった

ほか

1時間ほど家事など。

{『希哲日記』}{散歩}{新型コロナウイルスのワクチン接種}{希哲15年9月の月記}{済ませた}{積める}{惹かれる}{走行性能}{乗っていた}{じっくり探す}...=}(76)

{希哲15年9月23日の日記 K#F85E/A-E74C-0412}

調子を整えるため,今日は臨時休業にした。ようやくまともな睡眠が取れたこともあってか,顔色もだいぶ明るくなってきた

新型コロナワクチン接種予約済ませた。これまで考える余裕も無かった。


ふと,以前使っていたようなニット帽がまた欲しくなり,ショッピングセンター探しに行った。

確か,誕生日にもらったものだ。もともと帽子嫌いだったためしばらく使わなかったが,日本橋に居た頃,折り畳み自転車に乗る時に被り始めてから便利なことに気付いた。それから穴があく何年か前までよく使っていた。整髪負担軽減紫外線対策になり,ついでにお洒落としても評判良かった

しかし,素材厚みなど同じようなものが見つからなかったサマーニット帽という奴なのか,薄手一年中使えるものだったが,いまその辺の店舗に置いてあるものは大体厚い

結局,一時凌ぎアディダスのランニングキャップ買って来た。これでも散歩近所での買い出し程度の外出には十分使えるだろう。

ニット帽ネットではそれらしいものが色々見つかるが,流石に画像だけでは何とも言えないのでじっくり探すことにした。一応,当時の物に近そうな物試しに一つ注文しておいた。


ニット帽について考えていたら,折り畳み自転車についても色々思い出したデライト収益目標達成を果して,もう少しぶらぶらする時間的余裕が出来たらまた欲しい

当時乗っていたのはダホンSpeed P8 だった。今の後継製品Speed Falco らしいが,14インチK3人気が集まっているようだ。確かに,折り畳みである以上走行性能より可搬性惹かれてしまう。ロードスター積めるというのも大きい


ここまで思い出したら,久しぶりに『希希遊記』についても考えてしまった

{見つからなかった}

{}