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