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
ASSADS:ASMR動画に合わせて撫でられる感覚を提示するシステムの開発と評価 / ec75-shimizu
yumulab
1
370
生成的推薦の人気バイアスの分析:暗記の観点から / JSAI2025
upura
0
170
Introduction of NII S. Koyama's Lab (AY2025)
skoyamalab
0
480
ウッドスタックチャン:木材を用いた小型エージェントロボットの開発と印象評価 / ec75-sato
yumulab
1
400
SSII2025 [SS2] 横浜DeNAベイスターズの躍進を支えたAIプロダクト
ssii
PRO
6
3.4k
Agentic AIとMCPを利用したサービス作成入門
mickey_kubo
0
230
Scale-Aware Recognition in Satellite images Under Resource Constraints
satai
3
320
近似動的計画入門
mickey_kubo
4
950
Type Theory as a Formal Basis of Natural Language Semantics
daikimatsuoka
1
220
言語モデルによるAI創薬の進展 / Advancements in AI-Driven Drug Discovery Using Language Models
tsurubee
2
370
作業記憶の発達的特性が言語獲得の臨界期を形成する(NLP2025)
chemical_tree
2
590
Adaptive fusion of multi-modal remote sensing data for optimal sub-field crop yield prediction
satai
3
210
Featured
See All Featured
Music & Morning Musume
bryan
46
6.6k
The Web Performance Landscape in 2024 [PerfNow 2024]
tammyeverts
8
660
Fantastic passwords and where to find them - at NoRuKo
philnash
51
3.3k
Facilitating Awesome Meetings
lara
54
6.4k
Testing 201, or: Great Expectations
jmmastey
42
7.5k
Into the Great Unknown - MozCon
thekraken
39
1.8k
KATA
mclloyd
29
14k
How to Create Impact in a Changing Tech Landscape [PerfNow 2023]
tammyeverts
53
2.8k
GraphQLの誤解/rethinking-graphql
sonatard
71
11k
JavaScript: Past, Present, and Future - NDC Porto 2020
reverentgeek
48
5.4k
Mobile First: as difficult as doing things right
swwweet
223
9.7k
Chrome DevTools: State of the Union 2024 - Debugging React & Beyond
addyosmani
7
700
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 ૬ޓ࠶ؼؚΉิॿ͖ؔϓϩάϥϜͷੜʹޭ