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
Masaki Hara
qnighy
26 Decks
0 Following
6 Followers
3 Stars
Decks
Language
All Languages
한국인
Deutsch
English
Español
Français
Italiano
Português
Pусский
Svenska
Tiếng Việt
中文 (simplified)
中文 (traditional)
日本語
いろいろな問題の解説
qnighy
0
170
“A ::= aAa / a” in PEG
qnighy
0
180
Spaceships 解説
qnighy
0
180
Proving Decidability of Intuitionistic Propositional Calculus on Coq
qnighy
2
320
永続データ構造が分からない人のためのスライド
qnighy
1
410
Coqでsprintf
qnighy
2
140
書くネタがCoqしかない
qnighy
1
140
joi2012-sp-day2-broadcasting
qnighy
1
190
‹ Prev
Next ›
Speaker Deck Pro:
Add privacy options and schedule the publishing of your decks
Upgrade