nadesiko3 3.7.21 → 3.7.23

package/core/package-lock.json

@@ -1,23 +1,23 @@
 {
   "name": "nadesiko3core",
-  "version": "3.7.18",
+  "version": "3.7.21",
   "lockfileVersion": 3,
   "requires": true,
   "packages": {
     "": {
       "name": "nadesiko3core",
-      "version": "3.7.18",
+      "version": "3.7.21",
       "license": "MIT",
       "dependencies": {
         "cross-env": "^10.0.0",
-        "smol-toml": "1.6.1"
+        "smol-toml": "1.7.1"
       },
       "bin": {
         "snako": "command/snako.mjs"
       },
       "devDependencies": {
-        "@types/node": "^25.6.0",
-        "typescript": "^6.0.3"
+        "@types/node": "^26.1.2",
+        "typescript": "^7.0.2"
       }
     },
     "node_modules/@epic-web/invariant": {
@@ -27,13 +27,353 @@
       "license": "MIT"
     },
     "node_modules/@types/node": {
-      "version": "25.6.0",
-      "resolved": "https://registry.npmjs.org/@types/node/-/node-25.6.0.tgz",
-      "integrity": "sha512-+qIYRKdNYJwY3vRCZMdJbPLJAtGjQBudzZzdzwQYkEPQd+PJGixUL5QfvCLDaULoLv+RhT3LDkwEfKaAkgSmNQ==",
+      "version": "26.1.2",
+      "resolved": "https://registry.npmjs.org/@types/node/-/node-26.1.2.tgz",
+      "integrity": "sha512-Vu4a5UFA9rIIFJ7rB/Vaafh9lrCQszopTCx6KjFboXTGQbPNasehVR5TEiithSDGyd1DEiUByggTZsg8jukeIg==",
       "dev": true,
       "license": "MIT",
       "dependencies": {
-        "undici-types": "~7.19.0"
+        "undici-types": "~8.3.0"
+      }
+    },
+    "node_modules/@typescript/typescript-aix-ppc64": {
+      "version": "7.0.2",
+      "resolved": "https://registry.npmjs.org/@typescript/typescript-aix-ppc64/-/typescript-aix-ppc64-7.0.2.tgz",
+      "integrity": "sha512-MTKKkWB7p/0E9xi1d1tHtZ5PiLkGEMIq88pK2CubZjOsLtYTLqhgIgi6zepFa+9GHZ6h05NMCkQxGKiPXMxXtQ==",
+      "cpu": [
+        "ppc64"
+      ],
+      "dev": true,
+      "license": "Apache-2.0",
+      "optional": true,
+      "os": [
+        "aix"
+      ],
+      "engines": {
+        "node": ">=16.20.0"
+      }
+    },
+    "node_modules/@typescript/typescript-darwin-arm64": {
+      "version": "7.0.2",
+      "resolved": "https://registry.npmjs.org/@typescript/typescript-darwin-arm64/-/typescript-darwin-arm64-7.0.2.tgz",
+      "integrity": "sha512-gowzar9MwS/aRWp6f3a4KUqzRjAZjOsmGNCM6LcTgXum+dBfgsBVMN+AgvOCCbguXyick6LJhpBszxMebJ8syA==",
+      "cpu": [
+        "arm64"
+      ],
+      "dev": true,
+      "license": "Apache-2.0",
+      "optional": true,
+      "os": [
+        "darwin"
+      ],
+      "engines": {
+        "node": ">=16.20.0"
+      }
+    },
+    "node_modules/@typescript/typescript-darwin-x64": {
+      "version": "7.0.2",
+      "resolved": "https://registry.npmjs.org/@typescript/typescript-darwin-x64/-/typescript-darwin-x64-7.0.2.tgz",
+      "integrity": "sha512-SZ9xZInqApNlNGc9s0W1VSsktYSOe9cFqNOIqmN1Gs8SmkjKZYFt017G4VwPxASInODuAdbTW7sXiFUf893RgA==",
+      "cpu": [
+        "x64"
+      ],
+      "dev": true,
+      "license": "Apache-2.0",
+      "optional": true,
+      "os": [
+        "darwin"
+      ],
+      "engines": {
+        "node": ">=16.20.0"
+      }
+    },
+    "node_modules/@typescript/typescript-freebsd-arm64": {
+      "version": "7.0.2",
+      "resolved": "https://registry.npmjs.org/@typescript/typescript-freebsd-arm64/-/typescript-freebsd-arm64-7.0.2.tgz",
+      "integrity": "sha512-W5NH4y/J0plIIS5b2xvTEkU7JFxyqdMAOgf+Ilhl0vHQXKO5dZoxd+C/jEtq56c4F3wk71RB4BMRQ2XdI+bwYQ==",
+      "cpu": [
+        "arm64"
+      ],
+      "dev": true,
+      "license": "Apache-2.0",
+      "optional": true,
+      "os": [
+        "freebsd"
+      ],
+      "engines": {
+        "node": ">=16.20.0"
+      }
+    },
+    "node_modules/@typescript/typescript-freebsd-x64": {
+      "version": "7.0.2",
+      "resolved": "https://registry.npmjs.org/@typescript/typescript-freebsd-x64/-/typescript-freebsd-x64-7.0.2.tgz",
+      "integrity": "sha512-UMGDx5sTpzNw3WiPebH7l90IWfJggEd+egHt/q6p7/Cm3zqoV7VxkGXt+3DxPIw8CcmvAB0j3sVVfbhX+M4Tpw==",
+      "cpu": [
+        "x64"
+      ],
+      "dev": true,
+      "license": "Apache-2.0",
+      "optional": true,
+      "os": [
+        "freebsd"
+      ],
+      "engines": {
+        "node": ">=16.20.0"
+      }
+    },
+    "node_modules/@typescript/typescript-linux-arm": {
+      "version": "7.0.2",
+      "resolved": "https://registry.npmjs.org/@typescript/typescript-linux-arm/-/typescript-linux-arm-7.0.2.tgz",
+      "integrity": "sha512-gffT3xPz9sR7j/YJExkyPntrI0P2EP9XbOyWzth2/Gs0RstK+90RBcO0ncXoXy/beYll1SXw846Nf2zdnEz0QQ==",
+      "cpu": [
+        "arm"
+      ],
+      "dev": true,
+      "license": "Apache-2.0",
+      "optional": true,
+      "os": [
+        "linux"
+      ],
+      "engines": {
+        "node": ">=16.20.0"
+      }
+    },
+    "node_modules/@typescript/typescript-linux-arm64": {
+      "version": "7.0.2",
+      "resolved": "https://registry.npmjs.org/@typescript/typescript-linux-arm64/-/typescript-linux-arm64-7.0.2.tgz",
+      "integrity": "sha512-Qh4eU4/y3yDjnfjjyPYihMj5/ODIlmt+Bzu17OI+fiSRDW57QmU5SiN63exPRNJPKUzcc1INa1NXdrJ+MqHjUQ==",
+      "cpu": [
+        "arm64"
+      ],
+      "dev": true,
+      "license": "Apache-2.0",
+      "optional": true,
+      "os": [
+        "linux"
+      ],
+      "engines": {
+        "node": ">=16.20.0"
+      }
+    },
+    "node_modules/@typescript/typescript-linux-loong64": {
+      "version": "7.0.2",
+      "resolved": "https://registry.npmjs.org/@typescript/typescript-linux-loong64/-/typescript-linux-loong64-7.0.2.tgz",
+      "integrity": "sha512-uEHck9i8hoAzXPiYRib1O7miOnz23SxIeVl6F4LXox+qov1K35jHcEW6VHKvZI+pyvl7fZEP4MCU5LYvIq1GuQ==",
+      "cpu": [
+        "loong64"
+      ],
+      "dev": true,
+      "license": "Apache-2.0",
+      "optional": true,
+      "os": [
+        "linux"
+      ],
+      "engines": {
+        "node": ">=16.20.0"
+      }
+    },
+    "node_modules/@typescript/typescript-linux-mips64el": {
+      "version": "7.0.2",
+      "resolved": "https://registry.npmjs.org/@typescript/typescript-linux-mips64el/-/typescript-linux-mips64el-7.0.2.tgz",
+      "integrity": "sha512-R4KvAMnE43W5Qeqb0Ly56O3mWMWIAgsMyz36DCaycd5nbg/9kzm0liw3JocfRqyJY0KPmzFjbswozXyW0DnIYA==",
+      "cpu": [
+        "mips64el"
+      ],
+      "dev": true,
+      "license": "Apache-2.0",
+      "optional": true,
+      "os": [
+        "linux"
+      ],
+      "engines": {
+        "node": ">=16.20.0"
+      }
+    },
+    "node_modules/@typescript/typescript-linux-ppc64": {
+      "version": "7.0.2",
+      "resolved": "https://registry.npmjs.org/@typescript/typescript-linux-ppc64/-/typescript-linux-ppc64-7.0.2.tgz",
+      "integrity": "sha512-DORx5b3sd/4S7eayxm4FQv+A7CrkUIGRaHiwI8oiHTAI1fAPWhF4J0vAlkC8biAlHSVVwxMQ3tjZ2/DVbnQiiA==",
+      "cpu": [
+        "ppc64"
+      ],
+      "dev": true,
+      "license": "Apache-2.0",
+      "optional": true,
+      "os": [
+        "linux"
+      ],
+      "engines": {
+        "node": ">=16.20.0"
+      }
+    },
+    "node_modules/@typescript/typescript-linux-riscv64": {
+      "version": "7.0.2",
+      "resolved": "https://registry.npmjs.org/@typescript/typescript-linux-riscv64/-/typescript-linux-riscv64-7.0.2.tgz",
+      "integrity": "sha512-wf0jqEDOjrPRnKwYRyyJDRo11KMbvMFrU+q4zqKyChODBzvlkbhNQfKvLxQCcwTpdDaXSHZTVuh0JoCrKCUMHQ==",
+      "cpu": [
+        "riscv64"
+      ],
+      "dev": true,
+      "license": "Apache-2.0",
+      "optional": true,
+      "os": [
+        "linux"
+      ],
+      "engines": {
+        "node": ">=16.20.0"
+      }
+    },
+    "node_modules/@typescript/typescript-linux-s390x": {
+      "version": "7.0.2",
+      "resolved": "https://registry.npmjs.org/@typescript/typescript-linux-s390x/-/typescript-linux-s390x-7.0.2.tgz",
+      "integrity": "sha512-IkwJc3L7yhytWd/ewjyxNDfOmswCm9GWMJT/ue/dU4aZNbwZeYAetq42VyLmsmSjvoX7z74X6ZaYCtzAr0EuGw==",
+      "cpu": [
+        "s390x"
+      ],
+      "dev": true,
+      "license": "Apache-2.0",
+      "optional": true,
+      "os": [
+        "linux"
+      ],
+      "engines": {
+        "node": ">=16.20.0"
+      }
+    },
+    "node_modules/@typescript/typescript-linux-x64": {
+      "version": "7.0.2",
+      "resolved": "https://registry.npmjs.org/@typescript/typescript-linux-x64/-/typescript-linux-x64-7.0.2.tgz",
+      "integrity": "sha512-EYdf2cNg7rgCWJnxCdJ+F3V39O8ihb37eHAu1LK8oAFizgTQbPOK7zHHXbPt8rX24COqODXeI3sIf0fCXG7H/A==",
+      "cpu": [
+        "x64"
+      ],
+      "dev": true,
+      "license": "Apache-2.0",
+      "optional": true,
+      "os": [
+        "linux"
+      ],
+      "engines": {
+        "node": ">=16.20.0"
+      }
+    },
+    "node_modules/@typescript/typescript-netbsd-arm64": {
+      "version": "7.0.2",
+      "resolved": "https://registry.npmjs.org/@typescript/typescript-netbsd-arm64/-/typescript-netbsd-arm64-7.0.2.tgz",
+      "integrity": "sha512-+polYF4MF04aPpO5FTkHran9yUQDSXqy5GiSDKpsll5jy3l3+g9QLhpf39T+ePtefhXLOGrLl0QIjkQP6VnelA==",
+      "cpu": [
+        "arm64"
+      ],
+      "dev": true,
+      "license": "Apache-2.0",
+      "optional": true,
+      "os": [
+        "netbsd"
+      ],
+      "engines": {
+        "node": ">=16.20.0"
+      }
+    },
+    "node_modules/@typescript/typescript-netbsd-x64": {
+      "version": "7.0.2",
+      "resolved": "https://registry.npmjs.org/@typescript/typescript-netbsd-x64/-/typescript-netbsd-x64-7.0.2.tgz",
+      "integrity": "sha512-8YIT0EHM/3dq10ZOVF/A7pc/YSMtbcecct4rWtexrnSCHOPcpC2KTLXfTCR6vDpnSiY12heNb1GiN/wu+T/FyA==",
+      "cpu": [
+        "x64"
+      ],
+      "dev": true,
+      "license": "Apache-2.0",
+      "optional": true,
+      "os": [
+        "netbsd"
+      ],
+      "engines": {
+        "node": ">=16.20.0"
+      }
+    },
+    "node_modules/@typescript/typescript-openbsd-arm64": {
+      "version": "7.0.2",
+      "resolved": "https://registry.npmjs.org/@typescript/typescript-openbsd-arm64/-/typescript-openbsd-arm64-7.0.2.tgz",
+      "integrity": "sha512-APT8+ClYnuYm1u9+kgGXoMj2VzWzcymwh2gNSQVySHfkRDGOTVkoWLjCmOQSaO+PoqQ57B0flRp9SA+7GnnkzQ==",
+      "cpu": [
+        "arm64"
+      ],
+      "dev": true,
+      "license": "Apache-2.0",
+      "optional": true,
+      "os": [
+        "openbsd"
+      ],
+      "engines": {
+        "node": ">=16.20.0"
+      }
+    },
+    "node_modules/@typescript/typescript-openbsd-x64": {
+      "version": "7.0.2",
+      "resolved": "https://registry.npmjs.org/@typescript/typescript-openbsd-x64/-/typescript-openbsd-x64-7.0.2.tgz",
+      "integrity": "sha512-yX7s+Q0Dln0Dt9tEzZsAjXXR/+ytBM7AlglaqyeMPxQszJ1JhlJdZ6jLA+IzldHtflX81em7lDao1xXu+aRRkg==",
+      "cpu": [
+        "x64"
+      ],
+      "dev": true,
+      "license": "Apache-2.0",
+      "optional": true,
+      "os": [
+        "openbsd"
+      ],
+      "engines": {
+        "node": ">=16.20.0"
+      }
+    },
+    "node_modules/@typescript/typescript-sunos-x64": {
+      "version": "7.0.2",
+      "resolved": "https://registry.npmjs.org/@typescript/typescript-sunos-x64/-/typescript-sunos-x64-7.0.2.tgz",
+      "integrity": "sha512-dLJDGaLZ1D4HPQn62u1n8mBDkJREwMsAkCdkwd4Ieqw+x3TUyTsqY0YiBCtE6H6OzzgGk3iuZ3vFWRS+E8/d1g==",
+      "cpu": [
+        "x64"
+      ],
+      "dev": true,
+      "license": "Apache-2.0",
+      "optional": true,
+      "os": [
+        "sunos"
+      ],
+      "engines": {
+        "node": ">=16.20.0"
+      }
+    },
+    "node_modules/@typescript/typescript-win32-arm64": {
+      "version": "7.0.2",
+      "resolved": "https://registry.npmjs.org/@typescript/typescript-win32-arm64/-/typescript-win32-arm64-7.0.2.tgz",
+      "integrity": "sha512-Gyl1Vy6OsWesLzmq+EP0Fb7b4Nid5232AvcA2SFcdYreldpNtYFFofPjnt62y9hQy7VTaZp65ICJjuAQRaVcIQ==",
+      "cpu": [
+        "arm64"
+      ],
+      "dev": true,
+      "license": "Apache-2.0",
+      "optional": true,
+      "os": [
+        "win32"
+      ],
+      "engines": {
+        "node": ">=16.20.0"
+      }
+    },
+    "node_modules/@typescript/typescript-win32-x64": {
+      "version": "7.0.2",
+      "resolved": "https://registry.npmjs.org/@typescript/typescript-win32-x64/-/typescript-win32-x64-7.0.2.tgz",
+      "integrity": "sha512-0BQ3HkAHHlKLSp1qRvf3SUhGpGsDuhB/jgFw75guyqbxJqEaS0Cw/VFO8i2nHglJUzQCRtMMR/IBAKE3ETMC4g==",
+      "cpu": [
+        "x64"
+      ],
+      "dev": true,
+      "license": "Apache-2.0",
+      "optional": true,
+      "os": [
+        "win32"
+      ],
+      "engines": {
+        "node": ">=16.20.0"
       }
     },
     "node_modules/cross-env": {
@@ -104,9 +444,9 @@
       }
     },
     "node_modules/smol-toml": {
-      "version": "1.6.1",
-      "resolved": "https://registry.npmjs.org/smol-toml/-/smol-toml-1.6.1.tgz",
-      "integrity": "sha512-dWUG8F5sIIARXih1DTaQAX4SsiTXhInKf1buxdY9DIg4ZYPZK5nGM1VRIYmEbDbsHt7USo99xSLFu5Q1IqTmsg==",
+      "version": "1.7.1",
+      "resolved": "https://registry.npmjs.org/smol-toml/-/smol-toml-1.7.1.tgz",
+      "integrity": "sha512-PPlsspAZ4jbMBu5DMFhfUGDQLu/vrL4SyBROVS37x8ynnVmFIs1VPBz1Co8Xks3TvpIaZXmU85y4DrQ+UyVFoQ==",
       "license": "BSD-3-Clause",
       "engines": {
         "node": ">= 18"
@@ -116,23 +456,44 @@
       }
     },
     "node_modules/typescript": {
-      "version": "6.0.3",
-      "resolved": "https://registry.npmjs.org/typescript/-/typescript-6.0.3.tgz",
-      "integrity": "sha512-y2TvuxSZPDyQakkFRPZHKFm+KKVqIisdg9/CZwm9ftvKXLP8NRWj38/ODjNbr43SsoXqNuAisEf1GdCxqWcdBw==",
+      "version": "7.0.2",
+      "resolved": "https://registry.npmjs.org/typescript/-/typescript-7.0.2.tgz",
+      "integrity": "sha512-8FYau96o3NKOhbjKi/qNvG/W5jhzxkbdm5sj9AbZ/5T5sWqn3hJgLfGx27sRKZWTvyzCP8dLRBTf5tBTSRVUNA==",
       "dev": true,
       "license": "Apache-2.0",
       "bin": {
-        "tsc": "bin/tsc",
-        "tsserver": "bin/tsserver"
+        "tsc": "bin/tsc"
       },
       "engines": {
-        "node": ">=14.17"
+        "node": ">=16.20.0"
+      },
+      "optionalDependencies": {
+        "@typescript/typescript-aix-ppc64": "7.0.2",
+        "@typescript/typescript-darwin-arm64": "7.0.2",
+        "@typescript/typescript-darwin-x64": "7.0.2",
+        "@typescript/typescript-freebsd-arm64": "7.0.2",
+        "@typescript/typescript-freebsd-x64": "7.0.2",
+        "@typescript/typescript-linux-arm": "7.0.2",
+        "@typescript/typescript-linux-arm64": "7.0.2",
+        "@typescript/typescript-linux-loong64": "7.0.2",
+        "@typescript/typescript-linux-mips64el": "7.0.2",
+        "@typescript/typescript-linux-ppc64": "7.0.2",
+        "@typescript/typescript-linux-riscv64": "7.0.2",
+        "@typescript/typescript-linux-s390x": "7.0.2",
+        "@typescript/typescript-linux-x64": "7.0.2",
+        "@typescript/typescript-netbsd-arm64": "7.0.2",
+        "@typescript/typescript-netbsd-x64": "7.0.2",
+        "@typescript/typescript-openbsd-arm64": "7.0.2",
+        "@typescript/typescript-openbsd-x64": "7.0.2",
+        "@typescript/typescript-sunos-x64": "7.0.2",
+        "@typescript/typescript-win32-arm64": "7.0.2",
+        "@typescript/typescript-win32-x64": "7.0.2"
       }
     },
     "node_modules/undici-types": {
-      "version": "7.19.2",
-      "resolved": "https://registry.npmjs.org/undici-types/-/undici-types-7.19.2.tgz",
-      "integrity": "sha512-qYVnV5OEm2AW8cJMCpdV20CDyaN3g0AjDlOGf1OW4iaDEx8MwdtChUp4zu4H0VP3nDRF/8RKWH+IPp9uW0YGZg==",
+      "version": "8.3.0",
+      "resolved": "https://registry.npmjs.org/undici-types/-/undici-types-8.3.0.tgz",
+      "integrity": "sha512-j375ScV60dom+YkPFIfTLcOiPxkN/buHz5GobjLhixFuANaNs3C9l4GmrWqejgXWJ7BbJcFYpTEUkS1Ge8bpZQ==",
       "dev": true,
       "license": "MIT"
     },

package/core/package.json

@@ -1,6 +1,6 @@
 {
   "name": "nadesiko3core",
-  "version": "3.7.21",
+  "version": "3.7.23",
   "description": "Japanese Programming Language Nadesiko v3 core",
   "main": "index.mjs",
   "type": "module",
@@ -29,6 +29,9 @@
     "url": "https://github.com/kujirahand/nadesiko3core/issues"
   },
   "homepage": "https://github.com/kujirahand/nadesiko3core#readme",
+  "engines": {
+    "node": ">=22.0.0"
+  },
   "files": [
     "src",
     "batch",
@@ -36,11 +39,11 @@
     "sample"
   ],
   "devDependencies": {
-    "@types/node": "^26.0.0",
-    "typescript": "^6.0.3"
+    "@types/node": "^26.1.1",
+    "typescript": "^7.0.2"
   },
   "dependencies": {
     "cross-env": "^10.0.0",
-    "smol-toml": "1.6.1"
+    "smol-toml": "1.7.1"
   }
 }

