イコールの意味を分別する新しい数学記号の提案 データ分析の理論などのために

1. イコールの意味を分別する
新しい数学記号の提案
— データ分析の理論などのために —
The mathematical symbol = (equal) may have many meanings or nuances,
which often hinders understanding math formulas. Thus the author just
strongly wants to propose/propagate new symbols similar to the equal
sign (=), so this document intends to clarify different nuances of that
existing symbol, and presents new symbols. Especially among them, the
symbol that means the operation “making the restriction that both side
are equal” would be rather innovative, which is expresses as the following
picture. This symbol would be used for “conditional probability” and
“statistical hypothesis” and so on.
2015.04.11 下野寿之

2. 等号記号 ( = ) はもっと分別すべし
• 上記のような使い分けが（可能であれば）普及すると、数式の含ま
れる理論書を読むのが、相当程度、容易になると、考えられる。
• その中でも「等値制約」（イコールの上に点）は特に
有用で、積極的に使うと良いと考えられる。
• 上記の表中に書かれたことは、不都合の無い限り、文字通りの定
義を厳密に運用したい。

3. その他の思案中のイコールに似た記号
前ページの5個の記号とは異なり、上記5個の記号は、あまり有用性
を数多く検証したことはない記号である。それでも、上記と同じ意味を
持つ、視認的に分かり易い記号は試行錯誤的に作りたいと考えてい
る。昨今のデータ関連の技術などに有用となりうる「概念」の記号化
は、どしどし行いたい。
—本文書は以上。

4. The proposal of equal-similar symbols :
symbols Reference name Definition
:= Left-definition The operation to define the undefined symbol appeared
on the left side.
=: Right-definition The operation to define the undefined symbol appeared
on the right side.
Equal-restriction The operation to put the restriction/condition that both
sides of that symbol have same values.
= Normal-equal To show that both side of that symbol is being proved to
have same values.
← Substitution The operation to put the restriction/condition that the
left side has the value of the right side, temporally.
The author intends that the symbol above have rather literal definition shown above.
He admits that more plain explanation and examples would be necessary. If those
symbols are properly used, existing math formulas would become understandable
much more, especially for those who are reading statistic theory books.