[ 新着記事
| 数学・プログラミング
| 天文・暦
| シリア語・Unicode・詩
| ジョーク
| 漫画・アニメ
| 字幕
| 哲学・ファンタジー
| 全記事 ]
チラ裏コーナー（過去のチラ裏）
2020-10-25 ラッセルのパラドックス
「この戦争が終わったら…おれはあの世にいるんだ」
2020-10-19 首藤剛志さんのこと（続き）
「ようこそようこ」は、一般視聴者にとっては無名に近い作品だろう。一方、漫画の「ああっ女神さまっ」は国際的に有名…。この「女神さま」に、無名のはずの「ようこ」のネタが入っている。一般視聴者にとってはどうでもいい作品でも、漫画家などのクリエーターの間では、結構注目されていたのかもしれない（ポケモンゲームを作った人たちにもファンが多かったとか）。
下記の場面（単行本5巻から引用）で、ベルダンディが言っている「よっきゅん」が「ようこ」のニックネームで、ウルドが乗せられて言う「よっきゅんコーナー」は、「ようこそようこ」が放送されていたとき番組の終わりにあったおまけコーナー。
一般に「ヨッキュン」「よっきゅん」と表記されるが（LD-BOX、CD-R、ウィキペディアなどでも、そう表記されている）、アニメの企画上、公式には「ヨ♥キュン」だった（玩具などには、この表記が使われている）。ローマ字で書いた場合、Yokkyun でなくて Yokyun…つまり k が一つ…という違いが生じる。下記は「ヨ♥キュン」ロゴの基本デザインで、確かに k が1個。
ちなみに「女神さま」漫画の英語版では、残念ながら k が2個書かれている。
首藤は、スポンサーから打ち切りを言い渡されたとき、悲しみのあまり（？）ミンキーモモ（空）を物語の中で殺してしまったことで知られる。このことは、いろいろに解釈されているが…モモのマニアの中には「人々に夢を与えるため、キリストが死刑になったように、モモはあえて死ななければならなかった」などと言う人までいる…首藤にとって、空モモの打ち切り事件が衝撃的・トラウマ的だったことは間違いない。ちなみに、モモを交通事故で死なせたのは、おもちゃ屋の（玩具を輸送する）トラック。打ち切りを決めた玩具メーカー（スポンサー）への恨みは、大きかったのだろう。
2010年、シリーズとしてのミンキーモモは再び死んだ。首藤たち原作スタッフと無関係に、モモを作った葦プロだった会社（現在は「葦プロ」に再改名したが、当時は違う名前だった）が、勝手にモモの二次創作を始め、それがひどい出来だった…という事件で、首藤はひどく動揺し、落ち込んでいた…。実質的に、ずっと作りたかったモモの3作目が（少なくとも葦プロでは）作れなくなった。こうしてモモが死んだ年、リアルで首藤も死んでしまった。
首藤の「作品」については、もちろん個人の好き好きだろうけど、首藤という「作家」は面白い人だなぁ…と思う（どうでもいいことだが、日本のアニメのうち世界で最も稼いだのは首藤作品なので、お金で物を評価する人たちからも、無視できない存在だろう）。ただし「ようこ」は少々風変わりな作品で、好き嫌いが分かれるだろう。ミンキーモモについて言うと、空モモはこの手の作品の元祖なので、歴史的には重要だが…「女性の社会進出」のような当時の時代性を背景にする作品であり、今見てもピンとこないかもしれない。夢を抱きしめての頃になると、林原さんが楽しそうに主題歌を歌って、海モモの雰囲気も結構好きだけど…橋のOVAも、クオリティー高いと思うけど…つまりモモを嫌いということはないんだけど、何というか、ミンキーモモって本質的に陰性で、子ども向けの心優しい作品ではないと思う。
2020-10-17 ポケモンアニメの首藤剛志がウィキペディアに自分で書いたこと
むかし、むかし、…といっても、ガンダムの10年くらい未来に当たる昔…
「ポケモンの首藤」と書くと天国の首藤剛志はご不満でしょうが、世間一般的には、無印ポケモンや『ミュウツーの逆襲』が代表作でしょう。
首藤は2010年10月に亡くなっているが、なぜかその直前にウィキペディアにアカウントを作って、自作関連の項目を幾つか編集している。以下は「アイドル天使ようこそようこ」についてのもので、結果的には、遺書のようなメッセージ。
https://ja.wikipedia.org/w/index.php?title=%E3%82%A2%E3%82%A4%E3%83%89%E3%83%AB%E5%A4%A9%E4%BD%BF%E3%82%88%E3%81%86%E3%81%93%E3%81%9D%E3%82%88%E3%81%86%E3%81%93&diff=prev&oldid=34253811
現場スタッフを過酷な状況に追い込んだことは紛れもなく確かなことであり、首藤は当時の制作現場スタッフに対して、申し訳なさと限りない感謝の気持ちを2010年現在も感じていると語ることがしばしばある。また、サキが主役になった「私のジュリエット」は、不当な圧力をかけるスポンサーへの反感や反抗から生まれたシナリオだったとの噂もあるが、これは噂の域を出ない。
（※首藤は自分自身のことを「首藤は」と書いている。）
「アイドル天使ようこそようこ」は、ファースト・ガンダムと似ている。どちらも「スポンサーをだまして」制作開始された。どちらも52話で企画されたが、おもちゃが売れないというスポンサー側の理由により打ち切られ、43話になった。どちらもスポンサー側の判断により、2番目に重要な人気キャラを引っ込めるように圧力がかかった（ガンダムのシャア、ようこのサキ）。
首藤が上記でほのめかしているのは「スポンサーからサキを引っ込めるように圧力がかかったので、反発して、あえてサキが中心の2部作を作った」ということ。もともと別の人が書き込みしていた臆測についてのコメントに当たる。同様のケースで、もともとの記述が事実に反する場合には「事実ではない」と書き足しているが、この件に関しては「噂の域を出ない」という含みのある書き方をしている。「あえて否定はしない・そう解釈されても構わない・確かにそういう思いもあったかもしれない」というところだろうか…。同じアニメの別のエピソードで、F1レーサーが「頑張らないとね。スポンサーさん、そろそろイラついてるかもしれないし」と言うシーンがあるが、これも首藤が悪ふざけして書き足したせりふに思える。何しろレーサーがそれを言う相手は豊（ゆたか）。ユタカはこの番組のスポンサーだったおもちゃ会社である。
首藤は血の気の多い人で、目立ちたがり屋だったが、同時に（矛盾するようだが）気弱でデリケートでもあった。本当はサキに「サキューン」というニックネームを付けてもっと活躍させたかったのだが、さすがにスポンサーから引っ込めろといわれているキャラに、それをするのは遠慮したらしい。「ようこ」ではサキを最後まで守ったものの、ポケモンアニメでは、偉い人の独断で、一時、タケシ（首藤剛志と同名の…性格的にも分身のような…主要キャラ）を消されてしまった。
なぜ首藤本人が、突然ウィキペディアに書き込みをしたのだろうか。最初の編集によると: 仕事の関係で「アイドル天使ようこそようこ」を、ウィキペヂアを検索しましたが、関係スタッフとして、その記載には首をひねらざるを得ない部分が多くあります。記載された方に悪気はあるとは思いませんが、関係スタッフに近い方が、聞いたことに憶測を交えて書いてしまわれたように思います。しかし、違う部分は違いますので、訂正したいとは思いますが、その方法がよく理解できません。少なくとも、「スイート・ミント」のスの字も意識していませんでした。
首藤は「ようこ」について、誰にもまねのできない作品というプライドを持っていた。ところが当時のウィキペディアには「『魔法のエンジェルスイートミント』とも、かなりの共通点がある番組」と書かれていたため、それがお気に召さなかったらしい…。確かに「ようこ」と「ミント」は無関係ではないが、どうせなら「スイートミント」ではなく「マリーベル」と比較するのが筋だろう。ともかく、首藤が死の直前、自作に関連して本音のようなことをウィキペディアに書き込みしていた…というのは、興味深い。
2020-09-28 中学生でも分かる？コンラッドの不等式（メモ）
ここで「コンラッドの不等式」というのは、Conrad が発見したのかどうかは知らないが、Brian Conrad が書いた数学のテキストで証明されている不等式。
（説明）・・・
「nを0ではない整数、Dを平方数ではない正の整数とする。x^2−Dy^2 = n （☆）の整数解 x, y が存在するか。存在するなら一般解を求め、存在しなければ存在しないことを証明せよ」というタイプの問題を「拡張ペル方程式」という。
ここで n と D は、問題ごとに固定されている。例えば「x2 − 109y2 = 12 に整数解があるか。あるなら求めなさい」というタイプの方程式を考えている。
今 s と t を s^2−Dt^2 = 1 を満たす正の整数として（これは必ず存在する）、u = s+t√D, m = |n| と置く。（☆）に解があるなら、その一つは必ず |x| ≤ √(mu) の範囲にあり、本質的に異なる2種類以上の解があるとしても、必ずそれらは全部この範囲に現れる。これが「コンラッドの不等式」（2018年版）の概要であり、つまり「0以上、√(mu) 以下の整数を順に（☆）のxに入れて、yが整数になるかどうかを調べる」という単純処理によって、拡張ペル方程式は、原理的には有限時間で100%解ける。「解ける」というのは、もちろん「解なし」が答えになる場合も含む。
・・・（説明終わり）
これは素晴らしい。そのような不等式がないと、どれだけ（☆）の解を探しても…例えば「0以上1兆以下のどの整数をx, yに入れても（☆）は成り立たない」としても…「もしかすると1兆より大きい解があるのかもしれない」という可能性を否定できず、問題が有限時間で解決しないのだから。しかしコンラッドの不等式（2018年版）には短所もあった。それは「この範囲を探すと、本質的に同じ2組の解が重複して別々に検出されてしまうことが多い」ということ。「本質的に同じ」かどうかは、別途チェックすればいいことなので、大きな妨げにはならないのだが…。実は、この不等式の上界は改善できる。√(mu) まで探さなくても、およそ半分の範囲、(1+√u)√(m)/2 まで探せば十分（一定条件下では、この上界をさらに改善できる可能性がある）。半分の範囲で十分なのに、その2倍の範囲まで探していたのだから、2018年版で重複検出が起きやすかったのは当然と言えるだろう。この改善は比較的最近…今年（2020年）の7月26日（日本時間では27日朝）に発見された。
「ごく普通の高校生にも十分理解できる」ような普通の言葉で説明可能なので（数学が好きなら中学生でも分かる）、できれば近々一般向けの記事にしたい…とそのときチラ裏にメモしたが、それっきりになっていた。しかし今日、9月28日になって、コンラッドの証明を簡単化して、中学生でも分かるように説明できるかもしれない道筋を思い付いた。オリジナルのコンラッドの証明は、代数的整数論を応用するもので、それなりに難しいのだが、一応、ベクトルの線型独立の概念があれば、あとは対数関数の初歩だけで足りる（二次体や基本単数やノルムの概念を使わずに証明可能）。高校生なら、ベクトルの足し算は普通に知っているのだから、一応理解に支障ないはず。…とはいえ「平面上で、線型独立な2個のベクトルの線型結合で任意の点は表現可能」というのは（知っている人にとっては当たり前のことだが）予備知識を仮定しない一般向けの説明としては、ちょっとむずい…。ベクトルの概念から順に説明するのは可能だが、かなり長くなるし、線型独立を1回使いたいだけのためにそれをやるのは大げさでもある。代わりに、次のようにしたら、分かりやすいかな…と。
「任意の2個の実数AとBが与えられたとき、A=q+r, B=q−r を満たす実数 q, r が存在する」…これなら中学生でも理解できそうだよね。普通に連立方程式を解けば q=(A+B)/2, r=(A−B)/2 となり、確かに条件を満たしている。
で（☆）の解 x, y があったとして A = log |x+y√D|, B = log |x−y√D| について同様のことを考えると、
q = (log |x+y√D| + log |x−y√D|)/2 = (log |x^2−Dy^2|)/2 = (log m)/2
は固定され、r についてもある値になるが、もし（☆）が解を持つなら「rの絶対値が1/2以下であるような解が必ずある」。これだけでは全然説明になってないが、とりあえずメモ。（☆）に解が1個でもあれば、それと本質的に同じ解が無限個あって、それらについて log |x+y√D| の値を考えると、数直線上で間隔1できれいに並ぶ点・点・点になる。間隔1で並ぶので、どう配置しても、どれか1個が幅1の区間 (−1/2, 1/2] に入る。これが証明の核心かも。ここで log の底は何でもいいのだが、u を底とするのが、上記の簡単化の「みそ」。
中学生にも分かるようにするためには log を説明する必要があるが、それは比較的簡単にできるだろう。
![2016 = (28+28+28)×[28−(28+28+28+28)/28]](/image/2016/2016-28.png)
Map の長所、splice より速い要素挿入法も紹介。 〔最終更新: 2016年4月10日〕bdi 要素と Unicode 6.3 の新しい双方向アルゴリズム (2012-12-04)dir 属性は落とし穴が多い。HTML5 の <bdi> は役立つ。近い将来、「ユーザー入力欄などの語句は、このタグで隔離」が常識になるかも。 〔最終更新: 2014年4月27日〕
fad() は濁りやすい。各種の代替手段を紹介。msystem.waw.pl / videolan.org