Tatsuhiro Tsuchiya 研究室

主宰者：Tatsuhiro Tsuchiya
大阪大学

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

本研究室は、実世界で実際に動作するソフトウェアシステムの信頼性と効率性を確保することを目指した研究に取り組んでいます。主な研究の問いは、(1)機械学習モデルが実運用中に入力データの分布が変わった場合にどうして適応するか、(2)ソフトウェアテストにおいて要件とテストケースの対応関係をどう自動的に管理するか、(3)分散システムやブロックチェーンなどの複雑なシステムがどのように正しく動作することを検証するか、という点に集約されます。 これらの課題に対して、研究室は複数のアプローチを採用しています。機械学習システムの適応には、データ分布の変化を自動検出して対応するフレームワークを開発しています。テスト自動化については、大規模言語モデルや検索技術を組み合わせて要件からテストケースを自動生成する手法を提案しています。また、分散アルゴリズムの検証では、複雑な非同期処理を順序立てたプログラムで表現し、形式的検証手法を適用する方法を開発しています。さらに、組合せ論的なテスト設計やグラフ神経ネットワークなど、数学的・情報科学的な手法も活用しています。 これらの研究を通じて、現代的なソフトウェアシステムの開発・運用段階における自動化、検証、適応性の向上に貢献することを目指しています。

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

外部リンク

関連研究室(8 件)

研究成果（44 件）

続きを表示（残り 34 件）

科研費（0 件）

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

所属学会・役職（0 件）

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