浜中 健太
バックエンドエンジニア / 株式会社フィックスポイント
400万人が利用する会社訪問アプリ
浜中 健太
バックエンドエンジニア / 株式会社フィックスポイント
わかることをわかりやすく
中高生のときからわからないことがあるととことん追求するタイプで、いろいろな説明を考えては友達とわかる楽しさを共有していました。大学では、プログラミングを武器に数学や論理学、物理などを教え合うサークル「計算研究会」を立ち上げ、チームでプログラミング能力を競い合うICPCというコンテストで国内予選を突破し、アジア大会で成績を残しています。大学院では数学を使ったプログラム検証の研究を行う傍ら、自分の知識や技
この先やってみたいこと
未来
自分の知らない世界で、自分が持っている知識・技能を最大限生かしてどんなことができるかを考えています。いろいろな知識が複合的に交差するようなところからどんどん学んでいきたいです。
バックエンドエンジニア3年間
株式会社フィックスポイント現在
- 現在
総合研究大学院大学5年間
情報学専攻
-
分離論理によるポインタエラーの検証
N Code Labo 講師1年間
プログラミング講師（副業）
-
N Code Labo(https://n-codelabo.jp/)の講師として新宿キャンパスで中高生にプログラミング(Unity/C#/Python)を教えています。N/S高等学校のTAも兼任しています。
三重大学5年間
工学部情報工学科
-
型理論による算術アルゴリズムの検証
スキルと特徴
実績
受賞と資格
言語
- 日本語 - ネイティブレベル
- 英語 - ビジネス会話レベル