今井　宜洋

【担当講義】
定理証明と検証

【所属・役職】
有限会社　ITプランニング　システム開発部

【専門分野】
形式手法、証明支援器、関数型プログラミング、証明駆動開発

【ひとこと】
高信頼システムを開発、運用する上で証明支援器の技術はとても重要であると考えています。
また、ツールの発展や関数型言語の普及によって今後ますます利用しやすいものとなるでしょう。
証明支援器を習得して、証明されたプログラムを開発しましょう。