?機械学習を用いたソフトウェア解析?機械学習モデルの品質保証?時間的性質?安全性質のモデル検査?NTTとの共同188bet体育_188bet备用网址2024度-?自然語解析と反例解析を活用したソフトウェア開発2021年度?モデルと制約に基づくソフトウェア開発に関する188bet体育_188bet备用网址2015年度?三菱電機との共同188bet体育_188bet备用网址2015年度-2022年度?文部科学省が実施する平成30年度「Society5.0実現化188bet体育_188bet备用网址拠点電?情報◇□push→water?機械学習を用いた自然語解析によるソフトウェア要求仕様分析岡野188bet体育_188bet备用网址室では高信頼ソフトウェア開発をサポートする諸技術の188bet体育_188bet备用网址を行っています。ソフトウェアは要求文書に始まり、どのように作るかという設計文書、そしてプログラムコード、テストスイートなど複数の中間生成物からなっています。これらの生産物に対して機械学習や形式手法など様々な技術を駆使して解析を行い、種々の性質を検証したり、信頼性保証を行っていくことが大事です。これらの技術について188bet体育_188bet备用网址を行っています。高信頼ソフトウェア開発技術や機械学習を取り入れたシステム開発は今後、AI、IoTなどの技術が主体となる社会を支える情報システムを安心?安全に使う上で重要です。高度な技術を持ったソフトウェア技術者の活躍の場がますます広がると思います。～2024年度基盤188bet体育_188bet备用网址(C)～2018年度基盤188bet体育_188bet备用网址(C)支援事業」公募188bet体育_188bet备用网址2019-2020要要求求仕仕様様かかららのの機機械械学学習習自自然然語語解解析析をを用用いいたた要要求求検検証証半数以上の学生が大学院に進学します。その後は、188bet体育_188bet备用网址を通して得た技術、経験をもとにソフトウェアや組み込みシステムの188bet体育_188bet备用网址開発技術職として企業等で活躍しています。教授岡野浩三188bet体育_188bet备用网址から広がる未来188bet体育_188bet备用网址シーズ共同188bet体育_188bet备用网址?外部資?獲得実績188bet体育_188bet备用网址キーワード機械学習?ソフトウェア?学??然?語解析?モデル検査?機械学習品質卒業後の未来像最近の188bet体育_188bet备用网址トピックス【【私私のの学学問問へへののききっっかかけけ】】ソフトウェア工学の188bet体育_188bet备用网址者になった理由の1つは、逆説的ですが、ソフトウェア作成が苦手であったことです。自分のような、あわてんぼ（書き間違えが多い）で、理解しているはずのアルゴリズムを実装するときに誤りをいれてしまう（論理的バグの混入）人間でも高信頼ソフトウェアを開発できる方法が「コンピュータを活用することにより」きっとあるはずだという考えで取り組んでいます。子供のころは電子工作に興味を持っていました。その発展として、コンピュータに興味を持ち、当時としてはまだまだ珍しかった「情報工学科」に入学し、今の自分があります。32大阪大学大学院基礎工学188bet体育_188bet备用网址科修了。博士（工学）(大阪大学)。2020年より現職。ソフトウェア工学、とりわけ仕様記述と検証技術に関する188bet体育_188bet备用网址に従事。最近は機械学習の技術の活用に着目機機械械学学習習ののアアブブレレーーシショョンンにによよるるソソフフトトウウェェアアババググ箇箇所所のの予予想想機機械械学学習習ププロロググララムムのの欠欠陥陥をを表表すす指指標標のの提提案案要求仕様からの機械学習自然語解析を用いた要求検証機械学習のアブレーションによるバグ箇所の予想機械学習プログラムの欠陥を表す指標の提案システム?学科機械学習とソフトウェア開発?「設計書」から「コード」まで
元のページ ../index.html#34