猛 安本

Coiney / Backend Engineer

猛 安本

Coiney / Backend Engineer

東京都

猛 安本

Coiney / Backend Engineer

あなたも Wantedly で
プロフィールを作りませんか?

これまでの経歴を、あなたの想いや挑戦とともに表現しよう。

いますぐ作る

Strategy-class Engineer

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

未来

この先やってみたいこと

未来

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

2017年6月
-
2018年10月

執行役員 CTO

2017年6月 - 2018年10月

執行役員 CTO

2017年6月 - 2018年10月

2012年

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

2012年

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

2012年

2009年3月

九州大学

工学部電気情報工学科

2009年3月

九州大学

工学部電気情報工学科

2009年3月

Backend Engineer
現在

現在

Backend Engineer

現在

SAT Competition Core Solvers, Sequential, MiniSAT Hack-track, Application SAT+UNSAT Gold Medal

2013年6月

ベンチャリスト

SAT Competitions

充足可能性問題(SAT問題) の解を導くためのソフトウェアである SAT Solver の速さを競い合う世界大会が毎年開かれています。 問題セットや制約などで、様々なトラックが分かれているのですが、 その2013年の大会の「Core Solvers, Sequential, MiniSAT Hack-track, Application SAT+UNSAT」というトラックで金メダルを取得しました。

Webエンジニア
現在

現在

Webエンジニア

現在


スキルと特徴

Ruby

0

Python

0

Java

0

PHP

0

JavaScript

0

Accomplishments/Portfolio

ベンチャリスト

SAT Competitions

Awards and Certifications

プロジェクトマネージャー

2015年4月

ネットワークスペシャリスト

2014年10月

情報セキュリティスペシャリスト

2013年10月

SAT Competition Core Solvers, Sequential, MiniSAT Hack-track, Application SAT+UNSAT Gold Medal

2013年6月

応用情報技術者

2010年4月


言語

英語 - ビジネス会話, 日本語 - ネイティブ