Your Daily Epsilon of Math Calendar

Your Daily Epsilon of Mathの投稿は今のところ3日坊主にならずに,続いている.「急にグループの感じが変わった!!」というコメントが付いた.これまでの主流は,最新論文の読解とか,高級な問題の解題などかなりレベルの高いところを狙っているものが多かったので,「レベルを落としているんじゃないか?」と内心危惧していたのだが,肯定的に評価されたものと受け止めておこう.「数学の問題を解くのはこんなに楽しい」という雰囲気になってくれればうれしいのだが…

この投稿を続けるのは確かにかなりの(時間)コストが掛かる.最初に仕事に掛かる前に応答しなくてはならないが,前日分のコメントに応答し,今日の分を投稿するのは一仕事だ.もちろん,自力で解けなかった問題に関しては提供されたヒントを元にネットで記事を拾い出して勉強しなくてはならない.これを一年続ければ,かなりの数学力が付くことは間違いなさそうだ.これは英語の勉強も兼ねている.⇒お茶が切れてしまったので買い出しにゆくつもりだったが流れてしまった…

どうも不良が再現できなくなってしまった.2022/12/30の再現リストまで戻ってみよう.検査ルーチンを止めてしまっている可能性もあるが,包括的な検査はあちこちに入っているので,見逃されることはないと思う.⇒5番目のテストで「カード参照番号の重複」エラーが出た.

▲基準ソート→ Undo→ 一括削除→ 基準ソート→Undo→ UndoでEraseTreeViewの冒頭のCheckDataLinkでカード参照番号の重複エラーが出た.現象は多少異なるが,同列のエラーと思われる.参照番号は48なので,これまでに確認されていたものの再現と言ってよいだろう.⇒この不良はUndoProcessの中で発生している.復元対象オブジェクトはCARDLINKで参照番号は3403,親番号は3403,undotypeはUNDO_MAKE(つねにUNDOノードを新規生成する).このタイプはUNDOBASE::CommandEndでコマンド実行中に変化があった場合にのみ保全される.UndoRestoreが実行されている.

UNDONODE::UndoCopyの最初のループの中で「親の重複登録」が発生している.このエラーは対象ノードの参照スロットをクリアする操作の中で起きている.障害が起きているのはMARGLINKへの参照でCARDLINK:#3196を4番目の子どもとして持っている.⇒このエラーは無視してよいのではないか?CheckMargLinkは静的情報とリンクの整合性をチェックしているので,CARDLINKのHUBOSからの参照が解除されているため,不一致が起きるのはやむを得ない.

親リンクが空のときは,「親の重複登録」ではなく,「親参照リンク不在」を出すようにした.本当はUNDO動作中のフラグを見てもよいのだが,明示しておいた方が安全だ.⇒UNDOBASE::UndoCopyを実行する前の検査で,「親の重複登録」と「親番号不正」が検出されている.⇒この時点では.まだイメージのコピーは実行されていない.


コメントを残す

メールアドレスが公開されることはありません。 が付いている欄は必須項目です

CAPTCHA