妖精現実



最新記事 cos π/7 正七角形の七不思議・補遺(2022-05-08)

[ 新着記事 | 数学・プログラミング | 天文・暦
| シリア語・Unicode・詩 | ジョーク | 漫画・アニメ
| 字幕 | 哲学・ファンタジー | 全記事 | チラ裏 ]

チラ裏

「チラ裏」は適当な走り書き。誤字・誤記・脱線が多いです!

***

2022-09-23 ガウスの第一証明・ディリクレの工夫 イントロ

平方剰余の相互法則についての Gauß の第一証明は、発想は壮大だが、実装は強引で「スパゲティ」(ごちゃごちゃ)ともいえる。

Dirichlet(ディリクレ)は、そのごちゃごちゃを整理して、証明を半分くらいに短縮した。Dirichlet の工夫は、大ざっぱに言えば Jacobi(ヤコビ)記号を使うこと。それだけでなく Jacobi 記号の「分母」として 1 や負数を許容する…。今で言う Kronecker(クロネッカー)記号に当たるが、Dirichlet がこれをやったのは、Kronecker 記号が導入される数十年前らしい!

現代では Gauß の第一証明自体も、その Dirichlet 版も、ほとんど紹介されない。そのため歴史的文脈が見通しにくいが、面白い冒険コースであることは間違いない。残念ながら本題に入るまでの準備が長く、いろいろなことが絡み合って見通しが悪いのだが…

【1】 −1 の逆数は −1 自身: (−1)−1 = 1/(−1) = −1。この結果として、任意の整数 c について
  (−1)c = (−1)−c
が成り立つ。早い話、(−1) の整数乗は、偶数乗なら = +1 で奇数乗なら = −1。これについては、正の偶数・負の偶数の区別、正の奇数・負の奇数の区別は関係ない。従って a, b を任意の整数として
  (−1)ab
のような値があるとき、指数の符号を反転させて (−1)−ab としても値は変わらないし、指数の任意の因子の符号を反転させて (−1)a(−b) などとしても値は変わらない。普段あまり使わない発想かもしれないが、内容的には当たり前。