package/core/sample/algorithms/README.md

@@ -0,0 +1,43 @@
+# なでしこ3のアルゴリズム集
+
+`doc/syntax-nako3.md` に記載された文法を中心に、有名なアルゴリズムをなでしこ3で実装するためのサンプル集です。
+
+## 追加規約
+
+- アルゴリズムは種類ごとのディレクトリに分け、1ファイルに1つ実装します。
+- ファイル名には、英語のスネークケースを使います。
+- ユーザー定義関数は標準命令と区別できるよう、`クイックソート処理`のように末尾へ`処理`を付けます。補助関数にも同じ規則を適用します。
+- 関数内のローカル変数は、`F左値`や`F中央値`のように先頭へ`F`を付けます。
+- ファイルの冒頭に、入出力、元データを変更するか、計算量を記載します。
+- サンプルファイルには関数定義だけを置き、実行時に表示などの副作用を発生させません。
+- アルゴリズムと同じ処理を行う組み込み命令には処理を委譲せず、アルゴリズムそのものを実装します。
+- 対応するなでしこのテストを `core/test/algorithms/` 以下の同じ分類へ、`実装名_test.nako3` という名前で追加します。
+- テストの入力、期待値、比較はなでしこで記述し、`ASSERT等` で検証します。
+
+## 分類
+
+- `sort/` - ソートアルゴリズム
+- `search/` - 探索アルゴリズム
+- `math/` - 数学アルゴリズム
+- `graph/` - グラフアルゴリズム
+- `string/` - 文字列アルゴリズム
+
+## 収録アルゴリズム
+
+- `sort/` - クイックソート、マージソート、ヒープソート、挿入ソート
+- `search/` - 二分探索、幅優先探索、深さ優先探索
+- `math/` - ユークリッドの互除法、エラトステネスの篩
+- `graph/` - ダイクストラ法、クラスカル法
+- `string/` - KMP法、ランレングス圧縮
+
+## テスト
+
+全アルゴリズムの `*_test.nako3` は、`core/test/algorithm_samples_test.mjs` が自動的に検出します。JavaScript側は実装とテストを読み込むだけで、実際のテストケースはなでしこで実行されます。個別確認と全体の回帰確認は、リポジトリのルートで次のように実行します。
+
+```sh
+node --test --test-name-pattern sort/quick_sort \
+  --import ./test/node-test-globals.mjs \
+  core/test/algorithm_samples_test.mjs
+
+npm test
+```

