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.4k
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
1
1.6k
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.4k
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.3k
PLDI '21論文読み会: Provable Repair of Deep Neural Networks
ideininc
2
1.6k
Idein会社紹介資料(積極採用中)
ideininc
0
31k
Other Decks in Research
See All in Research
DiscordにおけるキャラクターIPを活用したUGCコンテンツ生成サービスの ラピッドプロトタイピング ~国際ハッカソンでの事例研究
o_ob
0
220
Weekly AI Agents News! 7月号 論文のアーカイブ
masatoto
1
190
SSII2024 [TS1] 生成AIと3次元ビジョン ~3次元生成AIの最先端の理論~
ssii
PRO
1
1.3k
クラウドソーシングによる学習データ作成と品質管理(セキュリティキャンプ2024全国大会D2講義資料)
takumi1001
0
200
出生抑制策と少子化
morimasao16
0
410
WikipediaやYouTubeにおける論文参照 / joss2024
corgies
1
250
【ICASSP2024】音声変換に関する全論文まとめ【Parakeet株式会社】
supikiti
0
720
言語処理学会30周年記念事業留学支援交流会@YANS2024:「学生のための短期留学」
a1da4
1
210
自動運転・AIシステムの問題を賢く探す・賢く直す / Smart Search & Repair Techniques for Automated Driving Systems and AI Systems
ishikawafyu
0
200
秘伝:脆弱性診断をうまく活用してセキュリティを確保するには
okdt
PRO
2
700
20240918 交通くまもとーく 未来の鉄道網編(こねくま)
trafficbrain
0
120
ミニ四駆AI用制御装置の事例紹介
aks3g
0
130
Featured
See All Featured
No one is an island. Learnings from fostering a developers community.
thoeni
19
2.9k
BBQ
matthewcrist
84
9.2k
Dealing with People You Can't Stand - Big Design 2015
cassininazir
364
22k
Web Components: a chance to create the future
zenorocha
310
42k
Principles of Awesome APIs and How to Build Them.
keavy
126
17k
WebSockets: Embracing the real-time Web
robhawkes
59
7.3k
The Straight Up "How To Draw Better" Workshop
denniskardys
231
130k
Automating Front-end Workflow
addyosmani
1365
200k
CoffeeScript is Beautiful & I Never Want to Write Plain JavaScript Again
sstephenson
158
15k
Optimising Largest Contentful Paint
csswizardry
31
2.8k
Web development in the modern age
philhawksworth
205
10k
Large-scale JavaScript Application Architecture
addyosmani
509
110k
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 ૬ޓ࠶ؼؚΉิॿ͖ؔϓϩάϥϜͷੜʹޭ