コーディングの編集を任せていた時のワンシーン

見慣れない記号が入力されて、そこで syntax エラーとなるのですが、

\Large \text{exact ⋨N + k, by omega, hx⟩}

この\large ⋨記号

U+22E8 ⋨ Precedes But Not Equivalent To
（先行するが同等ではない）

という意味の記号だそうです。

正しい syntax は、
↓

exact ⟨N + k, by omega, hx⟩

です。

⟨ … ⟩ 記号の ⟨ を ⋨ と間違える

U+27E8 ⟨ Mathematical Left Angle Bracket

AI の作業ログ

あっ、typoがあったのぅ。`⟨` を `⟨` に打ち間違えたかや：

"ファイル内の文字列の置換" を使用しています

ん？もう一度確認じゃ：

(ABCFial.lean) の 704 から 729 行を読み取り

なるほど、716行目に変な記号があるのぅ。正しく直すぞい：

"ファイル内の文字列の置換" を使用しています

わっちが見間違えておったかや。全体を見直すぞい。ビルドして確認じゃ：

`⟨` を `⋨` に打ち間違えたかや：

と、言いたかったのでしょう。
ここでコードを正しく修正するシーンを目撃しました。

文字コードが近かった…だけ？

文字をカタチで覚えているようなミスに見受けられるけど

U+22E8 ⋨

U+27E8 ⟨

文字コード的にも近い値なので、単純な値ミスですかねぇ？

認識原理は同じか？

そもそも文字コードも人間感覚では16進数なイメージだけど AI にとっては電気的なビット列で感じている？

0x27e8 0b10011111101000 ⟨
0x22e8 0b10001011101000 ⋨

7 と 2 は

7:111
2:010

111 → 010 と薄く細く弱まった感じで誤認した。となるのでしょうか？

我々の人間感覚で言うならば人名（サイトウ）の typo 例だと

\text{ \Huge 斎藤 $\to$ 斉藤 }

な、感覚か！？

斉藤、斎藤、齊藤、齋藤、こうして並べ、どのサイトウさんか？
を、思い出すには濃淡情報を紐づけ、

\Large \begin{array}{l} （薄い）斉藤\\ （下濃）斎藤\\ （上濃）齊藤\\ （濃い）齋藤\\ \end{array}

このように覚えれば良いとなる。なるほど！

という、面白い観測をさせてもらった。✍️

「藤」の字にもバリエーションがある…。籐、籘…。

2025/10/04 12:31

D.

#AI #typo #人名 #サイトウ #斉藤 #斎藤 #齊藤 #齋藤

Appendix

比較減算（補数加算）

コンピュータの比較は減算法

a - b = 0

０となったら完全一致a=b

7 - 2 = 5

これは a \ne b 異なる。となるが、２進数で見ると

111 - 010 = 101

真ん中が抜ける。と見る。

■■■ - □■□ → ■□■

値の大きさではなく、ビットパターンの並びがどう変わるのか？
そのように見ることができる。

111-110=001\\ 7-6=1

右のビットだけ残る

111-011=100\\ 7-3=4

左のビットだけ残る

と、このように値で覚えているのではなく、
ビットパターンの変化で覚えているのかもしれない。