Ｍ次進法 のソース

  1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49

*凌宮表記術： $$ M $$次進法 [#pc4fa38e]
 
;,$$ N $$進法は$$ 0 $$から$$ N - 1 $$までの$$ N $$個の数字を用いて自然数を表し、
;,$$ N $$を「$$ 10 $$」と繰り上げる位取り記法である。
 
;,例えば、十進法では、$$ 0,1,2,3,4,5,6,7,8,9 $$の十個の数字で表し、
;,十自体を「$$ 10 $$」と表し、以降$$ 11,12,13,14,15,16,\cdots $$と続く。
;,また、二進法では、$$ 0,1 $$の二個の数字で表し、
;,二自体を「$$ 10 $$」と表し、以降$$ 11,100,101,110,111,1000,\cdots $$と続く。
 
;,この表記法では「$$ 10 $$」だけでは何進法か分からないと値が判明しない問題が発生する。
;,十進法の「$$ 10 $$」は二進法の「$$ 10 $$」よりも大きい数を表している。
;,そのため、進法の$$ N $$を十進法で表した法数を右下に添える表記が広く用いられている。
 
;,例えば、
#ceq(e)
;,十進法の「$$ 10 $$」：　$$ 10_{10} $$
;,二進法の「$$ 10 $$」：　$$ 10_{2} $$
#ceq(d)
 
;,ところが、この表記は十進法を前提とした表記法であることが定義から分かる。
;,$$ N $$進法で表すのに、$$ N $$進法だけでは完結せず、必ず十進法を使う羽目になる。
;,これが主観的に嫌われることがある。
 
;,しかし、安易に進法の$$ N $$を$$ N $$進法で表した法数を添えても、
;,$$ N $$進法では$$ N $$が必ず「$$ 10 $$」と表されるたえ
;,全部$$ 10_{10} $$となり、区別する目的を果たせない。
 
;,そこで、凌宮数学では$$ N $$進法の代わりに、$$ M $ = $ N $ - $ 1 $$とする「$$ M $$次進法」を考え、
;,進法の$$ M $$と「次進法」を表す「$$ + $$」を右下に添えて表記する。
;,例えば、
 
#ceq(e)
;,十進法の「$$ 10 $$」：　$$ 10_{10} $$ ： $$ 10_{9^+} $$
;,二進法の「$$ 10 $$」：　$$ 10_{2} $$　： $$ 10_{1^+} $$
#ceq(d)
 
;,これより、任意の$$ M $$次進法をその表記法で使える最大の数字$$ M $$で表せる。
 
* 具体例 [#v680f93a]
** 二進法こと $$ 1_{1^+} $$次進法 [#m6443f32]
 
;, $$ 1_{1^+} $$次進法では、$$ 0 $$と$$ 1 $$の$$ 10_{1^+} $$個の数字で自然数を表す。
;, $$ 1_{1^+} $$の次は$$ 10_{1^+} $$、$$ 11_{1^+} $$、$$ 100_{1^+} $$と続く。
 
** 八進法こと $$ 1_{7^+} $$次進法 [#m6443f32]
 
;, $$ 1_{7^+} $$次進法では、$$ 01234567 $$の$$ 10_{7^+} $$個の数字で自然数を表す。
;, $$ 7_{7^+} $$の次は$$ 10_{7^+} $$、$$ 11_{7^+} $$、$$ 100_{7^+} $$と続く。