ｉ言語入門編（試作中）
１．「ｆとｔ」～まず一番大事なところから
ｉ言語とは何かを考える前に，まずアイドレスプレイヤーにとって最も重要になるｆとｔの使い方から始めましょう。
というのもプレイヤーにとって，「ｆを通してｔとする」ことが最大の得をするところだからです。
ｉ言語のその他の部分は，ほとんど「ｆを通してｔとする」ための補助のようなものです（かなりの暴論ではありますが，ｉ言語使いと呼ばれる人種でもない限り，このぐらいの認識で問題ないです）。
「ｆを通してｔとする」とはどういうことかというと，これはアイドレス（または他の芝村系と呼ばれるゲームの）ルールブックにルールを一行付け加えることです。
ｆ：○○＝××
ｆ：○○＝側面：××
という書式に従って提出し，芝村さんより「通った」という判定をもらうとこのｆはｔとなって，公式ルールに書き込まれます。
以後，同じ条件下であればこのｆ（いまやｔですが）は必ず通ることになります。
（ここに実例をいくつか（アイテム作成とかルールブックから引っ張ってきたのを）じゃらじゃらっと書く）
ちなみにｆは函数（function），ｔは定理（英語でtheoremですが日本語でも頭文字はｔですね）を表しますが，一般的な数学用語と完全に一致しているわけではないので，こういうもんなんだなという認識ぐらいで問題ありません。
２．「ｌとｌ！」
公式ゲーム全体のルールとする「ｆとｔ」に対して，今現在行なわれている最中のゲーム（例えばあなたがＡＣＥときゃっきゃうふふしているゲーム）だけで通用するルールには「ｌとｌ！」を使います。
（ｌはローカル（local）を表します，大文字のＬはライブラリ（Library）という別の意味が与えられていますので区別してください）
ｌはそのゲームでしか通用しないのでｆに比べて俄然通りやすくなります。
冗談のような使い方をしても問題ありません。
例えば…，
例えば小笠原ゲーム（生活ゲームという呼び方になりました）で…，
ｌ：里樹澪が「バカ」と言う ＝ 側面：里樹澪が里樹妹人に頬を染めながら言う
というのを通しとくとそのゲームの間だけ里樹さんが「バカ」というたびに特に指定がなくても「妹人に向かって」，「頬を染めながら」言っているということになります。
○おまけ（読み飛ばしても大丈夫）
え，なんですか，ｔでもいいですと？ なんという…。
分かりました。しかし冗談で通じるｌと違ってｔとしてルールに書き込むというのには周到な根拠が必要となります。
前述（まだ書いてない）のように根拠がないルールは通らないのが道理です。
無名世界観の諸法則，アイドレスのルールに照らし合わせて，里樹澪が「バカ」と言うことが妹人のみを対象にしつつ頬を染めて言うものであるとはっきりと証明しなければいけません。こりゃ大変。
しかしここで強力なルールが存在します。
「生活ゲームのログは根拠となる」，です。
なので生活ゲームにおいてこの根拠を固めるのが一番プレイヤーにとって簡単な方法となるでしょう。
そう，「バカっていうのは妹人に対してだけよ」ってなもんです（きゃー＜落ち着け
「他の人には『馬鹿』っていうから」
「どこが違うの？」「言い方が違うじゃない」
ってな感じで根拠を積み上げ，その上でｆとして提出してみましょう。
ひょっとすれば通ることもあるかもしれません（通る保証は全然ありませんが，通すための努力をするならこういう方向でということでひとつ）。
通れば見事，公式設定です。
これで里樹澪さんが部屋で一人「バカ」と呟いても，戦場で「バカー！」と声を張り上げても，その相手は自動的に必ずや妹人ということになり，頬は赤く染まっているということになります。
（注：この部分は里樹澪さんの検閲をばっちり受けております）
３．その他の主な用語集
（その他の重要な制御記号についてじゃらじゃらっと書きます）
↓別件で作った愛想のないバージョン（要改訂）
●ｆ：function（函数）
・書式１
ｆ：Ａ＝Ｂ
＊書式に合うか自信がないときはＡとＢをひっくり返してみる（交換法則１が成り立つか確認する）。
＊「十分条件を満たしていない」と言われたら，通るか通らないか現時点のＰＬが持ちうる知識からは分からないということ。
・書式２
ｆ：Ａ＝側面：Ｂ
＊Ａ＝Ｂを満たさないが，ＡにはＢという側面があるという場合に使う（アイドル誕生に詳しい）。
＊交換法則１は難しいので怪しいと思ったらつけておくといいかも。
●ｔ：theorem（定理）
・書式
ｔ：Ａ＝Ｂ
＊通ったｆ：はｔ：になる。そのゲームで通ったｔ：を使いたいときは「これまでのｔ：より」でよし。
＊これまでのゲームで通ったｔ：も，Ｕ：（ユニバーサル定義）が同じならば使っても大丈夫。
＊通ったｔ：は自動的に通るが，相互に矛盾したｔ：はバグとしては破棄されることがある。
●Ｕ：Universal definition（ユニバーサル定義）
＊ＰＣのおかれた状況についての，ありとあらゆる情報が詰まったもの。因果（ＡをしたらＢとなる），物理法則や世界観，ゲームのルールなども含む。
＊ｆ：はＵ：に従うものでなければ通らない。
＊Ｕ：はＰＬのＩＣＧ：（どういうゲームに挑戦するかの宣言）に応じて提示される。
＊小笠原ゲームではＩＣＧ：は普通宣言されないので，Ｕ：は省略され，”沈黙の型”が用いられる。
＊”沈黙の型”は，特にＵ：が宣言されていない場合に採用されるＵ：で，無名世界観における一般的な情報，ルールが詰まっている。
●ｌ：local function（ローカル函数）
＊そのゲームでのみ通用するｆ：。通るとｌ！：になる。
＊アイドル誕生ゲームではｌ：を使ってｌ：の取り扱いを変えている（通ったｌ：がｌ！：になる→通ったｆ：がｌ：になる）。
●Ｌ：Library（ライブラリ）
＊情報の呼び出し。秘書官バカンスでネコリスの名前を呼び出したりした。
●Ｑ：Question／Ａ：Answer（質疑応答）
＊自然言語を用いて通常の質疑が行なえる。Ａ：はｆ：で書き直して通らないとｔ：にならない。
●ｒ：run（実行）
＊ｒ：に続く行動を行なう。小笠原ではｒ：を省略しロールで行なってよい。（～～します，と言えばいい）
●＃：comment（コメント）
＊ゲームに関係ないコメントをしたいときに使う
ｉ言語とは何かを考える前に，まずアイドレスプレイヤーにとって最も重要になるｆとｔの使い方から始めましょう。
というのもプレイヤーにとって，「ｆを通してｔとする」ことが最大の得をするところだからです。
ｉ言語のその他の部分は，ほとんど「ｆを通してｔとする」ための補助のようなものです（かなりの暴論ではありますが，ｉ言語使いと呼ばれる人種でもない限り，このぐらいの認識で問題ないです）。
「ｆを通してｔとする」とはどういうことかというと，これはアイドレス（または他の芝村系と呼ばれるゲームの）ルールブックにルールを一行付け加えることです。
ｆ：○○＝××
ｆ：○○＝側面：××
という書式に従って提出し，芝村さんより「通った」という判定をもらうとこのｆはｔとなって，公式ルールに書き込まれます。
以後，同じ条件下であればこのｆ（いまやｔですが）は必ず通ることになります。
（ここに実例をいくつか（アイテム作成とかルールブックから引っ張ってきたのを）じゃらじゃらっと書く）
ちなみにｆは函数（function），ｔは定理（英語でtheoremですが日本語でも頭文字はｔですね）を表しますが，一般的な数学用語と完全に一致しているわけではないので，こういうもんなんだなという認識ぐらいで問題ありません。
２．「ｌとｌ！」
公式ゲーム全体のルールとする「ｆとｔ」に対して，今現在行なわれている最中のゲーム（例えばあなたがＡＣＥときゃっきゃうふふしているゲーム）だけで通用するルールには「ｌとｌ！」を使います。
（ｌはローカル（local）を表します，大文字のＬはライブラリ（Library）という別の意味が与えられていますので区別してください）
ｌはそのゲームでしか通用しないのでｆに比べて俄然通りやすくなります。
冗談のような使い方をしても問題ありません。
例えば…，
例えば小笠原ゲーム（生活ゲームという呼び方になりました）で…，
ｌ：里樹澪が「バカ」と言う ＝ 側面：里樹澪が里樹妹人に頬を染めながら言う
というのを通しとくとそのゲームの間だけ里樹さんが「バカ」というたびに特に指定がなくても「妹人に向かって」，「頬を染めながら」言っているということになります。
○おまけ（読み飛ばしても大丈夫）
え，なんですか，ｔでもいいですと？ なんという…。
分かりました。しかし冗談で通じるｌと違ってｔとしてルールに書き込むというのには周到な根拠が必要となります。
前述（まだ書いてない）のように根拠がないルールは通らないのが道理です。
無名世界観の諸法則，アイドレスのルールに照らし合わせて，里樹澪が「バカ」と言うことが妹人のみを対象にしつつ頬を染めて言うものであるとはっきりと証明しなければいけません。こりゃ大変。
しかしここで強力なルールが存在します。
「生活ゲームのログは根拠となる」，です。
なので生活ゲームにおいてこの根拠を固めるのが一番プレイヤーにとって簡単な方法となるでしょう。
そう，「バカっていうのは妹人に対してだけよ」ってなもんです（きゃー＜落ち着け
「他の人には『馬鹿』っていうから」
「どこが違うの？」「言い方が違うじゃない」
ってな感じで根拠を積み上げ，その上でｆとして提出してみましょう。
ひょっとすれば通ることもあるかもしれません（通る保証は全然ありませんが，通すための努力をするならこういう方向でということでひとつ）。
通れば見事，公式設定です。
これで里樹澪さんが部屋で一人「バカ」と呟いても，戦場で「バカー！」と声を張り上げても，その相手は自動的に必ずや妹人ということになり，頬は赤く染まっているということになります。
（注：この部分は里樹澪さんの検閲をばっちり受けております）
３．その他の主な用語集
（その他の重要な制御記号についてじゃらじゃらっと書きます）
↓別件で作った愛想のないバージョン（要改訂）
●ｆ：function（函数）
・書式１
ｆ：Ａ＝Ｂ
＊書式に合うか自信がないときはＡとＢをひっくり返してみる（交換法則１が成り立つか確認する）。
＊「十分条件を満たしていない」と言われたら，通るか通らないか現時点のＰＬが持ちうる知識からは分からないということ。
・書式２
ｆ：Ａ＝側面：Ｂ
＊Ａ＝Ｂを満たさないが，ＡにはＢという側面があるという場合に使う（アイドル誕生に詳しい）。
＊交換法則１は難しいので怪しいと思ったらつけておくといいかも。
●ｔ：theorem（定理）
・書式
ｔ：Ａ＝Ｂ
＊通ったｆ：はｔ：になる。そのゲームで通ったｔ：を使いたいときは「これまでのｔ：より」でよし。
＊これまでのゲームで通ったｔ：も，Ｕ：（ユニバーサル定義）が同じならば使っても大丈夫。
＊通ったｔ：は自動的に通るが，相互に矛盾したｔ：はバグとしては破棄されることがある。
●Ｕ：Universal definition（ユニバーサル定義）
＊ＰＣのおかれた状況についての，ありとあらゆる情報が詰まったもの。因果（ＡをしたらＢとなる），物理法則や世界観，ゲームのルールなども含む。
＊ｆ：はＵ：に従うものでなければ通らない。
＊Ｕ：はＰＬのＩＣＧ：（どういうゲームに挑戦するかの宣言）に応じて提示される。
＊小笠原ゲームではＩＣＧ：は普通宣言されないので，Ｕ：は省略され，”沈黙の型”が用いられる。
＊”沈黙の型”は，特にＵ：が宣言されていない場合に採用されるＵ：で，無名世界観における一般的な情報，ルールが詰まっている。
●ｌ：local function（ローカル函数）
＊そのゲームでのみ通用するｆ：。通るとｌ！：になる。
＊アイドル誕生ゲームではｌ：を使ってｌ：の取り扱いを変えている（通ったｌ：がｌ！：になる→通ったｆ：がｌ：になる）。
●Ｌ：Library（ライブラリ）
＊情報の呼び出し。秘書官バカンスでネコリスの名前を呼び出したりした。
●Ｑ：Question／Ａ：Answer（質疑応答）
＊自然言語を用いて通常の質疑が行なえる。Ａ：はｆ：で書き直して通らないとｔ：にならない。
●ｒ：run（実行）
＊ｒ：に続く行動を行なう。小笠原ではｒ：を省略しロールで行なってよい。（～～します，と言えばいい）
●＃：comment（コメント）
＊ゲームに関係ないコメントをしたいときに使う
この記事へのコメント