Coderwall
Explore
Topics by Tech
Ruby
Python
JavaScript
Web
Tools
iOS
PHP
Android
.NET
Java
Software Categories
API gateway
Application security
Email gateway
Quick Links
Recent
Trending
Popular
Discover Topics
Topic Categories
Jobs
Explore
Discover Topics
Browse every programming topic
Topic Categories
Programming languages, frameworks and tools, grouped
Recent
Trending
Popular
Topics by Tech
Ruby
Python
JavaScript
Web
Tools
iOS
PHP
Android
.NET
Java
Software Categories
API gateway
Application security
Email gateway
Jobs
Sign In or Up
Joined December 2011
·
tmiya_
Takashi Miyamoto
Tokyo, JAPAN
·
·
0 Protips
0 Comments
0 Followed Topics
0 Followed Users
0 Followers
Takashi Miyamoto isn't following anyone yet.
Achievements
1 Karma
0
Followers
0 Total ProTip Views
Interests & Skills
Haskell
OCaml
Scala
Java
Maude
Alloy
Coq
Formal Methods