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
40k
Other Decks in Research
See All in Research
Self-supervised audiovisual representation learning for remote sensing data
satai
3
220
GeoCLIP: Clip-Inspired Alignment between Locations and Images for Effective Worldwide Geo-localization
satai
3
240
20250624_熊本経済同友会6月例会講演
trafficbrain
1
120
SatCLIP: Global, General-Purpose Location Embeddings with Satellite Imagery
satai
3
210
A multimodal data fusion model for accurate and interpretable urban land use mapping with uncertainty analysis
satai
3
220
Collaborative Development of Foundation Models at Japanese Academia
odashi
2
560
ストレス計測方法の確立に向けたマルチモーダルデータの活用
yurikomium
0
590
NLP Colloquium
junokim
1
150
最適決定木を用いた処方的価格最適化
mickey_kubo
4
1.7k
Ad-DS Paper Circle #1
ykaneko1992
0
5.5k
CSP: Self-Supervised Contrastive Spatial Pre-Training for Geospatial-Visual Representations
satai
3
210
Large Language Model Agent: A Survey on Methodology, Applications and Challenges
shunk031
12
8.2k
Featured
See All Featured
GitHub's CSS Performance
jonrohan
1031
460k
JavaScript: Past, Present, and Future - NDC Porto 2020
reverentgeek
48
5.4k
Designing Experiences People Love
moore
142
24k
The Pragmatic Product Professional
lauravandoore
35
6.7k
Being A Developer After 40
akosma
90
590k
The Art of Delivering Value - GDevCon NA Keynote
reverentgeek
15
1.5k
XXLCSS - How to scale CSS and keep your sanity
sugarenia
248
1.3M
Docker and Python
trallard
44
3.4k
Why Our Code Smells
bkeepers
PRO
337
57k
CSS Pre-Processors: Stylus, Less & Sass
bermonpainter
357
30k
Exploring the Power of Turbo Streams & Action Cable | RailsConf2023
kevinliebholz
34
5.9k
Intergalactic Javascript Robots from Outer Space
tanoku
271
27k
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 ૬ޓ࠶ؼؚΉิॿ͖ؔϓϩάϥϜͷੜʹޭ