[ 遊びの数論 ]
[ 数学・プログラミング ]
[ 天文・暦 ]
[ シリア語・Unicode・詩 ]
[ ジョーク ]
[ 漫画・アニメ ]
[ 字幕 ]
[ 哲学・ファンタジー ]
[ チラ裏(雑記) ]
[ 主な新着コンテンツ ]
2024-09-10 MetaGer 検索有料化 検索エンジンどこがいい?
ドイツの非営利組織 SUMA-EV が運営する検索エンジン MetaGer は、無料バージョンの継続を断念した。これまでも一部有料(トークンを購入するシステム)だったが、今後はトークン制のみ。
Eine Ära geht zu Ende
https://suma-ev.de/eine-aera-geht-zu-ende/
SUMA-EV の発表によると、パートナー企業だった Yahoo が、月曜(2024年9月9日)、一方的に契約打ち切りを通告してきたという。
MetaGer は、かつての Ixquick のように、検索結果のページについて、無料で匿名プロキシ閲覧を提供していた。接続元を明かさずドイツの MetaGer 経由でページを取得できたので、プライバシー志向の一般ユーザーにとっては便利だった(間接接続というだけでなく、侵害的なスクリプトなどもフィルタリングしてくれた)。特に Tor をブロックするサイトは一定割合で存在する⸺そのようなサイトを Tor Browser から見るには、 MetaGer は手っ取り早い方法の一つだった。
Tor をブロックする Linux Mint の公式サイトを MetaGer 経由で開いた例
広告収入モデルでは、プライバシー確保も、中立的な検索も、難しい(実際、無料サービスでは、途中から yahoo のビーコンが埋め込まれるようになった⸺ uBlock Origin でブロックできるので問題ではなかったけど)。有料化自体は当然の選択肢だろう。問題は、 MetaGer がプライバシー決済をサポートしていないこと。「余計な個人情報を出さず、安全に利用したい」ということと「利用のためには、クレジットカードなどの情報(住所氏名など)を渡さなければならない」ってことは、コンセプト的に矛盾している。プライバシー・コインか、せめてビットコインをサポートしてれば、さっそく有料バージョンを試してみるところだが…。クレジットカードなどの旧式の方法では、そもそも Tor 越しに決済できない。 MetaGer 自身は .onion を提供してるのに、残念なことだ。
MetaGer の状況が大きく変わった今、それでは、一体どの検索エンジンが良いのか?
「何を重視するか」はユーザーごとに異なるので、単純な答えは出せない。
一般論として、第一選択は DuckDuckGo (DDG) だが(Tor Browser や LibreWolf のデフォルト検索エンジンでもある)、 DDG の通常版はページがゴチャゴチャしてあまり気持ちが良くない。しかし JavaScript 不要の HTML 版はすっきりしていて、比較的気分良く使える。
https://html.duckduckgo.com/html
Ixquick がなくなった後、筆者は数年前まで DDG html 版のオニオンをデフォで使っていた。 JavaScript なしで完全に動作していた(多分今も動作する)。
https://duckduckgogg42xjoc72x3sjasowoarfbgcmvfimaftt6twagswzczad.onion/html
メタ検索 Searx (SearXNG) は有力な選択肢で、プライバシー派から支持されている。
https://searx.space/
この種のプライバシー・フロントエンドには rate limit が付き物。同じインスタンスだけを使わず、適宜ローテーションさせて使おう(特にエラーが返った場合)。 Public でない(あまり知られていない)インスタンスを幾つか知っていると、さらに良い。 Searx の検索結果には、プロキシ閲覧オプションはないものの、 web.archive.org 経由の閲覧リンクが提供されるので、アーカイブされてるページなら Ixquick / MegaGer と似た使い方ができる。
まだ知名度は低いが 4get は試す価値あり。これは最近(1年くらい前) 4get.ca から始まった新しいプロジェクトで、最初は非常に有力に思えたのだが、画像 CAPTCHA が入るようになり、面倒になった。ところが本家以外のインスタンスが複数生まれ、 4get.ch のように CAPTCHA なしのインスタンスもある。
https://4get.ca/instances
ブラウザとしての Brave は賛否両論のようだが(使ったことないので詳細不明)、 Brave 検索は独自のインデックスを持っているので、セカンドオピニオンとして活用できる。
https://search.brave4u7jddbv7cyviptqjc7jusxh72uik7zt6adtckl5f4nwy2v72qd.onion/
クリアネット版 https://search.brave.com/
については、実際に使った経験があまりないので責任を持ってお薦めできないけど、少なくとも uBlock Origin では何も引っ掛からない。オニオン版を提供してるのだから、たぶん普通に使えるだろう。
オープンソースのプライバシー・フロントエンドの多くは、広告収入モデルによらず、個人の善意で運営されている。これは検索エンジンに限らないことだが、応援したいプロジェクトがあったら、積極的に寄付させてもらおう。余裕があるとき、1ユーロや10ユーロ程度の額でもいいので…。そんなことで大企業やずるい政治家が支配する世の中を変えられるのか?というと、別に「世の中を変える」とかの大げさなことじゃなく、単に「応援したいものを応援する」ってだけ。いくら中央が独占的な力を振るおうとしても、「個人と個人のつながり」は、そう簡単には上書きできないだろう。
MetaGer は数カ月前から品質が落ち、雰囲気も変わり、終わりが近いことは予感してたけど、 Tor Browser のユーザーとして、プロキシ閲覧は便利だった。 Monero とはいわないまでも、クリプト決済にさえ対応してくれれば喜んで有料でも使うのだが、非営利団体なので「勝手に利益が出てしまう」ことのあるクリプトには、対応しにくいらしい(運営側から以前聞いた話)。ドイツには「マイニングは電気の無駄、暗号通貨はエコでない」という考え方もあるようだ。
余談だが、世界の幾つかの国では(日本の東京電力の子会社でも)、逆に「再生可能エネルギー(太陽光発電など)による余剰電力を無駄にしないため、その電力でビットコインをマイニングする」という話が出ている。「グリーンエナジー」を使って仮想の通貨を稼ぐ…というのは、未来的なコンセプトのようにも思えるけど、お金を稼ぐというからには、誰かがそのお金を払ってるわけで、どこかに矛盾があるような気もする。自分自身、長年のクリプトユーザーなので、あまり批判できないけど、ハッシュレートが上がると difficulty も上がるので単純にはスケールしない上、ビットコインには halving があり、同じハッシュレートのシェアを維持できたとしても、マイニングの報酬は、 BTC 単位では数年ごとにどんどん半減していく(法定通貨に換算した場合の収支は BTC 自体のレートに依存するが)。それでも(継続性はないとしても)余剰電力をとりあえず換金するのは、ビジネスとしては合理的な判断なのかもしれない。そのための投資の元が取れるなら…
ドイツや米国では、今や4人に一人くらいはクリプトユーザーらしい。プライバシーを売り物にする Proton もビットコインの(怪しげな)ウォレットサービスを始める。これも時代の変化なのかもしれない。現実の暗号通貨は、 Bitcoin が生まれたときの理念とは、まるで違うものになってしまった。
2024-09-09 tan の半角公式 珍しい sec 版
tan の半角公式 tan (θ/2) = (1 − cos θ)/sin θ において、右辺の分子・分母を cos θ で約分すると = (1/cos θ − cos θ/cos θ)/(sin θ/cos θ) = (sec θ − 1)/tan θ となる。もう一つの基本形 tan (θ/2) = sin θ/(1 + cos θ) を同様に約分すると = tan θ/(sec θ + 1) となる。
導出も幾何学的イメージも csc 版とほとんど同じで、ことさら公式と呼ぶほどのもんでもないけど、 sec2 θ = tan2 θ + 1 なので、半角のタンジェント tan (θ/2) を tan θ 自身の式として表せるってとこに、若干の面白さがある。
→ 続きを読む
2024-09-06 法務省前次官スパイウェア疑惑で起訴 遠隔スマホハッキング
ポーランド法務省・前次官ミハウ・ヴォシ(Michał Woś)が起訴された。検察の発表(2024年8月27日)によると、ヴォシは職権を乱用し、2017年に公金・約9億円(2500万ズウォティ)を不正に流用してスパイウェア Pegasus を購入したという。⸺単なる個人的な職権乱用なのだろうか?
Informacja o przedstawieniu zarzutów byłemu wiceministrowi sprawiedliwości Michałowi Wosiowi
https://www.gov.pl/web/prokuratura-krajowa/informacja-o-przedstawieniu-zarzutow-bylemu-wiceministrowi-sprawiedliwosci-michalowi-wosiowi
Pegasus はイスラエルのサイバー兵器製造業者 NSO Group が開発したスパイウェア。 iOS と Android ベースの携帯電話にひそかに遠隔インストール可能、仕掛けられても通常の方法では検知できないという。
→ 続きを読む
2024-09-05 一人の兵士 「この戦争が終わったら」禁止条約!
人は戦争と平和について考え語るが、戦いの恐ろしさについて身をもって知っているのは、他ならぬ軍人だろう。実際に経験しているのだから…
軍隊には厳しい規律が必要とされる。負ければ悲惨、勝っても悲惨。一人一人の兵士がその不毛さを意識してしまうと、軍隊は成り立たない。余計なことを考えず、命令に従って機械的に動かないと、精神がもたないかも…
リアルの話はさておき、フィクションで「この戦いが終わったら…」系のセンチメンタルなパターンは、国際条約で禁止してほしい(笑)!
→ 続きを読む
2024-09-01 tan の半角公式 csc 版(続き)
α = 72°, 36°, 18° をそれぞれ 144°, 72°, 36° の半角として、csc 経由で tan α, cot α を求める。その道筋では「二重根号同士の和あるいは差」が「一つの二重根号」に簡約される⸺という現象を見ることができる。計算の方法としては便利でなく、実用上、もっと見通しの良いやり方があるけど、このタイプの二重根号処理は興味深い。
→ 続きを読む
2024-08-31 tan の半角公式(コセック・バージョン) 二重根号の和・差
tan の半角公式の基本形 tan (θ/2) = (1 − cos θ)/sin θ は = 1/sin θ − cos θ/sin θ = csc θ − cot θ と変形可能。この csc(コセック)バージョン†は、正五角形の研究でもちょっと活躍するが、 9° = π/20 系の角度に関しては「ほとんどチート」とも言える威力を発揮するッ!
例えば csc 18° = √5 + 1 と cot 18° = √(5 + 2√) を前提とすると(参考リンク)…
半角の公式(通常版)を使った §74 に比べると、ほとんど何もせず、瞬時に同じ結論に(文字 ε は単に √5 の省略記法)。
いつでも楽ができるとは限らない。別の局面では、次の例のように、同じ公式から奇妙な結論(内容は正しい)が生じる。
簡約できない二重根号から、簡約できない二重根号を引いたら、その結果は別の(簡約できない)二重根号に…。一見したところ「なんじゃこりゃ?」「平方根と平方根の間で、何でこんな引き算ができるんだ?」と首をひねってしまいそうだが、好奇心を刺激する式には違いない。
→ 続きを読む
2024-08-30 MAT-LESS 北アフリカの地理
ヨーロッパ、アジア、北米・南米と比べると、アフリカの地理は分かりにくい⸺ってゆーか「なじみがない」っていうのが、多くの人にとっての実情だろう。ジブラルタル海峡とモロッコ、シナイ半島とエジプトくらいは、まぁ分かるとして、その中間がどうなってるのか?
地中海の北側にあるポルトガル、スペイン、イタリアなどは、ほぼ誰でも位置が分かり文化的イメージも浮かぶのに比べ、地中海の反対側は謎めいている。
北アフリカの国の位置関係は MAT-LESS という語呂合わせで覚えることもできる。
Morocco, Algeria, Tunisia;
Libya, Egypt, Sudan &
South Sudan
…の頭文字を並べたもの。
このうち Algeria は、50あまりあるアフリカの国々の中で、面積が一番でかいのに加え、アルファベット順でも一番。
古い資料には「スーダンが面積最大」と書かれてるが、2010年代に南スーダンが分離した結果、スーダンは3位になった。国境が変わったり、国境が変わらなくても首都が変わったりすることが結構あって、諸行無常。モロッコの南西のグレーエリアは、現状、部分的にはモロッコの支配下にあるが、部分的には自治状態にあるという。
現生人類はこの大陸で生まれ、世界に広がったらしい。アフリカ大陸は、地球上で人類にとって環境がベストだったのかもしれない(少なくともその当時は)。
関連記事 → こんにちは、わたしマリアム、12歳
2024-08-29 ジョジョの奇妙な修正
画像は3部末尾、DIOが花京院に一発やられ、時間を止めて反撃に移る場面(結果として花京院は殺されてしまうが、作劇的にはそれがストーリー展開の鍵となる)。21世紀に入ってから、5~10ページほどに渡って、作者はモスクっぽい建物の書き直しを依頼されたらしい。
左はもともとの単行本(1992年ごろ)、右は現在の国際版(2018年ごろ)。花京院がこっそり結界を張って、空中でエメラルド・スプラッシュを当てたとき、DIOの体は飛ばされモスクの尖塔(ミナレット)のような場所に激突、建造物を破壊。カイロで空中戦をすれば塔にダメージが及ぶのはあり得べきことだし絵的には何も問題ない⸺だが、売る側としては「モスク破壊で、万一にも熱心なイスラム教徒を怒らせてはならない」と考えたのかもしれない。 A の丸屋根から、ジェネリックな塔へ、書き換えとなった(下にある丸天井の建物も、別の形に書き換えられている: クリックで全体を表示)。
B では花京院自身が尖塔の上に立っている。これも(モスク破壊ほどではないとしても)そんな所に立つのはけしからん!という解釈が成り立ち得る。尖塔から、とってつけたような鉄塔に変更…。A と B で、絵のエジプトっぽさがなくなってしまった。
→ 続きを読む
2024-08-25 「位置情報令状」は違憲 米・連邦控訴裁
「スマートフォンの位置情報の基づく捜査令状(geofence warrant)⸺特定の日時に特定の地理的範囲にいた全てのユーザーの情報を提出させる⸺は、違憲」。米国の第5巡回控訴裁(ルイジアナ、ミシシッピ、テキサス)による連邦レベルの判決。
Federal Appeals Court Finds Geofence Warrants Are “Categorically” Unconstitutional
https://www.eff.org/deeplinks/2024/08/federal-appeals-court-finds-geofence-warrants-are-categorically-unconstitutional
例えば強盗事件があったとき、現場付近にいた人々全員を捜査対象とすることで、被疑者を絞り込み、事件解決に役立つ可能性がある。他方、令状というものは、疑われる相当の理由があって、捜査対象の人を特定して、出されるもの。「たまたま犯行現場の近くにいた人々」というだけでは、具体的に誰が令状の対象なのかすら指定されていない。「不合理な捜査や押収を受けない」という修正第4条との関係で、このような「白紙令状」は有効か?
→ 続きを読む
2024-08-15 半角の公式からの sin 9° と tan 9°
余弦の加法定理から cos (2α) = cos2 α − sin2 α = (1 − sin2 α) − sin2 α = 1 − 2 sin2 α
∴ 2 sin2 α = 1 − cos (2α)
→ 続きを読む
「チラ裏」は、きちんとまとまった記事ではなく、断片的なメモです…
正17角形から正13角形へ
「5乗根」強化月間!
tan2 20° + tan2 40° + tan2 80° = 33
複々素数の不思議な割り算 乗除の奇妙な冒険
サイの角のように ただ独り歩め
四平方のごちゃごちゃを解きほぐす
1円玉を1日目に 1×1×1×1 = 1 枚、2日目に 2×2×2×2 = 16 枚、3日目に 3×3×3×3 = 81 枚…拾えるとして合計は?
モジュラー平方根の代表的アルゴリズム
14+24+34+…+104 のような和
第14項377が14の倍数より1小さい…
2024年1月12日 十六元数の零因子 君は 0 を割ることができるか?
初等的証明に成功。世界初かも、少なくともオンライン資料では。
2024年1月17日 Moufang 恒等式の同値性 初等的証明
これも(ネットでは)世界初かも。教科書的には autotopism という抽象概念を使うのだが、そんなややこしいことは必要ない。
2024年2月7日 ゾクッとする式・きれいな式 tan2 20° + tan2 40° + tan2 80° = 33
2024年2月15日 はじめての4次方程式 1 の5乗根・再考
2024年3月3日 一辺 1 の正五角形の面積 算数バージョン
2024年3月27日 五・六・十角形の恒等式 現代とは違う感覚
2024年4月11日 正17角形は作図可能? 複素数を使わない気軽な散策
2024年6月3日 arctan 1 + arctan 2 + arctan 3 = π 三角形の内心
2024年6月11日 Linux の Live OS 気軽にいろいろ試せるよ
Map
の長所、splice
より速い要素挿入法も紹介。 〔最終更新: 2023年4月1日〕bdi
要素と Unicode 6.3 の新しい双方向アルゴリズム (2012-12-04)dir
属性は落とし穴が多い。HTML5 の <bdi>
は役立つ。近い将来、「ユーザー入力欄などの語句は、このタグで隔離」が常識になるかも。 〔最終更新: 2014年4月27日〕fad()
は濁りやすい。各種の代替手段を紹介。forum.doom9.org
/ videolan.org
75C0 706B 3CD0 B5D0
]