「ヴァル」の版間の差分
英語版Xen Wikiからの移行 |
Dummy index (トーク | 投稿記録) link |
||
| 92行目: | 92行目: | ||
ヴァルはマッピングより具体的な概念である。数学的な意味でもRTT的な意味でも。 | ヴァルはマッピングより具体的な概念である。数学的な意味でもRTT的な意味でも。 | ||
# ヴァルは 1 行だけのマッピングである。マッピングの各行はヴァルであるともいえる。数学的に正確に言うと、ヴァルは | # ヴァルは 1 行だけのマッピングである。マッピングの各行はヴァルであるともいえる。数学的に正確に言うと、ヴァルは{{w|線型写像}}の一種で{{w|線型汎函数}}であり、出力がスカラーになるものである。モンゾと内積をとることでステップ数が得られる余ベクトルである。 | ||
# ヴァルの各項は整数に限る。（出力がステップ数でないもの等はmapと呼ぶ。） | # ヴァルの各項は整数に限る。（出力がステップ数でないもの等はmapと呼ぶ。） | ||
# ヴァルは "valuation" （ | # ヴァルは "valuation" （{{w|付値}}）の略であり、{{w|p進付値|''p''-進付値}}（{{w|重複度 (数学)#素因数の重複度|素因数の重複度}}（分母の場合は負））の線型結合である。（？） | ||
実用上は、RTTにおいて大体の 1 行だけのマッピングはヴァルである。ブラ記法の中に小数やlogが出てきたら、それは深く知りたい数学者でない限り無視していいものです。 | 実用上は、RTTにおいて大体の 1 行だけのマッピングはヴァルである。ブラ記法の中に小数やlogが出てきたら、それは深く知りたい数学者でない限り無視していいものです。 | ||
== 関連項目 == | == 関連項目 == | ||
* [[ | * [[マッピング]] | ||
* [[Map]] | * [[Map]] | ||
* [[モンゾ]] | * [[モンゾ]] | ||