Featured
Business
Design
Education
How-to & DIY
Marketing & SEO
Programming
Research
Science
Storyboards
Technology

Masaki Hara

qnighy
3 Stars

Decks

Rust速習会3
qnighy
16
5k
Rust速習会2
qnighy
19
6.8k
Rust速習会1.pdf
qnighy
35
6.4k
Interpreters in Rust compiler
qnighy
9
2.8k
You won't know it's now Rust
qnighy
2
7.7k
How I Contribute to Rust Compiler
qnighy
2
990
Coqの公理
qnighy
0
320
いろいろな問題の解説
qnighy
0
190
“A ::= aAa / a” in PEG
qnighy
0
210
Spaceships 解説
qnighy
0
190
Proving Decidability of Intuitionistic Propositional Calculus on Coq
qnighy
2
410
永続データ構造が分からない人のためのスライド
qnighy
1
450
Coqでsprintf
qnighy
2
170
書くネタがCoqしかない
qnighy
1
150
joi2012-sp-day2-broadcasting
qnighy
1
210

Speaker Deck Pro: Add privacy options and schedule the publishing of your decks Upgrade