translate翻訳ツール

機械翻訳のため、内容の正確性を保証するものではありません。
正確な翻訳を希望する場合はこちらからバイリンガルを探してください。
arrow_downward
タイトル
メッセージの内容
タイトル
メッセージの内容
確認
メッセージの内容
Loading..
 

メッセージで相談する

  • schedule ステータス:
    受注可能
  • 評価 :
  • 受注実績 : 0件
  • ベトナム
  • お気に入り : 0件
スキル
ホームページ制作
ウェブシステム開発
モバイル/携帯アプリ開発
ソフトウェア開発
CMS・カート導入
業務系システム開発
言語
登録なし
  • 最終ログイン : 2015-06-23
  • 登録日 : 2015-06-23

自己紹介

3+ years of experience in full stack software engineer.
I'm an enthusiasm software developer. Always love to studying and solving challenges in IT projects such as program correctness proofs, optimization algorithms, decision support systems, mobile computing, mobile game.

I'm interested in formal methods and unified theories of programming languages. I believed in correctness proofs of programs through by mathematics predicates.

URL

入力されていません。