atcoder-workspace 1.1.0-beta.1 → 1.1.0-beta.3

package/LICENSE

@@ -19,3 +19,61 @@ AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
 LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
 OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
 SOFTWARE.
+
+---
+
+### Third-party Software Licenses
+
+This project includes code derived from the following third-party projects:
+
+1. atcoder-cli
+   Copyright (c) 2018 Tatamo
+   Licensed under the BSD 3-Clause License:
+
+   Redistribution and use in source and binary forms, with or without
+   modification, are permitted provided that the following conditions are met:
+
+   * Redistributions of source code must retain the above copyright notice, this
+     list of conditions and the following disclaimer.
+
+   * Redistributions in binary form must reproduce the above copyright notice,
+     this list of conditions and the following disclaimer in the documentation
+     and/or other materials provided with the distribution.
+
+   * Neither the name of the copyright holder nor the names of its
+     contributors may be used to endorse or promote products derived from
+     this software without specific prior written permission.
+
+   THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
+   AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
+   IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
+   DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE
+   FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
+   DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
+   SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
+   CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
+   OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE
+   USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+
+2. online-judge-tools
+   Copyright (c) 2018 Kimiyuki Onaka
+   Licensed under the MIT License:
+
+   Permission is hereby granted, free of charge, to any person obtaining a copy
+   of this software and associated documentation files (the "Software"), to deal
+   in the Software without restriction, including without limitation the rights
+   to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+   copies of the Software, and to permit persons to whom the Software is
+   furnished to do so, subject to the following conditions:
+
+   The above copyright notice and this permission notice shall be included in all
+   copies or substantial portions of the Software.
+
+   THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+   IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+   FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+   AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+   LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+   OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+   SOFTWARE.
+

package/README.md

@@ -1,9 +1,8 @@
 # AtCoder Workspace (atc)
 
-**Node.js と TypeScript で開発された、ローカルファーストの AtCoder 向け CLI ツールです。**
-
-AtCoder Workspace は、テンプレート、ログイン状態、テストケースなどをすべてワークスペース内で完結して管理するよう設計されています。グローバル環境を汚さず、どの環境でも同じ設定をそのまま利用できます。
+AtCoder Workspace は、AtCoder のコンテスト環境を効率的に構築・管理するための、TypeScript 製の CLI ツールです。
 
+`online-judge-tools (oj)` を別途インストールすることなく、テストケースの取得、ローカルテスト、ログイン状態の管理、テンプレート生成をすべて単一のワークスペース内で完結させることができます。
 
 ## インストール
 
@@ -26,17 +25,6 @@ atc whoami                     # 現在ログイン中のユーザー名を表
 atc logout                     # 保存されているセッション情報を削除
 ```
 
-### 問題取得・テスト・提出
-
-```bash
-atc new <contest> [task]       # 問題文・サンプルケースを取得し、テンプレート付きで作業ディレクトリを作成
-atc new <contest> --all        # コンテスト内の全問題を一括で作成
-atc test [task] [file]         # ローカルのサンプルケースでコンパイル・実行してテスト
-atc submit [task] [file]       # ローカルテストを実施し、確認後に提出・ジャッジ結果を取得
-```
-
----
-
 ## ワークスペース構成
 
 初期化すると、ワークスペースは次のような構成になります。
@@ -55,11 +43,36 @@ my-atcoder-workspace/
 │   └── b/
 ```
 
+
+### 問題取得・テスト・提出
+
+```bash
+atc new <contest>               # 問題文・サンプルケースを取得し、テンプレート付きで作業ディレクトリを作成
+atc new <contest> --all         # コンテスト内の全問題を一括で作成
+atc test [arg1] [arg2]          # ローカルのサンプルケースでコンパイル・実行してテスト
+atc submit [arg1] [arg2]        # ローカルテストを実施し、確認後に提出・ジャッジ結果を取得
+```
+`atc test`または`atc submit`は、特定のコンテストディレクトリに移動するか、引数にコンテスト名と問題名を指定することで実行できます。
+
+#### 例
+```bash
+atc new abc300
+atc test abc300 a
+atc submit abc300 a
+
+# または
+
+atc new abc300
+cd abc300/a
+atc test
+atc submit
+```
+
 ---
 
 ## 設定ファイル（`.atcoder-cli/config.json`）
 
