数学言語という概念を拡張してオブジェクトを構成しよう
math languageというものを考えている.
これはおそらく mathematical languageとも言えるし,language for mathematicsとも言える.
どちらも包含した表現として math languageという表現がきっと適切なのだろうと思うのだが.
元来の数学言語ググってみたところ,language of mathematicsという Wikipediaのページが出てきた.
おそらく,元来はこの程度の理解で十分だったのだと思う.
し