Takeichi Yuki

Android, Java, Perl, Scala, Play Framework, CoffeeScript, Smalltalk, JavaFX, Groovy, AWS, Docker

grpc-gatewayというのを作ったり、『初めてのRuby』という本を書いたりした。界面と統合が好き

D言語とか出来ます

サンフランシスコ周辺に生息しているSoftware Engineer。DeployGateを作った中の人。ハードからソフト、木工や金属加工まで、DIYやモノづくりが大好きです。趣味はワインと料理、電子工作、ダイエット。

戀塚昭彦

@hatoneです。

Coqなどによるプログラムの正しさの検証・証明に興味があります。