猛 安本
Coiney / Backend Engineer東京都
Discover companies you will love
猛 安本
Coiney / Backend Engineer
Strategy-class Engineer
海外にいるため、フルリモートでの業務委託先を探しています。
Ambition
In the future
好きなことで、生きていく
/assets/images/1653147/original/5a428390-c3a1-41a4-bbca-88efb05086b4.jpeg?1496150604){kind=avatar}
playground株式会社1 year
執行役員 CTO
-
九州大学大学院システム情報科学府
九州大学
工学部電気情報工学科
/assets/images/841/original/b8b7c6fd-cc5f-461c-9d05-0f26bdf65110.jpeg?1475652625){kind=avatar}
Coiney
Backend EngineerPresent
- SAT Competitions
充足可能性問題(SAT問題) の解を導くためのソフトウェアである SAT Solver の速さを競い合う世界大会が毎年開かれています。 問題セットや制約などで、様々なトラックが分かれているのですが、 その2013年の大会の「Core Solvers, Sequential, MiniSAT Hack-track, Application SAT+UNSAT」というトラックで金メダルを取得しました。
パナソニック
フリーランス
WebエンジニアPresent
言語
- English - Professional
- Japanese - Native
