Kazuma Muramatsu

基本的にメモ置き場

アーティサン株式会社で元気よく PM とエンジニアしてます。 急に興味が出て、国際ユニヴァーサルデザイン協議会のＵＤ検定・中級を取りました。

Works: Web Developer Language: Ruby, Java, PHP

ジュエルペット

デジタルプロダクトデザイナー

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

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

Hello, World.

🤔

こんにちは。はてなでエンジニアをやっています。

PerlとEmacsが好きです。