Ryo Yoshinaka 研究室

主宰者：Ryo Yoshinaka
東北大学・Tohoku University Hospital

AI 要約（直近 5 年の研究成果）

Yoshinaka研究室は、複雑化する組込みシステムの開発効率を高めることを主な目標としています。特に自動運転車などの産業用組込みシステムでは、マルチコアプロセッサを搭載した現代的なハードウェアの性能を十分に引き出すことが重要な課題となっています。研究室では、設計段階のモデルから自動的にプログラムコードを生成する手法に注目し、ロボット制御の標準フレームワークを念頭に置いた開発方法論を研究しています。モデルベース開発によってハードウェアの並列処理能力を効果的に活用し、手作業によるプログラミングの煩雑さや誤りを減らすことを目指しています。 同時に、研究室はプログラムの正確性を形式的に検証する技術にも取り組んでいます。リスト構造などの複雑なデータを扱うプログラムの不変条件（バグが起きない条件）を少量の正例サンプルから効率的に推測する方法を開発しており、これを自動検証ツールの基盤として活用しています。こうしたアプローチにより、設計から検証まで一貫した自動化を実現し、複雑な組込みシステムの安全性と信頼性を向上させることを目指しています。

※ AI（Claude）が、公開されている論文要旨から研究の問い・手法・主要な発見を事実情報として抽出・再構成して自動生成しています。誤りを含む可能性があるため、正確性は研究室公式情報でご確認ください。

外部リンク

関連研究室(8 件)

研究成果（12 件）

続きを表示（残り 2 件）

科研費（0 件）

まだデータがありません（KAKEN 取り込み後に表示）。

所属学会・役職（0 件）

まだデータがありません（学会データ連携後に表示）。