学生時代、趣味でCGI開発を始めたのがきっかけでプログラマーになりました。仕事で業務系開発、要件定義、検査などやってきて、現在はGoogleAppsScriptとRPAがメインです。 投稿は古いノートからネタを拾ってるので、誤りや最新情報のつっこみ大歓迎です。

インターネット (日本語圏) に情報が少ないニッチな (?) 内容を記事化します。 自分と同じ苦労をしないようにエンジニア数人にでも刺されば嬉しく思います。

A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.

よろしくお願いします。