日本ソフトウェア科学会大会講演論文集
Online ISSN : 1349-3515
ISSN-L : 0913-5391
日本ソフトウェア科学会第20回記念大会
セッションID: 2A-5
会議情報

精密化演算によるソフトウェア発展
*山本 章博
著者情報
キーワード: 帰納論理, 精密化
会議録・要旨集 フリー

詳細
抄録

精密化演算とは, 論理を基礎とする帰納的推論である帰納論理において鍵になる演算である.帰納論理を仕様からの論理プログラムの合成と捉えれば, それはソフトウェア発展のモデルと考えることができる.本稿では, 精密化演算子の代数的側面と論理的側面について再考した上で,メタ論理プログラムの枠組みを用いて精密化演算を論理プログラムとして定義することにより, その論理プログラム表現の持つべき性質を考察する.

著者関連情報
© 2003 日本ソフトウェア科学会
前の記事 次の記事
feedback
Top