2024年度 第1回成果報告会 さきがけ「社会変革に向けたICT基盤強化」領域

2024年度 第1回成果報告会 さきがけ「社会変革に向けたICT基盤強化」領域

日時
12月20日(金) 9:30~17:00 (9:15開場)
開催場所
ハイブリッド開催:オンライン(Zoom Webinar)& アルカディア市ヶ谷 5階大雪
※現地参加ご希望の際、会場の定員の都合上、オンラインにてご参加いただくこともございます。
 あらかじめご了承ください。
参加費
無料、事前の参加登録をお願いします
参加登録
https://form2.jst.go.jp/s/Platform-Software2024
(登録受付期間:2024年12月18日(水)17:00まで)

 本研究領域では、理論(数学や計算機科学の基礎)と社会システムの基盤技術(アルゴリズム・アーキテクチャ・OS・ネットワーク・データベース・IoT・セキュリティ・言語等)の研究者の領域内の交流・触発により、国際競争力を強化した科学技術イノベーションの創出を実現し、安心・安全・信頼を支える基盤ソフトウェア技術の創出を通じ、社会変革に向けたICT基盤の強化を目指します。さらに、将来の社会システムの課題解決や社会変革を意識した研究開発を通して、by-Designに資する人材の育成を推進します。
 今回は、本さきがけ領域の1期生(2021年度採択)の成果報告会となります。皆さまのご参加をお待ちしております。

プログラム

開会挨拶
9:30~ 9:40
東野 輝夫 (京都橘大学 副学長)
9:40~ 10:10
安積 卓也(埼玉大学 大学院理工学研究科・教授)
 低消費自律駆動型モビリティ向けソフトウェアプラットフォームの構築
10:10~10:40
井ノ口 宗成(富山大学 学術研究部・准教授)
 被災者個人の生活再建トータルサポートシステム
10:40~11:10
太田 香(室蘭工業大学 大学院工学研究科・教授)
 RISを用いた無線通信環境の自己最適化

休憩 11:10~11:25

11:25~11:55
空閑 洋平(東京大学 情報基盤センター・准教授)
 データセンタハードウェアへのソフトウェア脆弱試験の適応
11:55~12:25
塩谷 亮太 (東京大学 大学院情報理工学系研究科・准教授)
 実用性と安全性を両立する秘密情報量に基づく情報漏洩防止基盤

休憩 12:25~13:30

基調講演
13:30~14:00
鍛 忠司 (日立製作所 研究開発グループ 主管研究長)
14:00~14:30
照屋 唯紀 (産業技術総合研究所 情報・人間工学領域・主任研究員)
 プライバシ保護メカニズムデザインのための秘密計算技術
14:30~15:00
中村 優吾 (九州大学 大学院システム情報科学研究院・助教)
 健康行動セキュリティのためのエンパワメントICT基盤

休憩 15:00~15:20

15:20~15:50
坂野 遼平(一橋大学 大学院ソーシャル・データサイエンス研究科・准教授)
 AI遍在社会を支え得る知的メッセージング基盤の研究
15:50~16:20
山田 浩史 (東京農工大学 工学研究院・准教授)
 細粒度のリカバリを可能にする高信頼OS
16:20~16:50
吉田 則裕 (立命館大学 情報理工学部・教授)
 IoTのための自動テスト・自動修正基盤の構築
総評
16:50~17:00
東野 輝夫 (京都橘大学 副学長)

