Quick Search
Quick Search

Quick Search

よく見られているページ

CATEGORY

カテゴリーから知るKAIT

KAITの学び EDUCATION

KEYWORD

キーワードから知るKAIT

Quick Search
大学紹介
教育
学生生活
研究
地域・社会貢献
教職員用ポータルサイト 在学生向けポータルサイト 保護者ポータルサイト

ACADEMICS ソフトウェア科学研究室

情報学部 情報ネットワーク・コミュニケーション学科 ソフトウェア科学研究室 助教

海野 浩

研究領域キーワード: ソフトウエア科学 情報ハイディング 光無線通信
ソフトウェア科学研究室

教員メッセージ

ネットワークを構成するソフトウエアは社会基盤として重要な役割を担っています。さらにソフトウエアは携帯電話、自動車、家電製品などに組み込まれ、その役割は益々高まってきています。このためソフトウエアの開発には、生産性の向上だけでなく、安全性を高める新しい技術が必要となってきました。そのような技術として、開発方法論としてはフォーマルメソッドが、実装言語としては関数型言語が注目されています。

主な研究テーマ

    フォーマルメソッドを用いたシステム開発法
    組込みシステム開発法
    分散協調システムの形式検証
    3D映像との直接相互作用技術
    奥行き情報の埋め込み・計測技術