猛 安本
Coiney / Backend Engineer
猛 安本
Coiney / Backend Engineer
Profile
Connections
猛 安本
Coiney / Backend Engineer
Strategy-class Engineer
海外にいるため、フルリモートでの業務委託先を探しています。
In the future
Ambition
In the future
好きなことで、生きていく
2012
九州大学大学院システム情報科学府
2012
Mar 2009
九州大学
工学部電気情報工学科
Mar 2009
Backend EngineerPresent
Present
SAT Competition Core Solvers, Sequential, MiniSAT Hack-track, Application SAT+UNSAT Gold Medal
June 2013
SAT Competition Core Solvers, Sequential, MiniSAT Hack-track, Application SAT+UNSAT Gold Medal
June 2013
ベンチャリスト
ベンチャリスト
SAT Competitions
充足可能性問題(SAT問題) の解を導くためのソフトウェアである SAT Solver の速さを競い合う世界大会が毎年開かれています。 問題セットや制約などで、様々なトラックが分かれているのですが、 その2013年の大会の「Core Solvers, Sequential, MiniSAT Hack-track, Application SAT+UNSAT」というトラックで金メダルを取得しました。
SAT Competitions
充足可能性問題(SAT問題) の解を導くためのソフトウェアである SAT Solver の速さを競い合う世界大会が毎年開かれています。 問題セットや制約などで、様々なトラックが分かれているのですが、 その2013年の大会の「Core Solvers, Sequential, MiniSAT Hack-track, Application SAT+UNSAT」というトラックで金メダルを取得しました。
Skills and qualities
Ruby
0
Python
0
Java
0
PHP
0
JavaScript
0
Accomplishments/Portfolio
ベンチャリスト
SAT Competitions
Awards and Certifications
プロジェクトマネージャー
Apr 2015
ネットワークスペシャリスト
Oct 2014
情報セキュリティスペシャリスト
Oct 2013
SAT Competition Core Solvers, Sequential, MiniSAT Hack-track, Application SAT+UNSAT Gold Medal
June 2013
応用情報技術者
Apr 2010
Languages
English - Professional, Japanese - Native