[ 新着記事
| 数学・プログラミング
| 天文・暦
| シリア語・Unicode・詩
| ジョーク
| 漫画・アニメ
| 字幕
| 哲学・ファンタジー
| 全記事 ]
チラ裏コーナー（過去のチラ裏）
2019-11-14 リアルワールドの恐ろしさ
一方通行的な関数、強力な暗号化などの場合、数学的な正攻法では「1億円のスパコンを1万台並列化しても解けない」ことは少しも珍しくない。けれど、それだけの予算があれば、恐らく大抵の個人（人類の90%以上）は買収に応じてくれるでしょう。「1億円あげるから、答えをこっそり教えてください。表向きは全数検索でラッキーヒットしたことにしますから…」と本人に裏取引を持ちかければ…
これだけでも怖い話だが、現実はもっと恐ろしい。秘密警察・暴力組織の類いが本人を取り囲み「答えを教えろ。さもないと…」と迫れば、0円で暗号が解けてしまう。それどころか「ついでに金も出せ」「面倒だからおまえの命ももらう。事故に見せかけてな…」というオチ。
理論上、アリスとボブの公開鍵の交換を盗聴したハッカー「チャーリー」は計算量的な壁に阻まれ手も足も出ない…。ところが現実世界の「チャーリー」は、純粋な数学パズル愛好家ではない。バールのような物を持ってアリスの家に押し掛け、力ずくでドアをこじ開け、秘密鍵を強奪できる。この攻撃を防ぐには、アリスもボブもネット上で個人情報を公開せず、場所が分からないように、オニオンのようなものを経由して通信する必要がある。個人情報は「悪用される・されない」という以前に、それ自体が脆弱性なので…
「パスワードはどこにもメモしてはいけない」とか「生体認証なら安全」とかいうのも、全然当てにならない。本気の攻撃者は「本人から聞き出す」「物理的に強制して無理やり認証させる」ことができるので…。やはり「本人が誰だけ分からない」という状態を維持するのが重要なのだが、そうはいっても現実的に、居場所が不明では物理的な買い物ができず、人間は物理的なリソース（例えば食料）がないと生存できない。悩ましいことである（笑）
「この通信は暗号化されていてセキュアです」というような話が、いかに薄っぺらか。安全なのは「物理的な居場所が不明で匿名化されている存在」だけ。大企業であれ国家であれ、中心的な存在が発生して情報を把握すればするほど、あらゆることは「いざというとき無防備」になってしまう。
ところで、問題のRDR2ですが…。世界的にはまだまだi5やi3のユーザーが多いようで、その環境ではまともにプレイできないらしい。最初は「おいおい何だこれは」「何かの初歩的なミスでしょう・すぐパッチが出るでしょう」という半分笑いのムードだったのが、数日後には「このゲーム、プレイできないから返金してほしい」という重いムードに…。「クソゲーと神ゲーは紙一重」的な珍奇な状況（本質的なクオリティーは神かもしれないが、プレイできなければ評価のしようもない）。あのキーボードクラッシャーのキャラが、やったら笑えるだろうな。「レッド・デッドやりてえんだよ！」「予期せず終了か」「予期せず終了ってむかつくよな」「2時間たったってことは、返金が利かないって、ことなんだよーーー！」（バンバン）「全然プレイできないのに＠＃＄％60ドル＠＃＄％それじゃ駄目ーーーー」BESは、そんなゲームを高確率で一応プレイ可能にしてしまう「魔法のツール」だが、それは偶然そういう活用法が見つかったというだけで、もともとは単に「熱暴走を防ぐ小物ツール」だった。類似のツールは他にもあるのに、BESを積極的に選択するユーザーが結構多い理由は謎。「BES: バトルエンコーダー・シラセ」というふざけた名前が受けているのかも…。とにかく、多数のRDR2プレイヤーが、ゲームを楽しみたい一心で洪水のように殺到したので、転送量節約のため、BESのページを「説明画像なしのテキストだけ」に変更。ゲーマーの情熱は、侮れない。うわさによると、初日にこのゲームをしたくて、わざわざ仕事を休んだ人までいるらしい。
2019-11-08 誰にも解けない問題 「誰にも解けない問題を作るのと、その問題を解くのは、どちらが難しいか」というネタ。
1) デジカメで適当に写真を撮る → その画像のハッシュを調べる → 「このハッシュを持つファイルを作れ」。簡単に出題でき、事実上、誰にも解けない。出題者自身は一つの答えを持っている。この形の問題を解く最も効率的な方法は、出題者に銃を突きつけ（あるいは出題者を買収して）、直接答えを聞き出すことでしょう。
2) 「解がない問題」を「誰にも解けない問題」と呼ぶなら、そのような問題はいくらでも作れる。「20より大きい7の約数を求めなさい」「平方すると−5になる整数を見つけなさい」考えても面白くない。
3) でたらめな巨大整数（1000桁くらい）を書いて「この数を素因数分解せよ」。問題を作るのは簡単だが、今のところ一般には誰にも解けない。出題者自身にも解けないし、暴力でも金の力でも解けない…。
4) コップに適当に水を入れる → 「この中にある水の分子の正確な数を答えなさい」。これは良くない。数えている間にも蒸発して数値が変動してしまうでしょう…。
5) 円周率の10進展開について「最初にゼロが連続x個現れるのは小数点以下何桁目か」 → 簡単に出題できる。x が巨大だと、事実上、誰にも解けない。
結論として、出題者にも答えが分からないような「無責任な問題」なら、誰にも解けない問題を作るのは易しい。「きちんとした難問」（出題者は答えを知っている）については、一方通行的な関数を使えば容易に生成できるが、「出題者を拷問あるいは買収する」という「解法」があるので、厳密な意味で「誰にも解けない」とは言い切れない。
2019-11-07 PS4の西部劇、MP4のカバーアート
世界的に人気の高いゲームがPCに移植され、5日にリリースされたのだが、いろいろ不具合があったらしい。「CPU負荷100%でフリーズしてしまい、そもそもプレイできない」というのもその一つ。思わぬ影響で、ものすごい数のゲーマーがこの辺境サーバーに殺到した。昔作った「プロセスをわざと遅くするツール」（エンコ中の発熱抑制用）が問題回避に役立つらしい。お役に立てることはうれしいけど、関係ない商用ゲームの尻ぬぐいでサーバーが落ちたら困るので、archive.org に直リンして、そっちから落としてもらう形にした。
話変わって、foobar2000。最近のベータを試してみた。「MP4にカバーアートを付けると、同じ画像を2カ所に埋め込む」というサイズ的に無駄な仕様が多少改善され、MP4の標準準拠に近づいていた。書き込むパターンによっては、標準の moov.udta.meta の代わりに moov.udta.tags という独自の場所に書き込んでしまうが（不具合というより仕様らしい）、そうならないこともあるようだ（検証中）。恐らくこの問題の根源は、MP4コンテナでは添付ファイルに「そのファイルが何なのか」というコメントを書き込む場所がない…ということ。仕様上「表紙・裏表紙・背表紙・歌詞カード」といったコメントを付けられない。
それを無理やり付ける方法として covr （カバーアート）の代わりに cvrx （カバー拡張）という独自ボックス（アトム）が使われるらしい。そんな仕様無視のむちゃくちゃ（★注）するくらいなら MKA に入れれば、添付ファイルにコメントできるし、添付ファイル名も保存できるのだが…いかんせん、伝統的にオーディオマニアの間では MKA の人気はあまり良くないようだ。10年以上前、サンプル単位の精度がなかったのが、尾を引いているのかもしれない。問題自体はとっくに解決済みだが、イメージが回復したかは疑問。
（★注）この位置の添付画像は、MPC系からもLAVからも見えない。つまり互換性（相互運用性）が低い。
しかし MKA は多目的フォーマット。将来「画像なしの字幕付きMKA」が広くサポートされるようになれば、ラジオドラマ（オーディオドラマ）に字幕を付けるという用途で MKA が普及する可能性は十分に考えられる。
![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