「芝村さんの日曜授業：まとめ」の編集履歴（バックアップ）一覧に戻る

芝村さんの日曜授業：まとめ - (2008/03/30 (日) 14:01:15) のソース

芝村さんの日曜授業：まとめ（２００８年３月３０日）

※使用テキスト：http://blog.tendice.jp/200803/article_8.html
（３月１４日版のｉ言語）

----

授業は「１．ｉ言語とは何か」「２－１．ユニバース定義とは何か」「２－２．通った、通らないとは何か」をテキスト内から探し、転記・提出、さらには交換則の説明を途中で挟みつつ、「３．交換則を使ってユニバース定義を言い換える」という、参加型の形式で行われました。

「ｉ言語とは対話のための言語」で、「大勢が一度に使っても大丈夫」という特性を実感出来るようになっていたわけです。

では、以下にまとめを掲載いたします。

----

１．ｉ言語を使って会話するためのルール

ルール１：なにをするにもまず、ｉ言語のルールブックを見て、可能な限り、これをコピペ（転記）する。 
ルール２：転記する時は、その行まるごと、あるいはＬまるごと持ってくる。 
ルール３：＃はコメントなので、転記してもあまり説得力はない。参考程度に見る。 
ルール４：ゲーム言語ｉでは、可能な限りｔとＬを転記する。これによって１．表現がぶれない　２．最終開発効率を上げる

※補足

『Ｌ：もしくはｔ：という記号は要するに、決まっちゃったことを示す記号だ。』 
『Ｌ：はｔ：の集合、それが集まったものだね。』 

これらのルールを守ることで、ｉ言語は５０％使えます。

----

２．交換則について

----

３．ｉ言語を実際に使う時のことについて

『転記をしたことと理解したことは違うよね？』 
『転記内容＝自分の言葉での表現　が、通れば、それは理解したことになる。』

例：ユニバース定義について

ｔ：ユニバース定義　＝ゲーム内での価値観のことでローカル定義に属する。特に指定のない場合、無名世界観の因果、および物理法則とそれに矛盾しない限りの常識および現代科学となる。

※これを、

　ｔ：通った　＝ユニバース定義下において等価であると認定すること 
　ｔ：通らない　＝ユニバース定義下において等価でないと認定すること 

に当てはめると、

ｔ：通った　＝（ゲーム内での価値観のことでローカル定義に属する。特に指定のない場合、無名世界観の因果、および物理法則とそれに矛盾しない限りの常識および現代科学となる。）下において等価であると認定すること 

という、とても読みにくい、理解しづらいものになってしまいます。

----