package/core/sample/algorithms/graph/dijkstra.nako3

@@ -0,0 +1,47 @@
+# ダイクストラ法
+# 入力: 重み付き隣接リストと開始点
+# 辺の形式: {"先": 頂点番号, "重み": 0以上の数値}
+# 出力: 開始点から各頂点までの最短距離。到達不能は-1
+# 計算量: O(V^2+E)
+
+●(グラフを開始点から)ダイクストラ法処理とは:
+    変数のF距離は[]
+    変数のF頂点数はグラフの要素数
+    もし、((開始点<0)または(開始点>=F頂点数))ならば:
+        F距離を戻す
+
+    変数のF確定済みは[]
+    変数のF位置は0
+    (F位置<F頂点数)の間:
+        F距離[F位置]は-1
+        F位置はF位置+1
+    F距離[開始点]は0
+
+    変数のF処理数は0
+    (F処理数<F頂点数)の間:
+        変数のF現在点は-1
+        変数のF最小距離は-1
+        F位置は0
+        (F位置<F頂点数)の間:
+            もし、((F確定済み[F位置]!=真)かつ(F距離[F位置]>=0))ならば:
+                もし、((F現在点=-1)または(F距離[F位置]<F最小距離))ならば:
+                    F現在点はF位置
+                    F最小距離はF距離[F位置]
+            F位置はF位置+1
+
+        もし、F現在点=-1ならば:
+            F処理数はF頂点数
+        違えば:
+            F確定済み[F現在点]は真
+            F処理数はF処理数+1
+            変数のF辺一覧はグラフ[F現在点]
+            変数のF辺数はF辺一覧の要素数
+            変数のF辺位置は0
+            (F辺位置<F辺数)の間:
+                変数のF辺はF辺一覧[F辺位置]
+                変数のF隣接点はF辺["先"]
+                変数のF候補距離はF最小距離+F辺["重み"]
+                もし、((F距離[F隣接点]=-1)または(F候補距離<F距離[F隣接点]))ならば:
+                    F距離[F隣接点]はF候補距離
+                F辺位置はF辺位置+1
+    F距離を戻す