さて Q を 3 以上の(従って奇数の)素数、a をある整数として、2次の合同式 x2 ≡ a (mod Q) に解 x があるかないか。もし a ≡ 0 なら x ≡ 0 という1種類の解がある。それ以外の場合、解があるとすれば2種類の解があり、解がないとすれば全く解がない――前者のケース(2種類の解あり)は平方剰余だが、これを L(a, Q) = 1 で表し、後者のケース(解なし)を平方非剰余(略して非剰余)と呼び L(a, Q) = −1 で表すことにする。この L は Legendre(ルジャンドル)記号と呼ばれるもので、一般的には「分数に丸かっこを付けた形」で表される。例えば x2 ≡ 3 (mod 13) には x ≡ ±4 という解があるから…(続き

⁂

2022-09-20 連続する3個の整数の積は6で割り切れる 連続するN整数の積は…

以下の内容はたわいもないことだが、ガウスの第一証明はここから始まる。

【1】 連続する3整数、例えば 4, 5, 6 の積 4 × 5 × 6 = 120 は、3! = 1 × 2 × 3 = 6 で割り切れる。

理由。1, 2, 3 の中には偶数(つまり2の倍数)が1個しかない。連続する3整数は、順に「偶数・奇数・偶数」か「奇数・偶数・奇数」なので、どちらにしても2の倍数を1個含む(場合によっては2個含む)。

同様に 1, 2, 3 の中には3の倍数が1個しかない。他方、連続する3整数 A, A+1, A+2 の中にも、必ず3の倍数が1個含まれている。

A を 3 で割ると、余りは 0, 1, 2 のどれか。つまり A は 3k, 3k+1, 3k+2 のどれかの形を持つ(k は整数)。もし A = 3k なら、もちろんそれは3の倍数。もし A = 3k+1 なら A+2 = 3k+3 = 3(k+1) が 3 の倍数。最後に、もし A = 3k+2 なら A+1 = 3k+3 = 3(k+1) が 3 の倍数。…要するに、任意の連続3整数は、順序の違いを無視すれば mod 3 で {0, 1, 2} と合同。

すると A(A+1)(A+2) / 3! の分母にある因数は 2, 3 が1個ずつだけだが、この分数の分子には、必ず因子として 2 が 1個以上、3 が1個あるので、通分すると分母は 1 になる。

【2】 より一般的に、連続する N 整数の積は、N! で割り切れる。理由は上記と同様。N! の積を作っている整数たち…(続き

⁂

2022-09-12 無味乾燥だが超絶技巧 第一証明の森の入り口

平方剰余の相互法則について、ごく一般的なガウスの第三証明を紹介した。今度は、あまり人気のないガウスの第一証明を紹介したい。

あえてこの険しい道を行く意味は、次第に明らかになるだろう。

無味乾燥な補助定理から…。その内容は平凡で「4k+1型の素数 Q が与えられたとき、Q より小さい奇素数の中には Q mod q が非剰余になるような q が少なくとも一つある」。言ってることは当たり前。大ざっぱなイメージとして、平方剰余になるか非剰余になるかは「半々の確率」だが、素数は無限にある。例えば Q = 53 未満の奇素数は14個、Q = 101 未満の奇素数は24個…。Q = 53 未満の奇素数 q の一つ一つを mod として、確率半々で Q が剰余または非剰余になるとすれば、そのどれも非剰余にならない確率は「コインを14回投げて、一度も裏が出ない(連続して表が出る)ようなもの」で、ありそうにない

実際のデータは次の通り。R で剰余、N で非剰余を表すと、8個が剰余、6個が非剰余:
53N3, 53N5, 53R7, 53R11, 53R13, 53R17, 53N19,
53N23, 53R29, 53N31, 53R37, 53N41, 53R43, 53R47

ガウスも「一見とても明白だと思われ、ある人々は実際、証明の必要性を認めなかったのであるが…」とコメントしている。その言い回しからも分かるように、厳密性のためには、ここから始める必要がある。(続き

⁂

2022-09-08 財務省を訴える裁判に Tornado Cash ウェブカメラ違憲判決の出た米国だが…

1 技術の発達も善しあしで、「何に興味を持って何をしているのか、行動を秒単位・1クリック単位でトラッキングされたり、GPSで追跡されたり、勝手に顔面認識されたり、記録が蓄積されAI分析されたり」…といったことが、現実に行われる世界になってしまった。経済活動についても(政治家の不正資金・わいろなどはどんどん取り締まればいいとしても)、一般人がいつ何を買っていくら払ったか逐一監視されるような技術的枠組みには、危険なものを感じる。

Tornado Cash (TC) の事件は、悪いイメージもある暗号通貨の分野で起きたことで「自分と無関係」と考える人も多いかもしれない。他方、「監視社会・全体主義・格差社会」のような広い文脈の中の一こまでもある。米国の議員が公開質問状を出したり、EFFが(一応)批判のコメントしたりしていることからも分かるだろう。

End-to-end のセキュアな暗号化通信を禁止して、プロバイダーにバックドアの設置を義務付けるようなことが、実際に検討されている時代背景。

2 事実関係 「ハッカーが悪用している」という罪状(?)で「ツールそのもの」が違法とされ、「悪用する一部の人」ではなく「全ユーザー」がブラックリストされ「開発者」が逮捕された。

いくらなんでも、やり過ぎだろう。米国では、6人の原告(何も悪いことをしていなのにブラックリストされてしまった一般ユーザー)が財務省を相手取り、訴訟を起こす模様。原告の一人は大手CEX(暗号通貨関連の事業者)の上級職員らしい。「ウクライナに義援金を送るとき、報復を恐れて、匿名で寄付するために使った」という。このCEXが訴訟費用を負担するらしい。

このシナリオについては別のメモでも記した: ウクライナを支援するとき使われたクリプト。「監視付きコインで義援金など送ったら、後々ロシアに報復されるかも」というのは、誰でも普通に心配する。実際これは、プライバシーコインの典型的な活用法の一つ。リアルで募金箱にお金を入れるときだって、いちいち身分証を提示したりしない…。聖書にも「寄付するときは、右手のすることを左手に知られてはならない」と書いてある(関係ないw)。

ETHはプライバシーコインではない。だからこそ、この職員も、TCオプションを選択したのだろう。普通にプライバシーコインを使えばこんなトラブルもなかったはずだが、CEX職員としての立場上、自社が delist しているコインを避けたのかもしれない。だとすれば、プライバシー規制による二重の被害者ということになる。

3 雑感 筆者は Tornado Cash (TC) のユーザーではないし、TC のことをよく知らないし、何の利害関係もない。でも技術者(開発者)に対する行き過ぎた弾圧が怖い…というのは別の問題。

Winny事件のときもそうだった。Winnyを使ったことはないし、実態は知らないわけだが(悪用もされていたのはきっと事実だろう)、だからといって(悪用するユーザーではなく)ソフトウェアの開発者を逮捕…となれば驚くし、不穏に感じる。

だいたい著作権侵害のほう助がどうこう、当時はあれだけ執拗に言っていたのに、今の実態は何なのか。大企業が堂々と動画共有サイトを運営し、著作権があるはずのファイルでも、勝手にアップロードされ、「それで当たり前・便利だからいい」みたいな風潮になってしまった。かつて128 kbps程度のMP3や、320x240ピクセルの低画質動画で「侵害、侵害」と大騒ぎしていたのは、一体何だったのか…。そして今、「無料の昼食はない」という常識を知らない一般ユーザーが、知らずに無邪気に動画を楽しんでいるつもりで、一体どれだけ搾取されていることか…

ところで、オンライン授業の場合、小テストなどでいくらでもカンニングができる…ということから、米国ではテストのとき不正対策として「監視カメラのようなソフト」が使われることがある。これについて異議を唱えた学生がいて、最近「プライバシー侵害で違憲」という判決が出た。「個人の部屋の中をスキャンしたり、目の動きまでトラッキングするのは、やり過ぎ」という判断。オンラインチェスのソフト指しと似た問題だろう。監視カメラのようなものがあっても、その気になればいくらでも抜け道はあるだろうし、おとなしい善意の人(もともと不正などしない)が一方的にプライバシーを侵害される一方、ずるをする人はどうせするわけで…

このように米国の裁判所は、良い意味でも悪い意味でも、比較的独立性の高い判断をする伝統がある(政府の顔色をうかがう判決を出すとは限らない)。TC事件は明らかに憲法違反の疑いもあり、そういう判決が出るかもしれない。過剰な期待はできないが…

4 技術的には、TC事件は「もともとプライバシーのないシステム(ETH)の上に、アドオンのようにプライバシーのレイヤーを作ろうとしても、うまくいかない」という失敗知識という見方もできる。具体的事件そのものは驚きだったが、全体的な流れとしては、遅かれ早かれこういうことが起きてくる…というのは予想されていたし、これからますますひどくなるだろう。

End-to-end (e2e) 規制(バックドア強制)の可能性についても、技術的なユーザーは本気で心配はしていない。E2Eプロバイダーがバックドアを作っても、そんなものを通さず、ローカルで直接暗号化すれば済む話だから。

技術的にはそうなのだが、「暗号化技術を悪用して、こっそり爆弾テロの相談をしたり、児童ポルノをやり取りしたりする人もいる。規制が必要だ」というレトリックや、それを信じ込む風潮が問題なのである。一般人は確かに「爆弾テロ!」と言われれば「怖い話だ。確かに規制が必要だ」と考えるかもしれないが、常識的に考えて、メッセンジャーでやり取りされるオンラインの会話なんて、ほとんど100%どーでもいーよな日常的な内容だろう。100万人に一人いるか、いないかという架空のテロリスト対策の名目で、個人間のプライベートなメッセージのやりとりが検閲可能状態に置かれるのは、バランスの問題として不釣り合い…むしろ「そういう口実での独裁的全体主義・思想統制」という感じさえする。

独裁者による監視システムの恐ろしさは、歴史の教えるところだが、独裁者が結局は自滅するのも、歴史の教えるところである。「本当はないこと」が分かっていながら「大量破壊兵器の存在」を口実に侵略が行われた前例もある。

オンライン決済の件も、いくら執拗にクリプトを検閲しても、善意のユーザーが不便になるだけで、それで「怪しい裏金」やら「犯罪組織の闇取引」やらを阻止できるとは思えない(裏取引というと、クリプトなんて関係なく、ジュラルミン?のケースに入れた札束をやり取りしてるようなイメージがある…漫画の読み過ぎ?w)。犯罪対策とやらをしたいなら、ウェブ検閲より、まずは「直接的な殺傷能力のある銃」というものの規制を考えたらどうなのか。要するに、銃の利権団体が多額のわいろ(?)を払うので、規制しないのでは…(文化的伝統や個人の思想もあるので、あまり単純化はできないが)。動画サイトも「高額の法人税を払ってくださる大企業さまがやることは悪くない。ボランティアの開発者が共有ソフトを作ると逮捕する」みたいな感じで、要するにカネが正義かよ~みたいな…

「絶対的権力は絶対的に腐敗する」というが、権力者のレトリックをうのみにせず、問題意識を持つことは大切だろう。

⁂

2022-09-06 アイゼンシュタインの証明の現代化 目で見る相互法則

ガウスの第三証明(ディリクレ版)、それを簡単化したアイゼンシュタインの幾何学的証明については、いずれも既に200年前のオリジナル版を紹介したが、現代的にはそれがどう整理されるか。

p = 11, q = 7 を例にすると、H = (p−1)/2 = 5, I = (q−1)/2 = 3。横 5 個、縦 3 個の長方形状に並んだ格子点(図の )が、合計 5 × 3 = 15 個…という当たり前のことに、問題は帰着されるのだった。

PNG画像4

赤線の下の と赤線の上の 対称ではないことに注目(後者の方が1個多い)!

このうち赤線 y = (7/11)x の下にある格子点 の個数を考えると、y が縦座標なので…(続き

⁂

2022-09-05 「Google Analytics 4」対策・試案 ウェブのプライバシーと利便性の兼ね合い

一般ユーザー、初心者が普通にできる範囲のこととして…

1. 「丸見えブラウザー」(あなたが今使っている環境です。「あなたを自動追尾する監視カメラ(録画機能付き)がいくつも設置されたガラス張りのトイレで、用を足している」とイメージしてください)を捨てる必要はありません。丸見えでもいい場所、むしろ一般人になりすます方がいい場所もあるでしょう。

2. ですが、プライバシーが必要なブラウジングのため、プライバシー志向の環境も用意して、使い分けましょう。ポータブル(スタンドアローン)のブラウザーなら共存できます。「丸見えブラウザー」のいわゆる「プライバシーモード」(茶番)の話じゃないですよ…。以下では、こっち側の設定について。残念なことに Firefox 系もデフォルトでは…いまいちになってしまいましたが、次のようなカスタマイズの自由は残されてます!

3. まず何はともあれ、JavaScript をデフォルトで無効にします。「今どきのサイトは、スクリプトがないと動作しない」というご意見もあるでしょう。そこでアドオンの NoScript を導入して、どうしても必要な場合だけ、必要なスクリプトを有効にしてください。これによって GA.js のような監視カメラは、「とりあえず」フル動作はしなくなります。

4. 第二に、できればクッキーを全部ブロックしてください。アドレスバーに about:config とタイプして、network.cookie.cookieBehavior を探し、値を 2(全部禁止)にします。これで、サイト内・サイト間の「明示的な」トラッキングは阻止できます。クッキーがないと動作しないへぼサイトについては、仕方がないので「丸見えブラウザー」を使うか、または少し妥協して、上記の値を 1(サードパーティーのクッキーを禁止)にします。これによってサイト間の「明示的な」トラッキングは阻止できます。

さらに、全体の設定で「何も残さない」ようにします。例えばクッキー、履歴等は、ブラウザーを閉じれば全部消えるようにします。

注1 閲覧にサードパーティーのクッキーが必要なサイトは、セキュリティー面・プライバシー面で、設計の根本に問題があります。危険なので、そういうサイトはなるべく利用自体をやめましょう。

注2 「ブラウザーを閉じるとクッキーが消えてしまう設定では、毎回ログインが必要で面倒」と思われるかもしれません。「毎回自動ログインしたい」=「あなたが誰かを自動通知して利用したい」というケースは、こっちではなく「丸見えブラウザー」の出番です。一方、IPを含めて個人情報を一切渡さずに匿名サインアップしたサービスであれば、「丸見えブラウザー」を使うと、せっかくの苦労が水の泡。「丸見え」で使うのか「プライベート」で使うのか、利用目的によって区別して、混ぜこぜにしないようにしよう!

5. クッキーを切っても、Referer によってサイト間の足跡が残ります。about:config にて network.http.sendRefererHeader の値を 0 にすると、Referer を無効にできます。表面的な意味としては「そのページに、どのリンクから来たか」が見えなくなるわけですが、プライバシー上、もっと重要な意味は、「どこにでも入り込むG(ゴキブリ)画像」に関して「あなたがそのゴキブリをどこから読み込んだか?」という情報(つまりあなたがどのページを見ているか)が、ゴキブリ本部に通知されなくなります。プライバシー的に良いことでしょう。けど、もっと根本的に「Google検索」のようなリモート画像が平然と貼り付けられている場合、「このサイトの管理者は、あまり賢くないかも…」という判断になるでしょう…。

補足 Referer を無効にしても、通常、機能的な影響はないですが、世の中には「Referer の内容によってアクセスを妨害する意地悪サイト」も存在します。その場合、上記の値を 1 にすると、どのリンクをたどったかを通知しつつ、画像のリファラが無効になります。

6. この問題は G に限りません。よってサードパーティーの画像の読み込み自体をブロックするのが、良い考えでしょう。permissions.default.image2 にすると、全画像のロードを止められます。「画像が表示されないと寂しい」という人は、少し妥協して 3 にすると、サードパーティーの画像だけをブロックできます。

画像をオフにした状態でそのサイトがどう表示されるのか?というのは、ある程度「情報発信に対する真剣度」の目安にもなります。「altに何か書いとけばいい、というお役所仕事のサイト」と、「画像が表示されなくても本文を理解できるように、altに画像の内容をテキストで書いているサイト」とでは、もちろん後者の方が好ましい。「画像が表示されないと全く使い物にならないサイト」は、「テキストブラウザー」や「目が不自由な人」のことをまるで考えていないので、完成度やセキュリティーもそれなりでしょう。デフォルトで画像オフでも、特定の画像を見たければ、その画像だけを見ればいいわけです。単純な話でしょ?

7. G はフォントやスクリプトも提供しています。残念ながら、深く考えずに「無料で便利!」とこれを使う開発者もいるようです。ブラックな現場、予算・時間の都合…ってやつでしょうか…。スクリプトどころか CSS の @font さえ書けない人がメンテナンスしているサイトなんて、どうせ情報が漏れ放題なのであまり使いたくないのですが、ともかくユーザー側の自衛としては、アドオンの uBlock Origin を導入して、My filters に次を追加しましょう。

fonts.gstatic.com
fonts.googleapis.com
ajax.googleapis.com
accounts.google.com
www.googletagmanager.com

他にもブロックしたいものは、何でもここに追加しよう。グーグルのフォントをブロックしても、通常、フォントが変わるだけで実害はない。グーグルのアカウントやタグマネージャーなど、ブロックしてもほぼ100%問題ないでしょう。問題は見知らぬ他人の ajax に依存して動作する駄目サイトだが…われわれのポリシーでは、そもそも JavaScript はオフなので、これで動作しないサービスは「使うのをやめる」「丸見えブラウザーで使う」のどっちかにして、ここは妥協しない。

(悪名高い GA.js 等は、My filters に手動で入れるまでもなく、uBlock Origin によってデフォルトでブロックされます。)

JavaScript や画像自体を無効にしたのだから、ファイルをブロックする必要ないのでは?と感じるかもしれませんが、リクエストが発生してあなたの IP が G に記録されること自体が既に問題なのです。今の技術では、クッキーなしでも、スクリプトなしでも、AI分析であなた個人の行動パターンを認識・トラッキングできるようになりつつあります。従って「G にリクエストが送られたら、負け」と解釈してください。G 提供の DNS を使うなど、もってのほか、Google 検索は問題外です。

たぶん一般人は、そこまでできないでしょうから、G を使いたいときはこれまで通りの「丸見えブラウザー」、プライバシーが望ましいときはこっちのブラウザー…と分けて使うことが、(理想的ではないにせよ)現実的な解法だと思われます。

どうしても G 検索が必要だがプライバシー侵害は嫌…という方は、Searx をお試しください。
Searx は一つの検索エンジンではなく、メタ検索のインスタンスです。あるインスタンスが G 側からブロックされても、いっぱいあるので、別のインスタンスを使えばOK。

追記(2022-09-22) whoogle-search という選択肢もある(評価不明)。ところで、またまた嫌なニュースが…
https://metager.de/meta/meta.ger3?eingabe=US+Military+Bought+Mass+Monitoring

この際 G とは縁を切ろうと決意できた方(たぶん少数派?)には metager.de が今のイチオシですが、ドイツ語じゃ分からん!という場合 ddg.gg も、普通の検索ならまぁ使えるかもしれません。どーしてもゴキブリ検索が好き!という人は、妥協して、グーグルの子分 Startpage.com を使えば、直接ゴキを触るよりは良いかも………

付記 技術系のユーザーは Tor Browser や単体の Tor サービスを使う手もあるでしょうが、TB には特有の欠点があるので注意: IPは匿名になるものの、Tor の Exit node からアクセスしていることが先方に丸見えなので、場合によって悪目立ちする。Tor ユーザーが少ない場所だと「いつも○時くらいにくる Tor ユーザー」のように、かえって特定・トラッキングされてしまう。一般人のふりをしてあえて「丸見えブラウザー」を使う方が良い場合もある。

⁂

チラ裏より

チラ裏」は、きちんとまとまった記事ではなく、断片的なメモです…

***


新着記事

すてきな証明・すてきな作図 tan ((α + β)/2) = ?(2021-10-09)
正攻法ではゴチャゴチャ長い計算になるが、この作図によると、見ただけで「そうなって当然!」と思える。
【注意】SSDは使ってないと壊れやすい 用がなくても週に1度は電源を(2021-06-06)
「SSDは、アクセスが速く、回転部分がないので壊れにくい。従来のハードディスクより優れた新技術…」という一般的イメージを持たれている。一方、SSDには、特有の弱点があることも知られている。
妖精の森 ♌ ペル方程式の夏(2020-12-27)
x2 − 79y2 = 5 を満たす整数 (xy) は存在しません。その証明は意外と難しく、しかも隠された深い意味を持っています。この種の問題を扱います。ハイライトは、2020年夏に発見されたばかりの「改良版コンラッドの不等式」。 〔v4: 2021年9月5日〕
MKV埋め込み字幕用フォントのMIME問題 (2019-10-20)
字幕用フォントが、ロードされない事例が起きている。問題の背景・対策・対応状況。
ばびっと数え歌 でかい数編 (2019-09-01)
31桁の 1,000,000,000,000,000,000,000,000,000,000(=100穣)までの数え歌。日本語・英語・SI接頭辞・2進数付き。

数学・プログラミング

まあるい緑の単位円 (三角関数覚え歌)(2017-12-24)
まあるい緑の単位円/半径 斜辺の三角形/「高さ」の「さ」の字はサインの「サ」/サインは 対辺 高さ
アルファとベータが角引いた (加法定理・図解の歌)(2017-12-24)
「ごんべさんの赤ちゃん」のメロディーで。「アルファさんとベータさんが麦畑」でもOK。 〔最終更新: 2018年1月28日〕
cos 36° 魔法のにおい(2018-01-14)
五角形を使った解法も優雅だが、代数的に… 〔最終更新: 2019年9月30日〕
cos π/7 正七角形の七不思議(2018-01-28)
日頃めったに見掛けない正七角形。その作図不可能性は、有名な「角の3等分問題」に帰着する。コンパス・定規・「角度3等分」器があれば、360° を7等分できる! 〔最終更新: 2022年5月8日〕
覚えやすさを重視した3次方程式の解法(2018-02-11)
分数なくして、すっきり。語呂合わせ付き。 〔v8: 2019年3月17日〕
3次方程式の奥(2018-03-04)
3次方程式は奥が深い。「判別式の図形的解釈」は1990年代の新発見だという。 〔v15: 2022年2月23日〕
3次方程式の判別式(2018-03-18)
いろいろな判別式。Qiaochu Yuan による恐ろしくエレガントな解法。 〔v8: 2022年2月27日〕
3次方程式と双曲線関数 ☆ 複素関数いじっちゃお(2019-02-17)
定義から始めてのんびり進むので、双曲線関数の予備知識は不要。3次方程式も別記事で初歩から解説。三角・指数関数なら知ってるという探検気分のあなたへ。複素関数プチ体験。 〔v7: 2021年2月19日〕
cos i = ?
曇りなきオイラーの公式 微分を使わない直接証明(2019-02-17)
exp ix = cos xi sin x のこんな証明。目からうろこが落ちまくる! 〔v11: 2020年12月23日〕
−1 の 3/2 乗? オイラーの公式(その2)(2019-03-03)
(−1)3/2 って ((−1)3)1/2 = (−1)1/2 = i なのか、((−1)1/2)3 = i3 = −i なのか、それとも…? exp zez が同じという根拠は? 〔v7: 2021年1月24日〕
(za)b = zab の成立条件(2019-06-09)
(za)b = zab は一般には不成立。ではどういう条件で、この等式が成り立つか。(za)bzab は、どういう関係にあるのか。「巻き戻しの数」(unwinding number)は、この種のモヤモヤをすっきりさせるための便利なコンセプト。 〔v5: 2021年1月24日〕
フェルマーのクリスマス定理で遊ばせて!(2018-12-23)
1640年のクリスマスの日、フェルマーはメルセンヌに宛てた手紙の中で、こう言った。「4の倍数より1大きい全ての素数は、ただ一通りの方法で、2個の平方数の和となります」 〔v5: 2020年12月27日〕
「西暦・平成パズル」を解くアルゴリズム(2016-03-27)
整数28と四則演算で2016を作るには、最小でも9個の28が必要。
2016 = (28+28+28)×[28−(28+28+28+28)/28]
一見全数検索は大変そうだが、50行程度の平易なスクリプトで高速に解決される。ES6 の Map の長所、splice より速い要素挿入法も紹介。 〔最終更新: 2016年4月10日〕
[JS] 100行のプチ任意精度ライブラリ(2016-05-08)
JavaScript 用に最小構成的な「任意精度整数演算」ライブラリを作ってみた。 〔最終更新: 2019年6月23日〕
[JS] メルセンヌ数の分類と分解(2016-06-05)
数千万桁のメルセンヌ素数が脚光を浴びるが、その裏では、たった数百桁のメルセンヌ合成数が分解できない。 〔v6: 2019年5月5日〕
楕円曲線で因数分解(2016-08-14)
楕円曲線を使って、巨大整数に含まれる数十桁の因数を検出できる。計算は、曲線上の勝手な点を選んで整数倍するだけ。ステージ1、モンゴメリー形式、標準版ステージ2、素数ペアリングについて整理した。 〔最終更新: 2021年11月14日〕
楕円曲線の位数: 点の擬位数に基づく計算法(2016-10-02)
元の位数を考えると群の位数計算が高速化されるが、それには高速な素因数分解が必要。「擬位数」はどの教科書にも載ってないような概念だが、ハンガリー人数学者 Babai László によって研究された。 〔最終更新: 2016年10月23日〕
アルカンの異性体の数の公式・第1回 小さなパズルと不思議な解(2015-09-20)
異性体の数は難しいが、炭素数12くらいまでなら素朴な計算ができる。中学数学くらいの予備知識で気軽に取り組めて、めちゃくちゃ奥が深い。(全9回予定だが第6回の途中で止まっている。そのうち気が向いたら完結させたい)
「マイナス×マイナス=プラス」は証明できるか?(2014-08-03)
数学的に正しい質問は、「なぜマイナス×マイナス=プラスか?」ではなく「いつマイナス×マイナス=プラスか?」 〔最終更新: 2019年9月29日〕
平方剰余の相互法則(2003-03-26)
「バニラ素数とチョコレート素数」という例えを用いた「お菓子な」説明。
楕円曲線暗号(2003-11-28)
最初歩から具体例で。書き手も手探りというライブ感あふれる記事6本。手探りだからエレガントではないが、JavaScriptでは世界初の実装? 実装はダサいが、内容(ロジック)は正しい。
触って分かる公開鍵暗号RSA(2004-02-04)
理論的説明でなく、実地に体験。JavaScriptで実現したので結構注目され、大学の授業などの参考資料としても使われたらしい。ダサい実装だが、ちゃんと動作する。
デスノートをさがして: 論理パズル(2006-04-10)
真神・偽神・乱神。間違いだらけの乱神探し。

天文・暦

13日は金曜になりやすく31日は水曜になりにくい(2017-09-03)
曜日は「日月火…」の繰り返しだから各曜日は均等のようだが、「毎月1日の曜日」「13日の曜日」のように「特定の日にちが何曜になるか」を考えると、曜日分布に偏りが… 〔v6: 2019年4月21日〕
「春夏秋冬」は「夏秋冬春」より長い(2017-11-26)
「春分→夏→秋→冬→春分」と「夏至→秋→冬→春→夏至」は、どっちも春・夏・秋・冬1回ずつなのに、前者の方が長い。素朴な図解(公転最速理論?)、簡易計算、そして精密な解析解。春分間隔から春分年へ… 〔最終更新: 2022年9月1日〕
PNG画像 (20 KiB): 春分年・夏至年・秋分年・冬至年の長さの変動は、位相がずれたサインカーブのような曲線を描く。
公式不要の明快な曜日計算(2016-10-23)
公式や表を使わず、何も覚えていない状態で、手軽に任意の年月日の曜日を暗算。
ぼくの名前は冥王星(2013-09-30)
いいもん、いいもん! これからは小惑星になって、ジュノーちゃんやベスタちゃんと遊ぶから! …と思っていたら、「おまえは小惑星でもないんだよ」と言われてしまった。そんなー。ぼくのアイデンティティーは粉々さ。 〔v6: 2019年3月24日〕
さよなら第9惑星・冥王星 カイパーベルト終着駅(2019-03-24)
海王星~海王星~。目蒲めかま線はお乗り換えです。
第9惑星・追悼演説(2019-03-24)
我々は一つの惑星を失った。しかし、これは「終わり」を意味するのか? 否、始まりなのだ!
ケプラー方程式(微積・三角公式を使わないアプローチ)(2018-01-14)
微積分を使わず、算数的にケプラー方程式を導く。倍角・半角などの公式を使わずに、離角の関係を導く。特別な予備知識は不要。 〔最終更新: 2022年7月19日〕
ケプラー方程式・2 エロい感じの言葉(2018-01-28)
「ケプラー方程式(微積・三角公式を使わないアプローチ)」の別解・発展。 〔最終更新: 2020年11月24日〕

シリア語・Unicode・詩

シリア語: カラバシ注解(2013-12-01)
カラバシ『読み方のレッスン』はシリア語文語・西方言の教科書。ウェブ上で公開されている。その魅力を紹介し、第1巻全21課に注釈を付けた。 〔最終更新: 2016年5月8日〕
ばびっと数え歌 シリア語編(2014-02-09)
「シリア語の数詞の1~10」を覚えるための数え歌。「ごんべさんの赤ちゃん」のメロディーでも歌えます。 〔最終更新: 2017年12月24日〕
ペシタ福音書における「女性聖霊・男性聖霊」の混在について(2014-12-14)
キリスト教の「聖霊」はイエス自身の言語では女性だったが、後に男性イメージに変化した。この変化は興味深いが、そこに注目し過ぎると中間期の状況を正しく理解できない。3種類のシリア語聖書とギリシャ語聖書を比較し「叙述トリック」を検証。 〔最終更新: 2018年11月4日〕
少年と雲 (シリア語の詩)(2017-12-24)
雲さん、どこから来たんだい?/背中に何をしょってるの?/そんなに顔を曇らせて/空から何を見ているの?
黙示録の奇妙な誤訳: 楽しいシリア語の世界(2018-04-15)
「南の子午線を飛ぶハゲタカ」が、なぜか「尾が血まみれのハゲタカ」に…。誤訳の裏にドラマあり。 〔最終更新: 2018年5月6日〕
ターナ文字入門: 表記と発音(2013-01-16)
以前公開していた記事を全面改訂。ターナ文字は、インドの南、南北1000キロにわたって散らばる島々で使われる文字。 〔最終更新: 2014年5月4日〕
HTML5 の bdi 要素と Unicode 6.3 の新しい双方向アルゴリズム(2012-12-04)
ブログのコメント欄で起きる身近な例を出発点に、双方向性が絡む問題と解決法を探る。HTML の dir 属性は落とし穴が多い。HTML5 の <bdi> は役立つ。近い将来、「ユーザー入力欄などの語句は、このタグで隔離」が常識になるかも。 〔最終更新: 2014年4月27日〕

ジョーク

未来の水 フリーズドライ ☆ 粉末乾燥水(2012-04-01)
宇宙旅行のお供に/非常時の備えに… 場所を取らない超軽量・携帯用のインスタントお水です。
イヤ~な「金縛り」を強制解除 ☆ 全自動かなほど機(2019-04-01)
睡眠中の金縛り。嫌なものですね…。そこでご紹介するのが、この「かなほど機」。金縛りになったとき、ワサビの匂いで身体を自動リセットする未来の製品です。
さよなら第9惑星・冥王星 カイパーベルト終着駅(2019-03-24)
海王星~海王星~。目蒲めかま線はお乗り換えです。
漢詩と唐代キリスト教 「日本の影響」説も(2019-04-01)
客舍かくしゃ青青せいせい 柳色りゅうしょく新たなり」仏教徒でもあった唐の大詩人・王維(おうい)。彼がキリスト教とも関わっていたことは、ほとんど知られていない。(エイプリルフールのジョーク記事)
円周率は12個の2 スパコンで判明/ほか 3題(2016-04-01)
三原則ロボットおちょくられて仕返し?/円周率は12個の2 スパコンで判明/人間を模倣する学習AI 学習し過ぎ?
ISOとJISによる「ハッカー」の正式な定義(2005-02-19)
JIS規格では「ハッカー」という言葉が定義されてる。
ヒマワリをふてくされさせる実験(2005-02-20)
お花はとってもデリケート。
「確信犯」たちの「開発動機」(2005-09-23)
ストラビンスキー「ファゴット奏者を苦しめてやろうとしてやった。苦しそうな音なら何でも良かった」
「水からの伝言」の世界(2006-08-21)
水さん、ちょっと漏れ過ぎです。
脳内ディベート大会(2009-07-31)
応援団を応援することは正しいか。タンポポの綿毛を吹いて飛ばしていいか。

漫画・アニメ

大島弓子の漫画 (チラ裏3題)(2019-04-28)
バナブレは「漫画で何ができるのか?」という世界の枠組みそのものを変えた。綿国(わたくに)は、漫画・アニメ史上「猫耳の発明」という意味も持つ。もともとは「自分は半分人間だと思っている子猫」の主観的世界を表す絶妙な表現。
ラピュタ滅びの呪文は波動砲かフェーザー砲か?(2006-01-28)
ムスカは、ジブリ作品では珍しい悪役と評されるが、ラピュタ文字の解読は、現実世界ならノーベル賞もの。
勇者よ、侵略者から東京を守れ(2006-01-22)
「ブジュンブラにキメラアニマが現れたわ!」 お気に入りのネタだが、アニオタ以外の一般人には意味不明かも。
チラ裏
アニメ関係の小ネタも多い。イタリアのアニメ事情もあるよ。

字幕

MKV埋め込み字幕用フォントのMIME問題 (2019-10-20)
字幕用フォントが、ロードされない事例が起きている。問題の背景・対策・対応状況。
SSA入門 中級編(2004-08-27)
二つの入門編(音声タイミング・基本スタイリング)に続くフレーム・タイミング関連の内容。古い記事で使用ツールは時代遅れだが、考え方は依然参考になるかも。
[SSA/ASS] 高品質のフェイドイン・フェイドアウト(2005-12-21)
単純な fad() は濁りやすい。各種の代替手段を紹介。
ASS: 縁ワイプと縦カラオケ(2006–2009)
字幕と音声のずらし方/縁ワイプ/字幕のリップシンク/縦カラオケ/他。古い記事だが参考までに。

哲学・ファンタジー

60%他の生物【人体の細胞】100%星くず(2019-02-24)
ヒトの体は約25兆の細胞から成るが、体には65兆の細胞が…。本人以外の40兆は何なんでしょ? 〔v8: 2019年4月18日〕
至るところ青山 (チラ裏3題)(2019-04-14)
3丁目が見えない理由(先行きの不安)は、1丁目にいるからで、2丁目まで行けば自然と選択肢は狭まる。
不死でないから星は輝く (チラ裏3題)(2019-04-14)
「核融合には燃料が必要。燃料を使い果たせば反応は止まる」という当たり前のことを言い換えると「いつかは終わるから今輝いている」。
猫のしっぽを思い切り引っ張ることは十戒のどれに違反するか?(2014-11-23)
南泉は言った。「この猫の命が惜しければ、禅を一言で語れ。さもないと猫を斬り殺す」 〔最終更新: 2019年4月24日〕
神から見た「主の祈り」(2004-10-04)
「天にましますわれらの父よ」 神「はい?」 — へリング牧師は、ジョークのような設定で深い問題を提示した。 〔最終更新: 2013年10月2日〕
「無断コピー以外」を禁止するライセンス(2004-10-04)
人間の心理的困難があまりに大きいようなので、 それに対抗するために、次のような新しいライセンス形態を思いつくほどだ。いわく…
妖精物語 3題(2005-07-02)
王様の赤いばらと白いばら。
「反辞書」の著者フレッド・レスラー(2009-02-03)
Urban Dictionary というサイトをご存じでしょうか。 ウィキペディアみたいな、でもそれよりずっと砕けた新語辞典…

お知らせ

<メールアドレス>