株式会社 Proxima Technology (@Proxima_ai_tech) header
株式会社 Proxima Technology (@Proxima_ai_tech) profile picture

独自のPhysical AI「Smart MPC」で製造業の生産技術を変える!産業用ラズパイへのオールインワン型プロダクト「E-Smart MPC」も提供中です。 中の人→@takuya_fukatsu

東京都千代田区外神田4丁目6番7号 カンダエイトビル 7F
Joined March 2022
Photo by 株式会社 Proxima Technology (@Proxima_ai_tech)Photo by 株式会社 Proxima Technology (@Proxima_ai_tech)Photo by 株式会社 Proxima Technology (@Proxima_ai_tech)Photo by 株式会社 Proxima Technology (@Proxima_ai_tech)Photo by 株式会社 Proxima Technology (@Proxima_ai_tech)Photo by 株式会社 Proxima Technology (@Proxima_ai_tech)Photo by 株式会社 Proxima Technology (@Proxima_ai_tech)Photo by 株式会社 Proxima Technology (@Proxima_ai_tech)Photo by 株式会社 Proxima Technology (@Proxima_ai_tech)Photo by 株式会社 Proxima Technology (@Proxima_ai_tech)
機械学習エンジニア / データサイエンティスト募集中です! 弊社は数理科学分野を専門にされているアカデミア人材を大歓迎いたします! アカデミアで培った研究力や思考力を社会で生かしてみたい方がいらっしゃれば、気軽にご応募・お声がけください! acaric.jp/company-search…
4
8
1,270
株式会社 Proxima Technology retweeted
要約版の記事もZennに投稿してあります! MPC(モデル予測制御)専用ソルバーの歴史 ― プラントの分単位からマイクロ秒の組込み制御まで|株式会社 Proxima Technology zenn.dev/takuya_fukatsu/arti… #zenn
「MPC専用ソルバーの歴史」というテーマのホワイトペーパーを配信いたしました! 汎用ソルバーから始まり、モデル予測制御の数理的な構造を活用した専用の特化ソルバーへの歴史的な道筋を解説してあります! 特に高速なMPCに興味がある方は是非ご一読を! mono.ipros.com/popup/downloa…
5
1
23
2,853
今回配信した「MPC専用ソルバーの歴史」というホワイトペーパーにつきましては、高速なMPC、組み込み向けMPC等に関心がある方は是非ご一読ください!
「MPC専用ソルバーの歴史」というテーマのホワイトペーパーを配信いたしました! 汎用ソルバーから始まり、モデル予測制御の数理的な構造を活用した専用の特化ソルバーへの歴史的な道筋を解説してあります! 特に高速なMPCに興味がある方は是非ご一読を! mono.ipros.com/popup/downloa…
1
1
4
740
株式会社 Proxima Technology retweeted
「MPC専用ソルバーの歴史」というテーマのホワイトペーパーを配信いたしました! 汎用ソルバーから始まり、モデル予測制御の数理的な構造を活用した専用の特化ソルバーへの歴史的な道筋を解説してあります! 特に高速なMPCに興味がある方は是非ご一読を! mono.ipros.com/popup/downloa…
1
8
2
51
6,126
株式会社 Proxima Technology retweeted
「PythonとCasADiで学ぶLie群上の最適化」というnotebookを公開しました。SO(2)、SE(2)、SO(3)、SE(3)といった回転群や剛体変換を扱った、CasADi本の付録的立ち位置の資料です。 colab.research.google.com/gi…
1
40
1
222
11,688
株式会社 Proxima Technology retweeted
JREC-IN Portal上へのエンジニア職の公募情報掲載の許可が下りました!researchmapと連携していただいている方が結構多いので、お声かけするときの文面を考えやすくてありがたいですね。 JREC-IN Portal : 機械学習エンジニア / データサイエンティスト職 jrecin.jst.go.jp/seek/SeekJo…
4
10
3,271
株式会社 Proxima Technology retweeted
弊社は「数学の社会実装」を目指していて、その手段として数理最適化や最適制御理論、その他各種数理アルゴリズムを用い、また実装先として製造業界を中心として事業を行っております。 この試みに興味を持った方がいらっしゃれば是非とも気軽にお声掛けください! #数学 wantedly.com/companies/compa…
9
2
41
8,304
株式会社 Proxima Technology retweeted
【宣伝】 機械学習エンジニア / データサイエンティスト募集中です! 弊社は数理科学分野に詳しい人材を大歓迎いたします! acaric.jp/company-search/det…
8
82
11,675
株式会社 Proxima Technology retweeted
【宣伝】弊社エンジニアの井上亜星も参加させていただきます! pri.riken.jp/symposium/ai4ma…
【業務連絡】明後日から東京日本橋で開催される理研シンポジウム「Mathematics and AI: Tokyo Symposium on the Mathematical Sciences and Formal Reasoning」(pri.riken.jp/symposium/ai4ma…)に先立ち、明日、CaltechのSergei Gukovさんによる「AI for Math入門講義」とMathlib InitiativeのDirectorであるJohan Commelinさんによる「LEANの使用法のチュートリアル」があります。 参加登録はすでに締め切られており、以下は登録者への連絡事項です: チュートリアルにご自身のPCで参加される方は、会場にお越しになる前に、必ず以下の準備と動作確認を完了してください。 (1) LeanおよびVS CodeのLean 4拡張機能をインストールする (2) GlimpseOfLeanリポジトリを取得し、VS Codeでプロジェクトとして開く (3) Project Actions → Fetch Mathlib Build Cacheを実行する (4) GlimpseOfLean/Introduction.leanを開き、Infoviewに「1 goal」と ⊢ を含むゴールが表示され、エラーが出ないことを確認する Mathlibキャッシュは数GBあり、ダウンロードに時間がかかります。また、PCのセキュリティ設定等によって追加の対応が必要になる場合があります。このため、チュートリアル直前に会場でインストールを始めても、開始までに完了しない可能性があります。単にLeanをインストールするだけでなく、上記 (4) までの動作確認を必ず事前に済ませてください。 それでも問題が残る場合には、GukovさんとCommelinさんのチュートリアルの間の休憩時間に、TAへご相談ください。Commelinさんのチュートリアル開始後は、進行上、個別のインストール対応はできませんので、あらかじめご了承ください。 当日は、セットアップ済みのPCをお持ちください。
1
1
4
2,962
株式会社 Proxima Technology retweeted
PiLink株式会社様との産業用ラズパイ向けのUPS(スーパーキャパシタ内蔵)を共同開発させていただきました! リチウムイオン電池に比べて火災リスクが低く、制御盤の中に納めやすい設計となっております!
2
1
8
5,174
株式会社 Proxima Technology retweeted
いつもはSmart MPCの機械学習モデルとしては、MLPやLSTM、mambaあたりを使うことが多いんですが、クアッドローターの制御を対象にリザバーコンピューティングを試してみたところこれもよさそうだな、ということがわかりました。 やっぱり学習データ量がかなり少なくてもうまく収束しますね…
12
1
102
15,244
株式会社 Proxima Technology retweeted
E-Smart MPCの方の特許も無事、通りました!
2
11
1,276