-デフォルトの設定ファイルでは、使用する言語やビルド・実行コマンド、テンプレート、テストディレクトリなどを自由にカスタマイズできます。
+デフォルトの設定ファイルでは、使用する言語やビルド・実行コマンド、テンプレート、サンプルケースのディレクトリなどを自由にカスタマイズできます。
 
 ```json
 {
@@ -78,21 +91,30 @@ my-atcoder-workspace/
       "run": "python3 main.py"
     }
   },
-  "testDirName": "tests"
+  "testDirName": "tests",
+  "contestDir": "",
+  "lang": "en",
+  "extractProblemStatement": false,
+  "problemLang": "ja"
 }
 ```
 
----
+### 追加の設定オプション
 
-## 謝辞
+* **`lang`** (`"en"` | `"ja"`、デフォルト: `"en"`): CLIが表示するメッセージや警告などの表示言語を設定します。
+* **`extractProblemStatement`** (`boolean`、デフォルト: `false`): `true` に設定すると、問題のセットアップ時に `problem.md` として問題文を Markdown 形式で自動抽出します。抽出された `problem.md` は自動的に `.gitignore` の対象となるため、パブリックリポジトリ等へ誤ってコミットされる心配はありません。
+* **`problemLang`** (`"en"` | `"ja"`、デフォルト: `"ja"`): `extractProblemStatement` で抽出する問題文の言語を設定します。未設定の場合は `lang` の設定値にフォールバックします。
 
-AtCoder Workspace は、以下のプロジェクトに着想を得ています。
+---
 
-* **atcoder-cli (acc)**（開発者: Tatamo）
-* **online-judge-tools (oj)**（online-judge-tools Organization）
+## 謝辞とライセンス
 
-各ライセンスの詳細については、`THIRD_PARTY_LICENSES` をご覧ください。
+AtCoder Workspace は、以下の素晴らしいプロジェクトに着想を得ており、一部のコードにおいてそれらの実装を複製または改変して利用しています。
+
+* **atcoder-cli (acc)** (開発者: Tatamo, BSD 3-Clause License)
+* **online-judge-tools (oj)** (online-judge-tools Organization, MIT License)
 
 ## ライセンス
 
