@topology-lab

MSX, X68000, C, Java, Android, libGDX, C#, Unity

Qiita公式アカウントです。Qiitaに関するお問い合わせに反応したり、お知らせなどを発信しています。

AWSネタを主に書いていきます。 こちらは個人の意見で会社とは関係ありません。お約束です。

negipo

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

戀塚昭彦

うたっておどれるプログラマーになりたいです

雑文やプログラムや企画書を書いて、糊口を凌いでます。