珍しく日中やたら眠たく,よく眠った。最近の暑さで思ったより体力を消耗していたか。
体力消耗による免疫力低下,コロナが落ち着いてからの衛生面での油断,冷房などの雑な使い方など,悪条件が重なったか,風邪の予兆が見られたため,少し安静にしておくことにした。
ping
}{希哲16年11月19日}{希哲16年11月19日の副日記}{公式情報}{対策を練っておく}{サービス停止}{同様の報告}(41)最近,業務としての輪郭整備に根を詰め過ぎているせいか,珍しく夜まで気怠く,顔も疲れているように見えた。外に出て多少気分転換は出来たので,帰ってから大輪郭整備を進めようと思ったものの,今度は眠気でほとんど何も出来なかった。
Twitter サービス終了の可能性が Twitter 上で話題になっていた。イーロン・マスクによる Twitter 買収以来,Twitter は日に日に混迷を深めている。
予期していた「大規模個人知識管理サービスの破綻」は Evernote 買収にその兆しが見え始めた程度だが,Twitter で本格的な利用者離れが起きれば,それをはるかに越える印迫を持ちそうだ。
ただ,追い風にしても突風過ぎて,どう利用するかにはまだ迷いがある。
非常に安定していた最近では珍しく,特定ページで持続的な壊衝が発生したため調査・修正。18時50分頃認識,20時頃復旧。
特定輪郭のデラングに含まれる `$と`$()`と`$(())`
という文字列に問題があることはすぐ突き止めたが,機序を理解するのに少し時間がかかった。逆括点の数が合っていないので行内交度としては不正だが,その程度で壊衝するはずがなく,実際,もっと単純なパターンでは再現しなかった。
まず,行内交度としては <code>&_1;</code>$()<code>&_2;</code>$()`
に越化される。すると,$
で囲まれた部分が数式記法として認識され,<code>&_1;</code>&_lmath;&_3;&_rmath;()`
と越化される。ここで越化参照と越化配列の内容とにずれが生じるが,越化配列からの復元は単なる文字列置換なので,壊衝に繋がるのは不可解だった。
結局,一連の文字列置換函数がどこでも検索失敗時を想定していないという,かなり基礎的な部分での問題であることが判明した。s_T::rpl()
に対応処理を加えていったん解決。最適化の選択肢を考えると補助函数で対応すべきかもしれないので,そこは検討する。
よくここまで問題にならなかったものだが,結果的に基礎的な欠陥を修正出来たので良かった。