Masaki Hara
14 SlideShares 98 Followers 84 Folgens
Personal Information
Unternehmen/Arbeitsplatz
Hachioji, Tokyo, Japan Japan
Beruf
IOI2011
Info
IOI 2010 (Canada) contestant IOI 2011 (Thaland) contestant Twitter: http://twitter.com/qnighy G+: http://gplus.to/qnighy
Kontaktdetails
Tags
computer science programming contest mathematics programming data structure intuitionistic logic proof search neta
Mehr anzeigen

Präsentationen

(14)
Alle anzeigen

joi2012-sp-day2-broadcasting

Vor 12 Jahren • 1277 Aufrufe

書くネタがCoqしかない

Vor 11 Jahren • 4862 Aufrufe

Coqでsprintf

Vor 11 Jahren • 724 Aufrufe

Coqでsprintf

Vor 11 Jahren • 1258 Aufrufe

永続データ構造が分からない人のためのスライド

Vor 11 Jahren • 4971 Aufrufe

Re永続データ構造が分からない人のためのスライド

Vor 11 Jahren • 13213 Aufrufe

Proving Decidability of Intuitionistic Propositional Calculus on Coq

Vor 11 Jahren • 2388 Aufrufe

Spaceships 解説

Vor 11 Jahren • 4046 Aufrufe

“A ::= aAa / a” in PEG

Vor 10 Jahren • 1696 Aufrufe

いろいろな問題の解説

Vor 10 Jahren • 1990 Aufrufe

ご静聴ありがとうございました

Vor 10 Jahren • 3754 Aufrufe

Coqの公理

Vor 8 Jahren • 2449 Aufrufe

How I Contribute to Rust Compiler

Vor 5 Jahren • 1004 Aufrufe

You won't know it's now Rust

Vor 5 Jahren • 1230 Aufrufe

Gefällt mir

(2)

Fontconfigことはじめ

Takao Baba • Vor 10 Jahren

Application letter 1

Ana Laura Lopez Ataides • Vor 11 Jahren
Personal Information
Unternehmen/Arbeitsplatz
Hachioji, Tokyo, Japan Japan
Beruf
IOI2011
Info
IOI 2010 (Canada) contestant IOI 2011 (Thaland) contestant Twitter: http://twitter.com/qnighy G+: http://gplus.to/qnighy
Tags
computer science programming contest mathematics programming data structure intuitionistic logic proof search neta
Mehr anzeigen