精密化演算によるソフトウェア発展
スポンサーリンク
概要
- 論文の詳細を見る
精密化演算とは, 論理を基礎とする帰納的推論である帰納論理において鍵になる演算である.帰納論理を仕様からの論理プログラムの合成と捉えれば, それはソフトウェア発展のモデルと考えることができる.本稿では, 精密化演算子の代数的側面と論理的側面について再考した上で,メタ論理プログラムの枠組みを用いて精密化演算を論理プログラムとして定義することにより, その論理プログラム表現の持つべき性質を考察する.
- 日本ソフトウェア科学会の論文
日本ソフトウェア科学会 | 論文
- LCDと透明弾性体の光弾性を用いたユーザインタフェース (特集 インタラクティブシステムとソフトウェア)
- Bluetoothによる位置検出
- COINSにおけるSIMD並列化(最新コンパイラ技術とCOINSによる実践)
- データ型を考慮した軽量なXML文書処理系の自動生成(ソフトウェア開発を支援する基盤技術)
- 計算と論理のための自然枠組NF/CAL(システム検証の科学技術)