Argus:証拠で「続けるか曲げるか」を決める長期作業向けの実行環境 | arXiv News