「芝村さんの日曜授業：２時間目『理解しよう』」の編集履歴（バックアップ）一覧に戻る
芝村さんの日曜授業（２００８年３月３０日）
２時間目：理解しよう
『転記をしたことと理解したことは違うよね？』
レッスン２－１．ユニバース定義をテキストから探してこよう
ｔ：ユニバース定義 ＝ゲーム内での価値観のことでローカル定義に属する。特に指定のない場合、無名世界観の因果、および物理法則とそれに矛盾しない限りの常識および現代科学となる。
『転記内容＝自分の言葉での表現 が、通れば、それは理解したことになる。』
『さて、通ればと言ったが、通る、通ったとはなんだろう。』
レッスン２－２．通った、通らないをテキストから探してこよう
ｔ：通った ＝ユニバース定義下において等価であると認定すること
ｔ：通らない ＝ユニバース定義下において等価でないと認定すること
ここでひとやすみ ～交換則ってなあに？～
『２＋１ ＝３ と ４－１＝３ の時 ２＋１＝４－１ は同じこと』
『かぞえたら同じ３なのよね』
『ｔ：等価＝数えると同じ。転じて、結果は同じ。』
『交換則は凄い簡単なことだ。』
２時間目の続きだよ
『でもユニバース定義下においてって凄い難しいよね？』
『さて困った。これまで転記だけで対応してたけど、ついにここでそれがつきたわけだ。』
レッスン２－３．交換則を使ってユニバース定義を言い換えてみよう
ざくっと言い換えると、 ユニバース定義＝無名世界観プレイヤーにおける常識 あたりでどうでしょう
『おおよそ通った』
『でもまあ、おおよそとか、ざくっとって、正確じゃないじゃない？』
そうですね
ｆ：ユニバース定義 ＝一般常識・現代科学を含めた、無名世界観内における物理法則や因果関係をまとめた価値観。
ｆ：ユニバース定義 ＝無名世界観の常識および現代の常識
ｆ：ユニバース定義 ＝無名世界観と現実社会で通用する物理法則と常識
『さっきのは交換則が悪かったのではない。交換側の使い方が悪かったんだ』
きちんと一つ一つ交換していって、綺麗に収束させればよかったんですね
『そうそう』
具体的には、 A＋B=C みたいな感じでどんどんまとめる
『うんうん。』
『普通は自分の言葉で言い換えることをもって、理解したという。』
ｔ：通った ＝（ゲーム内での価値観のことでローカル定義に属する。特に指定のない場合、無名世界観の因果、および物理法則とそれに矛盾しない限りの常識および現代科学となる。）下において等価であると認定すること
↓
ｔ：通った ＝（無名世界観と現実社会で通用する物理法則と常識）下において等価であると認定すること
２時間目のまとめ
『ここでさえこけなければ、絶対確実にわかるようになるから』
- ルール１：なにをするにもまず、ｉ言語のルールブックを見て、可能な限り、これをコピペ（転記）する。
- ルール２：転記する時は、その行まるごと、あるいはＬまるごと持ってくる。
- ルール３：＃はコメントなので、転記してもあまり説得力はない。参考程度に見る。
- ルール４：ゲーム言語ｉでは、可能な限りｔとＬを転記する。これによって１．表現がぶれない ２．最終開発効率を上げる
『Ｌ：もしくはｔ：という記号は要するに、決まっちゃったことを示す記号だ。』
『Ｌ：はｔ：の集合、それが集まったものだね。』
