Personal Information
Unternehmen/Arbeitsplatz
Tokyo Japan
Beruf
programmer
Webseite
twitter.com/shiatsumat
Tags
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
Mehr anzeigen
Präsentationen
(12)Gefällt mir
(13)SATySFi 最近の発展と目下実装中の変更
T. Suwa
•
Vor 2 Jahren
研究の呪い
Hitoshi Nishikawa
•
Vor 2 Jahren
双対性
Yoichi Iwata
•
Vor 6 Jahren
スタートアップを始める前に
Takaaki Umada
•
Vor 8 Jahren
逆説のスタートアップ思考
Takaaki Umada
•
Vor 7 Jahren
A 5 security x line platform
LINE Corporation
•
Vor 7 Jahren
Lambda in template_final
Cryolite
•
Vor 10 Jahren
Metaprogramming in Haskell
Hiromi Ishii
•
Vor 13 Jahren
C#の強み、或いは何故PHPから乗り換えるのか
Yoshifumi Kawai
•
Vor 10 Jahren
中3女子でもわかる constexpr
Genya Murakami
•
Vor 12 Jahren
Cartesian Closed Category
Sosuke MORIGUCHI
•
Vor 12 Jahren
Introduction to Categorical Programming (Revised)
Masahiro Sakai
•
Vor 14 Jahren
Agda 入門@ProofSummit 2011
ikegami__
•
Vor 12 Jahren
Personal Information
Unternehmen/Arbeitsplatz
Tokyo Japan
Beruf
programmer
Webseite
twitter.com/shiatsumat
Tags
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
Mehr anzeigen