Kale: 変換安全なスプレッドシートシステム

コンピュータサイエンス > ヒューマンコンピュータインタラクション arXiv:2608.26345 (cs) [2026年8月26日提出] タイトル: Kale: 変換安全なスプレッドシートシステム 著者: Michael Coblenz, Jacob Yim, Ajinkya Bokade, Mounika Padala, Julia Epshtein, Priyanka Bhatia, Piyush Chauhan, Simran Gill, Aniket Gupta, Grishma Gurbani, Vaibhav Khetan, Arushi Munjal, Jeffery Tung, Joanna Yang Michael Coblenzら13名の著者による「Kale: 変換安全なスプレッドシートシステム」というタイトルの論文のPDFを表示します。 PDFを表示 HTML（実験的） 概要: スプレッドシートの数式は、任意のサイズの長方形の範囲を参照できます。ユーザーが参照されているテーブルの構造を変更すると、スプレッドシートシステムは参照を更新して新しい範囲を参照するようにします。残念ながら、この新しい範囲はユーザーの期待とは異なる可能性があり、スプレッドシートにバグを発生させます。標準的な参照セマンティクスがエラーを起こしやすく、ユーザーに重大なリスクをもたらすことを示すユーザー調査を説明します。我々は、Kaleというプロトタイプシステムを紹介します。これは、表現できる参照の種類を制限することにより、これらの種類のバグを挿入するリスクを排除します。Kaleが、従来の表計算システムでエラーを起こしやすいタスクをユーザーが効果的に完了するために使用できることを示します。最後に、Kaleにおける参照制限がユーザーに与える影響の程度を評価するコーパススタディについて説明します。 対象分野: ヒューマンコンピュータインタラクション (cs.HC); ソフトウェア工学 (cs.SE) 引用形式: arXiv:2608.26345 [cs.HC] (またはこのバージョンでは arXiv:2608.26345v1 [cs.HC]) https://doi.org/10.48550/arXiv.2608.26345 DataCite経由のarXiv発行DOI（登録保留中） 提出履歴 送信者: Jacob Yim [メールを表示] [v1] 2026年8月26日水曜日 19:27:47 UTC (2,289 KB) 全文リンク: 論文にアクセス: Michael Coblenzら13名の著者による「Kale: 変換安全なスプレッドシートシステム」というタイトルの論文のPDFを表示します。 PDFを表示 HTML（実験的） TeXソース ライセンスを表示 現在の閲覧コンテキスト: cs.HC < 前 | 次 > 新着 | 最近 | 2026-08 で閲覧を変更: cs cs.SE 参考文献と引用 NASA ADS Google Scholar Semantic Scholar BibTeXエクスポート BibTeX引用を読み込み中... BibTeX形式の引用 × 読み込み中... 提供データ: ブックマーク 書誌ツール 書誌および引用ツール 書誌エクスプローラー 書誌エクスプローラーを表示（書誌エクスプローラーとは？） Connected Papers Connected Papersを表示（Connected Papersとは？） Litmaps Litmapsを表示（Litmapsとは？） scite.ai scite Smart Citationsを表示（Smart Citationsとは？） コード、データ、メディア この論文に関連するコード、データ、メディア alphaXiv alphaXivを表示（alphaXivとは？） コードへのリンク CatalyzeX 論文用コードファインダー（CatalyzeXとは？） DagsHub DagsHubを表示（DagsHubとは？） GotitPub Gotit.pubを表示（GotitPubとは？） Huggingface Hugging Faceを表示（Huggingfaceとは？） ScienceCast ScienceCastを表示（ScienceCastとは？） デモ デモ Replicate Replicateを表示（Replicateとは？） Spaces Hugging Face Spacesを表示（Spacesとは？） Spaces TXYZ.AIを表示（TXYZ.AIとは？） 関連論文 レコメンダーおよび検索ツール Influence Flowerへのリンク Influence Flower（Influence Flowersとは？） Core recommender CORE Recommenderを表示（CORE Recommenderとは？） 著者 この論文の著者は誰ですか？ | MathJaxを無効にする（MathJaxとは？）