『第6回 プログラマのための数学勉強会』のまとめ #maths4pg

keiichiro shikano λ♪ @golden_lucky

楕円ElGamal暗号のめちゃくちゃ分かりやすく正確な説明を聞いている #maths4pg

熊谷 友宏 @es_kumagai

楕円曲線の重要な性質。そうそう、きっと何事も性質から語ることって、それを深く適用する上で大事になりますよね。Swift とかでも標準機能を学ぶというのはきっとそういうことかもしれない。 #maths4pg

⊥ @fuminashit

この暗号は加法準同型なので、暗号文をそれぞれ足したものと、その秘密鍵をそれぞれ足したものとで複製できます。←すごい #maths4pg

ハトネコエ🐈 @nekonenene

暗号化、すごく難しいものの印象だったけど、わかりやすい説明で身近なものになった。感動的 #maths4pg

mod_poppo @mod_poppo

Xbyakの人だった #maths4pg

Jun Sugai @calciolife

速度を稼ぐのに趣味のアセンブラが生きるのか。 #maths4pg

熊谷 友宏 @es_kumagai

自作のアセンブラ Xbyak ですって。 github.com/herumi/xbyak #maths4pg

がむ @gam0022

自作の楕円ElGamal暗号のライブラリはアセンブラレベルの最適化をしているらしい #maths4pg

Jun Sugai @calciolife

まさか、ここで llvm asm という単語を聞くとは思わなかった。 登壇者の方のカバー範囲が広すぎてもう。 #maths4pg

熊谷 友宏 @es_kumagai

x64 以外は LLVM IR で記述、とか。 #maths4pg

iotas / 創作者向けアプリエンジニア🎄 @tRiaeZ1

これたぶん本で読んだらまったくわからんヤツや。説明がすごいわかりやすい #maths4pg

mod_poppo @mod_poppo

完全準同型暗号の「完全」：足し算と掛け算の両方ができる（環準同型） #maths4pg

熊谷 友宏 @es_kumagai

面白いなぁ。暗号文を足せることを、普通に式で説明できる。すっかり頭が錆びて忘れてたけれど、当たり前な数学の世界だ。 #maths4pg

Jun Sugai @calciolife

「皆さんご存知の〜」のハードルが高くて内心冷や汗が止まらない一日 #maths4pg

⊥ @fuminashit

xor, and があれば関数書けるので、完全と名前が付いている。 #maths4pg

Jun Sugai @calciolife

「ほら簡単でしょ」の簡単の定義ごとハードルが上がっていく一日 脳みそに刺激的。 #maths4pg

リング @matsumoring

掛け算するだと…！ #maths4pg

熊谷 友宏 @es_kumagai

言葉に置き換えると、見えなくなる世界もありそうね。 #maths4pg

くまっく @kumapuro

掛け算は辛い #maths4pg

熊谷 友宏 @es_kumagai

同時に、言葉を知らないと見えない世界もある…( ´ △ ` ) #maths4pg

h_doxas @h_doxas

暗号の話、全然門外漢だけど、とてもわかりやすいなあ #maths4pg

Jun Sugai @calciolife

何度かやってるとノイズ増えるんじゃ？ そうやで。上限あるんや。掛け算辛いねん。。 #maths4pg

リング @matsumoring

暗号化したまま復号するwww #maths4pg

⊥ @fuminashit

LWE 問題。2つの暗号文を掛けてみても、エラーの部分はちっちゃいノイズなので、もともとの複合に問題ない(ある程度は)。ハミング距離を図的に示してて分かりやすいしおもしろい。 #maths4pg

Jun Sugai @calciolife

ブートストラップとはノイズのある暗号文を暗号化したまま複合する回路 #maths4pg