形式言語における文字列(もしくは数学的オブジェクト)に数を対応させること。そうすれば数の理論で扱える。 enc([x1,x2,..xn]) = 2^x1 3^x2 5^x3 ...pn^xn 素因数分解の一意性があるので１対１(nが無限だとどうなるの？）そうすると推論が関数化される。

case writeError | 書き込みエラー | 等を case writeError = "writeError" // 書き込みエラー と書き換えたかった。正規表現は case\s([a-zA-z]*)\s*\|(.*)\| を case $1 = \"$1\" //$2 におきかえるとうまくいった。

iOS8以降かも呼び出し元で２つチェック 呼び出し先はOverCurrentContext CoverVertical そもそもモーダルでないと使えないので注意‥。