\chapter{研究目的}
\label{chapter:introduction}

本研究ではプログラムの信頼性の向上を目標とする。

プログラムの信頼性とはプログラムが正しく動く保証性であり、信頼性は多くの原因により損なわれる。
例えば仕様が未定義の挙動によってプログラムが停止することや、プログラムに記述した誤った条件式よる異なる計算結果、実行環境やパラメタの変化に対応できずに正しくない動作が引き起されることなどがある。
信頼性を低下させる原因が増えるタイミングの多くはプログラムを変更した時であると考えた。

本研究ではプログラムの変更を Monad を用いて形式化する。
プログラムの変更を形式化することにより、プログラムの信頼性が損なわれる変更を定義する。
信頼性を保ちながら開発するための手法や、変更を形式的に行なうことによって可能となる信頼性の解析などを提案する。
また、形式化した論理の観点からプログラムの変更が持つ性質などを解析し、ソフトウェア開発手法の指針を提案する。