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

ご清聴ありがとう ございました