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

Masaki Hara

qnighy
3 Stars

Decks

Rust速習会4
Avatar for Masaki Hara qnighy
4
2.4k
Rust速習会3
Avatar for Masaki Hara qnighy
16
5.3k
Rust速習会2
Avatar for Masaki Hara qnighy
19
7.2k
Rust速習会1.pdf
Avatar for Masaki Hara qnighy
35
6.8k
Interpreters in Rust compiler
Avatar for Masaki Hara qnighy
9
3k
You won't know it's now Rust
Avatar for Masaki Hara qnighy
2
8k
How I Contribute to Rust Compiler
Avatar for Masaki Hara qnighy
2
1.1k
Coqの公理
Avatar for Masaki Hara qnighy
0
340
いろいろな問題の解説
Avatar for Masaki Hara qnighy
0
200
“A ::= aAa / a” in PEG
Avatar for Masaki Hara qnighy
0
230
Spaceships 解説
Avatar for Masaki Hara qnighy
0
200
Proving Decidability of Intuitionistic Propositional Calculus on Coq
Avatar for Masaki Hara qnighy
2
470
永続データ構造が分からない人のためのスライド
Avatar for Masaki Hara qnighy
1
540
Coqでsprintf
Avatar for Masaki Hara qnighy
2
210
書くネタがCoqしかない
Avatar for Masaki Hara qnighy
1
170
joi2012-sp-day2-broadcasting
Avatar for Masaki Hara qnighy
1
220

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