Munehiro Takimoto 研究室

主宰者：Munehiro Takimoto
東京理科大学

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

Takimoto研究室では、ソフトウェアシステムの検証と最適化、およびユーザーインターフェースの設計という複数の課題に取り組んでいます。 ソフトウェア検証の領域では、システムが仕様通りに動作することを自動的に確認する形式検証技術に焦点を当てています。従来の検証手法では、システムの規模が大きくなると計算量が爆発的に増加する「状態空間爆発問題」が生じ、効率的な検証が困難になります。この課題に対して、群知能などの最適化手法を用いた新しい探索戦略を提案し、効率性と得られる結果の理解しやすさのバランスを取る方法を研究しています。また、記号的な機械学習技術を用いて、データから理解可能な規則を自動で抽出する研究も進めています。 一方、GPU（画像処理装置）の高速化に向けて、メモリへのアクセス効率を改善する最適化手法や、並列処理時に発生する処理の遅延を抑制する工夫に関する研究を行っています。さらに、仮想現実や拡張現実の技術を用いたユーザーインターフェースの研究も展開しており、身体の動きと画面表示のズレから生じる不快感を軽減したり、スマートフォンを用いた直感的で実用的な操作方法を実現したりすることを目指しています。

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

外部リンク

関連研究室(8 件)

研究成果（10 件）

科研費（0 件）

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

所属学会・役職（0 件）

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