猛 安本

Coiney / Backend Engineer

猛 安本

Coiney / Backend Engineer

猛 安本

Coiney / Backend Engineer

This user is using the new profile.

Join our Beta test to try out our new profile.

Join

Strategy-class Engineer

海外にいるため、フルリモートでの業務委託先を探しています。

In the future

Ambition

In the future

好きなことで、生きていく

June 2017
-
Oct 2018

執行役員 CTO

June 2017 - Oct 2018

2012

九州大学大学院システム情報科学府

2012

Mar 2009

九州大学

工学部電気情報工学科

Mar 2009

Backend Engineer
Present

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」というトラックで金メダルを取得しました。

Webエンジニア
Present

Present


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