Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
Featured
Business
Design
Education
How-to & DIY
Marketing & SEO
Programming
Research
Science
Storyboards
Technology
Starred by kobaryo
artoy
View profile
seccamp2025_LT_デコンパイラ研究最前線
kikyonanakusa
7
2.2k
Effect の双対、Coeffect
yukikurage
6
1.7k
形式手法特論:位相空間としての並行プログラミング #kernelvm / Kernel VM Study Tokyo 18th
ytaka23
3
1.6k
Haskell でアルゴリズムを抽象化する / 関数型言語で競技プログラミング
naoya
19
6.1k
リバースエンジニアリング新時代へ! GhidraとClaude DesktopをMCPで繋ぐ/findy202507
tkmru
8
1.9k
エンジニアのための事業貢献入門/A business introduction for engineers
dskst
88
26k
とあるSREの博士「過程」 / A Certain SRE’s Ph.D. Journey
yuukit
9
4.1k
AI時代のソフトウェア開発を考える(2025/07版) / Agentic Software Engineering Findy 2025-07 Edition
twada
PRO
143
65k
AIと共に進化する開発手法: 形式手法と関数型プログラミングの可能性
itohiro73
18
7.3k
AWS のポリシー言語 Cedar を活用した高速かつスケーラブルな認可技術の探求 #phperkaigi / PHPerKaigi 2025
ytaka23
11
2.7k
Type Theory as a Formal Basis of Natural Language Semantics
daikimatsuoka
1
280
データの整合性を保つ非同期処理アーキテクチャパターン / Async Architecture Patterns
mokuo
61
23k
普通の Web エンジニアのための様相論理入門 #yapcjapan / YAPC Hakodate 2024
ytaka23
11
3.3k
embedパッケージを深掘りする / Deep Dive into embed Package in Go
task4233
2
450
30分でわかる「リスクから学ぶKubernetesコンテナセキュリティ」/30min-k8s-container-sec
mochizuki875
3
700
【NLPコロキウム】LLMに論理推論を教えられるか?- 人工コーパスを用いたアプローチ -
morishtr
4
530
NilAway による静的解析で「10 億ドル」を節約する #kyotogo / Kyoto Go 56th
ytaka23
4
710
無自覚にメンバーの心理的安全性を奪っていた経験から得た学び
lighttiger2505
159
210k
‹ Prev
Next ›