翻弄力選手権2010コミュの【補足2】L27 string system usage

論理にかまけて, 翻弄を見失ってはいけないと思います.
ですが同時に, 翻弄にかまけて, 非論理的になってはいけない.

考えてはだめです. 形式的に, すませなければならない.
論理を形式的に行使するには, 数学が便利です.
ですから, 翻弄を形式的にすませるには, まずは翻弄を数学化するのが良いと思われます.

ここでは, 論理と数学の交錯としての形式化へ向けた準備として, L27 string system を導入し, 翻弄における議論対象を数学化します.

まず, L27 string system について.

L27 string system は, アルファベット + スペースの計27symbol を, 10進数に焼き直すためのシステムです.
方法は簡単. (1) アルファベットを27進数と考え, かつ10進数との対応表を作成する. (2)アルファベットの並びである27進数列を10進数列で書き直す. 以上です.

(1)
アルファベットと10進数表記の27進数システムとの対応（L27 string system）を以下のようにとる：
(スペース): 0
a: 1
b: 2
c: 3
.
.
.
z: 26

(2 (例))
そうすると, 例えばhonrou を, 27 進数表記に10進数symbol を当てはめて書くと
8, 15, 14, 18, 15, 21
という数字列となる. これを10進数に対応づけると,
8*27^5+15*27^4+14*27^3*18*27^2+15*27^1+21*27^0=3738687861
となります. これで, 3738687861はL27 string system において, honrou という単語を意味する.

翻弄を議論するために, 最低限必要なのは, エントリーキャラの一覧です. これを数学化するには,
(a) 各エントリーキャラをアルファベットで示す
(b) 各エントリーキャラに付随する性質をアルファベットで示す
(c) それらのアルファベットをL27 string system に基づき, 数学化する
という事が必要です.

(a) はとりあえず, キャラの名前をローマ字で書けば良い.
(b) はとりあえず, キャラの特徴を言語化し, それをローマ字で書けば良い.
(c) はちゃっちゃっと計算すれば良い.

かくして, 我々が議論するべき翻弄という問題体系は, 数学化されうる. というか, 数というパターンの体系に情報として埋め込まれる事が可能である, のでしょう.

次回は, 上記の実践（多分一部）と, その結果を用いた翻弄の議論の形式化の実現を示せたらいいなと思います.