@ryutorion

元ゲーム開発者。ZOEシリーズメインプログラマー。レトロゲームエンジンPyxelの開発者。「ゲームで学ぶPython！ Pyxelではじめるレトロゲームプログラミング」著・監修

Webエンジニアです。BlenderとWebGLと漫画が大好きです ◆ソース http://github.com/naotaro0123 小ネタはこちらに投稿してます https://zenn.dev/naotaro0123

Haskellプログラマです。

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

nariさん

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