- 教員
- 石浦 菜岐佐 教授
- 組み込みシステム
- マルチコアプログラミング
- システムプログラム
- ソフトウェア開発
デジタルカメラや家電製品をもっと小さく，速く，省エネに！どうしたらできる？！
あなたはどんなデジカメがほしいですか？小さくて軽くて画質が良く，しかも，使いやすいもの？
コンピュータシステム工学研究室では・・・
身の回りのモノをより快適にする研究．
ソフトウェアやプログラミングに関する研究をしている当研究室．中でも様々な電子機器や家電機器，車載機器などに組み込まれる超高性能のマイクロコンピュータ（プロセッサ）のためのソフトウェアの開発が主なテーマとなっており，C言語やPerlといったプログラム言語を用いて開発を進めている．（担当教員：石浦菜岐佐教授）
-
例えば，こんな研究も行います・・・．
身の回りのほとんどの機械に内蔵されている組み込みシステム．
デジカメや携帯電話，音楽プレーヤーには，画像や音声を処理するためのコンピュータシステム「組み込みシステム」が内蔵されています．他にも炊飯器や洗濯機などの家電製品やゲーム機，医療機器や宇宙開発機器，自動車など，身の回りにあるほとんどの機械に，特定の機能を実現するための組み込みシステムが内蔵されています．
パソコンなどのコンピュータシステムとは異なり，組み込みシステムに要求される機能や性能は極めて限定されています．また，高い信頼性が求められるにもかかわらず，コストやメモリ容量などに厳しい制約を課されることが多いのも特徴です．組み込みシステムを作るためのシステムプログラムを開発．
私たちが取り組んでいるのは，組み込みシステムを作るためのプログラム（システムプログラム）づくりです．例えば「コンパイラ」というシステムプログラムは，C言語などのプログラム言語で書いたプログラムを，コンピュータが実行できる機械語に変換するものです．こうしたプログラムを作ると，コンピュータやその上で動くプログラムの仕組みも理解できるようになります.
-
この研究室で作られたプログラムが携帯や医療機器に使われるかも？！
当研究室では企業との共同研究にも取り組んでおり，携帯電話の組み込みシステムの効率化を図るプログラムや，医療用マイクロコンピュータのプログラム開発などに取り組んでいます．もしかしたら，あなたの身の回りの製品に，私たちが作ったプログラムが使われるかもしれません．
まだ発見されていなかった不具合を検出し，コンパイラ開発に貢献．
システムプログラムにバグ（不具合）は許されないため，数十万パターンものプログラムで徹底的なテストが行われますが，それを経てもまだバグが残ることがあります．そこで私は，ランダムにプログラムを生成して，コンパイラ中の未知のバグを検出する研究に取り組んでいます．実際に，GCCという世界中で使われているコンパイラにバグを発見しましたが，これを報告することで世界のコンパイラの開発に貢献できるというところが，一番の醍醐味ですね．
