プログラミング

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

Kale: A Transformation-Safe Spreadsheet System (arxiv.org)

43 pointsby zdw2026年9月1日13 コメント

要約

本論文では、スプレッドシートにおける参照の更新がユーザーの意図しないバグを引き起こす問題に対処するため、新しいシステム「Kale」を提案しています。Kaleは、参照可能な参照の種類を制限することで、このようなバグのリスクを排除し、従来のシステムではエラーが発生しやすいタスクをユーザーが効果的に実行できることを示しています。さらに、Kaleの参照制限がユーザーに与える影響を評価するコーパススタディについても述べています。

全文翻訳

コンピュータサイエンス > ヒューマンコンピュータインタラクション

arXiv:2608.26345 (cs)

[Submitted on 26 Aug 2026]

タイトル: 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: A Transformation-Safe Spreadsheet System」のPDFを表示

PDFを表示 HTML (実験的)

要約: スプレッドシートの数式は、任意のサイズの長方形範囲を参照できます。ユーザーが参照されているテーブルの構造を変更すると、スプレッドシートシステムは参照を更新して新しい範囲を参照させます。残念ながら、この新しい範囲はユーザーの期待とは異なる可能性があり、スプレッドシートにバグを発生させます。標準的な参照セマンティクスがエラーを起こしやすく、ユーザーに重大なリスクをもたらすことを示すユーザー調査を説明します。これらの種類のバグを挿入するリスクを排除するプロトタイプシステム「Kale」を紹介します。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 arXiv発行のDOI (DataCite経由)