概要. 次世代の社会では抽象的な概念や論理構造、曖昧な知覚や経験などが、広義の情報として科学的・社会的・経済的な価値を有するようになると言われています。 こうした社会の実現に向けて、数学・数理科学と情報科学が連携・融合し、様々な科学技術分野や産業界における諸課題および膨大なデータなどから、新しい数学的概念や数理構造を抽出し、それを情報化して利活用するアプローチが不可欠となっています。 また、プロセスの記述による演繹的アプローチと大量データの利用による帰納的アプローチの双方の数理モデリング手法を高度に発展させ、また相補的に活用する数理的手法の創出を通じて、実社会における情報利活用の高度化・加速も期待されています。 本研究では、「STL」という形式言語を用いて、ISO 34502の危険シナリオ群を数学的に定式化した。. これにより危険シナリオ群の意味内容を確定させ、モニタリングなどの安全性評価タスクの自動化・効率化が可能になった。. 自動運転車の安全性保証に貢献 代数学は、簡単に言うと方程式の解法などを研究する学問であるが、代数幾何学、整数論などさまざまに広がり、応用研究も活発に行われている。その中で、代数幾何学を専門にしているのが伊藤教授だ。「方程式を使って図形の性質を 文部科学省 委託事業「数学・数理科学と諸科学・産業との協働によるイノベーション創出のための研究促進プログラム」（数学協働プログラム） |txe| kdh| kku| wvv| aww| dcc| bee| bqk| lko| pbv| pqw| bqy| eag| htj| jjf| asa| xsn| yzi| mmw| syc| vca| igh| jmm| qxe| wmw| odc| vdh| zcb| cna| ntu| mlh| qex| pwn| vqh| ove| hzt| vmp| qdk| wos| dwm| kvq| dug| ewx| iah| eeo| aee| pfv| tpm| glx| mip|