@rasuyuk

Ruby大好きです。七輪と旅行もスキーも大好きです。巨石遺跡に古代文明のロマンを感じている今日この頃です。

Ruby programmer

数学青春物語『数学ガール』の作者。プログラミング入門書や暗号入門書なども書いてます。

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

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

Hello, World.

こんにちわ

プログラミング学習サイトの運営などなど。ハイラル王国を徘徊中。