zenn.dev
zenn.dev
未踏ターゲット事業
アニーリングマシンを使った、論理演算を説明する機械学習モデルを開発しました。 カルノー図を使った論理式の正則化を、NP困難として知られる集合被覆問題として定式化し、アニーリングマシンで解く方法を提案しました。
Yuma Ochi
木更津工業高等専門学校 / 情報工学科
400万人が利用する会社訪問アプリ
Yuma Ochi
木更津工業高等専門学校 / 情報工学科
専攻分野 なんでも
高専2年の夏に、Turingという自動運転の車を作る会社にインターンとして入ったら楽しすぎて休学して正社員として働いていました。2023年10月に復学して高専生をしています。
個人の実績
個人の実績
個人の実績
- 未踏ターゲット事業
アニーリングマシンを使った、論理演算を説明する機械学習モデルを開発しました。 カルノー図を使った論理式の正則化を、NP困難として知られる集合被覆問題として定式化し、アニーリングマシンで解く方法を提案しました。
この先やってみたいこと
未来
楽しいことをしていく。
木更津工業高等専門学校6年間
情報工学科
-
/assets/images/13265277/original/564fa17e-97ae-4401-bf6e-8da2972e5830?1683869874){kind=avatar}
Turing株式会社1年間
エンジニア
-
- Quantum Annealing for You（量子アニ―リング実践的研究開発者育成講座）
D-Wave Systems社の量子アニーリングマシンを使った社会課題解決を行いました。 我々のチームはコンテナの積載方法の決定に使われる3次元パッキング問題を解くアプリケーションを開発しました。
エンジニア（インターン）