PythonとかAlloy Analyzer、SPINとか触ってました。 HiveとかSQLもっと勉強したい

quantum many-body systems こちらは更新しません. Zennの方を見てください.

職業プログラマ。Goで遊んでいる人。 Qiita はめっきり読み専になってます。

どうも Neo です。