mk18

7 Contribution

/ Following users

インフラからデザインまで。ワンストップでWEBアプリケーション開発しているエンジニア。メインはPHP/Laravelでの業務系システム開発。WordpressやAugnlarあたりも守備範囲。自称「穴埋め係」でGoogleやQiitaに無かった記事を書くことが多いので、誰得なマニアックな記事が多いです(*´ω`*)    園芸が好きで「多肉植物図鑑PUKUBOOK」を制作し編集長をしています。

どうも、Lua神です。 元ネタ⇒ https://ifritjp.github.io/blog/site/2019/03/16/lua.html

iOS, Android Engineer

https://github.com/nobeans

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