Personal Information
Organização/Local de trabalho
Tokyo Japan
Cargo
programmer
Marcadores
computer science
functional programming
haskell
parallel computing
randomized algorithm
competitive programming
algorithm
computational geometry
delaunay triangulation
coq
type theory
proof assistant
c#
actor model
process calculus
process algebra
concurrent computing
wikipedia
open mpi
mpi
programming padadigm
probability
quick sort
programming
Ver mais
Apresentações
(12)Gostaram
(13)SATySFi 最近の発展と目下実装中の変更
T. Suwa
•
Há 2 anos
研究の呪い
Hitoshi Nishikawa
•
Há 2 anos
双対性
Yoichi Iwata
•
Há 6 anos
スタートアップを始める前に
Takaaki Umada
•
Há 8 anos
逆説のスタートアップ思考
Takaaki Umada
•
Há 7 anos
A 5 security x line platform
LINE Corporation
•
Há 7 anos
Lambda in template_final
Cryolite
•
Há 10 anos
Metaprogramming in Haskell
Hiromi Ishii
•
Há 13 anos
C#の強み、或いは何故PHPから乗り換えるのか
Yoshifumi Kawai
•
Há 10 anos
中3女子でもわかる constexpr
Genya Murakami
•
Há 12 anos
Cartesian Closed Category
Sosuke MORIGUCHI
•
Há 12 anos
Introduction to Categorical Programming (Revised)
Masahiro Sakai
•
Há 14 anos
Agda 入門@ProofSummit 2011
ikegami__
•
Há 12 anos
Personal Information
Organização/Local de trabalho
Tokyo Japan
Cargo
programmer
Marcadores
computer science
functional programming
haskell
parallel computing
randomized algorithm
competitive programming
algorithm
computational geometry
delaunay triangulation
coq
type theory
proof assistant
c#
actor model
process calculus
process algebra
concurrent computing
wikipedia
open mpi
mpi
programming padadigm
probability
quick sort
programming
Ver mais