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.5k
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.8k
PLDI '21論文読み会: AKG: Automatic Kernel Generation for Neural Processing Units using Polyhedral Transformations
ideininc
0
1.6k
PLDI '21論文読み会: Specification Synthesis with Constrainted Horn Clauses
ideininc
0
1.5k
PLDI '21論文読み会: High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations
ideininc
0
1.5k
PLDI '21論文読み会: Quantum Abstract Interpretation
ideininc
0
1.5k
PLDI '21論文読み会: Provable Repair of Deep Neural Networks
ideininc
2
1.7k
会社紹介資料/Idein株式会社
ideininc
0
41k
Other Decks in Research
See All in Research
20250624_熊本経済同友会6月例会講演
trafficbrain
1
290
Large Language Model Agent: A Survey on Methodology, Applications and Challenges
shunk031
12
8.3k
データサイエンティストの採用に関するアンケート
datascientistsociety
PRO
0
1k
RHO-1: Not All Tokens Are What You Need
sansan_randd
1
120
「エージェントって何?」から「実際の開発現場で役立つ考え方やベストプラクティス」まで
mickey_kubo
0
120
When Submarine Cables Go Dark: Examining the Web Services Resilience Amid Global Internet Disruptions
irvin
0
220
さくらインターネット研究所 アップデート2025年
matsumoto_r
PRO
0
660
SatCLIP: Global, General-Purpose Location Embeddings with Satellite Imagery
satai
3
220
利用シーンを意識した推薦システム〜SpotifyとAmazonの事例から〜
kuri8ive
1
210
ノンパラメトリック分布表現を用いた位置尤度場周辺化によるRTK-GNSSの整数アンビギュイティ推定
aoki_nosse
0
320
Looking for Escorts in Sydney?
lunsophia
1
120
Computational OT #4 - Gradient flow and diffusion models
gpeyre
0
300
Featured
See All Featured
Visualization
eitanlees
146
16k
Scaling GitHub
holman
459
140k
Bash Introduction
62gerente
614
210k
Navigating Team Friction
lara
187
15k
Performance Is Good for Brains [We Love Speed 2024]
tammyeverts
10
950
Gamification - CAS2011
davidbonilla
81
5.3k
Design and Strategy: How to Deal with People Who Don’t "Get" Design
morganepeng
130
19k
A Modern Web Designer's Workflow
chriscoyier
694
190k
Understanding Cognitive Biases in Performance Measurement
bluesmoon
29
1.8k
Faster Mobile Websites
deanohume
307
31k
"I'm Feeling Lucky" - Building Great Search Experiences for Today's Users (#IAC19)
danielanewman
229
22k
The Illustrated Children's Guide to Kubernetes
chrisshort
48
50k
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 ૬ޓ࠶ؼؚΉิॿ͖ؔϓϩάϥϜͷੜʹޭ