三重大学 / 工学部情報工学科
三重大学で計算研究会を構成
プログラミング・数学・情報学を互いに教え合い、LTやプログラミングコンテストなどを目標に活動する計算研究会を作りました。
Kenta Hamanaka
バックエンドエンジニア / 株式会社フィックスポイント
Discover companies you will love
Kenta Hamanaka
バックエンドエンジニア / 株式会社フィックスポイント
わかることをわかりやすく
中高生のときからわからないことがあるととことん追求するタイプで、いろいろな説明を考えては友達とわかる楽しさを共有していました。大学では、プログラミングを武器に数学や論理学、物理などを教え合うサークル「計算研究会」を立ち上げ、チームでプログラミング能力を競い合うICPCというコンテストで国内予選を突破し、アジア大会で成績を残しています。大学院では数学を使ったプログラム検証の研究を行う傍ら、自分の知識や技
Ambition
In the future
自分の知らない世界で、自分が持っている知識・技能を最大限生かしてどんなことができるかを考えています。いろいろな知識が複合的に交差するようなところからどんどん学んでいきたいです。
バックエンドエンジニア2 years
株式会社フィックスポイントPresent
- Present
総合研究大学院大学5 years
情報学専攻
-
分離論理によるポインタエラーの検証
N Code Labo 講師1 year
プログラミング講師(Side)
-
N Code Labo(https://n-codelabo.jp/)の講師として新宿キャンパスで中高生にプログラミング(Unity/C#/Python)を教えています。N/S高等学校のTAも兼任しています。
三重大学5 years
工学部情報工学科
-
型理論による算術アルゴリズムの検証
Skills
+2 more
Accomplishments / Portfolio
Awards and Certifications
+1 more
言語
- Japanese - Native
- English - Professional