講演者紹介

  • 安積 卓也 写真

    「低消費自律駆動型モビリティ向けソフトウェアプラットフォームの構築」

    安積 卓也(埼玉大学)

    講演概要

    本研究では、組込みシステム向けの高性能・低消費のハードウェアを搭載したエッジデバイスを用いて高度化・複雑化に対応する自律駆動型モビリティ向けのソフトウェアプラットフォームを構築します。具体的には、バッテリ駆動する案内・搬送ロボットやパーソナルモビリティ等小型の自律駆動型モビリティに不可欠となる認知・判断・動作に係る処理を低消費電力かつリアルタイム処理で実現します。

  • 井ノ口 宗成 写真

    「被災者個人の生活再建トータルサポートシステム」

    井ノ口 宗成(富山大学)

    講演概要

    被災者によるシステムの利用形態は多様であっても、既往技術の融合によりバックヤード処理を高度化することで、被災者への自動対応と情報の一元集約が可能なシステムを開発します。システムから生活再建の見通しを被災者に提案し、確実で迅速な生活再建を支援します。一方で、平時から過去災害の経験知に基づき誰もが個人単位でシミュレーションできる機能を実装し、日常利用からICTを活用した生活再建への行動変容を促します。

  • 太田 香 写真

    「RISを用いた無線通信環境の自己最適化」

    太田 香(室蘭工業大学)

    講演概要

    超高速無線通信の実現にミリ波の利用が期待される一方で、障害物に弱く電波環境に依存することがネックになっています。本研究ではReconfigurable Intelligent Surface(RIS)と呼ばれる特殊な反射板をもとに無線通信環境を制御する基盤技術を研究開発します。RISの導入により発生する環境ノイズの増加や通信経路の複雑性などの多様な課題に取り組み、ミリ波の屋内活用を目指します。

  • 空閑 洋平 写真

    「データセンタハードウェアへのソフトウェア脆弱試験の適応」

    空閑 洋平(東京大学)

    講演概要

    アクセラレータ中心の分散システムでは、専用アクセラレータ同士がCPUをバイパスしてデータ通信するため、ソフトウェアによるセキュリティ手法、デバッグ手法の適応が困難になっています。本研究は、アクセラレータで採用される高速インタフェースであるPCI Expressをソフトウェア上に実装します。ソフトウェアによるPCIeデバイス開発手法を提案し、柔軟なセキュリティ検査手法をハードウェアに適用します。

  • 塩谷 亮太 写真

    「実用性と安全性を両立する秘密情報量に基づく情報漏洩防止基盤」

    塩谷 亮太(東京大学)

    講演概要

    秘密データの情報量に着目した動的情報フロー追跡により、情報漏洩を厳密に検出しながらも実用プログラムの動作を妨げない情報漏洩防止基盤を実現します。本研究ではマルウェアによる情報漏洩からハードウェアの脆弱性を利用した情報漏洩までをも対象とする、包括的な情報漏洩防止基盤の構築を目指し研究を行います。

  • 照屋 唯紀写真

    「プライバシ保護メカニズムデザインのための秘密計算技術」

    照屋 唯紀(産業技術総合研究所)

    講演概要

    データに基づいたより良い意思決定を行う上で、情報の漏えいや不正使用などの脅威への対策、プライバシの保護などが課題となっています。これら課題を解決するために、秘密計算技術および計算環境の真正性と匿名性を構築する技術について研究開発を行い、プライバシに配慮しつつ安全に社会的意思決定を行うためのプライバシ保護メカニズムデザインの確立を目指します。

  • 中村 優吾 写真

    「健康行動セキュリティのためのエンパワメントICT基盤」

    中村 優吾(九州大学)

    講演概要

    本研究では、「健康行動セキュリティ」というコンセプトに基づき、(1) 人間の健康的な行動や生活習慣を資産、(2) 人間の認知バイアスや嗜好の偏りを脆弱性、(3) 不健康な行動の選択を誘発する情報提示を脅威と見なし、不健康な生活習慣の継続というリスクを回避しつつ、健康行動の維持・回復できるよう人々をエンパワーするためのICT基盤技術とその方法論の確立を目指します。

  • 坂野 遼平 写真

    「AI遍在社会を支え得る知的メッセージング基盤の研究」

    坂野 遼平(一橋大学)

    講演概要

    来るべきAI遍在社会では、データの質や時空間的解像度の向上により、データ量の爆発的増加及びネットワーク帯域の枯渇が懸念されます。本研究では、遍在するAI同士の情報交換を支え得る広域メッセージング基盤の確立を目指します。具体的には、多数のメッセージングサーバの協調動作により負荷分散を図りつつ、ネットワーク内においてデータの前処理等をおこなうことで、通信量を適応的に削減する技術の研究に取り組みます。

  • 山田 浩史 写真

    「細粒度のリカバリを可能にする高信頼OS」

    山田 浩史(東京農工大学)

    講演概要

    本研究では、OSの構成要素であるメモリオブジェクトのセマンティクスを活用し、メモリオブジェクトレベルでの細粒度のリカバリを可能にするOSアーキテクチャを新規提案し、ソフトウェアとして実現します。ハードウェアの故障やOS乗っ取りなどの信頼性阻害要因に対しその手法ごとにアドホックに対処してきた従来アプローチに対して、メモリオブジェクトにダメージを与える阻害要因であれば未知の障害をも対処可能とします。

  • 吉田 則裕 写真

    「IoTのための自動テスト・自動修正基盤の構築」

    吉田 則裕(立命館大学)

    講演概要

    IoTシステムは複数のユーザから多様な入力を受け付ける必要があり、かつ接続されるデバイスも多様であることが多いため、手作業で十分なシステムテストを行うことは困難です。また、脆弱性が発見されたあと、脆弱性の原因となったコードを特定し修正することも、手作業のみで行うことは困難です。本研究では,IoTシステムの自動テスト・自動修正基盤を開発することを目的とします。

参加登録

下記の申し込みフォームよりお申込みください。

申し込み

(登録受付期間:2024年12月18日(水)17:00まで)