Link
Embed
Share
Beginning
This slide
Copy link URL
Copy link URL
Copy iframe embed code
Copy iframe embed code
Copy javascript embed code
Copy javascript embed code
Share
Tweet
Share
Tweet
Slide 1
Slide 1 text
多項式は万能データストア だった!? 岩淵夕希(物智) @butchi_y サイエンスカフェ 2020-08-23
Slide 2
Slide 2 text
自己紹介 岩淵夕希(物智) 金沢大学自然科学研究科修了 博士(工学) 卒業論文「2進数の平面的表現に関する考察」 数学的な理論をベースに新しい言語を創造中
Slide 3
Slide 3 text
前回の発表
Slide 4
Slide 4 text
データの基本: 「どこ」に「なに」があるか
Slide 5
Slide 5 text
アドレスと実体 アドレス(場所)と実体はハードでもソフトでも共通の重要な概念 https://ja.wikipedia.org/wiki/記数法 石川県金沢市角間町 192.168.11.4 URL (URI、Webアドレス) 住所(address) IPアドレス メモリアドレス 実体 0x00ac6e アドレス
Slide 6
Slide 6 text
配列 「光の三原色は順に赤と緑と青」 光の三原色 = (赤, 緑, 青) ```javascript var colorArr = ["赤", "緑", "青"]; ``` 1 2 3 ⇐ アドレス ⇐ 実体
Slide 7
Slide 7 text
N進数→無限進数
Slide 8
Slide 8 text
バイナリは0と1の配列 [1, 1, 0, 0, 1] ⇔ 11001 2 配列 ⇔ 2進数 1 × 24 + 1 × 23 + 0 × 22 + 0 × 21 + 1 × 20 アドレス 実体
Slide 9
Slide 9 text
10進数は10種類の数を入れられる配列 [1, 2, 3, 0, 5] ⇔ 12305 10 配列 ⇔ 10進数 1 × 104 + 2 × 103 + 3 × 102 + 0 × 101 + 5 × 100 アドレス 実体
Slide 10
Slide 10 text
16進数は16種類の数を入れられる配列 [6, 0, 13, 9, 11] ⇔ 60(13)9(11) 16 配列 ⇔ 16進数 6 × 164 + 0 × 163 + 13 × 162 + 9 × 161 + 11 × 160 アドレス 実体
Slide 11
Slide 11 text
無限進数 [111, 222, 333, 444, 555] ⇔ (111)(222)(333)(444)(555) x 配列 ⇔ x進数(x → ∞) 111 x4 + 222 x3 + 333 x2 + 444 x1 + 555 x0 (多項式) 実体に何でも入れられる! アドレス 実体
Slide 12
Slide 12 text
関連する数学分野 ● 多項式環 ● 冪級数
Slide 13
Slide 13 text
n元数→無限元数
Slide 14
Slide 14 text
二元数の話 2次元ベクトル (a, b)を uを変数とする1次多項式とみなす u = i (i2 = -1)という制約を付けたのが「複素数」
Slide 15
Slide 15 text
二重数の話 二元数において、u = ε (ε2 = 0) という制約を付けたのが「二重数」 上位ビットが無視されるオーバーフローのようなもの
Slide 16
Slide 16 text
(脱線)二重数を使えば微分ができる! 関数に二重数を代入 → εの係数が微分値として出てくる!
Slide 17
Slide 17 text
n元数→無限元数 Εn = 0となるΕでn重数(n元数)が作れる ⇒ nを限りなく大きくすれば無限元数が作れる ΕΕ = 0
Slide 18
Slide 18 text
無限元数の虚数単位 Iee アイー i e 小文字: (iee)
Slide 19
Slide 19 text
汎数 のフォントがないため「王」で代用
Slide 20
Slide 20 text
列元の定義式 定義1: 定義2:
Slide 21
Slide 21 text
オリジナル理論「汎数論」のアイデア 列元(幽元) 単位ベクトル(0, 1)を意味する 列元 I を定義 (key → val) の列 ⇒ val Ikey の総和
Slide 22
Slide 22 text
オリジナル理論「汎数論」のアイデア 幽ベクトル(幽数列) (a, b, c) ⇒ a + b I + c I2 無限次元ベクトルに正規化されているとする ● 1 = (1, 0) = (1, 0, 0, 0, ...) ● I = (0, 1) = (0, 1, 0, 0, ...) ● I2 = (0, 0, 1) = (0, 0, 1, 0, ...) 例: (赤, 緑, 青) = 赤 + 緑 I + 青 I2
Slide 23
Slide 23 text
オリジナル理論「汎数論」のアイデア 幽関数 ⇒ α Ia + β Ib + γ Ic 例: {赤→48, 緑→12, 青→3} = 48 I赤 + 12 I緑 + 3 I青
Slide 24
Slide 24 text
オリジナル理論「汎数論」のアイデア 幽集合 {a, b, c} ⇒ Ia + Ib + Ic ● {} = 0 ● {0} = 1 ● {1} = I ● {0, 1, 2} = 1 + I + I2 例: {赤, 緑, 青} = I赤 + I緑 + I青
Slide 25
Slide 25 text
オリジナル理論「汎数論」のアイデア 幽画像、幽音声、幽動画、… 工学的オブジェクトも幽元に還元 できるので… 数値化言語化なんでもできる!
Slide 26
Slide 26 text
汎数のすごいところ: 「なんでも入る」 Iは「馬鹿デカいバグった数」なので、(I未満なら)何を入れてもいい
Slide 27
Slide 27 text
幽関数としての汎数 マクローリン級数、フーリエ級数(フーリエ変換)との類比
Slide 28
Slide 28 text
幽二変数関数としての汎数
Slide 29
Slide 29 text
まとめ ● 2進数を拡張して無限進数を定義できた ● 2元数を拡張して無限元数を定義できた ● 無限元数における虚数Iを定義し、多項式データストアを実現できた
Slide 30
Slide 30 text
ご清聴ありがとう ございました