@todays_mitsui

Webとかデザインとかをやっています。インターネットが好きです。

Writer/Editor

.｡oO(さっちゃんですよヾ(〃l _ l)ﾉﾞ☆) 記事はQiitaには書きません。

Rubyのパパ

#ありがとうコンパイルエラー 記事は公開当時の個人の認識または見解に基づくものであり、所属する組織の見解や認識を示すものではありません。また、現在の状況にそぐわない内容・表現である可能性があります。

Designer of esa, LLC

Haskellプログラマです。

nariさん

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

グラフィックデザイナーですが、Luaとjsをちょこちょこ書いています。