アルゴリズムで世界を変える

京都大学理学部物理学科を卒業後、同大学院理学研究科にて非平衡物理学を専攻（理学修士）。研究テーマは「可逆力学系の拡散現象（巨視的な非可逆過程）」。
大学院修了後は電機メーカー、AIベンチャーにて、AIソフトウェアの開発に携わる。画像解析や工場機械の制御、数値データの解析など様々な業務を経験、その傍らスパースモデリングを中心とする最新のアルゴリズムの研究なども行う。
その後、2018年11月に当社を創業。
現在は、Smart MPCのさらなる改善やお客様へのソリューションの開発、等の業務に従事。

京都大学法学部卒業。大学在学中に法律や国際政治を学ぶなか、コンピューターサイエンスにも興味を持つようになり、卒業後は同大学院情報学研究科に進学。大学院では画像の探索手法を研究する傍ら知人と共にITスタートアップを起業。
大学院修了後（情報学修士）は在学中に始めた会社を続けるが、次第に別の業界にも関心を持つようになり、外資系コンサルティングファーム、フィンテックベンチャーを経験する。
その後、2019年6月に取締役として当社に参画。
現在、webエンジニアとして仕事を中心に、法務や広報、デザイン等、幅広く様々な業務を行う。

京都大学工学部情報学科卒業。その後、東京工業大学知能システム科学専攻修士課程修了。大学、大学院では共に機械学習や人工知能に関する研究を行い、学部卒論は「カエルの鳴き声の混合音からの同時種別分類」を、修士論文は「画像検索とキーワード検索を組み合わせた未知情報の自動探索学習」をテーマにした。
卒業後はAIベンチャー、機械部品メーカーを経て2020年6月にProxima Technologyに入社。
現在ではWebエンジニアとしての仕事を中心に機械学習や組み込みシステムなどの業務も担当している。また、GUIベースのインタラクティブなデータ可視化や自立ロボット制御などの分野にも知見を持っており、種々の実験的なプロダクトの開発も行っている。
なお、個人的には生物学、とりわけ系統分類学にも強い関心があり、高校時代には生物オリンピックでの受賞経験を持つ。

大阪大学理学部数学科を卒業後、同大学院理学研究科修士課程修了。 専攻は数学で、研究テーマは「代数幾何学、離散群、リー代数の間の関係の三角圏による研究」。
大学院修了後、Proxima Technologyにリサーチャーとして入社。 数学スキルを活かしたデータ分析業務を中心に、AIや制御システムの研究開発など様々な業務に携わる。
また、哲学書の全集には目がなく、ついつい財布のひもが緩んでしまいがち。

京都大学工学部物理工学科卒業。同大学大学院工学研究科航空宇宙工学専攻博士課程にてベイジアン・モデルベース強化学習とそのロボット応用に関する研究を行う。
Proxima Technologyにリサーチャーとして入社後、 制御・ロボティクス・機械学習のスキルを活かし、AIや制御システムの研究開発など様々な業務に携わる。
教科書・技術書が気になるとすぐ買ってしまうため、積読が得意。

東京大学理学部化学科卒業。その後、同大学院新領域創成科学研究科にて複雑理工学を修了、研究テーマは「ベイズ最適化および深層学習」。
その後Proxima Technologyに入社しリサーチャーおよびエンジニアとしての業務を担う。
専門であるベイズ最適化を用いたデータ解析業務を中心に制御や強化学習などのテーマにも携わる。化学から機械学習に専攻を変えた理由は趣味の麻雀の数理的な解析に興味を持ったため。

大阪大学理学部数学科卒業。その後同大学院博士前期課程、名古屋大学大学院博士後期課程にて微分幾何学を専攻。研究テーマは「標準球面を特徴づけるリーマン不変量およびその安定性について」。博士号取得後は理化学研究所革新知能統合研究センター（AIP）にて「滑らかとは限らない部分多様体に対するラプラシアン固有マップの収束性とそのレート」を研究する。
その後Proxima Technologyに入社しリサーチャーとして、ロボティクスや非線形制御を中心とした業務を担う。個人webサイト：https://sites.google.com/site/masayukiaino/

