東北大学大学院情報科学研究科卒。
大手メーカーで2年、AIスタートアップにて4年、車メーカー関連会社で1年のソフトウエア開発経験があります。
得意なことはC/C++/Pythonなどを用いたプログラム開発、特にソフトウエア高速化が得意です。
深層学習モデルの作成なども可能です。
通常のWeb開発などの最新の事情には疎いですが、通常必要な部分はカバーできると思います。
■技術PR
- 発表論文
- Specialization of Generic Array Accesses After Inlining https://arxiv.org/abs/1702.02283
関数型言語OCamlにおいて、JavaのGenericsのような型変数が関わる場合にArrayのランダムアクセス時の型チェックが除去できるのに除去されない場合を発見した。これを最適化するために問題を形式化し、OCamlコンパイラを改造し数値計算プログラムにおいて最大5%の高速化が実現した。
■勉強会(一部抜粋)
- コンパイラ勉強会 https://connpass.com/event/103976/
- 発表 VC4C: RaspberryPiのGPUを使うOSS OpenCLコンパイラ開発の現状と課題
- ML Day主催 https://ml-lang.connpass.com/event/78199
- Anil/Oleg先生と学ぶ ML Day https://ml-lang.connpass.com/event/136687/
- Mirage OS, OCamlコミュニティを主導するAnil 先生・プログラム基礎理論・関数型言語界隈で有名なOleg先生をお招きし講演頂いた。
- Oleg勉強会主催 https://connpass.com/event/22547/
- Oleg Kiselyov先生を東北大学からお招きし講演頂いた
■ 学会活動
[OCaml Workshop 2021 PC Chair](https://icfp21.sigplan.org/home/ocaml-2021)
スパコンのコンパイラ開発に従事
コンパイラの開発
AIアプリケーションの開発