用語集 - Kagari

本リファレンスで使う用語を、英数字で始まるものを先に、続いて五十音順に並べます。括弧内は英語の用語です。各項目から、その用語を定義する章へリンクしています。標準ライブラリの用語は『STD リファレンス』へリンクします。

const fn（const fn）。純粋で決定的な、チューリング完全なコードのための関数種別です。レンダー、定数、補助関数に使います。関数種別
fn（fn）。チューリング完全な実行時のコード、つまりゲームシステムのための関数種別です。関数種別
.kagari ファイル（.kagari file）。kagari build が書き出すコンパイル済みのプログラム game.kagari です。kagari CLI
kagari.toml（kagari.toml）。プロジェクトのマニフェストです。プロジェクト
.kiarchive ファイル（.kiarchive file）。kagari build が game.kagari の隣に書き出すアセットアーカイブです。kagari CLI
.kis / .kix ファイル（.kis / .kix file）。ソースファイルです。.kis は素の言語、.kix は言語にフォームを加えたものを収めます。拡張子が選ぶのは構文だけです。ソースファイルとモジュール
Narrative ハンドル（Narrative handle）。ゲームシステムが実行中の物語を見る唯一の窓です。台詞と選択肢を表示し、入力を送り、セーブと巻き戻しを行いますが、物語変数は読めません。ゲームシステム
pushdown fn（pushdown fn）。物語の関数種別です。有限データ上のプッシュダウン制御を表します。関数種別
アーム（arm）。choice! の一つの選択肢で、t![…] => V または t![…] if cond => V と書きます。選ばれると、選択肢は V に評価されます。match の分岐もアームと呼びます。ステップ
アセット（asset）。プロジェクトのアセットディレクトリにあるファイル（画像、音声、ボイス、動画、フォント、シェーダー）です。ソース中では asset("bg/roof.png") のような定数で名前を付け、ビルドが .kiarchive ファイルにパックします。ビルトイン型
値セマンティクス（value semantics）。すべての型は値型です。代入、引数渡し、戻り値は値をコピーし、コピーを変更しても元の値は変わりません。値、参照、クロージャ
イージング（easing）。トゥイーンが補間するときの曲線です。std::screen::anim
一貫性（consistency）。ステップが表示する画面が物語状態だけで決まり、そのステップに到達した経路に依存しないという性質です。違反は警告 W5004 になります。演出
演出（presentation）。プレイヤーが見聞きするものです。レンダー関数が計算し、物語がそれを読み返すことはありません。演出
エンティティ（entity）。画面上のオブジェクトで、EntityId 定数で識別されます。レンダーがエンティティを生成し、変更し、消去します。演出
エンディング（ending）。物語が終わるときにエントリーシーンが返す値です。終了ハンドラがこれを受け取ります。エントリーシーンとエンディング
エントリーシーン（entry scene）。#[entry] を付けたシーンです。ゲームシステムが開始できるシーンであり、物語の解析の起点です。エントリーシーンとエンディング
エントリー引数（entry arguments）。nav::start がエントリーシーンに渡す有限型の値です。セーブに記録され、解析はそのすべての値を対象とします。エントリーシーンとエンディング
オーバーレイ（overlay）。Config や Load のように、現在のモードの上に積まれるモードです。ゲームシステム
カーソル（cursor）。ステップのタイムライン上で、レンダーが次のアニメーションを予定する時点です。std::screen
ガード（guard）。選択肢のアームに付ける条件 if cond です。条件が成り立つ間だけ、そのアームが表示されます。ステップ
乖離（divergence）。もはや解決できない選択肢 ID など、変更されたプログラムにセーブが合わなくなった理由です。ロードはこれをエラーとして返します。セーブ、リプレイと決定性
画面（screen）。レンダーが変換する Screen 型の値です。エンティティとそのコンポーネントからなる世界に、画面自体のリソースを加えたものです。演出
関数種別（kind / function kind）。三つの関数種別 fn、pushdown fn、const fn のいずれかで、fn の前に書きます。関数が何をし、何を呼べるかを決めます。関数種別
キーフレーム（keyframe）。出力が入力の画面に依存しないレンダーです。画面全体を宣言することになります。コンパイラがキーフレームを自動で検出します。演出
ゲームオーバーレイ（game overlay）。Save や Backlog のように、実行中のゲームを必要とするオーバーレイです。Narrative ハンドルを受け取ります。ゲームシステム
ゲームシステム（game system）。物語を取り巻くすべてです。タイトルページ、メニュー、セーブとロードのページ、設定、バックログ、ゲームビューを、fn のコードで書きます。ゲームシステム
ゲームモード（game mode）。モードのスタックの底にあり、実行中の物語を保持するモードです。ゲームシステム
決定可能（decidable）。プログラムについての問いが、あらゆるプログラムに対してアルゴリズムで答えられることです。Kagari では物語の到達可能性は決定可能です。設計思想
効果値（effect value）。Filter や Mix のように、シェーダーとその引数を組にしたもので、画面はこの形でシェーダーを持ちます。std::screen::shader
コンポーネント（画面）（component, screen）。位置、不透明度、画像レイヤーなど、エンティティに付くデータです。コンポーネント型の集合は標準ライブラリが固定しています。演出
コンポーネント（UI）（component, UI）。UI の値を返す素の fn です。そのモードが表示されるときに一度だけ実行されます。ゲームシステム
差分（delta）。キーフレームでないレンダーです。出力がステップの前の画面に依存します。演出
シーン（scene）。#[scene] を付けた pushdown fn です。ステップを実行し、他のシーンを呼べるのはシーンだけです。シーンと即時手続き
シェーダー（shader）。レンダラーが GPU で実行する WGSL ファイル（.wgsl）です。色フィルター、ミックス、テクスチャー、マスク、ローカルモーション、遷移モーションの 6 つのロールのいずれかを持ちます。ColorShader<A> のようなアセット型が、ロールと引数型 A を表します。std::screen::shader
シグナル（signal）。fn のコードにおけるリアクティブな値です。signal(init) がゲッターとセッターの組として作ります。ゲームシステム
σ（sigma）。物語状態です。位置、ローカル変数を含むコールスタック、物語変数から成ります。物語機械
システム機械（system machine）。実行中のゲームの外側の機械、つまりモードのスタックです。ゲームシステム
終了ハンドラ（exit handler）。nav::start に渡すクロージャで、エンディングを受け取り、ゲームが次にどこへ進むかを決めます。エントリーシーンとエンディング
種別（kind）。関数種別を参照してください。関数種別
証拠（witness）。物語の開始からある位置までの経路です。セーブは、その位置が到達可能であることの証拠です。セーブ、リプレイと決定性
状態数の上限（state cap）。解析が探索する物語状態の最大数で、既定は 200 000 です。これを超えると警告 W5006 が報告されます。プロジェクト
診断（diagnostic）。コンパイラが報告する、番号付きのエラー（E…）または警告（W…）です。診断
スタジオ（studio）。ゲームを書いて出荷するチームです。はじめに
ステップ（step）。物語が止まってプレイヤーを待つ地点、つまり s!(…) か choice!{…} です。ステップ
スナップショット（snapshot）。トレースと一緒にキャッシュとして保持する σ と論理画面のコピーで、再生をそこから始められるようにするものです。暫定： 現在のランタイムはスナップショットを保存せず、トレースを再生します。セーブ、リプレイと決定性
セーブ（save）。セーブスロットに保存された、実行中の物語の記録です。中身はトレースで、ロードはそこから物語を再生します。セーブ、リプレイと決定性
設定（setting）。永続的で大域的なプレイヤーの好みで、Setting<T> ハンドルとして宣言します。物語に届くことはありません。ゲームシステム
選択肢（ステップ）（choice）。choice!{…} と書くステップです。アームを表示し、プレイヤーが一つを選ぶのを待ち、選ばれたバリアントに評価されます。ステップ
選択肢 ID（choice ID）。セーブに記録される、選択の安定した名前です。関数のパス、選択肢の id、バリアントから成ります（例：story::Prologue/confess/Confess::Yes）。セーブ、リプレイと決定性
即時手続き（instant procedure）。#[scene] を付けない pushdown fn です。ステップを踏まず、再帰せず、定数回しかループしないので、入力なしで必ず終わります。シーンと即時手続き
属性（attribute）。#[scene]、#[entry]、#[must_use] のような、アイテムに付ける注釈 #[name] です。属性
第二級（second-class）。pushdown fn の中の参照やクロージャの性質で、引数として渡して使うことはできるが、格納、返却、捕捉はできないことです。値、参照、クロージャ
タイムライン（timeline）。一つのステップのアニメーションと音の予定表です。論理画面には含まれません。std::screen
遅延参照（deferred reference）。レンダーの中で使う設定のハンドルです。レンダーはその値を読めず、エンティティをそれでゲートすることしかできないので、設定の値は描画時にエンジンが適用します。演出
停止性（termination）。二つのステップの間のコードが必ず終わるという保証です。シーンと即時手続き
定数式（constant expression）。コンパイラがコンパイル時に値を計算する式です。定数式
定数評価（const evaluation）。コンパイラが、定数、レンダー、表化される呼び出しを計算するために、const fn のコードを固定の予算内でコンパイル時に実行することです。定数式
テキスト（text）。t![…] と書く Text 型のリッチテキストの値で、ルビとテキスト効果をもてます。ステップ
テキスト効果（text effect）。!["…"](effect) でテキストの一部に適用する定数の TextEffect です。色や一時停止などがあります。ステップ
トゥイーン（tween）。プロパティを古い値から新しい値へ、長さ、イージング、遅延を指定して動かすアニメーションです。std::screen::anim
到達可能性（reachability）。物語のいずれかの実行が、あるシーン、ステップ、状態に到達できるかどうかです。設計思想
トランジション（transition）。レイヤーの切り替えのアニメーションです。カット、クロスフェード、ルール、ワイプなどがあります。std::screen::anim
トレース（trace）。セーブが保持する記録です。エントリーシーンとその引数、すべての選択の選択肢 ID、最後の選択の後のステップ数、スクリプトのハッシュ、乱数のシードから成ります。セーブ、リプレイと決定性
バックログ（backlog）。実行中の物語で表示された台詞と選択の履歴です。プレイヤーは読み返したり、そこへ巻き戻したりできます。ゲームシステム
非有界な画面（unbounded screens）。あるステップの画面の集合を上限を超えて増やすレンダーです。エラー E5005 になります。演出
表化（tabulation）。物語から呼ばれる const fn を、有限型の引数のすべての組み合わせについてコンパイル時に評価し、受け取りうるすべての入力で呼び出しが有限の結果を返して終わることを証明することです。関数種別
ビルトイン（builtin）。エンジンが実装し、#[builtin] を付けたアイテムです。ビルトインを宣言するのは標準ライブラリだけです。ビルトイン型
フォーム（form）。name!(…)、name![…]、name!{…} と書く、固定された組み込みの構文です。s!、choice!、t!、UI フォームがあり、.kix ファイルでだけ使えます。フォーム
プッシュダウンシステム（pushdown system）。非有界なコールスタックをもつ有限状態機械です。到達可能性は決定可能です。物語はその一つです。設計思想
プレーン（plane）。画面の固定された描画面（Background、Stage、Front、OverWindow）です。エンティティは自分のプレーンに、z の順に描かれます。std::screen
プレリュード（prelude）。すべてのモジュールに自動でインポートされる名前です。ソースファイルとモジュール
ヘッドレスモード（headless mode）。ウィンドウ、音声デバイス、ゲームパッドなしで、スクリプトに従ってゲームを実行するモードです。ヘッドレスモード
マーク（mark）。mark(n) と書く、テキストの表示途中の名前付きの時点です。レンダーはそこにアニメーションを予定できます。std::narrative::text
メタ（meta）。解放状況、既読フラグ、表示済みの画像など、セーブの外にある永続的で大域的な状態で、Meta<T> ハンドルです。物語は書き込むことしかできません。ゲームシステム
モーション（motion）。エンティティやカメラを、開始位置に戻る相対的な経路に沿って動かすアニメーションです。std::screen::anim
モード（mode）。システムのモードのスタックに載るフレームです。ルートページ、オーバーレイ、ゲームオーバーレイ、ダイアログ、ゲームモードがあります。ゲームシステム
物語（story）。ゲームの pushdown fn、つまりシーン、即時手続き、物語変数です。物語機械
物語機械（story machine）。ゲームモードの中で物語を実行するプッシュダウン機械です。物語機械
物語変数（story variable）。有限型の static mut です。物語の一回の実行にわたる大域的な物語の状態で、pushdown fn からだけ読み書きできます。物語機械
有限型（finite type）。bool、Int<lo, hi>、有限のデータをもつ列挙型など、値が有限個しかない型です。物語が実行時に保持する値はすべて有限型です。関数種別
行き詰まり選択肢（stuck choice）。すべてのアームのガードが偽の状態で到達できる choice! です。エラー E5003 になります。ステップ
呼び出し規則（call rules）。どの関数種別がどれを呼べるかを定める規則です。fn は pushdown fn を決して呼ばず、pushdown fn は fn を決して呼びません。関数種別
乱数の抽選（random draw）。物語が rng_choose で引く値です。生成器のシードはセーブに含まれ、解析は抽選が取りうるすべての値を対象とします。セーブ、リプレイと決定性
ランタイム（runtime）。ビルドしたゲームを実行するプログラムです。デスクトップランタイムはランタイムプロファイル native_v0 を実装します。ランタイム
リアクティブ（reactive）。UI の属性や要素が、読み取っているシグナルなどのリアクティブな値が変わるたびに再評価されることです。ゲームシステム
リプレイ（replay）。セーブをロードしたり巻き戻したりするために、記録されたトレースに沿って物語をもう一度実行することです。セーブ、リプレイと決定性
ルートページ（root page）。Title、Gallery、Credits のような、実行中のゲームをもたない底のモードです。ゲームシステム
レイヤー（layer）。エンティティの画像、ラベル、動画の内容です。トランジションを通じてだけ変更されます。演出
レンダー（レンダー関数）（render, render function）。ステップの render 属性として渡す const fn(Screen) -> Screen です。ステップの前の画面を、ステップの後の画面に変えます。演出
論理画面（logical screen）。ステップのレンダーの後の、画面の永続的な状態です。エンティティとそのコンポーネント、Hud、カメラ、画面フィルター、オーディオチャンネルから成ります。アニメーションが論理画面を変えることはありません。演出