教員紹介：酒井 正彦（さかい まさひこ）

研究内容

「虫のいないプログラムはない」といわれるほど、誤りのないプログラムを作るのが大変な作業であることはよく知られています。プログラムの正しさの定式化には、まず最初にプログラムが持つ意味を数学的に定める必要があります。現在、プログラムが持つ基本的な性質の研究を進めており、プログラムの持つ性質を自動証明するための枠組みやその基礎技術、与えられたプログラムと意味が同じであるがより効率的なプログラムに変換する方法などについて研究しています。これらを通して、信頼性が高くて効率の良いソフトウエアの作成法の開発を目指しています。この他、組合せ制約を解くための仕組みや、ソフトウェア保護のための難解言語、自動採譜などについても、これまで行ってきた理論研究を活かした研究活動を行っています。

プロジェクトとソフトウェア

所属・連絡先など

情報システム学専攻項書換え系, 難解言語, 自動採譜, 教員紹介, 情報システム学専攻, コンピュータ科学科, 情報システム系, 組合せ最適化

Posted by 酒井 正彦