SOCIAL IMPLEMENTATION RESEARCH
社会実装型研究 SOCIAL IMPLEMENTATION RESEARCH
過去に培った研究成果を社会で活かすための研究や、地元企業と共同して課題を解決するための社会実装型研究を行っています。
疑似量子アニーリングによる
組合せ最適化の高速化の実装
「疑似量子アニーリング」という技術を使うと、たくさんの選択肢の中から、条件にぴったり合ったベストな答えをすぐに見つけることができます。これまでは何十分もかかっていた作業が、たった数十秒で終わるようになります。
数理最適化による機械作業/手作業
混在下における最適スケジューリング
数理最適化という技術を使って、生産スケジュールを立案するプログラムを開発しています。これまで作業員が勘と経験に基づいて立てていたスケジュールより、効率の良いスケジュールを数秒で立案します。
作業着手時期決定に対する
数理最適化の適用
数理最適化に関する技術を用いて生産スケジュール立案プログラムを開発しています。注文数や工程が多いので、上の方法とは異なる方法を用いて、より短時間でより望ましいスケジュールを立案することを目的としています。
ノーコードツールおよび生成AIの
活用による企業のDX支援
代数学に基づいたノーコードツールを開発しています。このツールを用いることで、より複雑なアプリケーションを、プログラミングなしで開発することができるようになります。
テストを効率化する技術の
実証的有効性評価
高い信頼性が要求されるソフトウェアの開発では、できる限り多くのバグを見つけるため、繰り返しテストが行われます。さまざまな「ソフトウェアテスト技術」を活用して、このようなテスト作業を効率化する研究に取り組んでいます。
エッジ環境向け分散データストアの開発と
その実応用に向けて
各地に配置されたサーバ群を、「クラウド」のように手軽かつ安定的に利用する技術を開発し、低遅延な情報共有を活用したアプリケーションの開拓を進めています。
微分方程式の構造保存数値計算
およびその数学解析
様々な現象を表現する、微分方程式という数式に対し、構造保存数値解法を用いて、安定で高速な数値計算·数値シミュレーションを実現します。現実世界で実験が困難だったり、コストが膨大だったりする場合でもコンピュータ上で手軽に現象を再現·検証することが可能です。
秘密計算を応用した認証システムおよび応用
「秘密計算」と呼ばれる情報を暗号化したまま計算できる技術を使い、個人情報を保護したまま復号せずに本人確認できる認証について研究しています。マイナンバーのような固有番号はもちろん、顔・指紋・声など、デジタル化できるさまざまな個人情報を安全に認証に利用することが可能です。
