Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
PLDI '21論文読み会: Cyclic Program Synthesis
Search
Idein
June 08, 2022
Research
0
1.3k
PLDI '21論文読み会: Cyclic Program Synthesis
Idein
June 08, 2022
Tweet
Share
More Decks by Idein
See All by Idein
PLDI '21論文読み会: DNNFusion: Accelerating Deep Neural Networks Execution with Advanced Operator Fusion
ideininc
0
1.5k
PLDI '21論文読み会: AKG: Automatic Kernel Generation for Neural Processing Units using Polyhedral Transformations
ideininc
0
1.4k
PLDI '21論文読み会: Specification Synthesis with Constrainted Horn Clauses
ideininc
0
1.3k
PLDI '21論文読み会: High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations
ideininc
0
1.3k
PLDI '21論文読み会: Quantum Abstract Interpretation
ideininc
0
1.2k
PLDI '21論文読み会: Provable Repair of Deep Neural Networks
ideininc
2
1.5k
Idein会社紹介資料(積極採用中)
ideininc
0
26k
Other Decks in Research
See All in Research
研究効率化Tips_2024 / Research Efficiency Tips 2024
ryo_nakamura
5
2.8k
ICLR2024 LLMエージェントの研究動向
masatoto
6
1.9k
200名の育児中男性の声 「僕たちは、キャリアとライフをトレードオフにしたくない」共働き3.0世代の男性が 本当に求める働き方とは【ワーキングペアレンツの転職意識調査2023|XTalent株式会社】
xtalent
0
480
Evolutionary Optimization ofModel Merging Recipes (2024/04/17, NLPコロキウム)
iwiwi
9
3k
ゼロからわかるリザバーコンピューティング
kurotaky
1
290
データで診て考える合志市の渋滞と公共交通 ~めざせ 車1割削減、渋滞半減、公共交通2倍~
trafficbrain
0
460
Accurate Method and Variable Tracking in Commit History
tsantalis
0
250
Discovering Universal Geometry in Embeddings with ICA
momoseoyama
1
350
Source Code Diff Revolution (JetBrains Open Reading Club)
tsantalis
0
260
My Journey as a UX Researcher
aranciap
0
1.1k
方策の長期性能に対する効率的なオフライン評価・学習 (Long-term Off-Policy Evaluation and Learning)
usaito
PRO
2
180
MLtraq: Track your AI experiments at hyperspeed
micheda
1
110
Featured
See All Featured
CoffeeScript is Beautiful & I Never Want to Write Plain JavaScript Again
sstephenson
155
14k
Atom: Resistance is Futile
akmur
259
25k
Keith and Marios Guide to Fast Websites
keithpitt
408
22k
Build your cross-platform service in a week with App Engine
jlugia
225
17k
The Pragmatic Product Professional
lauravandoore
25
5.8k
Faster Mobile Websites
deanohume
299
30k
No one is an island. Learnings from fostering a developers community.
thoeni
16
2.1k
Designing for Performance
lara
601
67k
Facilitating Awesome Meetings
lara
42
5.6k
Web development in the modern age
philhawksworth
202
10k
How GitHub Uses GitHub to Build GitHub
holman
468
290k
The Psychology of Web Performance [Beyond Tellerrand 2023]
tammyeverts
6
1.5k
Transcript
୲ߐޱ $ZDMJD1SPHSBN4ZOUIFTJT 1-%*ಡΈձ!*EFJO
EFEVDUJWFQSPHSBNTZOUIFTJT ༩͑ΒΕ༷ͨΛຬͨ͢ϓϩάϥϜΛࣗಈͰߏ͢ΔλεΫ ਖ਼͕͠͞ূ໌͞Ε͍ͯΔ
ݚڀ֓ཁ ࠶ؼతͳิॿؔΛؚΉIFBQNBOJQVMBUJOHQSPHSBNͷࣗಈੜ w $ZDMJD1SPPGͷٕज़ΛϓϩάϥϜ߹ʹԠ༻
എܠ
ϓϩάϥϜͷ༷ 4FQBSBUJPOMPHJD w ϙΠϯλɺࢀরͳͲΛ͏ϓϩάϥϜͷঢ়ଶมԽΛදݱͰ͖Δཧ w ࠶ؼతͳड़ޠΛͬͯɺ༷ʑͳσʔλߏΛදݱͰ͖Δ
طଘݚڀ4VT-JD 4USVDUVSJOHUIFTZOUIFTJTPGIFBQNBOJQVMBUJOHQSPHSBNT<101-> w 4FQBSBUJPOMPHJDΛ༷ʹ$MJLFͳ࠶ؼؔΛੜ w 4ZOUIFUJD4FQBSBUJPO-PHJD ͱ͍͏ϓϩάϥϜੜ༻ͷਪମܥΛ࡞ SSL ˎϒϥβ্ͰࢼͤΔ
ɹIUUQDPNDPNDTBJMNJUFEVDPNDPN4V4-JL
طଘݚڀ4VT-JD ͷݶք ิॿ͖ؔϓϩάϥϜΛੜͰ͖ͳ͍ ྫҎԼͷੜࣦഊ͢Δ ˎMJTUBQQFOEΛߦ͏࠶ؼతͳ͕ؔඞཁʹͳΔҝ Ұൠతʹɺิॿؔͷ༷ΛࣗಈͰݟ͚ͭΔͷ͍͠ ɹূ໌୳ࡧͷ؍Ͱɺؼೲ๏͕ճΔΑ͏ʹదʹิΛੜ͢Δ͜ͱʹରԠ
ఏҊख๏
ఏҊख๏ w DZDMJDQSPPGΛ༻͍ͯ ͱ͍͏ਪମܥΛߟҊ w 4VT-J,ͷ Λ֦ு w ্Ͱূ໌Λ୳ࡧ͠ɺϓϩάϥϜΛੜ͢Δ w
ิॿ͖ؔϓϩάϥϜͷੜ͕Մೳʹ SSL↺ SSL SSL↺
$ZDMJDQSPPG "O*OUSPEVDUJPOUP$ZDMJD1SPPGTΑΓ IUUQXXXDTVDMBDVLTUB ff +#SPUIFSTUPOTMJEFT 1"3*4@'-P$@@@QBSUQEG ॥Λڐ͢ূ໌ମܥ ূ໌ͷ-FBG෦ͱผͷOPEFͷzCBDLMJOLz͕࡞ΕΔ w ॥ͷํʹ੍Λ՝͢
ɹɹʮ॥ͷதͰূ໌͕lਐΜͰ͍ΔzʯΈ͍ͨͳ੍ ˎࣗ༝ʹ॥ΛڐͤԿͰূ໌Ͱ͖ͯ͠·͏ w ূ໌୳ࡧͱͷ૬ੑ͕ྑ͍෦͕͋Δ w POEFNBOEʹؼೲ๏͕ճͤΔ
SSL↺ w ͷ֦ு w ҎԼͷ߲̐ؔΛಋग़͢Δূ໌ମܥ SSL Γ; 𝒫 ⇝ 𝒬
∣ c ࣄલ݅ ࣄޙ݅ มڥ ͔ Ͱଋറ ∀ ∃ ϓϩάϥϜ w ྫ w ߏจৄࡉ จͷ'JHVSF ∀r, s, x∃y; {r ↦ x * tree(x, s)} ⇝ {r ↦ y * sll(y, s)} ∣ fl BUUFO S
ͷಋग़نଇൈਮ SSL↺ ʹಉ༷ͳͷ͋Δͷ SSL
ͷಋग़نଇൈਮ SSL↺ ಠࣗͷͷ ؔݺͼग़͠पΓ ͜Εؔݺͼग़͠ͷ४උͷͨΊͷSVMFɹ 8SJUFϧʔϧ Λಋ༷͘ʹ͔͑͠ͳ͍ͷͰඞཁ Q ؔݺͼग़͠ ࣗମ͕ੜͷରʹͳ͍ͬͯΔ
f(¯ x)
USFF'MBUUFOͷಋग़ w fl BUUFOͷ࠶ؼݺͼग़͠ʹରԠ w ิॿؔBQQFOEͷ࠶ؼʹରԠ
w BQQFOEҎԼͷΑ͏ʹൃݟ͞ΕΔ ೋͭͷ Λͨ͠ޙ B Λ͞Βʹల։3FBEͨ͠ޙ C C ͔Β B ͷ$BMM͕ద༻Ͱ͖Δ͜ͱʹؾ͘ D ͷ༷ʹQSPDΛૠೖ͠CBDLMJOLΛ࡞Δ flatten() sll(yl, sl )
ؔݺͼग़͠ͷੜ ީิΛ fi Y͞Ε্ͨͰɺҎԼͷඇܾఆੑ͕͋Δ w ೖ w Γύʔτ ͷબ
w TFUVQ෦ ͷੜ σ R c1 ީิͱͳΔCBDLMJOLઌ DPNQBOJPO શͯΛࢼ͢
ؔݺͼग़͠ͷੜ S` Y`GSFTIͳ ଋറ͞Εͨม ∃ ͷTVCTFU QSFIFBQ͕ͬͯྑ͍WFSTJPOͷFNQنଇ Ͱผ్ੜΛղ͘ SSL↺
ྫࠨਤͷ ͷ෦ͷੜ ͷಋग़͔Β FNQنଇͰͬͨ෦͕ TFUVQϓϩάϥϜ ͕ಘΒΕΔ ∃ σ R c
ධՁ
࣮ݧ݁Ռ w ࠶ؼతͳิॿ͖ؔͷϓϩάϥϜ w ࠨਤͷͱҎ֎ w zDPNQMFYUFSNJOBUJPONFUSJDzΛඞཁͱ ͢Δͷ w ͱ
w ૬ޓ࠶ؼతͳϓϩάϥϜ w w ͱ͕૬ޓ࠶ؼʹͳΔͷਓؒͷ ײ֮ͱͣΕΔʣ ༷ʑͳlෳࡶͳzϓϩάϥϜͷੜʹޭ
ϕϯνϚʔΫྫMJTUJOQMBDFTPSU
ϕϯνϚʔΫྫMJTUJOQMBDFTPSU ༨ஊTPSUͷఆ͕ٛΑ͔͘Βͳ͍ ˣͳͲͰμϝͳͷ͔ 5FDIOJDBMQBQFSͷ"QQFOEJOH$ʹҎԼͷهࡌ
ϕϯνϚʔΫྫVOJRVFMJTUJOUFSTFDUJPO ҎԼͷΑ͏ͳTJNQMFͳ༷Ͱੜʹࣦഊ͢Δ ҎԼͷΑ͏ͳFMFN͕ؔੜͰ͖Εྑ͍͕ɺ ख๏ͷݶքΛ͑Δ ͜ͷ࣌ͰɺZEFTUSVDUͯ͠ΔͷͰYΛSʹՃ͑ͯྑ͍͔Δखஈ͕ͳ͍ ҎԼͷΑ͏ʹ୳ࡧ͢Δ͕ɺɺ
ϕϯνϚʔΫྫVOJRVFMJTUJOUFSTFDUJPO ZΛEFTUSVDU͠ͳ͍Α͏QPTUDPOEJUJPOʹڧΊΕޭ͢Δ ͕ɺҎԼͷΑ͏ͳzී௨ͷz࣮ੜ͞Εͳ͍ʢͰ͖ͳ͍ʣ ͜͜Ͱิॿؔͷ༷ͷQSFDPOEJUJPOͷ݅Λ؇ΊΔඞཁ͕͋ΓɺఏҊख๏ͰͰ͖ͳ͍ ΘΓʹɺzී௨ͱఔԕ͍zϓϩάϥϜ͕ੜ͞ΕΔ ஶऀୡͰ͢ΒผͷϓϩάϥϜݕূػΛͬͯਖ਼͠͞Λ͔֬ΊΔఔ
MJNJUBUJPO w ੜͰ͖Δิॿؔʹ੍ݶ͋Γ w ৽ͨͳEBUBߏΛ͏ͷɺBDDVNVMBUPSͳͲՃҾΛ͏Α͏ͳͷੜ Ͱ͖ͳ͍ w ิॿؔͷ༷ΛదʹzҰൠԽzͰ͖ͳ͍ʢJOUFSTFDUͷྫʹ༷͋ͬͨʹʣ w ੜίʔυͷύϑΥʔϚϯεอূ͞Εͳ͍
w MPPQͷαϙʔτ͕ͳ͍ w ඌ࠶ؼΛੜ͢ΔΈΛ࡞Εྑ͍͕ɺదͳBDDVNVMBUPSΛੜ͢Δඞཁ͕ ͋Δͷ͕͍͠
·ͱΊ w ࠶ؼతͳิॿؔΛؚΉIFBQNBOJQVMBUJOHQSPHSBNͷࣗಈੜ w $ZDMJD1SPPGͷٕज़ΛϓϩάϥϜ߹ʹԠ༻ w ϓϩάϥϜ߹πʔϧʢ$ZQSFTTʣΛ࣮ w ૬ޓ࠶ؼؚΉิॿ͖ؔϓϩάϥϜͷੜʹޭ