非手続き的表現の一つとしての条件式のPascalへの導入
スポンサーリンク
概要
- 論文の詳細を見る
プログラムを書きやすくして, ソフトウェアの生産性と信頼性を向上させる一つの方法として, 非手続き的な表現を用いることが考えられる. 本論文では, 非手続き的表現の一つとして,「条件式」をとりあげ, それをPascalに組み込んで実現する処理系について述べている.「条件式」は, 値を求めたい変数が満たすべき条件をそのまま表現することを可能にするもので, 現在のところ, 1元3次の多項式, 2元2次の多項式, および, 初等関数を含んだ1変数の代数式で表せるものを可能とした. 処理系は, 条件式を含んだプログラムを解析して標準のPascalプログラムに変換する部分と, 実行時に条件式を処理して解を求める操作を行う部分とから成っている. 本論文では, 処理系の構成とその実現方法, 条件式を解いて得られた複数個の解を有効に利用するための限定条件の導入とその処理方法, 実現した処理系の大きさと評価, および, 条件式の応用例について述べている.
- 一般社団法人情報処理学会の論文
- 1984-11-15
著者
関連論文
- 多次元データセットのコンパクトな実現方式の提案(データベース/検索,e-Science及びData Intensive Science)
- 挿入拡張・中抜き縮小可能な多次元配列
- 柔軟にサイズ変更可能な多次元配列
- サイエンティフィックデータベース管理システムDREAMの設計
- 3. 遺跡遺物の計測・復元・データベース化 : 3-3 考古学データベースの現状と課題(いにしえの世界を探る科学技術)
- サイエンティフィックデータベースのための一次データの一管理法
- 複合オブジェクト索引の並列検索終了判定法
- 複合オブジェクト索引のマルチスレッド複合検索システム
- 分散OODBMSサーバのメッセージスケジューリングの一方式
- 複合オブジェクトに対する索引の分割を決定する確率アルゴリズム
- 複合オブジェクトに対する索引の分割を決定する確率アルゴリズム
- 複合検索のための複合オブジェクト索引の並列処理方式
- 複合オブジェクトの索引に対する水平垂直分割の一方式
- OODBMSに対するC++インターフェースの一方式
- 関係データベース操作言語の遅延評価による最適化
- オブジェクト指向DBMSの一設計とその実現
- 動画の特徴量からの感性の主因子の因子得点の推定(感性)(夏のデータベースワークショップDBWS2004)
- 動画の特徴量からの感性の主因子の因子得点の推定(セッション2C : 感性)(夏のデータベースワークショップ : DBWS2004)
- MOLAPのための多次元配列の実現方式とその性能評価(データマイニング・データウェアハウス)
- 拡張可能配列の遅延割付け方式(研究速報)
- 交互作用を考慮した音クリップの特徴量からの感性因子得点の推定
- 複合オブジェクトに対する索引のオンライン更新が可能な分散管理システム
- 感性に基づくクロスメディア検索システムについて
- グラフィカル問合せ言語DUOにおける非巡回有向グラフ問合せの検討
- 感性に基づくクロスメディア検索システムについて
- グラフィカル問合せ言語DUOにおける非巡回有向グラフ問合せの検討
- 利用者適応型考古学データベースシステムに関する一考察
- ユーザ定義可能な仮想電子辞書システム
- 印象に基づく映像と音楽の相互検索に関する一考察
- 動的多次元データセットのコンパクトな実現方式の提案
- 二次記憶における多次元データのコンテナ化方式(夏のデータベースワークショップ2007(データ工学,一般))
- 二次記憶における多次元データのコンテナ化方式(高次元データ,夏のデータベースワークショップ2007(データ工学,一般))
- 拡張チャンクによる多次元配列の圧縮格納方式(セッション3 : データベース基盤技術)
- 経歴・オフセット法による関係テーブルの実装方式(セッション3 : データベース基盤技術)
- 索引分散管理システムにおける再編成処理の実装(セッション2 : 分散システム)
- Suffix Arrayに基づく大規模XML文書のための高速サーチエンジン
- 複合オブジェクトに対する索引分散管理システムにおけるオンライン再編成法
- 動的分散システムを支援するオブジェクトアダプタの設計
- 動的分散システムを支援するオブジェクトアダプタの設計
- 動的再構成が可能な分散オブジェクトシステムを支援するORBに関する考察
- 多次元言語の構文解析に関する一手法
- 仮想電子辞書の設計
- 拡張可能配列の一実現方式とPascal言語への組込み
- 最適化出力を生成するRatforプリプロセッサとその性能評価
- 最適化出力を生成する構造的FORTRANプリプロセッサ
- 感性の主因子に基づく画像・自然音アクセスに関する一検討
- 感性の主因子を用いたマルチメディアデータ検索システム
- 経歴・オフセット法によるXML文書の一実装方式
- D-6-5 マルチスレッド終了判定法とそのライブラリ
- 感性に基づくマルチメディアデータの相互アクセスについて
- 感性に基づくマルチメディアデータの相互アクセスについて
- 考古学データベースからの情報の抽出
- データベース言語処理システムの自動生成に関する一検討
- データベース言語処理システムの自動生成に関する一検討
- 分岐履歴演算による複合オブジェクト索引の並列検索終了判定
- 対象世界のモデリングを用いた図形・画像データの内容検索
- 非手続き的表現の一つとしての条件式のPascalへの導入
- 条件式による表現とその処理方式
- 柔構造データベースにおける関連制約の検査について
- 名前付き集合モデルを用いたシェイプの実現に関する一考察
- 半構造データを柔軟に管理可能なデータモデルの実現
- データ型に基づくマルチメディアデータ参照機構の実現とその有効性
- 2000-DBS-122-34 拡張可能配列とその共有システムの設計と実現
- DE2000-56 拡張可能配列とその共有システムの設計と実現
- 仮想マルチメディアオブジェクト導出処理の最適化について
- マルチメディアデータの柔軟な操作のための仮想マルチメディアオブジェクト
- 多次元言語パーザ自動生成システムを用いたグラフィカル問い合わせ言語インタプリタの実現
- グラフィカル問合せ言語DUO用インタプリタの設計・製作
- 仮想電子辞書の設計と実現
- 感性に基づくマルチメディアデータの関連付けに関する一考察
- 次元拡張に対応したデータキューブの構築
- 考古学研究における柔構造データベースシステムの利用について
- 印象に基づくマルチメディアデータの相互アクセス法
- 感性に基づくマルチメディアデータの関連付けに関する一考察
- 感性に基づくマルチメディアデータの関連付けに関する一考察
- 感性マルチメディア検索における擬逆行列を用いた一個人適応法
- 拡張可能DBMSにおける部品の管理と呼び出しの一方法
- 対象世界のモデリングを用いた図形・画像データの内容検索
- XML文書の一実装方式とその性能評価
- 再帰有向超グラフに基づく-データモデル
- 再帰有向超グラフデータベースに対する問合わせについて
- 再帰有向超グラフデータモデルにおけるデータの構造的な性質について
- 再帰超グラフデータモデルに基づくデータベースのための格納構造について
- 超グラフに基づくデータモデルについて
- 超グラフに基づくデータモデルについて
- サプライチェーン・マネジメントのためのデータベース構築(データ工学と食メディア)