「芝村さんの日曜授業：まとめ」の編集履歴（バックアップ）一覧はこちら
芝村さんの日曜授業：まとめ - (2008/03/30 (日) 14:21:20) の１つ前との変更点
追加された行は緑色になります。
削除された行は赤色になります。
芝村さんの日曜授業：まとめ（２００８年３月３０日）
※使用テキスト：http://blog.tendice.jp/200803/article_8.html
（３月１４日版のｉ言語）
----
授業は「１．ｉ言語とは何か」「２－１．ユニバース定義とは何か」「２－２．通った、通らないとは何か」をテキスト内から探し、転記・提出、さらには交換則の説明を途中で挟みつつ、「３．交換則を使ってユニバース定義を言い換える」という、参加型の形式で行われました。
「ｉ言語とは対話のための言語」で、「大勢が一度に使っても大丈夫」という特性を実感出来るようになっていたわけです。
では、以下にまとめを掲載いたします。
----
１．ｉ言語を使って会話するためのルール
ルール１：なにをするにもまず、ｉ言語のルールブックを見て、可能な限り、これをコピペ（転記）する。
ルール２：転記する時は、その行まるごと、あるいはＬまるごと持ってくる。
ルール３：＃はコメントなので、転記してもあまり説得力はない。参考程度に見る。
ルール４：ゲーム言語ｉでは、可能な限りｔとＬを転記する。これによって１．表現がぶれない ２．最終開発効率を上げる
これらのルールを守ることで、ｉ言語が５０％使えます。（対話のための言葉なので、話せるようになる、とも言い換えられます）
『ｔ：定理は転記できる ＝定理は再利用できる』
『ｉ言語はいろんな使い方ができるけど、まずは最初、これがわかるといいんだよ。』
／＊／
※補足
『Ｌ：もしくはｔ：という記号は要するに、決まっちゃったことを示す記号だ。』
『Ｌ：はｔ：の集合、それが集まったものだね。』
----
２．交換則について
『普通は自分の言葉で言い換えることをもって、理解したという。』
この言い換えを、ｉ言語では「＝」という記号で表わしています。
／＊／
『交換則は凄い簡単なことだ。』
『２＋１ ＝３ と ４－１＝３ の時 ２＋１＝４－１ は同じこと』
『かぞえたら同じ３なのよね』
『ｔ：等価＝数えると同じ。転じて、結果は同じ。』
『さて、結果が同じなら、交換してもいいよね？っていうのが数学における大事なことなんだよ。』
『気に入ってるからやだって言う人もいるだろうけど、逆もしかりで、気に入らないなら、結果が同じなら交換していいんだよ。』
／＊／
ｔ：等価 ＝数えると同じ。転じて、結果は同じ。
ｔ：交換則 ＝側面：等価の場合、交換しても構わない
----
３．ｉ言語を実際に使う時のことについて
『転記をしたことと理解したことは違うよね？』
『転記内容＝自分の言葉での表現 が、通れば、それは理解したことになる。』
／＊／
例：ユニバース定義について
ｔ：ユニバース定義 ＝ゲーム内での価値観のことでローカル定義に属する。特に指定のない場合、無名世界観の因果、および物理法則とそれに矛盾しない限りの常識および現代科学となる。
これを、
ｔ：通った ＝ユニバース定義下において等価であると認定すること
ｔ：通らない ＝ユニバース定義下において等価でないと認定すること
に交換則で当てはめて理解しようとすると、
ｔ：通った ＝（ゲーム内での価値観のことでローカル定義に属する。特に指定のない場合、無名世界観の因果、および物理法則とそれに矛盾しない限りの常識および現代科学となる。）下において等価であると認定すること
という、とても読みにくい、理解しづらいものになってしまいます。
----
４．交換則を実際に使って会話した例
『交換しても構わないって事は、”自分の言葉”でも構わないことなんだ。』
『自分の言葉で、等価を作ろうか』
／＊／
『ｆ：は通っていない（認められていない）ｔ：のことだ。』
『ｆ：は転記しても、認められない』
『「ｆ：ユニバース定義 ＝」で、右辺を書いていくんだ。』
／＊／
ｔ：ユニバース定義 ＝ゲーム内での価値観のことでローカル定義に属する。特に指定のない場合、無名世界観の因果、および物理法則とそれに矛盾しない限りの常識および現代科学となる。
↓
ｆ：ユニバース定義 ＝無名世界観と現実社会で通用する物理法則と常識
↓
『＞通った。』
↓
ｔ：ユニバース定義 ＝無名世界観と現実社会で通用する物理法則と常識
／＊／
これにより、
ｔ：通った ＝ユニバース定義下において等価であると認定すること
も、
ｔ：通った ＝（無名世界観と現実社会で通用する物理法則と常識）下において等価であると認定すること
と、言い換えられるようになりました。
芝村さんの日曜授業：まとめ（２００８年３月３０日）
※使用テキスト：http://blog.tendice.jp/200803/article_8.html
（３月１４日版のｉ言語）
----
授業は「１．ｉ言語とは何か」「２－１．ユニバース定義とは何か」「２－２．通った、通らないとは何か」をテキスト内から探し、転記・提出、さらには交換則の説明を途中で挟みつつ、「３．交換則を使ってユニバース定義を言い換える」という、参加型の形式で行われました。
「ｉ言語とは対話のための言語」で、「大勢が一度に使っても大丈夫」という特性を実感出来るようになっていたわけです。
では、以下にまとめを掲載いたします。
----
１．ｉ言語を使って会話するためのルール
ルール１：なにをするにもまず、ｉ言語のルールブックを見て、可能な限り、これをコピペ（転記）する。
ルール２：転記する時は、その行まるごと、あるいはＬまるごと持ってくる。
ルール３：＃はコメントなので、転記してもあまり説得力はない。参考程度に見る。
ルール４：ゲーム言語ｉでは、可能な限りｔとＬを転記する。これによって１．表現がぶれない ２．最終開発効率を上げる
これらのルールを守ることで、ｉ言語が５０％使えます。（対話のための言葉なので、話せるようになる、とも言い換えられます）
『ｔ：定理は転記できる ＝定理は再利用できる』
『ｉ言語はいろんな使い方ができるけど、まずは最初、これがわかるといいんだよ。』
／＊／
※補足
『Ｌ：もしくはｔ：という記号は要するに、決まっちゃったことを示す記号だ。』
『Ｌ：はｔ：の集合、それが集まったものだね。』
----
２．交換則について
『普通は自分の言葉で言い換えることをもって、理解したという。』
この言い換えを、ｉ言語では「＝」という記号で表わしています。
／＊／
『交換則は凄い簡単なことだ。』
『２＋１ ＝３ と ４－１＝３ の時 ２＋１＝４－１ は同じこと』
『かぞえたら同じ３なのよね』
『ｔ：等価＝数えると同じ。転じて、結果は同じ。』
『さて、結果が同じなら、交換してもいいよね？っていうのが数学における大事なことなんだよ。』
『気に入ってるからやだって言う人もいるだろうけど、逆もしかりで、気に入らないなら、結果が同じなら交換していいんだよ。』
／＊／
ｔ：等価 ＝数えると同じ。転じて、結果は同じ。
ｔ：交換則 ＝側面：等価の場合、交換しても構わない
----
３．ｉ言語を実際に使う時のことについて
転記は、いわば高速かつ意味を正確に伝えるための特殊な会話方法ですが、それだけでは会話が成立しないような場面も出てきます。その時、どうやって相手の言っていることを理解しあうのかが、問題になってくるわけです。
『転記をしたことと理解したことは違うよね？』
『転記内容＝自分の言葉での表現 が、通れば、それは理解したことになる。』
／＊／
例：ユニバース定義について
ｔ：ユニバース定義 ＝ゲーム内での価値観のことでローカル定義に属する。特に指定のない場合、無名世界観の因果、および物理法則とそれに矛盾しない限りの常識および現代科学となる。
これを、
ｔ：通った ＝ユニバース定義下において等価であると認定すること
ｔ：通らない ＝ユニバース定義下において等価でないと認定すること
に交換則で当てはめて理解しようとすると、
ｔ：通った ＝（ゲーム内での価値観のことでローカル定義に属する。特に指定のない場合、無名世界観の因果、および物理法則とそれに矛盾しない限りの常識および現代科学となる。）下において等価であると認定すること
という、とても読みにくい、理解しづらいものになってしまいます。
----
４．交換則を実際に使って会話した例
『交換しても構わないって事は、”自分の言葉”でも構わないことなんだ。』
『自分の言葉で、等価を作ろうか』
／＊／
『ｆ：は通っていない（認められていない）ｔ：のことだ。』
『ｆ：は転記しても、認められない』
『「ｆ：ユニバース定義 ＝」で、右辺を書いていくんだ。』
／＊／
ｔ：ユニバース定義 ＝ゲーム内での価値観のことでローカル定義に属する。特に指定のない場合、無名世界観の因果、および物理法則とそれに矛盾しない限りの常識および現代科学となる。
↓
ｆ：ユニバース定義 ＝無名世界観と現実社会で通用する物理法則と常識
↓
『＞通った。』
↓
ｔ：ユニバース定義 ＝無名世界観と現実社会で通用する物理法則と常識
／＊／
これにより、
ｔ：通った ＝ユニバース定義下において等価であると認定すること
も、
ｔ：通った ＝（無名世界観と現実社会で通用する物理法則と常識）下において等価であると認定すること
と、言い換えられるようになりました。
