論文の概要: Spreadsheet computing with Finite Domain Constraint Enhancements
- arxiv url: http://arxiv.org/abs/2203.10944v1
- Date: Tue, 22 Feb 2022 17:50:48 GMT
- ステータス: 処理完了
- システム内更新日: 2022-03-27 05:44:10.810874
- Title: Spreadsheet computing with Finite Domain Constraint Enhancements
- Title（参考訳）: 有限領域制約拡張によるスプレッドシート計算
- Authors: Ezana N. Beyenne
- Abstract要約: 本稿では,有限制約解法をスプレッドシート計算パラダイムにシームレスに組み込んだフレームワークを提案する。
このフレームワークは制約解決のためのインターフェースを提供し、スプレッドシートコンピューティングパラダイムをさらに強化する。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Spreadsheet computing is one of the more popular computing methodologies in
today's modern society. The spreadsheet application's ease of use and
usefulness has enabled non-programmers to perform programming-like tasks in a
familiar setting modeled after the tabular "pen and paper" approach. However,
spreadsheet applications are limited to bookkeeping-like tasks due to their
single-direction data flow. This thesis demonstrates an extension of the
spreadsheet computing paradigm in overcoming this limitation to solve
constraint satisfaction problems. We present a framework seamlessly
incorporating a finite constraint solver with the spreadsheet computing
paradigm. This framework allows the individual cells in the spreadsheet to be
attached to either a finite domain or a constraint specifying the relationship
among the cells. The framework provides an interface for constraint solving and
further enhances the spreadsheet computing paradigm by providing a set of
spreadsheet-specific constraints that will aid in controlling the scalability
of large spreadsheet applications implementations. Finally, we provide examples
to demonstrate the usability and usefulness of the extended spreadsheet
paradigm.
Keywords: Spreadsheet computing, Constraint Logic Programming, Constraint
satisfaction, Domain-Specific language, Excel, SWI Prolog, C#
- Abstract（参考訳）: スプレッドシートコンピューティングは、現代の社会において最もポピュラーなコンピューティング方法論の1つである。
スプレッドシートアプリケーションの使いやすさと有用性により、非プログラマは、表形式の「ペンと紙」アプローチをモデルにした親しみやすい設定でプログラミングのようなタスクを実行できる。
しかし、スプレッドシートアプリケーションは、その単一方向のデータフローのため、簿記のようなタスクに限られる。
この論文は、制約満足度問題を解決するために、この制限を克服するスプレッドシートコンピューティングパラダイムの拡張を示す。
本稿では,有限制約解法をスプレッドシート計算パラダイムにシームレスに組み込んだフレームワークを提案する。
このフレームワークにより、スプレッドシート内の個々のセルを有限領域またはセル間の関係を規定する制約にアタッチすることができる。
このフレームワークは制約解決のためのインターフェースを提供し、大規模なスプレッドシートアプリケーション実装のスケーラビリティを制御するのに役立つスプレッドシート固有の制約セットを提供することにより、スプレッドシートコンピューティングパラダイムをさらに強化する。
最後に,スプレッドシート拡張パラダイムの有用性と有用性を示す例を示す。
キーワード:スプレッドシートコンピューティング、制約論理プログラミング、制約満足度、ドメイン特化言語、Excel、SWI Prolog、C#
関連論文リスト
- SpreadsheetLLM: Encoding Spreadsheets for Large Language Models [44.08092362611575]
SpreadsheetLLMは、スプレッドシート上の大きな言語モデル(LLM)を解き放つために設計された効率的な符号化手法である。
LLMのスプレッドシートを効果的に圧縮する革新的な符号化フレームワークである SheetCompressor を開発した。
SheetCompressor による微調整 LLM の圧縮率は平均 25 倍であるが、最先端の 78.9% の F1 スコアを達成し、既存のモデルでは 12.3% を上回っている。
論文 参考訳（メタデータ） (2024-07-12T06:34:21Z) - LaTable: Towards Large Tabular Models [63.995130144110156]
タブラル生成基盤モデルは、異なるデータセットの不均一な特徴空間のために構築が困難である。
LaTableは、これらの課題に対処し、異なるデータセットでトレーニング可能な、新しい拡散モデルである。
LaTableは、分散生成のベースラインよりも優れており、微調整されたLaTableは、より少ないサンプルで分散データセットをより良く生成できる。
論文 参考訳（メタデータ） (2024-06-25T16:03:50Z) - SpreadsheetBench: Towards Challenging Real World Spreadsheet Manipulation [34.8332394229927]
SpreadsheetBenchは,現在の大規模言語モデル(LLM)を,スプレッドシートユーザのワークフローにマージするように設計されている。
合成クエリと単純化されたスプレッドシートファイルに依存する既存のベンチマークとは異なり、SpreadsheetBenchはオンラインExcelフォーラムから収集された912の質問から作られている。
単一ラウンドおよび複数ラウンドの推論条件下での各種LLMの総合評価は,最先端モデル(SOTA)と人為的性能との間に大きなギャップがあることを示唆している。
論文 参考訳（メタデータ） (2024-06-21T09:06:45Z) - MAP: Low-compute Model Merging with Amortized Pareto Fronts via Quadratic Approximation [80.47072100963017]
Amortized Pareto Front (MAP) を用いた新しい低演算アルゴリズム Model Merging を導入する。
MAPは、複数のモデルをマージするためのスケーリング係数のセットを効率的に識別し、関連するトレードオフを反映する。
また,タスク数が比較的少ないシナリオではベイジアンMAP,タスク数の多い状況ではNested MAPを導入し,計算コストを削減した。
論文 参考訳（メタデータ） (2024-06-11T17:55:25Z) - SheetCopilot: Bringing Software Productivity to the Next Level through
Large Language Models [60.171444066848856]
本研究では,スプレッドシートの要求を満たすために自然言語処理と制御を行うスプレッドシートコパイロットエージェントを提案する。
221のスプレッドシート制御タスクを含む代表データセットをキュレートし,完全自動評価パイプラインを構築した。
当社の SheetCopilot は1世代で44.3% のタスクを正しく完了し、強力なコード生成ベースラインを広いマージンで上回っている。
論文 参考訳（メタデータ） (2023-05-30T17:59:30Z) - Enhanced Spreadsheet Computing with Finite-Domain Constraint
Satisfaction [1.6244541005112747]
視覚環境において有限領域制約解決を十分にサポートした拡張スプレッドシートシステムを提案する。
一般ユーザがデータセル間の制約を指定するために,スプレッドシート固有の制約言語を構築する。
新しいスプレッドシートシステムは、多くの制約ベースのアプリケーションの開発を著しく単純化する。
論文 参考訳（メタデータ） (2022-02-22T17:58:08Z) - SpreadsheetCoder: Formula Prediction from Semi-structured Context [70.41579328458116]
行ベースと列ベースの両方のフォーマットで表されるコンテキストを表現するために,BERTベースのモデルアーキテクチャを提案する。
我々はスプレッドシートの大きなデータセットでモデルをトレーニングし、SpreadsheetCoderが42.51%の予測精度でトップ1の予測を達成できることを実証した。
ルールベースのシステムと比較すると、SpreadsheetCoder 82%は、Google Sheetsで公式を作成する上で、より多くのユーザを支援する。
論文 参考訳（メタデータ） (2021-06-26T11:26:27Z) - An Integer Linear Programming Framework for Mining Constraints from Data [81.60135973848125]
データから制約をマイニングするための一般的なフレームワークを提案する。
特に、構造化された出力予測の推論を整数線形プログラミング(ILP)問題とみなす。
提案手法は,9×9のスドクパズルの解法を学習し,基礎となるルールを提供することなく,例からツリー問題を最小限に分散させることが可能であることを示す。
論文 参考訳（メタデータ） (2020-06-18T20:09:53Z) - A Structured Approach to the development of Solutions in Excel [0.0]
本稿では,コヒーレントなソリューション戦略を構築するために,議論を呼んだり,あまり使われなかったりすることを検討する。
この問題は、プログラム言語のステップに似た一連の公式によって解決される。
論文 参考訳（メタデータ） (2017-04-04T18:22:26Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。