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速習会3
Avatar for Masaki Hara qnighy
16
5.1k
Rust速習会2
Avatar for Masaki Hara qnighy
19
6.9k
Rust速習会1.pdf
Avatar for Masaki Hara qnighy
35
6.6k
Interpreters in Rust compiler
Avatar for Masaki Hara qnighy
9
2.9k
You won't know it's now Rust
Avatar for Masaki Hara qnighy
2
7.8k
How I Contribute to Rust Compiler
Avatar for Masaki Hara qnighy
2
1k
Coqの公理
Avatar for Masaki Hara qnighy
0
330
いろいろな問題の解説
Avatar for Masaki Hara qnighy
0
200
“A ::= aAa / a” in PEG
Avatar for Masaki Hara qnighy
0
210
Spaceships 解説
Avatar for Masaki Hara qnighy
0
200
Proving Decidability of Intuitionistic Propositional Calculus on Coq
Avatar for Masaki Hara qnighy
2
440
永続データ構造が分からない人のためのスライド
Avatar for Masaki Hara qnighy
1
470
Coqでsprintf
Avatar for Masaki Hara qnighy
2
180
書くネタがCoqしかない
Avatar for Masaki Hara qnighy
1
160
joi2012-sp-day2-broadcasting
Avatar for Masaki Hara qnighy
1
210

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

OSZAR »