Languages / 言語 : English · 日本語 — the Japanese edition is a complete machine-assisted translation under review; corrections are welcome. 日本語版は機械翻訳を基にした全訳で、レビューを進めています。修正のご提案を歓迎します。
ナビゲーション : ドキュメントルート
新しいユーザーおよび組み込み開発者に向けた導入指向のドキュメントです。アーキテクチャ 、仕様 、リファレンス の各セクションが Keleusma とは何かを説明するのに対し、本セクションはその使い方を説明します。
プレイグラウンド では、ブラウザ上で Keleusma をお試しいただけます。WebAssembly として動作するコンパイラがプログラムをコンパイルおよび検証し、その最悪実行時間およびメモリの上限をその場で報告します。インストールは不要です。
ガイドは 2 つの層から成ります。第 1 の層は、Keleusma を一から教える 40 章の直線的な講座であり、動画での提示に適したサイズで、単一の学習の流れとして順序づけられています。第 2 の層は、調べ物やより深い学習のためのリファレンスページ群です。講座とリファレンスページは意図的に重複しています。講座は最初の学習のためのものであり、リファレンスページは振り返るためのものです。
10 部構成の 40 章です。各章は自己完結型でデモ駆動であり、おおよそ 1 本の短い動画に収まるサイズです。第 I 部から第 VIII 部までは言語を教え、第 IX 部は Rust ホストへの組み込みを教え、第 X 部はその先を指し示します。
リファレンスページは、線形コースのトピック別の伴侶です。それぞれが独立したドキュメントで、対応するコース章が下敷きにしているもの、そして特定の質問を調べるときに読者が戻ってくるものです。
ドキュメント 想定読者 目的
はじめに 初めてのユーザー CLIのインストール、最初のスクリプトの作成と実行、20行のRustホストへの組み込み。コース対応: 第2章、第31章。 組み込みリファレンス Rustホスト作者 ホスト側の完全なリファレンス: Vmの構築、ネイティブ関数の登録、アリーナのサイズ、call/resumeプロトコル、エラー回復、不透明型、Libraryトレイト、署名付きモジュール。コース対応: 第9部(第31〜39章)。 ピアノロールの例 楽曲作者、ホスト持ち上げ者、ホスト設計者 ピアノロール例の長文マニュアル: 楽曲の作曲、ホストループを別アプリケーションに持ち上げること、例を他の制御ループ領域への組み込みのアーキテクチャ参照として使うこと。コース対応: 第8部(第27〜30章)。 ローグライクの例 ゲーム作者、ホスト設計者 ローグライク例の長文マニュアル: ゲームプレイのルール、ホストと多スクリプトのアーキテクチャ、ダンジョン生成、AIアーキタイプ、アイテム効果、演習。章での対応無し。第40章から指し示しています。 なぜプログラムは拒否されるのか 検証で失敗したプログラムを持っている人 検証器の却下メッセージの全カタログ、原因と提案される書き換えにマッピング。コース対応: 第19章が最もよくある3つを紹介。このドキュメントが全リストです。 よくある質問 意外な振る舞いに遭遇した人 V0.2.0でよくある粗削りな点 — 文字列処理、エスケープシーケンス、ローカル不変性の制約、V0.1.x系からの移行ノート。 クックブック 既知のパターンを手に入れたい組み込み開発者 組み込みパターンのレシピ集: データローダーパターン、モジュールのWCMUからアリーナを自動サイズ、狭いランタイム型エイリアシング、署名付きバイトコード配信、測定コストモデルでのキャリブレート済みWCET。コース対応: 第39章がパターン名を挙げ、このドキュメントがレシピです。 大きな数 多桁算術を必要とする作者 オーバーフロー構文の完全な作業例: ハイハーフを使った64×64→128ビット乗算と、繰り上がりを連鎖させる加算。コース対応: 第23章が構文を導入、このドキュメントが完全なテクニックです。 言語モデル向けのガイダンス AI コーディングアシスタントを使う運用者 AI ツールが誤りがちなパターン、AGENTS を最初に読むセッションプロトコル、反復時間を削減するプロンプトパターン。 自動化とスクリプティング Keleusma で DevOps またはシステム管理の自動化を書く運用者 統合された CLI スクリプティングの全体像です。スクリプトを実行する 3 つの方法、スクリプト引数、ワンショット・段階的・デーモンのデプロイ形態に対応づけられたエントリ種別、オーケストレーターとしてのシェルバンドル、署名付きおよび暗号化されたバイトコードの配布、run-tasks による複数スクリプトランナー、そして静的保証が成り立たない箇所を扱います。第 2 章、第 15 章から第 18 章、第 25 章、第 26 章を運用者向けリファレンスドキュメントと結びつけます。 セキュリティポリシー 制約のある環境で keleusma-cli をデプロイする運用者 V0.2.1 で導入された厳格モードの署名および暗号化ポリシーです。鍵の生成、ポリシーの有効化、デプロイシナリオ、トラストモデル、デーモンデプロイメント、ティック間隔のケイデンスを扱います。 メトリクス 組み込みまたは制約のあるデプロイメントを計画するオペレーター バイナリサイズ、RSS、ピークメモリフットプリント、CPUサイクル、および bash、Lua、Python、Ruby、Node.js との比較です。ティック間隔レートリミッターの下での定常状態デーモンのフットプリントを含みます。 シェル監査 stddsl::Shell が計画中のデーモンに十分な機能を備えているかどうかを評価するオペレーターバンドルの現在の機能、解消済みのギャップ、および V0.2.x ポイントリリースに向けた未解決の推奨事項です。
パス 内容
examples/scripts/言語機能を示す独立した.kelファイル。keleusma run examples/scripts/<file>.kelで実行できます。 examples/Rust組み込みの例。cargo run --example <name>で実行します。 examples/piano_roll.rs楽曲一覧の上でホットコードスワップする、最初から最後までのSDL3オーディオホスト。cargo run --release --example piano_roll --features sdl3-exampleで実行します。 examples/rogue/ローグライクを駆動する、最初から最後までのSDL3ビデオホスト。cargo run --release --example rogue --features sdl3-exampleで実行します。 keleusma-cli/cargo install --path keleusma-cli --bin keleusmaでインストールする独立コマンドラインフロントエンド。
知らない言葉に出会ったとき:
OUTLINE.md は本コースを起草するにあたって作成された計画文書です。教育上の決定、音楽から Keleusma への概念対応図、およびいまだ検討中の未解決の問いを記録しています。ユーザー向けのドキュメントではなく作業用の資料です。