ruby-list

たけ(tk)です。

[ruby-list:38195] 理解の進め方(Re: String　<< の動作につきまして) にて 
Tadashi Oh-Ya <toy@k-cable.co.jp> さん 曰く:

> スレッド切っちゃいます ;) 御了承のほどを。

　それの方がよさそうな気がします。

> > そもそも、僕は、たけさんの説明がわかり易いと思えませんし。
> > 
> で、あるならば。
> 「こーいう説明もありなんじゃない？」という内容で一筆起こされ
> てみてはいかが？ :)
> 
> 我々はそのための手段(Web|Mail)を持っているわけですしね ^_^
> 
> いろいろな理解の筋道が存在するのは、悪いことではない(と言う
> よりむしろ良いこと)と思いますよ :)

今やろうとしていることはプログラミングの世界を日常用語で初心者にも分かり
やすいように説明したい、ということです。

ただし、プログラミングの世界を日常用語で説明する、というのは突き詰めて考
えれば必ず破綻します。

そもそも、プログラミングの世界は日常世界からみればシュールな世界だからで
す。たとえば、

kuruma = "車体番号123のベンツ"
kuruma2 = kuruma + kuruma

というプログラムでは、2行目の左右のkuruma変数は同じオブジェクトを指して
います。つまりこの行は「一つのオブジェクトを二つ使って」新しいオブジェク
トを作っています。いわば世界に１台しかないベンツを2台結合する、というよ
うな処理を行っています。そうとうシュールです。

もちろん、２つの車庫に同じ１台のベンツが入っている、というのもシュールで
す。（変数＝箱説の破綻）

しかし、名前説も破綻します。

kuruma1 = "車体番号123のベンツ"
kuruma2 = "車体番号234のベンツ"
kuruma2 = kuruma1

このプログラムでは、最初は2台のクルマがあったのに、「kuruma2 = kuruma1」
で"車体番号123のベンツ"にkuruma2という名前をつけた途端に、"車体番号234の
ベンツ"が消えてしまいます。かなりシュールです。

名札説では「クルマに名札を貼りつけたはずなのにクルマを調べても名札が見つ
からない」というのも、かなりシュールな名札ということになります。

この論争は、「光は波か粒子か」という論争を思い起こさせます。光には波とし
ての性質と粒子としての性質とがあるのですが、日常世界ではそのようなモノは
存在していません。つまり、日常世界の感覚からすればシュールな存在です。
「光は波である」という説明も、「光は粒子である」という説明もどちらも突き
詰めていけば破綻してしまいます。

では、「光は波である」、「光は粒子である」という説明が無意味かというと、
そうではなくて、最初のとっかかりとしては役に立つでしょう。その説明である
程度進めた後で、「実は粒子／波としての性質もある」としてシュールな概念に
進めていくのがよさそうなのです。

変数の本質についても、初心者に対するとっかかりの説明としては、箱でも名札
でも名前でもかまわないと思うのです。ただし、どの説でも破綻するので、その
破綻を説明して実はシュールな存在なのだと理解してもらえばよろしかろうと思っ
ています。

そういう観点から [ruby-list:38204] のような説明になっております。

take_tk = kumagai hidetake

Thread

Prev Next

In This Thread

Prev Next

[#38002] ERB について — Gotou <com@...>

[#38007] Object#singleton_methods — Masao Mutoh <mutoh@...>

[#38009] net/http.rb Net::HTTPResponseのヘッダー — sakazuki <QZS01353@...>

[#38015] [ANN] ruby 1.8.0 — matz@... (Yukihiro Matsumoto)

[#38020] irb で %W(#{...}) — yoshihisa masuda <sacong@...>

[#38026] [ANN] ReFe 0.7.2 — Minero Aoki <aamine@...>

[#38029] Array#fill { ... } — yoshihisa masuda <sacong@...>

[#38036] undef variable — hirocy <hirocy@...>

[#38039] proc method — "K.Sasada" <ko1@...>

[#38050] TMail multipart mail — Yoshiki Wada <ysk@...5.so-net.ne.jp>

[#38055] irbshの設定 — s-nob@...

[#38056] ファイル書換え？ — 中村文建 <tx6f-nkmr@...>

[#38057] [ANN] Ruby-GNOME2-0.6.0 — Masao Mutoh <mutoh@...>

[#38059] [ANN] rbbr-0.3.0 — Masao Mutoh <mutoh@...>

[#38062] The RWiki::LL Saturday, 2003-08-09 — maili31s@... (SugHimsi == SUGIHARA Hiroshi)

[#38063] how to write destructive method? — HASHIMUKAI Toshikatsu <hashi@...>

[#38073] module extendable? — Takeshi Horinouchi <horinout@...>

[#38078] how to get script dir — NONAKA Akira <nonaka@...>

[#38080] ポートが閉じているときの例外など — Mitsuru Ogino <ogino@...>

[#38083] Re: how to get script dir — Nonaka Akira <nonaka@...>

[#38090] ruby-1.8 で eruby が SEGV — Kazuhiko <kazuhiko@...>

[#38100] [ANN] Ruby Onsen Meeting — TAKAHASHI Masayoshi <maki@...>

[#38104] XMLRPC::ModRubyServer — OHARA Shigeki <os@...>

[#38122] ruby-tcpwrap and mkmf.rb — Takahiro Kambe <taca@...>

[#38134] Ruby/SDL 0.9 — OHBAYASHI Ippei <ohai@...>

[#38164] Ruby1.8.0でRuby-PostgreSQLがビルドできない — kensaku Maki <sakaki@...>

[#38166] Win環境でrdtool-0.6.11のインストール — AOKI Yoshihiro <aoki@...>

[#38176] sub class of Mysql — "Kawaji, Shinya" <kawaji@...>

[#38183] String << の動作につきまして — kuto@...

[#38195] 理解の進め方(Re: String << の動作につきまして) — Tadashi Oh-Ya <toy@...>

[#38198] Tmailで送るメールに日付がつけられなくなりました — 川田誠司 <kawada.seiji@...>

[#38256] かみ砕いた説明をすべき範囲 — 西 啓一朗 <receiver@...>

[#38274] パターンマッチの置換について — hogehoge@...

[#38276] re-builder — rubikitch <rubikitch@...>

[#38279] CRAM-MD5でエラー（Net::SMTP）（自己解決） — Masato Toyoshima <mt@...>

[#38282] -1 / 10 #=> -1 — "Tadashi Saito" <shiba@...2.accsnet.ne.jp>

[#38291] readline.so for irb/completion on win32 — Shusaku <tsyk@...>

[ruby-list:38206] 理解の進め方：シュールな世界

Thread

In This Thread

[#38183] String　<< の動作につきまして — kuto@...

[#38195] 理解の進め方(Re: String　<< の動作につきまして) — Tadashi Oh-Ya <toy@...>

[#38256] かみ砕いた説明をすべき範囲 — 西啓一朗 <receiver@...>