-MIT License
+本プロジェクトは **MIT License** で公開されていますが、一部のコードには上記のサードパーティ製ライセンスが適用されます。詳細な著作権表示およびライセンス文は [LICENSE](file:///Users/dakoyo/src/github.com/dakoyo/atCoder2/LICENSE) を参照してください。
+

package/dist/atcoder/new.js

@@ -94,7 +94,8 @@ async function setupTask(workspaceRoot, contestId, task, languageKey) {
     catch (err) {
         throw new errors_1.AtcError(`Failed to fetch problem page for "${task.id}": ${err.message}`);
     }
-    const problemDetails = (0, problem_page_1.parseProblemPage)(problemHtml);
+    const preferredProblemLang = config.problemLang || config.lang;
+    const problemDetails = (0, problem_page_1.parseProblemPage)(problemHtml, preferredProblemLang);
     // Write sample cases to tests/ directory
     const testDirName = config.testDirName || 'tests';
     const testDir = path.join(taskDir, testDirName);
@@ -114,6 +115,10 @@ async function setupTask(workspaceRoot, contestId, task, languageKey) {
         fs.writeFileSync(path.join(testDir, `sample-${sample.index}.in`), sample.input, 'utf8');
         fs.writeFileSync(path.join(testDir, `sample-${sample.index}.out`), sample.output, 'utf8');
     }
+    // Write problem statement if enabled in config
+    if (config.extractProblemStatement && problemDetails.problemStatementMd) {
+        fs.writeFileSync(path.join(taskDir, 'problem.md'), problemDetails.problemStatementMd, 'utf8');
+    }
     return {
         contestId,
         taskLabel: task.label,

package/dist/atcoder/parser/problem-page.d.ts

@@ -8,5 +8,6 @@ export interface TaskDetails {
     timeLimitMs: number;
     memoryLimitBytes: number;
     samples: SampleCase[];
+    problemStatementMd?: string;
 }
-export declare function parseProblemPage(html: string): TaskDetails;
+export declare function parseProblemPage(html: string, preferredLang?: 'en' | 'ja'): TaskDetails;

package/dist/atcoder/parser/problem-page.js

@@ -36,7 +36,317 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.parseProblemPage = parseProblemPage;
 const cheerio = __importStar(require("cheerio"));
 const limits_1 = require("./limits");
-function parseProblemPage(html) {
+function escapeMarkdown(text) {
+    return text
+        .replace(/\\/g, '\\\\')
+        .replace(/\*/g, '\\*')
+        .replace(/_/g, '\\_')
+        .replace(/`/g, '\\`')
+        .replace(/\[/g, '\\[')
+        .replace(/\]/g, '\\]');
+}
+function convertLineToMath(line) {
+    const trimmed = line.trim();
+    if (trimmed === ':' || trimmed === '\\vdots') {
+        return '\\vdots';
+    }
+    if (trimmed === '...' || trimmed === '\\dots' || trimmed === '\\cdots') {
+        return '\\dots';
+    }
+    let result = '';
+    let i = 0;
+    let textBuffer = '';
+    const flushBuffer = () => {
+        if (textBuffer) {
+            result += `\\text{${textBuffer}}`;
+            textBuffer = '';
+        }
+    };
+    while (i < line.length) {
+        const remaining = line.slice(i);
+        // 0. Match existing \text{...} optionally followed by a subscript
+        const textSubMatch = remaining.match(/^\\text\{([^{}]+)\}(?:_([a-zA-Z0-9]+|\{[^{}]+\}))?/);
+        if (textSubMatch) {
+            flushBuffer();
+            const baseText = textSubMatch[1];
+            const subText = textSubMatch[2];
+            if (subText) {
+                const formattedSub = (subText.startsWith('{') && subText.endsWith('}'))
+                    ? subText
+                    : (subText.length > 1 ? `{${subText}}` : subText);
+                result += `\\text{${baseText}}_${formattedSub}`;
+            }
+            else {
+                result += `\\text{${baseText}}`;
+            }
+            i += textSubMatch[0].length;
+            continue;
+        }
+        // 1. Match LaTeX commands like \dots, \vdots, \cdots
+        const cmdMatch = remaining.match(/^(\\[a-zA-Z]+)/);
+        if (cmdMatch) {
+            flushBuffer();
+            result += cmdMatch[1];
+            i += cmdMatch[1].length;
+            continue;
+        }
+        // 2. Match subscript pattern: e.g. A_i, query_1
+        const subMatch = remaining.match(/^([a-zA-Z]+)_([a-zA-Z0-9]+)/);
+        if (subMatch) {
+            flushBuffer();
+            const base = subMatch[1];
+            const sub = subMatch[2];
+            const formattedSub = sub.length > 1 ? `\\text{${sub}}` : sub;
+            result += `\\text{${base}}_${formattedSub}`;
+            i += subMatch[0].length;
+            continue;
+        }
+        // 3. Match raw ellipsis "..."
+        if (remaining.startsWith('...')) {
+            flushBuffer();
+            result += '\\dots';
+            i += 3;
+            continue;
+        }
+        // 4. Match colon ":"
+        if (remaining.startsWith(':')) {
+            flushBuffer();
+            result += '\\vdots';
+            i += 1;
+            continue;
+        }
+        // 5. Normal character (including spaces)
+        textBuffer += line[i];
+        i += 1;
+    }
+    flushBuffer();
+    return result;
+}
+function renderPreAsMathArray(node, $) {
+    const rawText = $(node).text();
+    const lines = rawText.split('\n');
+    let startIdx = 0;
+    while (startIdx < lines.length && lines[startIdx].trim() === '') {
+        startIdx++;
+    }
+    let endIdx = lines.length - 1;
+    while (endIdx >= startIdx && lines[endIdx].trim() === '') {
+        endIdx--;
+    }
+    const activeLines = lines.slice(startIdx, endIdx + 1);
+    if (activeLines.length === 0) {
+        return '';
+    }
+    const convertedLines = activeLines.map(line => convertLineToMath(line));
+    let result = '\n\n$$\n\\begin{array}{l}\n';
+    result += convertedLines.join(' \\\\\n');
+    result += '\n\\end{array}\n$$\n\n';
+    return result;
+}
+function processTextNode(text) {
+    const parts = [];
+    let i = 0;
+    while (i < text.length) {
+        if (text.startsWith('\\[', i)) {
+            const start = i;
+            const end = text.indexOf('\\]', i + 2);
+            if (end !== -1) {
+                const mathContent = text.slice(start + 2, end);
+                parts.push(`$$\n${mathContent.trim()}\n$$`);
+                i = end + 2;
+            }
+            else {
+                parts.push(escapeMarkdown(text.slice(i, i + 2)));
+                i += 2;
+            }
+        }
+        else if (text.startsWith('\\(', i)) {
+            const start = i;
+            const end = text.indexOf('\\)', i + 2);
+            if (end !== -1) {
+                const mathContent = text.slice(start + 2, end);
+                parts.push(`$${mathContent.trim()}$`);
+                i = end + 2;
+            }
+            else {
+                parts.push(escapeMarkdown(text.slice(i, i + 2)));
+                i += 2;
+            }
+        }
+        else if (text.startsWith('$$', i)) {
+            const start = i;
+            const end = text.indexOf('$$', i + 2);
+            if (end !== -1) {
+                const mathContent = text.slice(start + 2, end);
+                parts.push(`$$\n${mathContent.trim()}\n$$`);
+                i = end + 2;
+            }
+            else {
+                parts.push(escapeMarkdown(text.slice(i, i + 2)));
+                i += 2;
+            }
+        }
+        else if (text.startsWith('$', i)) {
+            const start = i;
+            const end = text.indexOf('$', i + 1);
+            if (end !== -1) {
+                const mathContent = text.slice(start + 1, end);
+                parts.push(`$${mathContent.trim()}$`);
+                i = end + 1;
+            }
+            else {
+                parts.push('$');
+                i += 1;
+            }
+        }
+        else {
+            let nextIndex = -1;
+            let selectedDelim = '';
+            const delims = ['\\[', '\\(', '$$', '$'];
+            for (const delim of delims) {
+                const idx = text.indexOf(delim, i);
+                if (idx !== -1 && (nextIndex === -1 || idx < nextIndex)) {
+                    nextIndex = idx;
+                    selectedDelim = delim;
+                }
+            }
+            if (nextIndex === -1) {
+                parts.push(escapeMarkdown(text.slice(i)));
+                break;
+            }
+            else {
+                parts.push(escapeMarkdown(text.slice(i, nextIndex)));
+                i = nextIndex;
+            }
+        }
+    }
+    return parts.join('');
+}
+function nodeToMarkdown(node, $, isInsideMath = false) {
+    if (node.type === 'text') {
+        return isInsideMath ? (node.data || '') : processTextNode(node.data || '');
+    }
+    if (node.type === 'tag') {
+        const tagName = node.name;
+        const className = $(node).attr('class') || '';
+        const classes = className.split(/\s+/);
+        const isMathContainer = tagName === 'var' || classes.includes('math');
+        const isBlockMath = tagName === 'div' && classes.includes('math');
+        if (isMathContainer) {
+            let mathBody = '';
+            if (node.children) {
+                for (const child of node.children) {
+                    mathBody += nodeToMarkdown(child, $, true);
+                }
+            }
+            const delim = isBlockMath ? '$$' : '$';
+            if (isBlockMath) {
+                return `\n\n$$\n${mathBody.trim()}\n$$\n\n`;
+            }
+            return `${delim}${mathBody.trim()}${delim}`;
+        }
+        if (tagName === 'table') {
+            const $table = $(node).clone();
+            $table.find('a').each((_, el) => {
+                const href = $(el).attr('href');
+                if (href && href.startsWith('/') && !href.startsWith('//')) {
+                    $(el).attr('href', 'https://atcoder.jp' + href);
+                }
+            });
+            $table.find('img').each((_, el) => {
+                const src = $(el).attr('src');
+                if (src && src.startsWith('/') && !src.startsWith('//')) {
+                    $(el).attr('src', 'https://atcoder.jp' + src);
+                }
+            });
+            return '\n\n' + $.html($table) + '\n\n';
+        }
+        let childrenMarkdown = '';
+        if (node.children) {
+            for (const child of node.children) {
+                childrenMarkdown += nodeToMarkdown(child, $, isInsideMath);
+            }
+        }
+        switch (tagName) {
+            case 'h1':
+            case 'h2':
+            case 'h3':
+            case 'h4':
+            case 'h5':
+            case 'h6': {
+                const level = parseInt(tagName.substring(1), 10);
+                return `\n\n${'#'.repeat(level)} ${childrenMarkdown.trim()}\n\n`;
+            }
+            case 'p':
+                return `\n\n${childrenMarkdown.trim()}\n\n`;
+            case 'br':
+                return '\n';
+            case 'strong':
+            case 'b':
+                return `**${childrenMarkdown.trim()}**`;
+            case 'em':
+            case 'i':
+                return `*${childrenMarkdown.trim()}*`;
+            case 'code': {
+                const parentTagName = node.parent?.name;
+                if (parentTagName === 'pre') {
+                    return childrenMarkdown;
+                }
+                return `\`${childrenMarkdown}\``;
+            }
+            case 'pre': {
+                const text = $(node).text();
+                const hasVar = $(node).find('var').length > 0;
+                const hasMathSymbols = text.includes('\\dots') || text.includes('\\vdots') || text.includes('\\cdots') || text.includes('\\le');
+                if (hasVar || hasMathSymbols) {
+                    return renderPreAsMathArray(node, $);
+                }
+                return `\n\n\`\`\`\n${text.trim()}\n\`\`\`\n\n`;
+            }
+            case 'a': {
+                let href = $(node).attr('href') || '';
+                if (href.startsWith('/') && !href.startsWith('//')) {
+                    href = 'https://atcoder.jp' + href;
+                }
+                return `[${childrenMarkdown.trim()}](${href})`;
+            }
+            case 'img': {
+                let src = $(node).attr('src') || '';
+                if (src.startsWith('/') && !src.startsWith('//')) {
+                    src = 'https://atcoder.jp' + src;
+                }
+                const alt = $(node).attr('alt') || '';
+                return `![${alt}](${src})`;
+            }
+            case 'ul':
+            case 'ol':
+                return `\n\n${childrenMarkdown}\n\n`;
+            case 'li': {
+                let indentLevel = 0;
+                let parent = node.parent;
+                while (parent) {
+                    const parentName = parent.name;
+                    if (parentName === 'ul' || parentName === 'ol') {
+                        indentLevel++;
+                    }
+                    parent = parent.parent;
+                }
+                const indent = '  '.repeat(Math.max(0, indentLevel - 1));
+                const parentTagName = node.parent?.name;
+                const prefix = parentTagName === 'ol' ? '1. ' : '- ';
+                return `\n${indent}${prefix}${childrenMarkdown.trim()}`;
+            }
+            case 'div':
+            case 'span':
+            case 'section':
+                return childrenMarkdown;
+            default:
+                return childrenMarkdown;
+        }
+    }
+    return '';
+}
+function parseProblemPage(html, preferredLang) {
     const $ = cheerio.load(html);
     let title = $('span.h2').first().text().trim();
     if (!title) {
@@ -72,11 +382,34 @@ function parseProblemPage(html) {
         }
     }
     let $container = $('#task-statement');
-    if ($container.find('.lang-en').length > 0) {
-        $container = $container.find('.lang-en');
+    if (preferredLang === 'ja') {
+        if ($container.find('.lang-ja').length > 0) {
+            $container = $container.find('.lang-ja');
+        }
+        else if ($container.find('.lang-en').length > 0) {
+            $container = $container.find('.lang-en');
+        }
+    }
+    else {
+        if ($container.find('.lang-en').length > 0) {
+            $container = $container.find('.lang-en');
+        }
+        else if ($container.find('.lang-ja').length > 0) {
+            $container = $container.find('.lang-ja');
+        }
     }
-    else if ($container.find('.lang-ja').length > 0) {
-        $container = $container.find('.lang-ja');
+    // Convert task statement HTML to Markdown if task statement exists
+    let problemStatementMd = '';
+    if ($container.length > 0) {
+        let mdBody = '';
+        $container.contents().each((_, node) => {
+            mdBody += nodeToMarkdown(node, $);
+        });
+        mdBody = mdBody.replace(/\n{3,}/g, '\n\n').trim();
+        problemStatementMd = `# ${title}\n\n`;
+        problemStatementMd += `- Time Limit: ${timeLimitMs / 1000} sec\n`;
+        problemStatementMd += `- Memory Limit: ${Math.round(memoryLimitBytes / (1024 * 1024))} MB\n\n`;
+        problemStatementMd += mdBody + '\n';
     }
     const sampleMap = {};
     const inputRegex = /(?:Sample\s+Input|入力例)\s*(?:#|No\.?)?\s*(\d+)/i;
@@ -131,6 +464,7 @@ function parseProblemPage(html) {
         title,
         timeLimitMs,
         memoryLimitBytes,
-        samples
+        samples,
+        problemStatementMd
     };
 }