[ 新着記事
| 数学・プログラミング
| 天文・暦
| シリア語・Unicode・詩
| ジョーク
| 漫画・アニメ
| 字幕
| 哲学・ファンタジー
| 全記事
| チラ裏 ]
チラ裏
2021-02-24 船乗りのロマン メルカトル図法とセックたん
多くの方は、メルカトルが、新しい種類の地図を考えたことをご存じだろう。「行きたい場所が、現在地から見て地図上で x° の方角なら、方位磁針を使って x° の方角に単純に真っすぐ進めばいい」…メルカトル図法は、この単純で便利な性質を持つ。
メルカトル図法には sec x と ∫ sec x dx が絡んでくるのだが、当時の人々は、まだ微積分が発見されてないのに、この計算をやっていた! それだけでも興味深い。
∫ sec x dx なんて、大抵の人にとって「無味乾燥な計算問題」だろうが、その裏にはドラマがあった。地図上の方向・計算上の距離と実際の方向・距離がずれてたら、海上で迷子になったり食糧が足りなくなったりして、生死に関わる。この積分には、船乗りの命が懸かっていた…。
そのことを読み物として、まとめたものがこちら:
An Application of Geography to Mathematics:
History of the Integral of the Secant
https://www.maa.org/sites/default/files/0025570x15087.di021115.02p0115x.pdf
どうして sec が関係するのか、簡単な図解を交えて、4ページ少々で紹介。当時の雰囲気・歴史的コンテキストを垣間見ることができ、結構ワクワクする。∫ sec x dx に愛着が湧く。
好奇心を感じた方は、上記を拡充した次の文献もどうぞ。
ERIC ED214787: UMAP Modules-Units 203-211, 215-216, 231-232.
PDF版 https://archive.org/download/ERIC_ED214787/ERIC_ED214787.pdf
DjVu版 https://archive.org/download/ERIC_ED214787/ERIC_ED214787.djvu
スキャンの53ページ目(※冊子自体のページ番号ではない)から Mercator’s World Map and the Calculus というテキストがあって、約20ページにわたって、多くの図を交えて丁寧な説明がなされている。
なぜメルカトル図法が船乗りにとって便利なのか。一定間隔の緯度を地図上ではだんだん広くなるように描かなければならない理由。その拡大率が緯度 φ に対して sec φ になる理由。水平方向の幅もそれに比例して拡大しなければならない理由(だからグリーンランドが地図上でやけに大きく見える)。この地図上での距離は、sec の積分になること。何種類かの計算方法。簡単に、それを級数でも表現できること。
あいにく2番目の資料はノイズが多く、スキャンがぶれていて読みにくい箇所がある(1番目の資料は鮮明)。
「超お薦め」というほどではないが、興味を感じたら、のぞいてみてください。少なくとも、機械的に計算法だけ暗記するより、モチベーションが湧くでしょう。
2021-02-22 Vorbis注意報・補足説明 Vorbis/Opus自体に問題なし
動画を一般公開する場合、Vorbis/Opus音声はリスキーであることをお伝えしました(2021-02-21のメモ)。悪いのは Vorbis ではなく VLC です。誤解のないよう、もう一度説明します。
VLC media player という特定のプレーヤーに、再生の不具合(再生側の問題)があります。Vorbis 自体(作成側・データ側)の問題ではありません。
上記のプレーヤーを使わない限り、自分用として、あるいは仲間内で、Vorbis音声やOpus音声の動画を作るのは、全く問題ありません。
一般公開する動画の場合、ダウンロードした人がどのプレーヤーを使うか分からず、もしVLCユーザーがその動画を再生しようとすると、不具合が起きる可能性が高いです。「本当は冒頭部分にも音声があるのに、映像だけが再生され音が鳴らない状態が約1秒、続く」という不具合。もともと冒頭の数秒が無音なら実害ないですが、一般的には大問題。
だから、不特定の人が再生する可能性がある動画に関しては、VLCの不具合が解決するまでの間、Vorbis/Opus を避けた方がいい。そのうちバグが修正され、ほぼ全ユーザーが修正済みバージョンに乗り換えた状態になれば、再び Vorbis 等を安心して使えますし、今現在でも「公開用ではなく、自分用に作る動画」には、安心して Vorbis 音声を使ってください。
別の角度から言うと、VLCユーザーは、他のプレーヤーへの乗り換えをご検討ください(少なくとも、この重大バグの原因が分かり、問題が解決するまでの間)。
2021-02-21 【動画作成】注意報 Vorbis/Opus音声はリスキー 直してほしいVLCのバグ
VLC の3年前(2018年)のバグ #20927 が依然未解決なので、一般公開する動画の音声に Vorbis/Opus を使わない方がいい。
これはとても残念なこと。特許で縛られている AAC より、フリーの Vorbis/Opus を使いたい。Opus には音質的メリットもあるし、Vorbis はある意味において「日本の誇り」でもある(aoTuV)。…けれど、冒頭の数秒が鳴らないのは、実用上、問題がでか過ぎる。
音声が Opus でも再現すること、現行バージョンの 3.0.x でも再現することを複数の環境で確認したため、催促のコメントを追加しておいた。どうなることやら…
OGM時代(いつの話だ…笑)から Vorbis 音声の動画を布教してきた私たちが、ここにきて AAC を推奨しなければならないのは悲しいが、鳴らないのでは話にならない…。早期解決を祈るのみ。
2021-02-21 幾何学的アプローチの長所と短所
指数関数の定義として、教科書的には次の形が代表的だろう。数学オタクにとっては当たり前の見慣れた式だが、普通の人にとっては「理解不能」に近い怖い形かもしれない。
この他、無限級数を使った定義もよく見掛けるし、「微分して自分自身になる関数」という特徴付けを定義にすることもできるだろうが…。多くの人にとって、e は、訳の分からない数。使っているうちに何となくその性質・重要性がのみ込めてきて、やがて慣れてしまい「そういうものだ」と疑問を抱かなくなる。π にも、そういう面があるかもしれない。
それでいいのだろうか? 数学とは論理と直観のはず。「慣れれば分かる」などという、あやふやなことでいいわけない!
訳の分からないものを天下り的に導入して「使ってればそのうち分かるから」とか「とにかく公式を暗記しろ」とかいうアプローチでは、数学が「暗記科目」と誤解され、嫌われる原因になる。
一方、逆数のグラフの曲線の下の面積を考えることで、具体的に目に見える形で e を導入することは難しくない。対数の性質を「面積の足し算」として直観的に納得したり、e の値を自力で計算したり、幾何学的定義が「極限を使った普通の定義」と同値であることを確かめたりすることは、有意義だろう。
シェルバトフの薄い本を読んで、強い感銘を受けたが、同時に短所もあると感じた。第一に、幾何学的証明にありがちなことだが「確かにそうなる。でも、その巧妙な作図をどうやって思い付けばいいのか」。…天下り的な定義がない半面、天下り的な作図がある。第二に、数学的に厳密でない点。第三に「計算は正しいが、そのやり方は野暮ったい」という部分。第二・第三は「一般向けの啓蒙書」という性質上(きっちりした数学の専門書ではない)、当然かもしれない。むしろ「エレガント過ぎる」教科書より、多少泥くさくても実直・丁寧な方が、一般読者にはありがたい。
対数関数に関する限り、第一の問題はない。自然な作図、自然な問題意識から、スムーズに議論を展開できる。
幾何・解析のどちらにも長所があるのだから、両方のやり方をうまくミックスすれば、分かりやすく魅力的になる。今の普通のやり方は、何から何までやたらと解析的過ぎる。幾何学的方法をメインに、同じことを再構築するのは、何より自分自身の勉強になるし、興味ある読者にとって、何かの参考になるかもしれない。ただ…上記の第二の問題点は根深い。双曲回転が面積を保存することは、直観的には明らかだが、厳密に考えると面積の定義・積分の定義に依存することだろう。そうすると「幾何学的アプローチ」は、幾何のベールをまとった解析にすぎない。「フォーマルで厳密な数学」ではなく「それを直観的に理解するための、インフォーマルな作図」…というのがその本質かもしれない。
幾何学的アプローチだと、複素変数を考えることが(不可能ではないにせよ)困難。どっちにしても、どこかで解析にスイッチするしかない。でも、インフォーマルな「理解の補助」としても、同じ事柄を別方向から眺めて理解を深める点でも、幾何学的アプローチは、効果抜群だと思われる。
「チラ裏」は、きちんとまとまった記事ではなく、断片的なメモです。
Map
の長所、splice
より速い要素挿入法も紹介。 〔最終更新: 2016年4月10日〕bdi
要素と Unicode 6.3 の新しい双方向アルゴリズム (2012-12-04)dir
属性は落とし穴が多い。HTML5 の <bdi>
は役立つ。近い将来、「ユーザー入力欄などの語句は、このタグで隔離」が常識になるかも。 〔最終更新: 2014年4月27日〕fad()
は濁りやすい。各種の代替手段を紹介。msystem.waw.pl
/ videolan.org