文字列連結演算子 のバックアップ差分(No.4)

• バックアップ一覧
• 現在との差分 を表示
• 現在との差分 - Visual を表示
• ソース を表示
• バックアップ を表示
• 文字列連結演算子 へ行く。
  • 1 (2017.0525 (木) 2345.4900)
  • 2 (2017.0526 (金) 0055.4500)
  • 3 (2017.0526 (金) 0101.1200)
  • 4 (2017.0526 (金) 0250.3900)
  • 5 (2017.0527 (土) 0144.4700)
  • 6 (2017.0527 (土) 0351.0300)
  • 7 (2017.0527 (土) 0428.2800)

• 追加された行はこの色です。
• 削除された行はこの色です。

%indent
/数字列連結演算子
////////////////////////////////////////////////////////////////
* 概要 [#t6b1f80b]
* 概要 [#e993cc2a]
////////////////////////////////////////////////////////////////

;,一般に使われる10進位取りの整数表記法は、数字を形式的に並べた数字列$$ "c_0 c_1 \cdots c_{n-1}" $$で、
;,一般に使われる10進位取りの整数表記法は、数字を形式的に並べた数字列$$ ``c_0 c_1 \cdots c_{n-1}" $$で、
;,10を底、各桁を係数とする冪級数$$ \sum_{i=0}^{n-1} 10^i $$に等しい値を表す。
;,例えば、$$ "456" $$は$$ 4 $ \times $ 10^0 $ + $ 5 $ \times $ 10^1  + $ 6 $ \times $ 10^2 $$と同じ値を表す。
;,例えば、$$ ``456" $$は$$ 4 $ \times $ 10^0 $ + $ 5 $ \times $ 10^1  + $ 6 $ \times $ 10^2 $$と同じ値を表す。

;,数の直観的な性質を扱う問題として、２つの数字を形式的に並べる操作が扱われる場合がある。
;,例えば、$$ 1 $$が$$ n $$個繰返す$$ \underbrace{111\cdots1}_n $$のような数を扱う分野が挙げられる。

;,こういった問題では数字列を並べて結合する操作が良く扱われるが、値を冪級数で表現するのは繁雑になる。
;,例えば、$$ n $$個の"11"を並べて結合した数を表現するには、冪級数では以下のように直観的でない数式になる：
#ceq()
  $$ \sum_{i=0}^{n-1} $ 11 $ \times $ 100^i $ = $ \sum_{k=0}^{3n-1} $ 10^k $$
  $$ \sum_{i=0}^{n-1} $ 11 $ \times $ 100^i $ = $ \sum_{k=0}^{2n-1} $ 10^k $$
#ceq(end)

;,これに対し、凌宮数学では以下の数字列連結演算子を定義し、問題を直観的に記述する。
;,数字列を結合する場合に備え、算術演算子と似て非なる記号を割り当てる。

''数字列''と''数字列の値''
#ceq(e)
    ;,0,1,2,3,4,5,6,7,8,9の10個の数字を並べた表記を、数字列と定義する。
    ;,その数字列を10進整数表記と見なしたときに表す整数を、数字列の値と定義する。
    ;,算術演算子や比較演算子を数字列に作用させる場合は、数字列の値に作用させると見なす。
    ;,整数と区別して、正数列を二重引用符「$$ ``\;\;" $$」で括って明示する。
    ;,例：　$$ ``123" $ = $ 123 $$、$$ ``001" $ + $ ``002" $ = $ 1 $ + $ 2 $ = $ 3 $$。
#ceq(d)

''桁数演算子$$ \pounds $$''
#ceq(e)
    ;,整数の10進表記の桁数を表す単項演算子。
    ;,例：$$ \pounds 123 $ = $ 3 $$、$$ \pounds 123456 $ = $ 6 $$。
    ;,一般に、$$ \pounds N $ = $ \lceil \log_{10} N \rceil $$(($$ \lceil x \rceil $$は$$ x $$の小数部切り上げた整数を表す天井関数である。))。
    ;,数字列の桁数を表す単項演算子。
    ;,例：　$$ \pounds ``123" $ = $ 3 $$、$$ \pounds ``012345" $ = $ 6 $$。
#ceq(d)
''連結演算子$$ \scriptstyle\# $$''
''連結加算演算子$$ \scriptstyle\# $$''
#ceq(e)
    ;,２つの整数の10進表記を連結した数字を表す二項演算子。
    ;,例：$$ 1 $ \scriptstyle\# $ 23 $ \scriptstyle\# $ 456 $ = $ 123 $ \scriptstyle\# $ 456 $ = $ 123456 $$。
    ;,一般に、$$ M $ \scriptstyle\# $ N $ = $ M $ \times $ 10^{\pounds N} + $ N $$。
    ;,他の連結演算子と区別する場合は、特別に連結加算演算子と呼ぶことにする。
    ;,２つの数字列を連結した数字列を与える二項演算子。
    ;,例：　$$ ``0" $ \scriptstyle\# $ ``12" $ \scriptstyle\# $ ``345" $ = $ ``012" $ \scriptstyle\# $ ``345" $ = $ ``012345" $$。
    ;,一般に、$$ P $ \scriptstyle\# $ Q $ = $ P $ \times $ 10^{\pounds Q} + $ Q $$。
#ceq(d)
''連結乗算演算子$$ \ast $$''
#ceq(e)
    ;,とある整数の10進表記を$$ n $$回連結した数字を表す二項演算子。
    ;,例：$$ 123 $ \ast $ 3 $ = $ 123 $ \scriptstyle\# $ 123 $ \scriptstyle\# $ 123 $ = $ 123123123 $$、$$ 3 $ \ast $ 123 $ = $ \underbrace{\,333333\cdots333333\,}_{123} $$
    ;,一般に、$$ M $ \ast $ n $ = $ \underbrace{M {\scriptstyle\#} M {\scriptstyle\#} \cdots {\scriptstyle\#} M}_n $ = $ \sum_{i=0}^{n-1} $ M $ \times $ 10^{\pounds M \times i} $$。
    ;,とある数字列を整数個分だけ繰り返し連結した数字列を与える二項演算子。
    ;,例：　$$ ``012" $ \ast $ 3 $ = $ ``012" $ \scriptstyle\# $ ``012" $ \scriptstyle\# $ ``012" $ = $ ``012012012" $$
    ;,　　　　$$ ``3" $ \ast $ 123 $ = $ \underbrace{``333333\cdots333333"}_{123} $$
    ;,一般に、$$ R $ \ast $ n $ = $ \underbrace{P {\scriptstyle\#} P {\scriptstyle\#} \cdots {\scriptstyle\#} P}_n $ = $ \sum_{i=0}^{n-1} $ M $ \times $ 10^{i \times \pounds M} $$。
#ceq(d)


%bodynote
////////////////////////////////////////////////////////////////
* 用例 [#bf35cf8e]
////////////////////////////////////////////////////////////////
** 命題：合成数個の“1”を並べた数は全て合成数である [#xb8ed8bf]
;,例えば、$$ 2 $ \times $ 3 $ = $ 6 $$桁の$$ ``1" $$からなる整数$$ ``111111" $$は、$$ 111 $ \times $ 91 $ \times $ 11 $$に分解できる合成数である。

;,まず、直観的な説明として、
;,$$ ``111111" $$は２つの$$ ``111" $$に区切られるため、$$ 111111 $ \div $ 111 $ = $ 1001 $$と分解できる。
;,このように、桁数が合成数のとき、とある数の繰り返しに分割できるため、必ずその数で割りきれる。
;,その結果、桁数が合成数ならば値も合成数になる。

;,次に、同じことを数字列連結演算子で、一般的かつ定量的に説明する。
;,任意の合成数は、整数$$ M $$と$$ N $$の積$$ M $ \times $ N $$で表せる。
;,$$ M $ \times $ N $$桁の$$ ``1" $$を$$ ``1" $ \ast $ (M \times N) $$で表せて、以下のように式変形できる：
#ceq(e)
  $$ ``1" $ \ast $ ( $ M $ \times $ N $ ) $$
#ceq(a)
  （$$ M $ = $ 2 $$、$$ N $ = $ 3 $$の場合の例）
#ceq(e)
  $$ = $ ( $ ``1" $ \ast $ M $ ) $ \ast $ N $$
#ceq(a)
  $$ ``11" $ \scriptstyle\# $ ``11" $ \scriptstyle\# $ ``11" $$
#ceq(e)
  $$ = $ \{ $ ``1" $ \ast $ M $ \} $ \times $ \{[ $ ``0" $ \ast $ (M-1) $ \scriptstyle\# $ ``1" $ ] $ \ast $ N $ \} $$
#ceq(a)
  $$ ``11" $ \times $ ``010101" $$
#ceq(d)

;,以上より、$$ ``1" $ \ast $ ( $ M $ \times $ N $ ) $$は、$$ ``1" $ \ast $ M $$と$$ [ $ ``0" $ \ast $ (M-1) $ \scriptstyle\# $ ``1" $ ] $ \ast $ N $$の積で表されるため、合成数である。

////////////////////////////////////////////////////////////////