抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
代数効果は多様な影響をカバーする多目的フレームワークを提供する。しかしながら,範囲を制限する操作のファミリーは,代数的ではなく,通常,取扱者としてモデル化され,従って,それらを代数的操作と共に自由に使用することを妨げる。スコープ操作のための提案は存在するが,それらはアドホックで非原理的であり,また,実用的プログラミングには不便である。本論文は,両方の世界:実装と推論に便利である範囲効果の理論的基礎モデルを提供する。著者らの新しいモデルは,局所的に有限に存在するカテゴリーと基礎代数学のカテゴリーの間の補助に基づいている。付属物間の比較関数を用いて,著者らは,著者らの新しいモデル,既存の索引付けモデル,および代数的ものに関する範囲操作をシミュレーションする第3のアプローチが,処理範囲操作のために等しい表現性を有することを示した。実装の容易さと構造化の間のスイートスポットである新しいモデルを考察した。さらに,著者らのアプローチは,推論と最適化のために有用な範囲効果の取扱者の融合法則を自動的に誘導する。【JST・京大機械翻訳】