package/core/sample/algorithms/graph/kruskal.nako3

@@ -0,0 +1,69 @@
+# クラスカル法
+# 入力: 頂点数と辺の配列
+# 辺の形式: {"始": 頂点番号, "終": 頂点番号, "重み": 数値}
+# 出力: 最小全域木の辺配列。非連結グラフでは最小全域森
+# 計算量: O(V+E^2+E×α(V))（辺の並べ替えに挿入ソートを使用）
+
+●(親配列と頂点の)根取得処理とは:
+    変数のF根は頂点
+    (親配列[F根]!=F根)の間:
+        F根は親配列[F根]
+    (親配列[頂点]!=頂点)の間:
+        変数のF次点は親配列[頂点]
+        親配列[頂点]はF根
+        頂点はF次点
+    F根を戻す
+
+●(親配列とランク配列と始根と終根で)根統合処理とは:
+    もし、ランク配列[始根]<ランク配列[終根]ならば:
+        親配列[始根]は終根
+    違えば、もし、ランク配列[始根]>ランク配列[終根]ならば:
+        親配列[終根]は始根
+    違えば:
+        親配列[終根]は始根
+        ランク配列[始根]はランク配列[始根]+1
+
+●(辺一覧を)辺重み順整列処理とは:
+    変数のF整列済みは[]
+    変数のF辺数は辺一覧の要素数
+    変数のF位置は0
+    (F位置<F辺数)の間:
+        変数のF辺は辺一覧[F位置]
+        F整列済みにF辺を配列プッシュ
+        変数のF挿入位置はF整列済みの要素数-1
+        ((F挿入位置>0)かつ(F整列済み[F挿入位置-1]["重み"]>F辺["重み"]))の間:
+            F整列済み[F挿入位置]はF整列済み[F挿入位置-1]
+            F挿入位置はF挿入位置-1
+        F整列済み[F挿入位置]はF辺
+        F位置はF位置+1
+    F整列済みを戻す
+
+●(頂点数と辺一覧で)クラスカル法処理とは:
+    変数のF結果は[]
+    もし、頂点数<=0ならば:
+        F結果を戻す
+
+    変数のF親配列は[]
+    変数のFランク配列は[]
+    変数のF位置は0
+    (F位置<頂点数)の間:
+        F親配列[F位置]はF位置
+        Fランク配列[F位置]は0
+        F位置はF位置+1
+
+    変数のF整列辺は辺一覧を辺重み順整列処理
+    変数のF辺数はF整列辺の要素数
+    変数のF採用数は0
+    F位置は0
+    ((F位置<F辺数)かつ(F採用数<(頂点数-1)))の間:
+        変数のF辺はF整列辺[F位置]
+        変数のF始点はF辺["始"]
+        変数のF終点はF辺["終"]
+        変数のF始根はF親配列とF始点の根取得処理
+        変数のF終根はF親配列とF終点の根取得処理
+        もし、F始根!=F終根ならば:
+            F結果にF辺を配列プッシュ
+            F親配列とFランク配列とF始根とF終根で根統合処理
+            F採用数はF採用数+1
+        F位置はF位置+1
+    F結果を戻す

package/core/sample/algorithms/math/euclidean_gcd.nako3

@@ -0,0 +1,15 @@
+# ユークリッドの互除法
+# 入力: 2つの整数
+# 出力: 2数の最大公約数（常に0以上）
+# 計算量: O(log(min(A, B)))
+
+●(AとBの)最大公約数計算処理とは:
+    もし、A<0ならば:
+        Aは0-A
+    もし、B<0ならば:
+        Bは0-B
+    (B!=0)の間:
+        変数のF余りはA%B
+        AはB
+        BはF余り
+    Aを戻す