Download as PDF, PPTX
![DeNA TechCon 2020
#denatechcon
assert parentAfterCommit {
all b, b': Branch {
commit [b, b'] => (b.co).^parent in (b'.co).^parent
}
}
check parentAfterCommit](https://image.slidesharecdn.com/techconformalmethod-200317051748/75/DeNA-TechCon-2020-141-2048.jpg)
Uploaded byDeNA
仕様起因の手戻りを減らして開発効率アップを目指すチャレンジ 【DeNA TechCon 2020 ライブ配信】
Dena TechCon 2020 features discussions and presentations under the hashtag #denatechcon, focusing on advancements in technology and innovation. Various online resources and events related to the conference are linked throughout the document. The content emphasizes the commitment of participants and sponsors to contribute to the tech community.
![タクシーxAIを支えるKubernetesとAIデータパイプラインの信頼性の取り組みについて [SRE NEXT 2020]](https://cdn.slidesharecdn.com/ss_thumbnails/202001srenext-200125032719-thumbnail.jpg?width=640&height=640&fit=bounds)
![後部座席タブレットにおけるMaaS時代を見据えた半歩先のUX設計」 [MOBILITY:dev]](https://cdn.slidesharecdn.com/ss_thumbnails/20191031mobilitydevyoneyama-191031085554-thumbnail.jpg?width=640&height=640&fit=bounds)
![ドライブレコーダ映像からの3次元空間認識 [MOBILITY:dev]](https://cdn.slidesharecdn.com/ss_thumbnails/20191031mobilitydevmiyazawa-191031085336-thumbnail.jpg?width=640&height=640&fit=bounds)
![MOVで実践したサーバーAPI実装の超最適化について [MOBILITY:dev]](https://cdn.slidesharecdn.com/ss_thumbnails/20191031mobilitydevera-191031084650-thumbnail.jpg?width=640&height=640&fit=bounds)
![課題ドリブン、フルスタックAI開発術 [MOBILITY:dev]](https://cdn.slidesharecdn.com/ss_thumbnails/20191031mobilitydevkuzuoka-191031073741-thumbnail.jpg?width=640&height=640&fit=bounds)
![DeNAのQCTマネジメント IaaS利用のベストプラクティス [AWS Summit Tokyo 2019]](https://cdn.slidesharecdn.com/ss_thumbnails/aws-summit-tokyo-2019-kei-190617011042-thumbnail.jpg?width=640&height=640&fit=bounds)
仕様起因の手戻りを減らして開発効率アップを目指すチャレンジ 【DeNA TechCon 2020 ライブ配信】
- 1.
- 2.
- 3.
- 4.
- 5.
- 6.
- 7.
- 8.
- 9.
- 10.
- 11.
- 12.
- 13.
- 14.
- 15.
- 16.
- 17.
- 18.
- 19.
- 20.
- 21.
- 22.
- 23.
- 24.
- 25.
- 26.
- 27.
- 28.
- 29.
- 30.
- 31.
- 32.
- 33.
- 34.
- 35.
- 36.
- 37.
- 38.
- 39.
- 40.
- 41.
- 42.
- 43.
- 44.
- 45.
- 46.
- 47.
- 48.
- 49.
- 50.
- 51.
- 52.
- 53.
- 54.
- 55.
- 56.
- 57.
- 58.
- 59.
- 60.
- 61.
- 62.
- 63.
- 64.
- 65.
- 66.
- 67.
- 68.
- 69.
- 70.
- 71.
- 72.
- 73.
- 74.
- 75.
- 76.
- 77.
- 78.
- 79.
- 80.
- 81.
- 82.
- 83.
- 84.
- 85.
- 86.
- 87.
- 88.
- 89. DeNA TechCon 2020 #denatechcon DeNA https://www.slideshare.net/sairoutine/dena-oyakata
- 90.
- 91.
- 92.
- 93.
- 94.
- 95.
- 96.
- 97.
- 98.
- 99.
- 100.
- 101.
- 102.
- 103.
- 104.
- 105.
- 106.
- 107.
- 108.
- 109.
- 110.
- 111.
- 112.
- 113.
- 114. DeNA TechCon 2020 #denatechcon b b'b b' b b'
- 115. DeNA TechCon 2020 #denatechcon sigBranch { co: one Commit } sig Commit {} pred commit (b, b': Branch) { b'.co not = b.co } run commit
- 116.
- 117.
- 118.
- 119.
- 120.
- 121.
- 122.
- 123. DeNA TechCon 2020 #denatechcon sigBranch { co: one Commit } sig Commit { parent: one Commit } pred commit (b, b': Branch) { b'.co.parent = b.co b'.co not = b.co } run commit
- 124.
- 125. DeNA TechCon 2020 #denatechcon sigBranch { co: one Commit } sig Commit { parent: one Commit } pred commit (b, b': Branch) { b'.co.parent = b.co b'.co not = b.co } run commit
- 126. DeNA TechCon 2020 #denatechcon sigBranch { co: one Commit } sig Commit { parent: one Commit } pred commit (b, b': Branch) { b'.co.parent = b.co b'.co not = b.co } run commit
- 127.
- 128. DeNA TechCon 2020 #denatechcon sigBranch { co: one Commit } sig Commit { parent: lone Commit } pred commit (b, b': Branch) { b'.co.parent = b.co b'.co not = b.co } run commit
- 129.
- 130.
- 131.
- 132.
- 133.
- 134. DeNA TechCon 2020 #denatechcon sigBranch { co: one Commit } fact { no iden & ^parent } sig Commit { parent: lone Commit } pred commit (b, b': Branch) { b'.co.parent = b.co b'.co not = b.co } run commit
- 135.
- 136.
- 137.
- 138. DeNA TechCon 2020 #denatechcon sigBranch { co: one Commit } fact { one c: Commit | no c.parent no iden & ^parent } sig Commit { parent: lone Commit } pred commit (b, b': Branch) { b'.co.parent = b.co b'.co not = b.co } run commit
- 139.
- 140.
- 141. DeNA TechCon 2020 #denatechcon assertparentAfterCommit { all b, b': Branch { commit [b, b'] => (b.co).^parent in (b'.co).^parent } } check parentAfterCommit
- 142. DeNA TechCon 2020 #denatechcon Executing"Check parentAfterCommit" Solver=sat4j Bitwidth=4 MaxSeq=4 SkolemDepth=1 Symmetry=20 405 vars. 30 primary vars. 810 clauses. 108ms. No counterexample found. Assertion may be valid. 15ms.
- 143.
- 144.
- 145.
- 146.
- 147.
- 148.
- 149.
- 150.
- 151.
- 152.
- 153.
- 154.
- 155.
- 156.
- 157.
- 158.
- 159.
- 160.
- 161.
- 162.
- 163.
- 164.
- 165.
- 166.
- 167.
- 168.