東京工業大学理学部数学科を卒業後、同大学院理学院数学系数学コース修了。研究テーマは代数幾何学、とくにグラスマン多様体の交叉理論。
修士課程修了後、Proxima Technologyにエンジニア兼リサーチャーとして入社。ディープラーニングや数理最適化等のデータサイエンスに関する仕事から、Webや工場内ネットワークシステムの開発など多岐の分野にわたって業務を担う。
趣味は数学の勉強と坐禅。

東京大学理学部数学科卒業。その後同大学院数理科学研究科にて博士課程を修了。専攻は「代数幾何学・数論幾何学」、研究テーマは「 曲線族の退化とモノドロミー表現の関係」。その後は各大学院および研究機関において「非完全体上の代数曲線の特異点・ピカールスキーム・対数的滑らかな還元」と研究テーマを広げ、日本学術振興会特別研究員(PD)としてRIMS（京都大学数理解析研究所）で研究を行う。研究の傍ら機械学習やデータサイエンスに関心を持つようになり、現在ではProxima Technologyにリサーチャーとして参画し、モデル予測制御を中心とした業務を担当している。

九州大学理学部物理学科を卒業後、同大学理学部物理学専攻修士過程、博士課程を修了。専攻は理論物理学でブラックホールや量子宇宙論、研究テーマは「真空崩壊におけるバブル宇宙の構成と触媒効果」で、5次元宇宙モデルを用いてダークエネルギーおよび加速的なインフレーションを解明した。
修了後はProxima Technologyに入社し、リサーチャーとしてPOMDPにおける確率的最適制御や混合整数計画問題のアルゴリズムに関する業務を担う。
趣味は運動でジムで筋トレをすること。

東京大学教養学部統合自然科学科卒業、同大学院総合文化研究科博士課程で情報熱力学、非平衡統計力学の理論研究、およびそれらを応用した変分オートエンコーダなどの確率モデルの解析や機械学習アルゴリズム開発の研究を行った。博士課程修了後は、自動車メーカーにおいて自動運転関連の研究開発を行い、その中で画像処理、ROS、Ubuntuベースの組み込み開発などを経験した。
その後、Proxima Technologyに入社し現在はロボティクスを中心とした業務に関わる。

東京工業大学理学部物理学科卒業。その後、同大学院理学院物理学系にて博士前期課程、博士後期課程を修了。専攻は超弦理論および超対称ゲージ理論、研究テーマは「ゲージ重力対応を用いた超共形指数についての研究」。
大学院修了後、Proxima Technologyに入社し、ロボティクスに関する業務に携わる。
中学高校大学と陸上競技部に所属し、短距離走が得意。趣味はランニング。

東京大学理学部物理学科卒業。同大学大学院理学系研究科修士課程、博士課程を修了。専攻は素粒子物理学の現象論分野。「右巻きニュートリノを含む超対称大統一理論におけるCPとフレーバーの破れ」を研究テーマとし、時空に超対称性を仮定した時に予言されるCP対称性やフレーバー対称性を破った物理量の観測について測定実験からの制限と模型の予言値を比較する解析を行った。
修了後はProxima Technologyに入社し、非線形確率制御や離散数理最適化を用いた業務を担う。

東京大学理学部天文学科卒業。同大学大学院理学系研究科天文学専攻修士課程、博士課程を修了。研究テーマは連星進化の一般相対論的な解析で特に初代星連星起源の連星ブラックホール合体から生じる重力波の挙動を中心に扱った。その中では観測されるブラックホールの質量分布等を計算し、連星進化の物理の依存性を明らかにした。
修了後はProxima Technologyに入社し、現在はモデル予測制御と画像解析AIに関連する業務に携わる。趣味は相撲観戦

大阪大学工学部応用自然科学科在学中に数学を志し、名古屋大学大学院多元数理科学研究科へ進学、専攻を応用物理学から数学（整数論）に変更する。非アルキメデス的解析の視点に基づき可換環論との共通領域で研究を行い、底空間を要しないパーフェクトイド空間およびその代数化についての諸結果で博士号を取得。以後は同研究科の特任助教、博士研究員としてパーフェクトイド理論のネーター化に取り組む。