本学研究者の紹介

情報科学研究科

島 和之(シマ カズユキ)
専攻等 システム工学専攻 ヒューマンマシンインタフェース研究室
職名 准教授
研究分野 ソフトウェア工学
研究概要 複数のコンピュータが共通の目的のため、ネットワーク通信しながら協調して処理を行うシステムを分散システムといいます。分散システムでは障害許容性やリアルタイム性を向上するため高度な処理が必要となりますが、従来のプログラミング言語によって記述すると複雑で誤りが混入しやすいです。そこで、継続渡しスタイルの関数型プログラミング言語を提案し、高度な処理を簡潔に記述する方法を研究しています。
研究テーマ 継続渡しスタイルによる非同期処理や非決定性計算などの簡潔な記述方法、構造化オーバレイネットワークにおける経路制御アルゴリズム
研究キーワード 分散システム、ソフトウェア信頼性、障害許容性、P2Pネットワーク、関数型プログラミング
教員総覧URL http://rsw.office.hiroshima-cu.ac.jp/Profiles/5/0000414/profile.html

情報科学研究科研究者一覧に戻る