SATySFi でイオニア式記数法 - Qiita1,0000 から 9999,9999 まで 1万以上の数は、日本語や中国語の中数の「万」と同じく、$n\times 10^4 + m\ (n,m < 10^4)$ の様に表す。例えば、12,0003 は $\overset{ιβ}{M}γ'\ (ιβ=12,\ M=1,0000,\ γ=3)$ となる。 実装 https://github.com/na4zagin3/SATySFi-grcnum の実装の解説を行う。長いので、時間が有り余っている人以外は「比較」の節まで飛ばして欲しい。 ユーティリティー関数 % s が空文字列でない時のみ f を s に適用 let apply-non-empty f s = match s with | ` ` -> s | s -> f s % 10進数表記での桁毎の配列に変換 % >>> explode-into-digits 1 % [1] %
