リサーチグループ

インテリジェントコラボレーションツールラボ

SE以降のコラボレーションプロセスを研究し、次世代のコラボレーション ツールを実現

AI Labs

基礎および応用 AI 研究

BioLabs

細胞分化と老化における基本的なエピジェネティックな調節機構とその役割の発見

HoTTと依存型グループ

ホモトピー型理論に基づいて、依存型言語を作成します

並行コンピューティング

最新の並行アルゴリズムの開発、検証、テスト、およびベンチマーク

天文粒子物理学

天文粒子物理学のデータ分析に最新の計算技術を応用

ソフトウェア工学における機械学習の方法

両方の領域のベストプラクティスを統合して、コードを開発および改善する新しい方法を生み出します

検証またはプログラム分析ラボ

ソフトウェア開発における正式な手法を適用して、静的解析、検証、プログラム変換に基づくツールを作成します

神経発達・神経生理学グループ

神経組織の発達と関与する細胞プロセスのシミュレーションモデル

移動ロボットアルゴリズムラボ

移動ロボットの自己オリエンテーションアルゴリズムの開発とSLAM問題の解決

プログラミング言語とツールラボ

プログラミング言語とツールの基礎研究を支援

論文アナライザー

ディープラーニングを基盤に、科学バイオメディカル論文から知識を抽出するツール