hirax.net::Keywords::「数式処理」のブログ

2004-07-03[n年前へ]

青春18きっぷは定義式

 今年の春の青春18切符のコピー

       √a = 18旅路(ルート)の中では、人はいつも18(age)である。
に対してのツッコミ
ちなみにこの公式には”落とし穴”があり、普通に解くと「a=324」と答えが出てしまいます。誰がどのような旅をしても心の中ではいつも18歳、と伝えたいのでしょうか。
を見る。

√a = 18 それは、"="の定義次第に違いない。このコピーの作者は実は数式処理系に堪能で、"="は、いわゆる等号"=="ではなく、代入の"="かもしれない。つまり、「√aというものは全て18が代入される」という手順を意味しているというのも自然かもしれない。
 そして、さらにこの式は"√"という演算子(もしくは関数)を定義する式であって、(例えばMathematicaなら)この式は
root(a_) := 18
なんていう内容を書いてある、とも自然に読むことができるだろう。すると、これは「ルートをとるとどんなaも全て18になる」という定義だ。もっと素直に言い換えれば、それはコピーそのままの「旅路(ルート)の中では、人は誰でも18(age)になる」である。そういう処理が「旅路(ルート)」なんだと高らかに定義・宣言する式である。

girls=evil そして、(「女の子=悪」の証明風に言うのなら)「人のルート(root=根底にあるもの)はそんな18才の頃のようなものだ」とさらに想像してみるのはどうだろうか。青春18きっぷのポスターに書かれた小さな式は「旅は人を18歳の頃の気分にさせる。そして、それこそが人の根底にあるものなんだ」という言葉だと勝手に想像してみるのだって面白いはずだ。

 青春18きっぷの公式から"a=324"なんてなんだか少しツマラナイ答えを導いてしまうのではなくて、もっと色んな想像をして色んな答えを導いてみるのも良いのじゃないかな、と思う。答えが(自分の知識の範疇で想像できる)一つだけなんていうのは「青春18きっぷ」には似合わない。もっと、色んな期待とともに線路の先を眺めた方が、きっと面白いことを見つけられるに違いない。