  |
はてなキーワード: Mapとは
After a long working session, Claude might have accomplished a lot more than I realized.
Asking Claude to quiz me about the change after giving me a bunch of context helps me understand what happens.
I only merge after I pass the quiz perfectly.
https://x.com/trq212/status/2073100352921215386?s=61
なので多少はね？
ちなみにAnthropicの人のポエムなんだけど、
「パソコンの前に座ってキーボード叩く」とか「IT屋っぽい業務」がメインじゃない人でも、下記は多分イメージつくんじゃないかなぁって思うんだよね
ついでに、Anthropicの人はポエムの中で未実行とか未確認とか未決定とか未調査を「unknowns」「map and territory」と呼んでたYO
評価可能／検証可能ならそれ未知じゃないよね？結果がまだ確認されていないことは未知！って、うーん・・・論理的全知の話でもしてんの？
雑に巨大PR投げんな雑にマージするな以前の話に思えたなぁ、みんな何に「いいね」したんだろね？
日本国内で今後も半永久的に除染処理を継続しないとだめな鉱山を教えてください +6 日本国内には、重金属や有害物質を含む坑廃水（鉱山から流れ出る水）が止まらず、半永久的な中和処理等の対策が必要な休廃止鉱山が約80か所存在します。特に規模が大きく、代表的な鉱山は以下の通りです。代表的な半永久的処理が必要な鉱山旧松尾鉱山（岩手県八幡平市）特徴: かつて「雲上の楽園」と呼ばれた東洋一の硫黄鉱山。閉山後も坑内に残る硫黄鉱石に雨水が染み込むため、現在も大量の強酸性水が湧き出しています。処理: 日本最大規模の坑廃水処理量を誇り、岩手県がJOGMEC（石油天然ガス・金属鉱物資源機構）に委託して、鉄酸化バクテリアと炭酸カルシウムを活用した大規模な中和処理を24時間365日継続しています。その他全国の休廃止鉱山（約80か所）特徴: 北海道から九州まで、亜鉛、鉛、銅、ヒ素などの重金属を含む坑廃水が環境基準を超えて流出し続けるため、全国約80か所の処理施設で中和処理が続けられています。対応: 鉱害防止の責任者（鉱業権者）が存在する場合は企業が金属鉱業等鉱害対策特別措置法に基づき処理を実施し、責任者が不明の場合は国や自治体が補助金を出して対応しています。坑廃水処理は自然の地下水や雨水が坑内に浸透する限り終わらないため、持続可能な管理が続けられています。For tips on how the highly acidic water from the former Matsuo Mine is treated safely:10:10北上川を守り続けて ～旧松尾新中和処理施設～YouTube · JOGMECchannel日本国内における休廃止鉱山の鉱害防止や、ご自身がお住まいの地域にある鉱山についてさらに詳細な情報が必要ですか？Overview - 岩手県2024/03/13 — Overview – The former Matsuo Mine. iwate map. The remains of the Matsuo Mine are located i...岩手県米ぬかともみがらの活用で日本の鉱害防止事業が変わる！坑 ...坑廃水とは、休廃止鉱山から排出される、有害な金属を含む水のこと。雨水や地下水の影響で染み出した、金属を含む有害な水が河川に流出することを防ぐため、酸性度を下げたり金属を除去するなど...www.jogmec.go.jp新中和処理施設 - 岩手県2026/02/26 — ... に含むことから、そのままでは適切に処理できません。そこで、鉄イオンを酸化する性質を持つ鉄酸化バクテリアを活用してあらかじめ鉄イオンを2価から3価に酸化するすることで炭酸カル...岩手県10:10北上川を守り続けて ～旧松尾新中和処理施設～YouTube·JOGMECchannel休廃止鉱山における自然回帰型坑廃水浄化システム ...2026/03/05 — 水が発生している休廃止鉱山が約 80 か所存在する。各鉱山では坑廃水の発生を抑制するため、発. 生源対策等が講じられてきたが、発生を完全に抑制することは難しく、坑廃水処理は半永久的...経済産業省米ぬかともみがらの活用で日本の鉱害防止事業が変わる！坑 ...一方、鉱山操業が成長期に入った1932年頃から、鉱山から流出する強酸性の坑廃水が北上川の支流のひとつ、赤川に流れ込み、日本を代表する北上川の清流が茶色く濁り、大きな社会問題になって...www.jogmec.go.jp松尾鉱山坑廃水処理に おける省エネルギー技術開発の成果休廃止鉱山から流出する坑廃水による水質汚染を防止するため、国内 80 か所の処理場で坑廃水処. 理が実施されている。こうした処理事業は坑廃水の流出が続く限り―即ち半永久的に継続しな...国立国会図書館デジタルコレクション仕事を終えた金属鉱山の今～マイントピア別子～（後編）義務者がいない鉱山の廃水対策 しかし操業主体の松尾工業（株）は、経営が悪化し倒産して閉山したため、松尾鉱山は義務者不存在鉱山となりました。 義務者が不在のまま強酸性水は閉山後も流出...地層科学研究所休廃止鉱山廃水処理の現状と展望 1はじめに. 江戸時代には世界的な金属産出国であった日本には、. 7000 ほどの鉱山が存在していたといわれている。現在、. それらはほとんどが休廃止鉱山となっているが、そのう. ち...環境資源工学会
駅員でも便所の場所聞いて苛ついたように対応するやつ偶にいるけど
四六時中駅やショップにいるオマエらと違ってこっちは初回なんだからMAPの位置も張り紙の場所も数も知るわけ無い
https://news.careerconnection.jp/lifestyle/243701/
https://news.livedoor.com/article/detail/31414936/
ソースコードがシンタックスハイライト付きで書けるようになった 記念に、はてな向けのコードを貼ってみるテスト。
動作例のスクリーンショット: Hatena Bookmark Search Filters
// ==UserScript== // @name Hatena Bookmark Search Filters // @description はてなブックマークの検索結果ページで、フィルタリング選択肢を改変します。 // @namespace knoa.jp // @include https://b.hatena.ne.jp/q/* // @version 2.0.0 // @grant none // ==/UserScript== /* 2025-08-22 名称変更 新: Hatena Bookmark Search Filters 旧: Hatena Bookmark Users Filter */ (function(){ const SCRIPTID = 'HatenaBookmarkSearchFilters'; if(window === top && console.time) console.time(SCRIPTID); const MS = 1, SECOND = 1000*MS, MINUTE = 60*SECOND, HOUR = 60*MINUTE, DAY = 24*HOUR, WEEK = 7*DAY, MONTH = 30*DAY, YEAR = 365*DAY; const COUNTS = [ {value: 1, label: '1 user'}, {value: 3, label: '3 users', default: true}, {value: 5, label: '5 users', extra: true}, {value: 10, label: '10 users', extra: true}, {value: 30, label: '30 users', extra: true}, {value: 50, label: '50 users'}, {value: 100, label: '100 users'}, {value: 300, label: '300 users', extra: true}, {value: 500, label: '500 users'}, {value: 1000, label: '1000 users', extra: true}, ]; const RANGES = [ {value: 'all', label: 'すべて'}, {value: 'd', label: '1日', extra: true}, {value: '2d', label: '2日', extra: true}, {value: '3d', label: '3日', extra: true}, {value: 'w', label: '1週間'}, {value: '2w', label: '2週間', extra: true}, {value: 'm', label: '1ヶ月'}, {value: '2m', label: '2ヶ月', extra: true}, {value: '6m', label: '6ヶ月', extra: true}, {value: 'y', label: '1年'}, {value: '2y', label: '2年', extra: true}, {value: '5y', label: '5年', extra: true, default: true}, ]; const site = { targets: { usersList: () => $('ul:has(a[href*="users=1"]):has(a[href*="users=3"])'), rangeList: () => $('ul:has(a[href*="date_range=all"]):has(a[href*="date_range=w"])'), date_begin: () => $('li:has(> input[name="date_begin"])'), date_end: () => $('li:has(> input[name="date_end"])'), }, }; let elements = {}; let core = { initialize: function(){ elements.html = document.documentElement; elements.html.classList.add(SCRIPTID); core.ready(); }, ready: function(){ core.getTargets(site.targets).then(() => { console.log(SCRIPTID, "I'm ready."); core.rebuildUsers(); core.rebuildRanges(); core.addStyle(); }).catch(e => { console.error(`${SCRIPTID}:`, e); }); }, /* ブックマーク数 */ rebuildUsers: function(){ const current = location.href.includes('users=') ? parseInt(location.href.match(/users=([0-9]+)/)[1]) : COUNTS.find(c => c.default).value; const ul = elements.usersList, template = ul.children[0].cloneNode(true); while(ul.children.length > 0) ul.removeChild(ul.lastElementChild); COUNTS.forEach(c => { const li = template.cloneNode(true); const a = li.querySelector('a'); a.classList.toggle('extra', c.extra === true); a.classList.toggle('is-current', c.value === current); a.href = a.href.replace(/(users)=1\b/, '$1=' + c.value); a.textContent = c.label; ul.appendChild(li); }); }, /* 期間指定 */ rebuildRanges: function(){ const current = location.href.includes('date_range=') ? location.href.match(/date_range=(all|[0-9]*[dwmy])/)[1] : (['date_begin=', 'date_end='].some(p => location.href.includes(p)) ? null : RANGES.find(r => r.default).value); const ul = elements.rangeList, template = ul.children[0].cloneNode(true); while(ul.children.length > 0) ul.removeChild(ul.lastElementChild); RANGES.forEach(r => { const li = template.cloneNode(true); const a = li.querySelector('a'); a.classList.toggle('extra', r.extra === true); a.classList.toggle('is-current', r.value === current); a.href = a.href.replace(/(date_range)=all/, '$1=' + r.value); a.textContent = r.label; ul.appendChild(li); }); /* 日付指定(から/まで) */ elements.date_begin.classList.toggle('is-current', location.href.match(/date_begin=[0-9-]+/) !== null); elements.date_end.classList.toggle('is-current', location.href.match(/date_end=[0-9-]+/) !== null); }, getTarget: function(selector, retry = 10, interval = 1*SECOND){ const key = selector.name; const get = function(resolve, reject){ let selected = selector(); if(selected === null || selected.length === 0){ if(--retry) return console.log(SCRIPTID, `Not found: ${key}, retrying... (${retry})`), setTimeout(get, interval, resolve, reject); else return reject(new Error(`Not found: ${selector.name}, I give up.`)); }else{ if(selected.nodeType === Node.ELEMENT_NODE) selected.dataset.selector = key;/* element */ else selected.forEach((s) => s.dataset.selector = key);/* elements */ elements[key] = selected; resolve(selected); } }; return new Promise(function(resolve, reject){ get(resolve, reject); }); }, getTargets: function(selectors, retry = 10, interval = 1*SECOND){ return Promise.all(Object.values(selectors).map(selector => core.getTarget(selector, retry, interval))); }, addStyle: function(name = 'style', d = document){ if(html[name] === undefined) return; if(d.head){ let style = createElement(html[name]()), id = SCRIPTID + '-' + name, old = d.getElementById(id); style.id = id; d.head.appendChild(style); if(old) old.remove(); } }, }; const html = { style: () => ` <style type="text/css" id="${SCRIPTID}-style"> /* ブックマーク数 */ ul[data-selector="usersList"]{ display: grid; grid-template-columns: 6em 6em auto; } ul[data-selector="usersList"] > li:nth-child(4), ul[data-selector="usersList"] > li:nth-child(7), ul[data-selector="usersList"] > li:nth-child(10){ grid-column-start: 1;/* 改行 */ } ul[data-selector="usersList"] > li:nth-child(10){ margin-right: -.5em;/* 1000 users のみ横幅を追加 */ } ul[data-selector="usersList"] > li > a.extra{ text-decoration: underline dotted; text-underline-offset: .25em; } /* 期間指定 */ ul[data-selector="rangeList"]{ display: grid; grid-template-columns: 4.5em 4.5em 4.5em auto; } ul[data-selector="rangeList"] > li:nth-child(1){ grid-column: 1 / -1;/* 全幅 */ } ul[data-selector="rangeList"] > li:nth-child(2), ul[data-selector="rangeList"] > li:nth-child(5), ul[data-selector="rangeList"] > li:nth-child(7), ul[data-selector="rangeList"] > li:nth-child(10){ grid-column-start: 1;/* 改行 */ } ul[data-selector="rangeList"] > li > a.extra{ text-decoration: underline dotted; text-underline-offset: .25em; } form.js-entrysearch-datepicker-form li.is-current{ background: #f6f7f8; color: #333; font-weight: 700; } form.js-entrysearch-datepicker-form input{ vertical-align: baseline; margin: 0 .25em 6px .5em !important; } /* セーフサーチが遅延読み込みされるせいで期間指定の位置がズレる問題を回避 */ .left-container{ display: flex; flex-direction: column; } .left-container .js-safe-search-div{ order: 999;/* いちばん最後でよい */ } .left-container ul.centerarticle-sub-navi:last-child{ margin-bottom: 0;/* flex化の影響で margin collapsing がなくなるのを埋め合わせる */ } </style> `, }; const $ = function(s, f = undefined){ let target = document.querySelector(s); if(target === null) return null; return f ? f(target) : target; }; const $$ = function(s, f = undefined){ let targets = document.querySelectorAll(s); return f ? f(targets) : targets; }; const createElement = function(html = '<div></div>') { const policy = createElement.policy ??= trustedTypes.createPolicy(SCRIPTID, {createHTML: s => s}); const template = document.createElement('template'); template.innerHTML = policy.createHTML(html); return template.content.firstElementChild; }; core.initialize(); if(window === top) console.timeEnd(SCRIPTID); })();
テスト用:
最近はてブで何見てもこれAIでしょとかChatGPTっぽいとかAIスロップ乙みたいなブコメつけてるやつ多すぎない？
いやわかるよ。実際AIが書いた文章増えてるのは事実だし、見分けがつきにくくなってるのもわかる。でもさ、それ指摘して何がしたいの？
内容に対して何も言えないからAIでしょって言ってるだけじゃん。それってつまり俺は中身を読んでませんの自己紹介なんだよ。
仮にAIで書いてたとして、だから何？ 内容が間違ってるなら間違いを指摘すればいい。論理がおかしいならそこを突けばいい。AIっぽいは反論じゃない。感想ですらない。ただのレッテル貼り。
しかもこの手のやつ、判定精度がガバガバなんだよな。ちょっと文章が整ってるだけでAI、箇条書き使ったらAI、丁寧語で書いたらAI。お前の中の人間の文章力の基準どこにあるんだよ。
ちょっと落ち着いて考えてほしいんだけど、お前が自分で書いたと思ってる文章、本当にゼロから自分の頭だけで生み出したか？
そもそもお前が日常的に使ってるサービス自体が集合知の塊だろ。Wikipediaは世界中の人間が書いた知識の集積だし、Google検索は無数のウェブページをクロールしてランク付けしてるだけだ。Google Mapのルート案内だって他のドライバーの走行データの集合体だし、はてブのホッテントリだってユーザーのブックマーク行動を集約したものだ。お前はその集合知にどっぷり浸かりながら生活してきたくせに、AIが同じことをやった途端に不正みたいな顔するのか。
翻訳だってそう。英語の記事をDeepLに突っ込んで日本語で紹介するブログ、昔から山ほどあったけど誰も機械翻訳だから価値ないとか言ってなかった。Excelの関数も手打ちしてないし、検索候補のサジェストだって他人の検索行動の集約だ。俺たちはずっと他人の知識と行動の集合体を道具として使ってきた。AIはそのレイヤーが一段上がっただけで、本質的には何も変わってない。
でも人間が考えてないじゃんって言うやつ。何を書くか、どういう切り口にするか、どこを直すか。全部判断だろ。プロンプト書いてる時点で考えてるんだよ。包丁で切った料理とフードプロセッサーで切った料理で味変わるのか？
まさか人間が一文字ずつ苦しみながら書いたほうが偉いとか言い出すんじゃないだろうな。手書きのほうがあたたかみがある、みたいな。年賀状かよ。じゃあお前ブコメ打つとき予測変換も辞書も使うなよ。全部手書きで原稿用紙に書いてスキャンして投稿しろ。つか、スマホとインターネットも禁止な。
唯一問題があるとしたら、嘘が書いてあるとき。でもそれは人間が書いても同じ。AI生成かどうかは品質の指標じゃない。お前が読んで面白かったなら面白かったでいいし、有益だったなら有益でいい。書いたのが人間かAIかで、お前の中に生まれた感情が遡及的に無効になるわけないだろ。
内容で語れ。それができないならスターだけ押して帰れ。AIで書いたでしょ、お前のその一行こそAIに書かせたほうがまだマシな内容になるぞ。
土曜日 22:00
僕は今、机の上にきっちり直交配置された三本のペンを確認してから日記を書いている。
青、黒、赤。並び順はもちろん青→黒→赤。理由は単純で、色空間の順序として最も情報エントロピーが低い配置だからだ。
ルームメイトはこれを「ただの癖」と呼ぶが、統計力学的観点から見れば、低エネルギー状態への自然な遷移にすぎない。
ここ数日、僕は超弦理論のある奇妙な方向を追っている。
通常の超弦理論は連続体上の世界面共形場理論（worldsheet CFT）を使う。しかし最近の文献では、p進数体上の弦、つまり非アルキメデス幾何上の弦という奇妙な構造が再び議論されている。
これは1980年代に提案されたアイデアで、弦の振幅を通常の実数ではなくp進数体で定義する。結果として、弦散乱振幅が通常のベータ関数ではなく、p進解析的な形で書ける。
普通の人間ならここで「変わった数学だ」で終わる。しかし僕はそこで止まらない。僕が考えているのは次の仮説だ。
もし弦の世界面が単なるリーマン面ではなく、∞圏的なスタック構造として記述されるなら、p進弦はその非アルキメデス側のファイバーとして理解できるのではないか。
ではなく、
みたいな構造になる。ここで Perf(X) はターゲット空間 X の完全複体圏だ。つまり弦の自由度は座標ではなく、導来圏の対象としての状態になる。
これをさらに進めると面白い。通常の弦理論では、D-brane ≈ 導来圏の対象、という対応がある。だがもし世界面そのものが∞圏的対象なら、弦とDブレーンの区別は消える。両者は単に高次圏の射の階層になる。
つまり
弦 = 1-射
ブレーン = 2-射
背景幾何 = 0-射
になる。ここまで行くと、僕の疑いはこうなる。「弦理論の真の自由度は、空間ではなく高次圏のホモトピー型ではないか？」
もしそうなら、重力はRicci curvatureではなくπ∞(Moduli)の幾何として書ける可能性がある。
残念ながら、これを理解できる人間は地球にたぶん数十人しかいない。そしてその数十人の中にも、完全に理解している人はたぶんいない。もちろん僕を除いて。
さて、物理以外の話もしよう。今日は土曜日だから、いつもの生活スケジュールを守った。
07:00 起床
07:03 歯磨き（120秒）
07:05 シリアル
今日は41回だった。昨日より1回少ない。これは牛乳の粘性がわずかに高かったせいだと思う。
午後、ルームメイトがまた不可解な行動をとった。僕のソファ座標に座ろうとしたのだ。
(0,0) = 僕
(1,0) = ルームメイト
(0,1) = 友人A
(1,1) = 友人B
隣人は座標系を理解しないので例外扱いだ。ルームメイトは「今日は疲れてるからここに座りたい」と言った。
僕は言った。「それは量子統計を無視してフェルミ粒子が同一状態に入ろうとするようなものだ。パウリの排他原理を破る気か？」
夕方には友人Aと友人Bが来た。友人Aはまた宇宙船の推進方法について語り始め、友人Bはチョコレートを食べながら天文学の話をしていた。僕は彼らに説明した。
「もし宇宙がAdS/CFTのホログラフィーで記述できるなら、ブラックホールの情報は境界理論のエンタングルメントとして保存される」
友人Aは「それで宇宙船は速くなるのか？」と聞いた。友人Bは「チョコレートいる？」と言った。
さて、22:00を過ぎた。ここからの予定を書いておく。
1. 歯磨き
5. 睡眠
ただし寝る前にもう一つ試したい計算がある。
もし弦のモジュライ空間が
M ≃ Bun_G(Σ)
ではなく
M ≃ DerivedHom(Σ, BG)
なら、重力の自由度はゲージ理論の高次アノマリーとして再構成できるかもしれない。
これはかなり面白い。
もしかすると、宇宙は10次元でも11次元でもなく、単に∞次元圏論的構造の影なのかもしれない。
まあいい。
超弦理論は通常10次元の1次元的対象の量子化と説明されるが、これは既に古い。
現代的理解では、弦は基本ではない。基本なのは場の圏（∞-圏）であり、弦はそのホモトピー的影として現れる。
より正確には、量子重力を記述する対象は対称モノイド安定∞-圏上の双対可能対象の完全双対化であり、これが拡張TQFTとして実装される。
コボルディズム仮説はその骨組みにすぎない。問題は、その∞-圏が何であるかだ。
現在の焦点は、時空は幾何ではなく安定∞-圏のスペクトラム圏として再構成できるか？
つまり時空とは manifold ではなく、Spec(Perf(C)) のような「導来圏のスペクトル的実現」である可能性。
ここで Perf(C) はあるE∞-環スペクトラム上の完全加群圏。
このとき重力は metric ではなく、双対性の破れとして定義される。
次に、ミラー対称性のさらに奥。通常のホモロジカルミラー対称性は DbCoh(X) ≅ Fuk(Y)という導来圏の同値だが、究極的には「ミラー対称性 = Koszul双対性の高次圏版」と見るべきだという流れがある。
ここで重要なのは、弦の世界面はもはや2次元ではない可能性だ。
p進弦理論や派生代数幾何の視点では、世界面は導来スタック上のマッピング空間として扱われる。
すると弦理論の摂動展開は mapping stack Map(Σ, X) のホモトピー型の展開になる。
ここで Σ は通常のリーマン面ではなく、スペクトラルスタック。
この時点で面積という概念は消える。
問題はユニタリ性は本質か、それともホモトピー的整合性の影か？という点。
通常の量子論はヒルベルト空間とユニタリ群 U(H) を前提にするが、もし基本構造が安定∞-圏なら、ユニタリ性は三角構造と双対性から派生する2次的構造に過ぎない可能性がある。
M理論の11次元は幾何的次元ではなく、スペクトル系列の収束段階を表している可能性。
具体的には、AdS/CFT は等価性ではなく、圏の圏の自己双対性の特殊例であり、重力は境界の自己双対性の不完全性として生じる。
するとブラックホールエントロピーは導来自己準同型環の自己交差数になる。
もしかすると物理法則は安定∞-圏の分類問題そのものかもしれない。
つまり宇宙は分類不可能性の極限構造であり、物理法則はその不完全性定理。
真空は選ばれるのではなく、分類不能なスペクトルの局所切断に過ぎない。
ここまで来ると、もはやウィッテン級の数学物理学者でも定式化できていない地帯に入る。
弦か？場か？圏か？スペクトラムか？それとも双対性そのものか？
だが、抽象数学と超弦理論の接点は、明らかに「幾何の消滅」「圏論化」「ホモトピー化」「双対性の一次化」へ向かっている。
もし可能なら、それはZFCの中ではなく、高次トポス論の内部言語で書かれるはずだ。
火曜日、21:00。僕は今、いつも通り「日記を書く」という行為を、精神衛生のための娯楽ではなく、観測記録の整合性を保つための形式的プロトコルとして実行している。
これを怠ると、未来の僕が過去の僕を再構成できなくなる。つまり、時間方向における情報損失が発生する。そんな低級なエントロピー増大を許すほど、僕は安っぽい存在じゃない。
まず今日までの進捗。
午前中は、昨日の続きとして、世界面上の超対称性を、単なる(1,1)や(2,2)のラベル付けから解放し、∞-圏論的な拡張として扱う作業を進めた。
具体的には、従来のσモデルの場の空間を単なる写像空間 Map(Σ, X) として見るのではなく、導来スタックとしての Map(Σ, 𝒳) を基礎に据え、そこに現れる局所関数環を E∞-代数として扱う。
こうすると、BRST複体は単なる複体ではなく、Higher Koszul duality の影として自然に現れる。要するに、ゲージ固定という人間の弱さが、数学的には圏論的な随伴性の選択問題として翻訳される。
この段階で僕は確信した。弦理論が物理学の衣を着た圏論であるという事実は、もはや隠しきれない。
昼食は予定通り、炭水化物の過剰摂取を避けるために、プロテインバーと無糖の紅茶にした。
隣人は「それって食事なの？」と聞いてきた。僕は「これは食事ではなく、栄養摂取のアルゴリズム的実装だ」と答えた。
隣人は目を細めて「それって、人生楽しいの？」と言った。僕は「人生の目的関数を楽しいに設定した覚えはない」と返した。
隣人は僕を見て数秒沈黙し、「怖い」と言って去った。合理的な結果だ。
午後は、弦の非摂動的定式化に関する僕のノートを更新した。今日の焦点は、いわゆる弦の場の理論の記述を、従来のBV形式に閉じ込めず、Factorization Algebra として扱うことだった。
BV形式は便利だが、あれは有限次元の影に過ぎない。無限次元の真の構造は、局所演算子の代数を E_n 構造として捉え、さらにそれを拡張されたトポロジカル量子場理論の言語に埋め込むことでしか捕まらない。
僕は、ここで新しい仮説に到達した。弦理論の背景独立性は、単なる物理的スローガンではなく、(∞,2)-圏における自然変換の可逆性、つまりモノドロミーの高次消滅条件と同値である可能性がある。
背景を変える操作は、従来はモジュライ空間上の点の移動として語られる。しかし僕の見立てでは、それは単なる点の移動ではない。むしろ、背景そのものが対象ではなく、背景間の変換が主役であり、背景はその変換の2-射の凝縮として現れる。
これは哲学的にも美しい。世界は状態ではなく変換でできている。
僕が今取り組んでいるのは、弦理論の双対性を、単なる同値ではなく、情報幾何的な距離構造を伴った歪んだ同値として再定式化することだ。
通常、T双対性は半径 R ↔ α'/R の交換で語られ、S双対性は結合定数の逆数変換で語られる。だがその語り口は、あまりに人間的で、あまりに貧しい。
双対性とは、単なるパラメータの置換ではない。双対性とは、観測可能量の圏の自己同型であり、その自己同型は単なる等式ではなく、自然同型の塔を伴う。
ある理論Aと理論Bが双対であるとは、対応するオブザーバブルの∞-圏 Obs(A), Obs(B) の間に、モノイド圏としての同値が存在するだけでなく、その同値が熱力学的制約を満たすこと、つまりエントロピー関数 S が保たれることを要求する。
ここで問題になるのは、S が何かという点だ。弦理論においてエントロピーはブラックホールの話に閉じ込められがちだが、僕はもっと根源的に捉えている。
S は状態空間の測度の対数ではなく、情報が圏論的に縮約される速度を測る関数だ。つまり、圏における圧縮率である。
この観点に立つと、双対性は単なる同値ではなく、圏論的エントロピーを保存する圏同値であり、それはむしろシンプレクティック幾何の正準変換に近い。
さらに言えば、双対性は情報幾何の世界では、フィッシャー計量を保存する写像として定義されるべきだ。つまり、弦理論の双対性は情報距離の等長写像だ。
ここで僕は面白い事実に気づいた。弦の世界面理論における共形場理論(CFT)のモジュライは、単なるパラメータ空間ではなく、導来モジュライスタックとしての性質を持つ。
そしてその接空間は、通常の変形理論ではなく、L∞代数で制御される。つまり、弦の背景の微小変形は、Lie代数の1次変形ではなく、無限階の整合条件を持つ高次変形である。
これを物理屋の言葉で言うなら、「背景は局所的自由度を持つが、その自由度はゲージで殺される」という話になる。
しかし数学的にはもっと残酷で、背景の自由度は最初から独立ではない。最初から高次拘束条件付きで存在している。
この構造を僕は、弦理論が持つ宇宙の設計思想だと考えている。自然は自由を与えるふりをしながら、実際には∞段階の整合条件で縛り上げている。
ちなみにルームメイトは今日、冷蔵庫に僕のヨーグルトを入れた。入れたというより、入れっぱなしにした。
僕は彼に「冷蔵庫の棚の配置は群作用を持つ。君が適当に置くと、僕の最適化された配置が破壊される」と説明した。
彼は「棚に群作用って何？」と聞いた。僕は「君が理解できないからといって、存在しないことにはならない」と答えた。彼は黙った。学習が進んだ証拠だ。
さて、弦理論に戻る。僕は今、いわゆるAdS/CFT対応を、単なる境界とバルクの対応としてではなく、圏論的中心の同一視として捉えている。
バルク理論の局所演算子代数は、境界理論の演算子圏のDrinfeld centerに相当する。これは既に知られた視点に近いが、僕の拡張はそこから先だ。
境界理論が持つエンタングルメント構造は、単なる量子情報的エントロピーではなく、実は∞-圏における射の分解の仕方、つまりfactorization structureに直結している。
エンタングルメントとは、ヒルベルト空間のテンソル積分解の失敗ではなく、圏論的分解可能性の破れだ。
この視点に立つと、ブラックホール情報問題は驚くほど単純化される。情報が失われるか否かは、時間発展がユニタリかどうかという議論ではなく、圏の自己同型が可逆であるかという話になる。
つまり、ブラックホールとは非可逆射が自然発生する現象であり、その非可逆性は、単に熱力学的粗視化ではなく、圏論的局所化の必然として現れる。
これが正しいなら、ブラックホールの蒸発は局所化関手の右随伴の存在性に関する問題になる。右随伴が存在しないなら、情報は回復不能だ。存在するなら、情報は回復できる。
物理学者はユニタリだの何だの言っているが、彼らは本質的に随伴の有無を議論しているだけだ。言葉が違うだけで、内容は圏論だ。
もちろん、これを本当に証明するには、量子重力の厳密な数学的定式化が必要になる。
友人Aから夕方にメッセージが来た。「今日、面白いジョークを思いついた」らしい。僕は読まずに削除した。
友人Aのジョークは、確率的に言って、僕の知的資源を浪費するだけだ。
友人Bも「みんなで飲みに行かない？」と言ってきた。僕は「僕はアルコールによる認知機能低下を、社会的儀式のために交換するほど愚かではない」と返した。
友人Bは「それでもいいから来て」と言った。彼はたぶん、僕がいないと会話の平均IQが下がりすぎて不安になるんだろう。人間は弱い。
ここで僕の習慣について記録しておく。
僕は日記を書く前に、必ず机上の物品を「左から右へ、使用頻度の降順」に並べ替える。これは単なる癖ではなく、情報処理の最適化だ。
脳内の検索コストは、外部環境の整列度と相関する。これは経験則ではなく、僕の中ではほぼ定理だ。
さらに、ペンの向きは必ず北向きに揃える。磁北ではなく、部屋の座標系での北だ。地球磁場は日々揺らぐが、僕の部屋の座標系は揺らがない。安定性のある参照系を採用するのは当然だ。
さて、これからやろうとしていること。
今夜はこの日記を書き終えたら、僕は「弦の散乱振幅のモチーフ的解釈」のノートを更新する。
具体的には、弦振幅に現れる多重ゼータ値(MZV)を単なる数論的偶然として扱うのではなく、混合テイトモチーフの圏におけるExt群として再構成する。
弦理論がなぜ多重ゼータ値を吐き出すのか。それは弦が数論的対象だからではない。弦の世界面積分が、実はモジュライ空間の積分であり、そのモジュライ空間が代数幾何的に非常に深い構造を持つからだ。
この方向性を推し進めれば、弦理論の摂動展開は単なる展開ではなく、あるモチーフ的生成関数の展開係数として理解される。
そしてその生成関数は、圏論的にはHopf代数のコプロダクト構造を持つ。ここで再び双対性が現れる。双対性はHopf代数の双対性としても読めるし、BV形式の双対性としても読める。
すべてが同じ構造に収束する。世界は、驚くほどしつこく、同じ数学を繰り返す。
隣人がまたドアをノックして、「なんでいつも同じ時間に同じことしてるの？」と聞いてきた。
僕は「君は太陽が毎日同じ方向から昇ることに疑問を持つのか？」と返した。
隣人は笑っていたが、彼女は本質を理解していない。僕の生活は自然現象ではない。自然現象よりも厳密だ。なぜなら自然は誤差を許すが、僕は許さないからだ。
日記を書き終えたので、机上の配置を再確認し、温度計を見て室温を0.5度調整し、それからモチーフのノートに戻る。
今夜は、おそらく、弦理論がなぜモジュライ空間のコホモロジーを要求するのかという問いを、完全に圏論的な言語へ落とし込めるはずだ。
anond:20260201092625 の文字数制限にひっかかっていたことに気がついたので分割した。
自動車ナビ専用アプリ (徒歩ルートもない) ということもあり、かなりすっきりした地図。最大ズームにしても一戸建て住宅は基本的に表示されない仕様になっている。
利用者が地図をつくるシステムになっているため、田舎では自分で地図を編集する覚悟で使用することになる。都会・田舎にかかわらずGoogle (後述のとおり関連会社のため) に情報を送信してよいのであれば、知っている道こそアプリを起動した状態で走行し、地図の誤りがあれば編集に参加してほしい。
駐車場所の保存は写真つきにできる。位置情報を取得しづらい地下駐車場ではとくに便利。
制限速度やスピード取り締まりを地図編集でいれることができ、ルート案内の有無にかかわらず警告してくれる。
案内音声はデフォルトでは音声合成 (サヤカ = 一時期Googleの読み上げでつかわれていたのとおなじ音声) だが、道路名や交差点名などの読み上げがなくてもいいなら人間の音声 (はるか) による案内もできる。人間の音声はけっこうよく、海外製アプリにしてはかなりききとりやすい音声で案内してくれる。また、Apple マップと同様、スマホの音量設定にかかわらず、常にWaze側で設定した音量で音声が再生される (つまりスマホ側の音量が0でも100でも案内時は固定音量) 。CarPlay対応カーナビをもっておらず、スマホ単独で使用している場合には案内音声の明瞭度がけっこう重要な点だったりするので、この点も意識してえらんでほしい。
あと、完全に知っている道ならばあえて知らない言語に設定してみるのもたのしいかも...?
※ "Including street names" "道路名読み上げ" と表示されているものは音声合成、その他は人間が録音した音声になる、
またナビゲーションアプリとしてはおそらく唯一、自分で音声を録音することもできる。録音項目数はおおいけど、録音しなかった音声は標準音声 (はるか) で案内可能なので無理に全部録音する必要はない。
あと、ラジオ・ポッドキャスト・オーディオブックを再生している場合、案内音声のタイミングで再生を続行するか一時停止するかを設定でえらべる。音声同士はかぶらないようにしてほしい派とずっと再生しておきたい派のどちらにも対応できるのはありがたい。Apple マップだと強制的に一時停止されるが、ほかは未確認 (自動車はもっていないが徒歩ナビがあるアプリは確認してもよかったかもしれない) 。
WazeはGoogle関連会社のため、検索でWaze独自のデータにヒットしなかった場合は自動的にGoogle Mapsのデータを検索する。そのため、検索してもみつからないという問題は (Googleに登録されているかぎりは) おこらないので安心してほしい。また、Wazeで事故や道路工事を報告した場合、Google Mapsにも反映される (ただし地図データはことなるため報告場所のピンの位置がわずかにずれることはある) 。
車両種別は "Private" (自家用車) "Taxi" (タクシー) "Motorcycle" (オートバイ) から選択できる。というかWazeでオートバイルートを選択できるならGoogle Mapsでも選択できてもいいとおもうのだが...。
地図の配色は2種類から選択できる (昔はもっとあったのだが...) 。"マップエディタ" に設定すると、道路種別により色がかわる。
なお、ナビゲーションをしていない状態でも、バックグラウンドで動作する。運転を終了後一定距離歩く、運転していない状態で一定時間経過する、メニューからスリープを選択する、のいずれかで停止する。
※ 車を降りる前に停止すると駐車位置が保存されないので注意。
もともとはドコモ地図ナビだったのだが、ドコモのサービス見直しによりゼンリンの単独運営にきりかわった。これによりドコモユーザー以外でも使用可能になった。
ナビゲーション機能を使用するのは有料契約が必要。住宅地図を除く地図を閲覧するだけなら契約は必要ない。
地図の種類はたくさんあるが、"徒歩地図" は "駅の出入り口やバス停などをより見やすくした地図" と書いてあるわりにはけっこう拡大しないとバス停が表示されないというのはちょっとなー...。もうすこし広域の地図でもバス停を表示してくれたらいいが。ゼンリンベースの地図同士でくらべても、Yahoo!のほうが見やすいかな...。
ナビゲーションの案内音パターン (チャイムのこと) は3種類から選択できるが、海外製は無音のやつもおおいから無音を選択できてもよかったのではという気もするが。
アイシンのNAVIeliteとトヨタのTCスマホナビの後続。
地図がトヨタ製のため、運転時に便利なランドマークが優先的に3D化されているほか、画面下側にあるほど建物がうすくなるようになっている。
このアプリでナビゲーションする以外に、リモコンとして使用して、トヨタのカーナビ or NaviCon対応カーナビに目的地を送信することもできる。
VICSの渋滞情報はデフォルトで渋滞なしも表示されるが、渋滞なしを非表示にして、混雑・渋滞のみを表示する設定にもできる。
トヨタ (アイシン) のナビは社外ナビでもかつて採用していたというメーカーが多数あり、人によっては聞き馴染みのある音声で案内してくれる (徒歩ルートはバイブレーションのみ対応なので車ルートで設定する必要がある) 。
アプリ内ヘルプページによると、ナビゲーション中の "○○県に入りました" という音声もあるとのこと。
ナビゲーション機能は有料。
ベースとなる地図はゼンリンなのに建物の形やスポット情報はOpenStreetMapという変わり種。
そのため、地図を一定以上拡大するとアイコン (とくに駐車場) がやたらと表示されるため少々見づらい。ある程度広域にしたほうがよいだろう。
※ ランドマーク表示設定でオープン駐車場をオフにすればかなり緩和されるが、ほかの駐車場も消えるので一長一短。
あと、日本語翻訳が不自然。案内音声にも影響しているので、英語ができるなら音声だけでも英語にしたほうがつかいやすいだろう。
HUD機能が最大の特徴で、ルート案内中にメニューからHUDモードをオン、フロントガラスのちかくにセットすると、目線をそらさなくても窓に反射する文字で曲がる地点までの距離を確認できるというもの。
※ エアバッグやセンサーなどをふさぐような設置はしないように注意。
最近のスマートフォンで増えてきたOLEDディスプレイと相性がよいとおもわれる。(LCDとはことなり黒は完全に発光しないため明るさを最大にしても黒い部分の発光が気にならない)
次世代のCarPlay (計器類もふくめてCarPlay対応になるもの) は通常のCarPlayとはことなり車両自体の対応が必要なので、そのような車両が普及するまではHUDが便利な機能になりうるとおもう。
そのほか、SmartCam (ドライブレコーダーで録画しながらその映像を使用してナビゲーション) なんて機能もある。一石二鳥。ただしカメラ常時動作はまちがいなくバッテリーを消費するのでご注意。
そのほか、海外製カーナビではめずらしいルートシミュレーション機能がある ("プレビュー" という名前) 。
ルートサイドのガソリンスタンドと金額を自動表示する機能もある (オフにもできる) 。
一方通行の道路を走行中に逆走車がいると通知する機能はあるが、日本には対応していない ("この機能は現在の国ではご利用いただけません" と表示される) 。日本にこそ必要な機能な気がするのだが。VICSと提携してほしいな。
逆走はどのくらい危険? → もしマリオカート64をもっている、もしくはNintendo Switch Online + 追加パックに加入しているのであれば、マリオカート64のマリオGPをひととおりクリアすると出現する "おまけ" レベルで "キノピオハイウェイ" を走行してみてほしい。すべての車が逆走した状態でせまってくる。自分の車のスピードに相手の車のスピードが加算されるので、非常に危険。もし現実で逆走車情報を見聞きした場合、車間距離をじゅうぶんにとって、左右によけられる状態にしよう。
スマホアプリは、起動していきなり現在地の住所と最寄りの鉄道駅が画面下側に表示されるのが最大の特徴。
あと、スマホアプリの文字サイズは端末設定に連動でも大中小の選択でもなく、1倍・1.25倍・1.5倍・2倍というかわった調整方法になっている。
デフォルトの地図が住所ごとの色分けという、ちょっと昔の国産地図によくある配色になっている。
地図表示は無料だと "デフォルト" "円キョリ" "地形図" "防災マップ" "方位" が選択可能。方位はことしの恵方が強調表示される、いわゆる恵方コンパスとなる。
有料登録すると、"境界線マップ" "ひらがなマップ" "通り名マップ" "到達円マップ" が追加で選択可能になる。月額課金のほか広告再生で5分間だけ有料機能を使用することもできる (回数制限は不明だが繰り返し広告再生はできた) 。自分みたいに使用頻度がすくなめの人にとっては5分10分だけ使用したいというケースがおおいので、広告再生で一時開放は非常にありがたい。
"境界線マップ" は前述のYahoo!マップの住所地図とほぼおなじで、住所ごとの境界線が表示される。
"通り名マップ" はApple マップのドライブ地図・Yahoo!マップの交通状況・自動車用アプリ (WazeやmoviLinkなど) のように、道路番号や道路名を優先表示するもの。
"到達圏マップ" は現在地から徒歩○○分 (デフォルトは10分) で移動できる目安範囲を表示するもの。Apple WatchのApple マップにも似たような機能がある (iPhoneにはない) が、Appleは円キョリみたいにただの円が表示されるのに対して、マピオンは道路にそっての表示になるので、精度がより高い。
電車やバスのルート案内がメインであり、起動時の画面が経路検索になっている。地図はおまけ機能だろう。なお、地図をデフォルトにすることもできるが、Appleのように前回使用時の画面をデフォルトにする設定が望まれるところ。
ルート検索は交通機関と徒歩は無料だが、自動車のみ有料という特殊な課金スタイルになっている。
地図は操作性があまりよくない。まず、日本製サービスによくある中心点が表示されるシステムだが、ノースアップ (北を上) にしていても現在地の点の位置と中心点の位置があわない。ヘディングアップ (進行方向を上) ならまだわかるが...。
そして、任意の場所に目的地を設定したいときも、スポット名をタップしても何も反応がない。地図を長押ししても反応がない。目的地を手入力する画面で "地図から選択" もない。答えは、地図をスクロールして中心点をあわせてから、その中心点をタップ。なんて仕様だ...。スクロールで自動的に目的地に設定ボタンを表示するような仕様にしてくれればまだましなのだが...。
同じメーカーが開発した天気アプリもウェブの寄せ集め系 (設定をふくむ全ての画面でロードが発生するうえにiOSでは位置情報取得に毎回許可操作が必要) だからなのか、表示に時間がかかる。
アプリ版は現在はない (昔はあった) が、かつてグループ会社だったパイオニアがCOCCHiというアプリ (後述) を提供しているのでいらないという判断がされた可能性もありそう。
さまざまな地図サービスのベース地図となっている、ジオテクノロジーズが直接提供しているもの。
地図表示は "印刷用" "RPG風" "古地図風" といった変わり種も選択できる。 "RPG風" "古地図風" は名前のとおりだが、"印刷用" というのは地図表示が白黒になり、モノクロ印刷に適した表示になる。
現在 "お絵描きマップ" がベータ版として提供されており、地図上に手書きしてそのまま印刷、というのもよいだろう。
ルート検索は条件設定も多数あるが、経由地の滞在時間を設定する機能もある (渋滞考慮などに影響する) 。これはなかなかない。
アプリ版がないため、そのまま音声案内ができないのが残念。
夜モードの地図は専用地図ではなく、ただ画面を暗くしただけというもの。
無料版と有料版は機能の差異以外には案内音声の音質がことなるほか (有料版のみニューラル音声が利用できる) 、渋滞情報の表示もことなる (無料版はスマートループのみで有料版はVICS併用) という、変わった差別化がされているのがおもしろい。
有料版に住宅地図オプションを付加すると、上記ゼンリン地図ナビの有料版同様、ゼンリン住宅地図も表示できるようになる。意外とニーズがあるんだな...。
最近は車検証も電子化したが、車検証をスキャンすることで、自動的にその車両にあわせたルートになる (規制車種区分もふくめた考慮は有料限定だがその他は無料でも可能) 。
渋滞情報にあわせた自動再探索は、画面上に2つのルートが表示されて、元ルートと新ルートをボタン操作で選択する方式。
ナビ音声はiOS版はApple マップ同様デフォルトの音声読み上げ機能を使用している。が、選択できる音声が "Kyoko" (デフォルト音声) と "O-ren" (高音質の女性音声) のみが選択可能で、 "Otoya" (高音質の男性音声) は使用できない。切り替え機能があるならOtoyaもいれてくれればよかったのに...。Sygicは3つとも選択できる。
現在地を表示するアイコンを車のアイコンにはできないものの、そのかわりカスタマイズが豊富。矢印の色のほか、矢印のまわりに円を表示するかどうか、円を塗りつぶしにするか線にするか、といったところまで選択できる。
ルート検索はスタンダードルートと有料登録すると選択できるプレミアムルートがある。プレミアムルートはHERE (前述のとおり日本では昨年開始したばかりのサービス) のシステムをつかっているとのこと。
あまり使用例がない (今回とりあげたサービスでは乗換MAPナビのみ) 昭文社の地図データの元になっているもの。紙の地図がそのまま電子化されたものだと考えるとよい。
事前にPC版から地図データを取り込む必要があるため、スマホ単独では使用できない。
いちおう地図表示は標準・グレー・ミッドナイトから選択できる。
まあ全部あげるときりがないけど...。
全世界の地図を表示できるサービスでズームレベルを最小にしたとき地球儀表示になるのはApple マップ・HERE WeGo・Sygic。地図表示のまま縮小されるのはGoogle Maps・Yahoo!マップ・Bing 地図・Waze。
文字数制限にひっかかったため anond:20260202081917 に書いた。
Apple マップ・Google Maps・Yahoo!マップ・Bing 地図・HERE WeGo・Waze・ゼンリン地図ナビ・moviLink・Sygic・地図マピオン・乗換MAPナビ・MapFan・COCCHi・navico・スーパーマップルの地図を見比べて思ったことを書いた。
地図の正確性とかは使用する場所にもよりけりだから、あえて評価しない方向でいく。ただし最近のオンライン地図サービスは誤りを報告する機能がついていることもおおいから、証拠写真を撮影したうえでそれを使用するとよい。
なお、あくまで地図サービスとしての比較なので、地図アプリとカーナビアプリが別になっているものは、地図アプリのみで比較している。なお、一部スマホアプリ限定機能を比較にいれているものもある (各アプリ固有の便利な機能もあるので) 。
ラスター画像 (jpgとか) を使用した地図が一般的だった時代 (2012年) 、いちはやくベクター画像を採用したことから、当時先進的だった (いまではほぼあたりまえになった) 高精細ディスプレイとの相性がよく、うつくしい表示でみることができた。
あとベクター画像はラスター画像にくらべてデータ使用量がすくなく、MVNOの昼休みの時間帯でも待てば (けっこう待つが) 地図が表示されたのもメリット。(当時のGoogle マップは通信速度がおそいといくら待っても表示されなかった いまはベクター化されており待てば表示できる)
※ 現在はAppleもふくめてオフライン表示に対応しているサービスがおおいので、MVNOの場合は事前にダウンロードしてから使用するのがおすすめ。(オフラインが日本だけ非対応のサービスは明記します)
そのかわり、iPhone 4・iPod touch (第4世代) には負荷がおおきく、アプリが強制終了してしまうこともしばしばあった。
...さて、本題にもどると、当時としては先進的だったが、いまはGoogle マップやさまざまな会社の地図サービスもまねをしたため、似たり寄ったりになってしまった。
ただ、アメリカの一部地域では超リアルな3D地図が使用できるのはメリット。仮に日本展開したらものすごいコストがかかるんだろうな...。地図サービストップレベルでのうつくしさなので、もしアメリカの地図をみる機会があればためしてみてほしい。
画面表示をすっきりさせる目的のためか、データ提供元の表示が地図モードボタンのなかに集約されている。Apple マップのベースとなっている地図はジオテクノロジーズ (MapFanの提供元で以前はパイオニアグループだった) 。10年前はゼンリン優勢だったけど、ジオテクノロジーズを採用している地図サービスもふえてきた。
いちおう交通状況 (事故や道路工事など) を報告する機能はあるが、ナビゲーション専用機のシェアが高い日本ではスマホナビはGoogle マップ勢が大多数のため、渋滞情報以外はほとんど役に立たない。
日本においては、交通機関地図の色が国産の地図サービス並みに色あざやかのため、交通機関で移動するならGoogleよりもこっちを推したい。
...ただし、ほんとうの鉄道初心者であれば、地図サービスよりもJR東日本アプリ (JR海・西と提携しているため東北から中国までの広範囲でつかえる) など乗換案内専門のサービスをつかったほうがよいだろう。というのも、乗換案内専用のサービスは、駅名ではなく最終目的地で入力すれば最寄り駅だけでなく最寄りの出口までおしえてくれるため。あとリアルタイムの走行位置を表示できるサービスもある。
どうでもいいが、レビュー機能は病院やクリニックなど、一部カテゴリでは使用できないようになっている (薬局はレビューできる) 。Googleがどのカテゴリでもレビューできるのとは対照的。
自動車での音声案内は "一時停止で右方向" といった、信号だけでなく一時停止標識も目印として案内される。なるほどと思った。
そのほか、"このまま信号を通過" "このまま出口を通過" (高速道路でJCの直前にICがある場合など) といった、実際に曲がるポイントの手前の分岐というトラップにひっかからないような配慮がされている。
Googleのブランド力だからなのか、圧倒的利用率となっており、iOS 6 (Apple マップ初搭載) から現在にいたるまでApp Storeの無料ナビゲーションランキング1位の座をほとんどゆずっていない。また、iOS 26.2からは (EUの圧力なのかはわからないが) ついにデフォルトのナビゲーションアプリをApple以外に変更できるようになったため、今後さらに利用率が増加することがみこまれる。
※ iOS 26.2時点では、アプリのインストール・メール・メッセージング・通話・通話フィルタリング・ナビゲーション・ブラウザアプリ・翻訳・パスワードとコード・非接触型アプリ (タッチ決済のこと) ・キーボードのデフォルトを変更可能で、2026年1月現在はそのなかのメール・ナビゲーション・ブラウザアプリ・翻訳・パスワードとコード・キーボードをGoogle製に変更することができる。Googleアプリはほとんどつかっていないが、非接触型アプリだけはGoogleの参入につよく期待したい (Google Payに対応すれば楽天EdyとかもiPhoneに搭載できるのではとみている) 。
数年前、ゼンリンから独自データジオテクノロジーズに変更になったのは話題になったが、Appleとちがって圧倒的利用率により失われたデータの回復がはやかったというのも特徴だった。
圧倒的利用率とAndroid標準搭載 (デフォルト設定でGoogleに自動送信) という強みをいかした独自の混雑状況を提供している。そのため、いきたい施設が混雑しているときを避けるのに役にたつし、ほかの地図アプリでは表示できないような小さい道路の渋滞情報まで表示できる。
高速道路と一般道路をカラーで区別する手段がないのが難点。ナビゲーションどおりに走行するならそこまで気にすることもないが、ナビゲーションを使用せずに高速道路と一般道路をつかいわけたいならほかのアプリのほうがよいだろう。
徒歩や交通機関でルート検索したときの徒歩時間が他社より若干はやめに計算されているような気がする。とくに交通機関は迷わずにルート案内どおりに移動できる前提での時間計算になっているので、電車をあまり使用しないのであれば、乗り換え時間が表示された徒歩時間 + 3分ほどの余裕があるかを確認するのがおすすめ。
計算が面倒ならJR東日本アプリなど乗換案内専用サービスで歩く速度を "ゆっくり" または "もっとゆっくり" に設定して検索することをおすすめする。もしくは後述のYahoo!マップなら交通機関ルートの初期設定が "少しゆっくり" になっている。検索するような人は乗り換え時に迷うこともおおいので、この初期設定は評価したい。乗換MAPナビも交通機関で歩く速度を選択できる。
あとは検索バーが上側なのもGoogleらしい (Chromeもそうだから) 。PCの操作に慣れてたまにスマホという人にとってはこっちのほうが逆に都合がいいのだろう。自分はジェスチャー操作に慣れたから下側のほうが都合がいいのだが。
あとスマホアプリで完全な全画面表示にする手段もない。Appleは検索バーだけ表示にできる、Yahoo!とマピオンは完全な全画面表示にできるから、ふだん全画面表示にしているとどうしてもGoogleの窮屈さを感じてしまう。まあ、Googleは世界最大の広告会社ということもあり地図にも広告を表示しているから、どうしても消せないという面はあるのだろう...。
Mapboxの地図が使用されているが、Mapboxはゼンリンと提携しているため、Google マップが独自ジオテクノロジーズの地図になったのを期にゼンリンにこだわる人からの利用がふえた。配色が濃いのが日本サービスらしい。
また、日本サービスならではの特徴として、地図の種類に "住所" がある。東京都町田市の境目を確認したり、北海道の市区町村のふりがなを確認したりするのに便利。
日本のサービスということもあり、渋滞情報はVICSを使用している。そのため、ナビゲーション専用機での走行データもしっかり渋滞情報に反映される。
オフラインでは "防災モード" という自宅や職場付近のハザードマップのみダウンロードできるので、AppleやGoogleのように任意の場所を指定してダウンロードするということはできない。旅行先ではオンライン必須ということは了承しておくこと。
アプリが2025年7月にサービス終了してしまい、現在はブラウザーからしか利用できない (よく使用するならブラウザーからホーム画面に追加という手もある) 。
日本においては (道路の線とスポットアイコン以外) ベクター画像がいまだに使用されていないため、高精細ディスプレイでは画質が悪く感じる。はやく対応して...。実際Windowsのフィードバックアプリのマップカテゴリーで高評価数を特に集めたのが日本の地図は画質が悪いという投稿だった。
Windows 7までのMicrosoftは日本ローカライズが丁寧だったのに (日本独自仕様のMSNもWindows 8.1でグローバル仕様に統合され消えてしまった) 、いまとなっては日本市場をあまり考えていないとしか...。Windows 10でやっとMicrosoft IMEのクラウド候補に対応したのだけは評価したい。
航空写真は鳥瞰図モードがあり、当時としては高画質だったのだが、現在はほかの地図サービスも航空写真が高画質になったうえ、3Dモードで立体的にみることもできるようになったから鳥瞰図モードのメリットは減った。
PCにおいては、ルート検索はできるが、ナビゲーションはできない (アプリもそうだったからそういう仕様なのだろう) 。スマートフォンにおいては、Bing上では検索せず、デフォルトのナビゲーションアプリが起動する、特殊な仕様 (ルートを設定できても音声案内できない問題への対策と思われる) 。
なお、PCで検索する交通機関は鉄道のみ対応していてバスは未対応。
オフライン地図はそもそもアプリがサービス終了しているが、あった時代でも日本はダウンロードできなかった。
※ 日本は地図の権利の関係でオフラインダウンロードできないサービスがおおいため、一概にMicrosoftを責めることはできない。(この記事中では日本だけ未対応の場合はすべて明記します)
サービス自体は昔からあるものの、日本でのサービス開始が2024年という新参。日本では海外勢はGoogle一強みたいな状態でやってきたけど、はたして成功するのかどうか...。それゆえレビュー動画もほとんどみない。
地図の配色が全体的に淡めな傾向がある。10年前で淡めな色づかいだったAppleよりも淡い。濃いめのYahoo!とは対照的。すっきりした色がこのみならおすすめ。ただし新幹線は (淡めな地図のなかでは) びっくりするほど濃い色で表示される。地図表示を交通機関にきりかえて在来線と見比べてもなお濃い。
日本においては、ランドマークの3D表示がゼンリンの3D地図レベルでうつくしい。
Google同様全画面表示ができないので、検索せずに地図だけ見たいときはUIが邪魔に感じる。
駐車場所の保存が車 (自動車) ・自転車・オートバイそれぞれで保存できるため、車と自転車をつかいわけているなら便利。自分は運転免許をもっていないし自転車も運転しようとはおもわないため (個人的には自転車も免許制にするべきだと思う 法律と実情があっていないから) 、どれも使用することはないだろうが...。
ナビゲーションは徒歩で使用する場合、歩く速度を自分で設定できる (初期設定はやや速いになっている) ので、Googleみたいにせかせか歩く前提の所要時間表示に悩まされることがない。
自動車ナビでは駐車場からの徒歩ルートを提案する機能もある (自動車はもっていないので日本で機能するかは不明) 。あと自動車をオートバイに設定できるので、規制を回避したルートで案内できる。
※ Google Mapsのナビだけを頼りに二輪車走行はやめましょう (二輪車規制に対応しないため) 。HERE WeGoのような二輪車規制に対応したアプリでも、念のため実際の標識を確認しながら走行するようにしましょう。
あと海外製アプリとしてはめずらしく、一時停止標識の警告機能がついている (ナビゲーション中のみ有効) 。余裕をもった減速に活用してほしい。
交通機関ルートは項目としてはあるのだが、"この機能は、ご利用の地域ではまだ利用いただけません。" と表示される。日本は世界的にみても交通機関がよく使用されるので、はやいこと対応されるといいな。
オフラインはボタンを押すと "日本で本アプリをご使用の場合は、オンライン状態を維持してください。" と表示される。前述のとおり権利問題はあるだろうが、マップとしての出来はいいだけに残念。
記事が長くなりすぎて文字数制限にひっかかったため anond:20260201122950 に書いた。
anond:20260202081917 に書いた。
「三大」「教えて」「ネタがすぎるやつ」「挙げてけ」「政治」は除外
はてなブックマークの増田一覧の、さらに「すべて」(1 user)をチェックしている希有な人向けのユーザースクリプトを公開します。
https://b.hatena.ne.jp/site/anond.hatelabo.jp/?sort=eid
// ==UserScript== // @name Hatena Bookmark Anond Filter // @namespace https://b.hatena.ne.jp/site/anond.hatelabo.jp/ // @description はてなブックマークの『はてな匿名ダイアリー』の記事のうち、指定したNGワードが含まれる投稿を非表示にします。 // @match https://b.hatena.ne.jp/site/anond.hatelabo.jp/* // @grant none // @version 2.1.2026.07.14.0036 // ==/UserScript== /* 2.1.2026.03.25.0023 正規表現に対応。10 users 以上の人気記事を除外判定。 2.0.2026.01.28.0015 ポイント制を導入。 1.0.2025.12.09.0000 公開。 */ (function(){ const SCRIPTID = 'HatenaBookmarkAnondFilter'; console.time(SCRIPTID); const FILTERED = 'filtered';/* フィルタ該当要素クラス */ const CHECKED = 'checked';/* 二重チェック回避フラグ */ const USERS = 10;/* 人気記事なら誤検知やスパム解説などの可能性があるので除外する */ const POPULAR = 'popular';/* 人気記事クラス */ const ONCE = 1, AP = 2, INTERVAL = 3;/* 適用タイミング */ const NGWORDS = {/* 合計100ポイントで非表示判定(ただし1つの記事内で同じワードが複数使われても1度しか加算しない) */ '100': [/* 即NG確定ワード */ 'dorawii', 'あおやまちゃん', 'アオヤマチャン', 'ボスマン', '大学たいてい', 'なんぴょん', 'れめくん', 'れめきゅん', 'えめくん', 'るまさん', 'るまおねえちゃん', '眠りの民', 'リュックサック野郎', 'boushi_inst', 'hakaikami', 'Rekyu', 'iloveootaku_2', 'osaka-sirokichi',/* 電気通信大学たいてい鉄道研究会れめくん(頻出) */ /*A-G*/'a9w8ru6fqyxqfv9', 'admirail_togo', 'akibakko6348', 'alf1974al', 'amatukiseiru', 'anapgoeson', 'aoi_mizuho', 'asapgoeson', 'asupgo', 'asupgoeson', 'avoid_bds_kk', 'b6jbpsji91ieigt', 'bmi22yo', 'boushi_instrail', 'boushi_ob', 'buscholarx', 'bw0531', 'chihiro_love415', 'circlecavok', 'disney1007cla', 'dora22sibuya', 'donkotrain', 'ecotosk', 'electlone', 'factomodachi', 'fft_dareka', 'gmhtcyznf_abc', 'goesonanap', 'gyudon_honmono', /*H-N*/'h13_yokohama', 'h2twi', 'H2TWR', 'hamaishogo1111', 'haru_mofumoffu', 'hermitv8', 'hide1798038', 'hirabiscus', 'hinolovelove', 'hnmk0127_03', 'inaken17_', 'inte235dy', 'ixtabes', 'jamcombatge', 'kawachiasukanew', 'kaoru_ai1991', 'keio9730F', 'kiha2228', 'kihatena200', 'koreanlabsfc', 'koyounoyooko', 'kqlex1500', 'kunugiyamaosake', 'kurakamasan', 'kurotamaxxx', 'kt_ruma_1372', 'kt_up_date', 'lightningreen77', 'luckyyusha', 'mamadoll_kun', 'matya_uec', 'michee_n', 'minamihinawot', 'miniminicot', 'minori0151', 'mizunyanpanda', 'monkichi_22', 'mugen_08i', 'mukoroku651', 'nakano6409', 'nanpyong', 'new_oer', 'nimouec', 'NoName_thUFO', 'norannnde', /*O-U*/'oreizmmiporin', 'orenotanoshimi', 'osaka_sirokichi', 'papepoco', 'pasotokon', 'pm95uq', 'portrail', 'reme_kun', 'ruin_2002', 'rx00shiratama03', 's03_amurtk2731', 'sacchan03110319', 'sacchanenjoy', 'seishinyamate_', 'seisu_bot', 'senanana_cos', 'shinano_115', 'shineleaf1372', 'Shirasagi494', 'shop_bullet', 'shurimpy', 'soroisoroi', 'sui_pm95uq', 'sweidan821858', 'taiyaki_level2', 'takao_straight5', 'taking0000', 'tarotaromusic1', 'tc201_501', 'thomas_returnee', 'tocarbarn', 'tokusatsu_fan_0', 'toshikimiyazaki', 'train_magician', 'tx9y2cpwdz27255', 'u2fap5u4zw57811', 'uec15take', 'uecdaisuki', 'UECert', 'uecrail', /*V-Z_0-9*/'vampire_mio', 'vbdmnwefknmxsdm', 'vp20th', 'wafue', 'wakasato_', 'walkingniwatori', 'wataameexpress', 'ya4975349616894', 'yayoiulc', 'ymbk_arisa', 'yms_uec16', 'yorozun', 'yuuya_1104_uec', '__________ob', '_chocorail_', '_doitforthewin_', '_toeshin', '_unigmo', '100mph_no_yuuki', '16887y', '169_D51_protect', '205musashino', '2969364x', '2rtkvn34il2783', '36kyo', '86lilxw1', /(?!(.)\1{19,})(.{20,})\2{2}/,/* 20文字以上の文を3回以上繰り返す */ /(?!(.)\1{39,})(.{80,}).*\2/,/* 80文字以上の文が2回以上現れる */ /^ https:\/\/tadaup\.jp/m,/* 冒頭限定 */ 'テクウヨ', '自己放尿', ' ーーーーーーーーーーーーーーーーーーーー', 'https://anond.hatelabo.jp/20260107144223',/* AI問答貼り付け増田 */ '†噛み締めて行こうな†', 'https://anond.hatelabo.jp/20250826121213#', '困難女性(コンジョ)', '困難女性（コンジョ）', 'コンジョ自警団', 'ボディオブナレッジ', ' Boost', ' Cash', ' Coin Master', ' Free', ' Follower', ' Generator', ' Gift', ' Guide',/* 英文スパム */ 'altyazili', 'assistir', 'bgsub', 'dublado', 'espanol', 'espaol', 'fhd', 'filme', 'filmi', 'filmul', 'filmyzilla', 'full-hd', 'fullhd', 'fullstory', 'gratis', 'izle', 'minh', 'motchill', 'pelicula', 'phim', 'portugues', 'portugus', 'subthai', 'subtitrat', 'thaidub', 'vietsub', 'vostfr', ], '90': [/* ほぼNG */ 'megalodon.jp', 'tadaup.jp', '鉄道研究会', '鉄研', '通勤特快', '不正乗車', 'こども料金', '性慾', '穢い', 'エッタ', 'オソソ', 'キセル', 'uec', ], '10': [/* NG */ '電気通信大学', '電通大', '駿河台大学', '武蔵野美術大学', '武蔵美', '大学院', '学生課', '教務課', '朝鮮', '統合失調症', 'ケド。', ], }; const sites = { 'prefix': [ ['selector', '(modifier)', '(css)', '(REPEAT)'], ], 'https://b.hatena.ne.jp/site/anond.hatelabo.jp/': [ ['section.entrylist-unit li.js-keyboard-selectable-item', li => { if(parseInt(li.querySelector('span.entrylist-contents-users > a > span').textContent) >= USERS) li.classList.add(POPULAR); else li.querySelector('li.entrylist-contents-category > a').textContent = li.dataset.matches; }, `.${FILTERED}:not(.${POPULAR}){display: none;}`, AP], ], }; const rules = sites[Object.keys(sites).find(prefix => location.href.startsWith(prefix))]; if(rules === undefined) return console.log(SCRIPTID, 'Not found any sites.'); const scores = Object.keys(NGWORDS).map(Number).reverse();/* 数値インデックス順に取り出されたkeysを逆順にして100から並べ直す */ const filter = function(selector, modifier){/* 各要素に対してNGワード判定して、該当したら追加でmodifierも適用する */ document.querySelectorAll(selector).forEach(e => { if(e.dataset[CHECKED]) return; e.dataset[CHECKED] = 'true'; const text = e.textContent.toLowerCase(); let total = 0, matches = []; for(const score of scores){ for(const word of NGWORDS[String(score)]){ switch(true){ case(typeof word === 'string' && text.includes(word.toLowerCase())): case(word instanceof RegExp && word.test(text)): total += score; matches.push(word); if(total >= 100){ e.classList.add(FILTERED); e.dataset.matches = matches.join(', '); if(modifier) modifier(e); return; } break; } } } }); }; /* ONCE(一括適用) */ rules.forEach(rule => { const [selector, modifier, css] = rule; console.log(SCRIPTID, 'ONCE:', selector); filter(selector, modifier); if(css){ const style = document.createElement('style'); style.dataset.script = SCRIPTID; style.type = 'text/css'; style.textContent = css; document.head.appendChild(style); } }); /* AP(AutoPagerize) */ rules.filter(rule => rule[3] === AP).forEach(rule => { const [selector, modifier] = rule; document.addEventListener('GM_AutoPagerizeNextPageLoaded', e => { console.log(SCRIPTID, 'AP:', selector); filter(selector, modifier); }); }); /* INTERVAL */ rules.filter(rule => rule[3] === INTERVAL).forEach(rule => { const [selector, modifier] = rule; setInterval(function(){ console.log(SCRIPTID, 'INTERVAL:', selector); filter(selector, modifier); }, 1000); }); console.timeEnd(SCRIPTID); })();
/* Hatena Bookmark Anond Filter */ .filtered:not(.popular){ display: block !important;/*上書き*/ opacity: .25 !important; } .filtered:not(.popular):hover{ opacity: .75 !important; } .filtered:not(.popular) li.entrylist-contents-category{ background: red !important; font-weight: bold; }
検索用: はてなブックマーク はてブ はてな匿名ダイアリー 増田 スパム 荒らし キーワード NGワード フィルター ミュート 非表示 削除 隠す ブロック 対策 ユーザースクリプト ユーザースタイル hatena bookmark anond spam keywords ngwords filter mute hide hidden display none block userscript JavaScript js css style
右翼は軍事力が、左翼は憲法９条が戦争抑止になるとして永らく対立してきました。考え方の違いはあれど、戦争を回避したいのは左右とも同じはずです。
日本は台湾有事に備えて準備を進めてきましたが、それはシーレーン破壊時に持ち堪えるための準備です。開戦の準備ではありません。
ある国がどこかの国に侵略戦争を初めたとして、日本が参戦することはありません。日本は世界の警察ではありません。
ただし台湾に関しては、立地上、そしてアメリカとの関係上、必ず巻き込まれてしまいます。
まずは google map を開いてください。鹿児島から沖縄、そして台湾にかけて 点々と島が続いているのがわかると思います。ここは第一列島線と呼ばれ、中国および米国が防衛ラインとして設定する地域です。有事の際にはこれらの島は不沈空母として機能します。どれだけ叩かれても米軍が沖縄から出て行くことができないのはこれが理由です。
日本が準備していること：
先頭諸島（12万人）の避難計画が進められていますが輸送能力に限界があります。特に与那国島は絶対に間に合わないとされています。与那国島から台湾まで100km。これは東京から熱海くらいの距離です。
先島諸島から住民12万人避難の計画 台湾有事など念頭に政府公表：朝日新聞
戦争中、商船・貨物船は戦闘区域に近づけなくなります。特に中東～東南アジアからのエネルギー資源・物資輸送路が阻害されます。食べ物では小麦、飼料（トウモロコシ・大豆）が影響を受けます。
日本が準備していること：
長年 食料自給率を上げようとしていましたがうまくいきませんでした（38%）
とはいえ、国民にすぐさま餓死者が出るというわけではなく徐々に食糧価格が高騰していくという形で影響が出るようです。
台湾の半導体（TSMC）の市場シェアは70%、特に先端半導体は90%を占めます。台湾が封鎖されると世界中のあらゆる産業が影響を受けます。
日本が準備していること：
有事の際には米軍が戦い、自衛隊は後方支援に回るというのがこれまでの見立てだったと思います。ところがトランプ政権出現で何もわからなくなりました。
トランプ氏は中国について聞かれると「日本や韓国の方が悪い。貿易赤字が〜」と繰り返します。日本が同盟国であったことを忘れてしまったようです。台湾有事にも関与しないと言っています。また、沖縄から米軍を引き上げる、もっと金だせと主張しています。沖縄に米軍基地を置いた理由も忘れてしまったようです。
台湾が侵攻されても無視する可能性は大いにありそうです。その場合、半導体が手に入らなくなり米国IT企業やAIバブルが大変なことになりそうですがトランプ政権は全てバイデンのせいにしそうですね。
とにかくこれまでは日本は選択肢なくアメリカに従うのみだったのですが、アメリカがああなった以上先行き不透明。日本の立場もよくわからないというのが現状だと思います。
https://anond.hatelabo.jp/20251114203845
エンゲージ買って少しプレイしたけど、あー確かに神と竜のファンタジー路線で作るしか無いよなーと思った。
だって風花雪月コーエーが作ってんだよ？戦争と歴史のプロに同じジャンルで勝負して勝てる訳無いじゃん。
あと風花雪月でMAP拡大するとフィールドを自由に移動出来るモードになる所とか軍隊システムとか恐らく無双エンジン流用してるからアクションゲームみたいな事出来るし、
シナリオと技術力でプロ職人に勝てる訳が無いんだよなあ。ニチアサファンタジー路線は仕方ないと思うよ。
でもまあユーザーが戦争と絆と対立、拠点に仲間が集まってく感じが好きなのが判ったしFEが目指す位置は幻想水滸伝2だと思うんだよね。
まあ乙女ゲームに向いてるのは間違いないのでもっと簡単なモード、戦闘シーン除外して話とイベントを見るだけのモードとか必要だと思う。
