「芝村さんの日曜授業：まとめ」の編集履歴（バックアップ）一覧に戻る
芝村さんの日曜授業：まとめ - (2008/03/30 (日) 14:41:17) のソース
芝村さんの日曜授業：まとめ（２００８年３月３０日）
※使用テキスト：http://blog.tendice.jp/200803/article_8.html
（３月１４日版のｉ言語）
----
授業は「１．ｉ言語とは何か」「２－１．ユニバース定義とは何か」「２－２．通った、通らないとは何か」をテキスト内から探し、転記・提出、さらには交換則の説明を途中で挟みつつ、「３．交換則を使ってユニバース定義を言い換える」という、参加型の形式で行われました。
「ｉ言語とは対話のための言語」で、「大勢が一度に使っても大丈夫」という特性を実感出来るようになっていたわけです。
では、以下にまとめを掲載いたします。
----
１．ｉ言語を使って会話するためのルール
ルール１：なにをするにもまず、ｉ言語のルールブックを見て、可能な限り、これをコピペ（転記）する。
ルール２：転記する時は、その行まるごと、あるいはＬまるごと持ってくる。
ルール３：＃はコメントなので、転記してもあまり説得力はない。参考程度に見る。
ルール４：ゲーム言語ｉでは、可能な限りｔとＬを転記する。これによって１．表現がぶれない ２．最終開発効率を上げる
これらのルールを守ることで、ｉ言語が５０％使えます。（対話のための言葉なので、話せるようになる、とも言い換えられます）
&bold(){&color(blue){『ｔ：定理は転記できる ＝定理は再利用できる』 }}
&bold(){&color(blue){『ｉ言語はいろんな使い方ができるけど、まずは最初、これがわかるといいんだよ。』 }}
／＊／
※補足
&bold(){&color(blue){『Ｌ：もしくはｔ：という記号は要するに、決まっちゃったことを示す記号だ。』 }}
&bold(){&color(blue){『Ｌ：はｔ：の集合、それが集まったものだね。』}}
Ｌとはライブラリ、つまり、定理という意味の正確でいくらでも気軽に利用出来る特殊な言葉をまとめた辞書のようなものです。
----
２．交換則について
&bold(){&color(blue){『普通は自分の言葉で言い換えることをもって、理解したという。』}}
この言い換えを、ｉ言語では「＝」という記号で表わしています。
／＊／
&bold(){&color(blue){『交換則は凄い簡単なことだ。』 }}
&bold(){&color(blue){『２＋１ ＝３ と ４－１＝３ の時 ２＋１＝４－１ は同じこと』 }}
&bold(){&color(blue){『かぞえたら同じ３なのよね』 }}
&bold(){&color(blue){『ｔ：等価＝数えると同じ。転じて、結果は同じ。』 }}
&bold(){&color(blue){『さて、結果が同じなら、交換してもいいよね？っていうのが数学における大事なことなんだよ。』}}
&bold(){&color(blue){『気に入ってるからやだって言う人もいるだろうけど、逆もしかりで、気に入らないなら、結果が同じなら交換していいんだよ。』 }}
／＊／
&color(red){ｔ：等価 ＝数えると同じ。転じて、結果は同じ。 }
&color(red){ｔ：交換則 ＝側面：等価の場合、交換しても構わない }
----
３．ｉ言語を実際に使う時のことについて
転記は、いわば高速かつ意味を正確に伝えるための特殊な会話方法ですが、それだけでは会話が成立しないような場面も出てきます。その時、どうやって相手の言っていることを理解しあうのかが、問題になってくるわけです。
&bold(){&color(blue){『転記をしたことと理解したことは違うよね？』 }}
&bold(){&color(blue){『転記内容＝自分の言葉での表現 が、通れば、それは理解したことになる。』}}
／＊／
例：ユニバース定義について
&color(red){ｔ：ユニバース定義 ＝ゲーム内での価値観のことでローカル定義に属する。特に指定のない場合、無名世界観の因果、および物理法則とそれに矛盾しない限りの常識および現代科学となる。}
これを、
&color(red){ｔ：通った ＝ユニバース定義下において等価であると認定すること }
&color(red){ｔ：通らない ＝ユニバース定義下において等価でないと認定すること}
に交換則で当てはめて理解しようとすると、
&color(red){ｔ：通った ＝（ゲーム内での価値観のことでローカル定義に属する。特に指定のない場合、無名世界観の因果、および物理法則とそれに矛盾しない限りの常識および現代科学となる。）下において等価であると認定すること }
という、とても読みにくい、理解しづらいものになってしまいます。
----
４．交換則を実際に使って会話した例
&bold(){&color(blue){『交換しても構わないって事は、”自分の言葉”でも構わないことなんだ。』 }}
&bold(){&color(blue){『自分の言葉で、等価を作ろうか』}}
／＊／
&bold(){&color(blue){『ｆ：は通っていない（認められていない）ｔ：のことだ。』 }}
&bold(){&color(blue){『ｆ：は転記しても、認められない』 }}
&bold(){&color(blue){『「ｆ：ユニバース定義 ＝」で、右辺を書いていくんだ。』 }}
／＊／
&color(red){ｔ：ユニバース定義 ＝ゲーム内での価値観のことでローカル定義に属する。特に指定のない場合、無名世界観の因果、および物理法則とそれに矛盾しない限りの常識および現代科学となる。}
↓
ｆ：ユニバース定義 ＝無名世界観と現実社会で通用する物理法則と常識
↓
&bold(){&color(blue){『＞通った。』}}
↓
&color(red){ｔ：ユニバース定義 ＝無名世界観と現実社会で通用する物理法則と常識}
／＊／
これにより、
&color(red){ｔ：通った ＝ユニバース定義下において等価であると認定すること }
も、
&color(red){ｔ：通った ＝（無名世界観と現実社会で通用する物理法則と常識）下において等価であると認定すること }
と、言い換えられるようになりました。
----
５．チャレンジのススメ
ｉ言語は会話のためのものです。いわば、日本語に限りなく近い、新しい外国語を話せるようになるんだ、というつもりで、気軽に触れてみてください。
／＊／
／＊／
＞ざくっと言い換えると、 ユニバース定義＝無名世界観プレイヤーにおける常識 あたりでどうでしょう
&bold(){&color(blue){『おおよそ通った』}}
&bold(){&color(blue){『でもまあ、おおよそとか、ざくっとって、正確じゃないじゃない？』}}
＞そうですね
&bold(){&color(blue){『さっきのは交換則が悪かったのではない。交換側の使い方が悪かったんだ』}}
＞きちんと一つ一つ交換していって、綺麗に収束させればよかったんですね
&bold(){&color(blue){『そうそう』}}
＞具体的には、 A＋B=C みたいな感じでどんどんまとめる
&bold(){&color(blue){『うんうん。』}}
／＊／
&bold(){&color(blue){『さあ。皆挑戦してみよう。』}}
&bold(){&color(blue){『大切なことは、いつも挑戦することだ。』}}
&bold(){&color(blue){『間違えることが恥ずかしいんじゃない。挑戦しないことが恥ずかしいんだ。』}}
＞考えすぎて難しいです
&bold(){&color(blue){『考えすぎるのはいいことだが、考えすぎると本質を見失うね。それは恋でも数学でも同じだ。』}}
&bold(){&color(blue){『そう言うときは、自分が何をしなければならないのか、思い出しなさい。』}}
＞相手に伝えるために 言葉を探しているのですよね
&bold(){&color(blue){『そうだ。』}}
&bold(){&color(blue){『ここにいる皆が納得して、私もまた納得する言葉を出せれば、合格だ。』}}
＞ｆ：ユニバース定義 ＝無名世界観と現実社会で通用する物理法則と常識
&bold(){&color(blue){『ＯＫ．』}}
----
付記：今回の授業で使用され、まとめ上には未出の定理（ｔ：）
／＊／
ｔ：ゲーム言語ｉ ＝プレイヤーに対する役割を記述するためのゲーム言語の一つを言う。このファイルに書かれた事の定理を満たしているものはゲーム言語ｉで記述されているものとする。
ｔ：ｉ言語の概要 ＝｛
ｉ言語はアイドレス２を記述するための言語で、人と人の対話と理解がアイドレスというゲームそのものであるという原理にそって、人と人が対話してＱ＆Ａみたいな進行をしていくことでルールやデータを生み出していく言語である。
大雑把な概念の理解から対話を繰り返して掘り下げて、人と人が理解した時を、ｉ言語では和合（ＩＷＧ）と言ってそのゲームの完成としている。和合の集合がアイドレスである。
完成したＩＷＧは、一個の独立したルール、事実としてアイドレスに作用する。
｝
参考として
＃ ｉ言語はゲームである電網適応アイドレスを記述し、芝村や一部のアイドレスプレイヤーと対話するためのゲーム言語です。日本語とかなりの互換性がありますが、完全ではありません。
＃ｉ言語とは、芝村や一部のアイドレスプレイヤーと対話するためのゲームであり、また言語です。対話が完成したら、ＩＷＧ（和合）といってこれをもってゲーム終了となります。和合とは互いを理解した、仲良くなったことを言います。
／＊／
ｔ：芝村 ＝プレイヤーの一つでユニバース定義、ライブラリを定義し、通った、もしくは通っていないを決定するプレイヤーのこと。
