はてなキーワード: モジュールとは
まずCo2濃度が高い。古いビルだと建設時に想定した人数をはるかに上回る人数が現在仕事してる。
空調設備(外気ファンや空調機)を更新すればいいって話なんだけど、オーナー側も金がないから、古い物を使い続けて部分修理しながら使ってるのが現状。
2か月に1度空気環境測定を実施してるけど、外気ファンをガンガン回してもCo2とか大体1000ppmを超えている。(Co2の推奨濃度は1000ppm以下)
あと加湿。空調機に加湿モジュールがついてるけど冬場の加湿が間に合わない。
これも更新すればいいんだろうけどオーナー側も金がないので現状そのまま使っている。
で、空気環境測定の悪い結果どうするかっていうと、普通に改ざんしてる。
5年間の保管義務があるけどどこかに提出するわけでもないし、突っ込まれる事もない。
ビルメンやり始めて一件目の現場だからここだけかと思ったら、渡り歩いてきた先輩の話聞くとどこもそんなもんらしい。
コボルディズム(cobordism)とパンツダイアグラムの関係は、トポロジカルな観点からトポロジカル量子場理論(TQFT)や弦理論の世界で重要な役割を果たす。コボルディズムは、異なる次元を持つ多様体の間にどのような接続が可能かを調べる手法であり、特にトポロジカルな場の理論において境界を介した変形(つまり、どのようにして異なる多様体が連結されるか)を表すために利用される。
パンツダイアグラムは、名前の通り「パンツ」形状をした2次元多様体で、弦理論においては2つの弦が1つに結合したり、1つの弦が2つに分裂したりするプロセスを視覚的に表現する。このようなプロセスはコボルディズムの一種であり、3つの境界を持つリーマン面として記述できる。特に、パンツダイアグラムは、物理的には弦の結合や分裂を表現し、数学的には2次元の多様体のコボルディズムとして扱うことができる。
具体的には、コボルディズムの考え方に基づき、あるリーマン面が異なる境界条件を持つ複数の弦に分解される場合、それをパンツダイアグラムで視覚化することができる。例えば、パンツ状のコボルディズムは、3つの穴(境界)を持ち、それぞれの境界が異なる弦の状態に対応する。このようにして、パンツダイアグラムは、弦理論におけるトポロジカルな変換をコボルディズムを通して幾何学的に示す手法の一つと見なされる。
さらに、トポロジカルM理論やTQFTの枠組みでは、コボルディズムやパンツダイアグラムが理論の構造や不変量を計算するための基本的なモジュールとして扱われる。これにより、特定の物理的プロセス(たとえば、弦の結合・分裂やパス積分の構成)が、数学的にはコボルディズムの空間での操作として表現されることになる。
人型ロボット開発が今、中国で凄い熱いんだけど、日本の企業とか凄い冷ややかだよね
どうせペッパー君になるんだろとか、所詮先行者だろとか思ってるんだろうけど、ドローンも3Dプリンタも日本企業は冷ややかだったよね
でも、それなりの市場を形成できてるし、ドローン、マルチコプターに関しては、戦争で実戦投入までされてる
DJIは実質的に国策企業でもあるだろうけど、なんだかんだ、日本の公的機関では中国製のドローンを使うなとか言われても使われてるよね、DJI製品
まあ、日本の企業は人型、二足歩行なんて何の役に立つの?という点で冷ややかなんだろうけど、
個人的には二足歩行人型ロボットのアクチュエータ、モーターとギアとかの機構と電子回路基板がセットになったようなモジュール、これが凄いと思うんだよね
中国でロボットのデモをやると、意外と垂直統合型の開発がなされていて、最終成果物であるロボットを山の頂点とすると、
そのロボットを構成するモジュールが山の裾野から一気に上にドワーッと駆け上がって組まれていくような、そんな印象があるんだよね
これは凄いことで、人型ロボットのために開発したアクチュエータを別の製品に転用したりとかもしてるんだよね
例えば、フィットネスの機械の機構をロボットのアクチュエータで実現する試みをしたりしている
これはもしかすると、天馬飛雄がいなくてもアトムが一家に一台購入できる社会が来るのではないか
人工知能もネットとかデータだけじゃなくて、家庭で子供として育てることで学習するようなことも可能になるのではないか
子供がいなくても、ロボットを育てて、そのロボットがいつか独り立ちして、別のロボットと結婚する
結婚して、遺伝子はなくとも、ニューラルネット同士をなんかよくわからんけど融合させて、新しい知能のロボットを生産する
果てしなく遠い宇宙の彼方まで、巨大な宇宙船の中には人は乗っておらず、ロボットのみが搭乗しており、
ロボットはロボットを修理し、再生産することで、場合によっては永遠に宇宙を旅することができるかもしれない
少なくとも、衛星軌道上に太陽光発電のユニットを浮かべて、地上にレーザー照射で電力を送る(ガンダムSEEDとかにもあるよね
あのユニットでの作業だって、人間がやったら大変だけど、大量のロボットがメンテナンス作業をすればいいし、
https://www.washingtontimes.com/news/2024/sep/30/sunken-chinese-submarine-was-new-hybrid-nuclear-co/
By Bill Gertz - The Washington Times - Monday, September 30, 2024
Defense analysts at the Pentagon assess the new Zhou-class attack submarine that sank near Wuhan is “a new class of nuclear submarine that is similar in size to PLAN conventionally powered submarines, but with a small nuclear reactor,” a U.S. defense official said, speaking on background.
その可能性はある
The new Zhou-class submarine was confirmed by the Pentagon last week after one of the boats was seen in satellite images partially submerged beside the pier as the result of an unknown mishap.
「partially submerged beside the pier」な衛星画像はない、存在するのは艀船の写った写真だけ
浅い長江で沈んだのなら艦影くらいは写ると思うし、あのでかいのを釣り上げるのは時間かかるからその画像があるはずだが、それがないのでずっと腑に落ちない
“As such, we do not know if the submarine reactor was fueled at the time of incident, or if it is going to be relocated to a known nuclear-certified facility for its initial fueling, such as Huludao shipyard, which has built all previous PLA] navy nuclear submarine classes,” the official said.
後者はねえだろ
進水後にはるばる遼寧省まで運んで核燃料入れるとかは99.999%ねえだろ
本当にU.S. defense officialなの?
https://www.defenseone.com/ideas/2024/10/chinas-sunken-nuclear-sub-was-likely-nothing-sort/400001/
By J. Michael Dahm and Peter W. Singer - October 2, 2024 02:04 PM ET
The ICBM test reminds us of a similar media frenzy sparked by a dubious claim earlier this year. In January, Western media aired claims by unnamed U.S. officials that corrupt PLA officers had filled their missiles with water.
The reporting seemed to be unaware that the Chinese term 灌水 (guànshuǐ), which does mean “to pour water into” but also references unscrupulous butchers adding water to meat to increase its weight and price, used metaphorically to refer to corruption.
Yes, the PLA Rocket Force has experienced a crisis of corruption. No, they do not fill their missiles with water to cover up that corruption.
そうなんよな
あのときも匿名の国防総省関係者が情報源で日本のメディアでも無批判で報道されたんだよね
「ミサイルに燃料ではなく水注入? 汚職疑惑の中国ロケット軍 米報道」って
This story also underlines a larger problem in Western media reporting on China’s military in recent years: too often, it swings between two extremes that portray the PLA as either comically inept or ten feet tall.
それなあ
わからん🤣
沈んだのは本当としてもほんとに原子力?
武昌造船所には渤海造船所にあるような核燃料保存施設が確認されてなくない?
でも通常動力型潜水艦に小型モジュール炉をディーゼルエンジンの代わりに積むとかいう話もあるし、だったら原子炉を他で作って持ってきたとかも?
前回と大して変わらないなあ
正直眉唾っぽーい
P2FF+8FQ, Longgang District, Huludao, Huludao, Liaoning, 中国 125004
https://maps.app.goo.gl/nRiSTpnDMzWUqHGW7
https://maps.app.goo.gl/x73XtBuLcSwKPiXh6
中国の原子力潜水艦が台湾海峡で「重大事故」? 乗組員全員死亡説も
https://www.newsweekjapan.jp/stories/world/2023/08/post-102482.php
Tom Shugart
シンクタンク・新アメリカ安全保障センター (CNAS) の研究員
https://x.com/tshugart3/status/1813321391384473902
私は最近、中国の非原子力潜水艦建造の主要造船所である武漢の武昌造船所から最新の画像を入手しました。
6月に何か奇妙なことが起こったようです。 🤔
おそらく新しく建造された元級潜水艦(039型)が、新しく進水した潜水艦が艤装されるいつもの場所に停泊している。
最近、6月13日の画像を入手しました。画像には、潜水艦が先ほどいた場所の近くに、クレーン船のようなものが集まっている様子が写っています。
また、潜水艦が係留されていた浮き桟橋も少しずれているようです。
その画像の鮮明さに満足できなかったので、数日待って、6月15日に撮影したこの写真を入手しました。
これはずっと鮮明です。
クレーン船が、潜水艦とほぼ同じ大きさで形をした黒い物体を作業していたように見えます。 (※黒い物体はクレーンの陰であることが後に判明)
何が起こっているにせよ、その周囲に石油封じ込めフェンスがあるのがわかります。
7月5日のさらに新しい高解像度の画像を入手したところ、そこで何が起こっていたにせよ、すでに終わっており、現在は西側の別の浮き桟橋に潜水艦が停泊しているようだ。
同じ船が移動したのか、それとも別の船なのかは不明だ。
Odd Activity At Chinese Submarine Shipyard Draws Interest
https://www.twz.com/news-features/odd-activity-at-chinese-submarine-shipyard-draws-interest
China’s Newest Nuclear Submarine Sank, Setting Back Its Military Modernization
https://news.yahoo.co.jp/profile/commentator/obiekt/comments/64c748aa-346f-4750-a2d7-2f7bb4998f8f
武昌で039A型の改良型のX舵を持つ新型潜水艦が出現したことは知られていましたが、これが原潜化したという話は初めて聞きました。
何かの勘違いではないでしょうか。
これについて、私たちが知っていること(多くはない)、不確かな点、そして報道されている事件全体に関するさらなる疑問について、いくつか考えを述べます。
https://x.com/AlexLuck9/status/1839478227120861365
わからん🤣
沈んだのは本当としてもほんとに原子力?
武昌造船所には渤海造船所にあるような核燃料保存施設が確認されてなくない?
でも通常動力型潜水艦に小型モジュール炉をディーゼルエンジンの代わりに積むとかいう話もあるし、だったら原子炉を他で作って持ってきたとかも?
定義 1: M理論の基本構造を、完全拡張可能な (∞,∞)-圏 M として定義する。
定理 1 (Lurie-Haugseng): M の完全拡張可能性は、以下の同値関係で特徴付けられる:
M ≃ Ω∞-∞TFT(Bord∞)
ここで、TFT は位相的場の理論を、Bord∞ は∞次元ボルディズム∞-圏を表す。
命題 1: 超弦理論の各タイプは、M の (∞,∞-n)-部分圏として実現され、n は各理論の臨界次元に対応する。
定義 2: 弦の標的空間を、導来 Artin ∞-超スタック X として形式化する。
定理 2 (Toën-Vezzosi): X の変形理論は、接∞-スタック TX の導来大域切断の∞-圏 RΓ(X,TX) によって完全に記述される。
定義 3: 弦場理論の代数構造を、∞-オペラッド O の代数として定式化する。
定理 3 (Kontsevich-Soibelman): 任意の∞-オペラッド O に対して、その変形量子化が存在し、Maurer-Cartan方程式
MC(O) = {x ∈ O | dx + 1/2[x,x] = 0}
の解空間として特徴付けられる。
定義 4: n次元量子場理論を、n-カテゴリ値の局所系 F: Bordn → nCat∞ として定義する。
定理 4 (Costello-Gwilliam-Lurie): 摂動的量子場理論は、因子化∞-代数の∞-圏 FactAlg∞ の対象として完全に特徴付けられる。
定理 5 (Kontsevich-Soibelman-Toën-Vezzosi): カラビ・ヤウ∞-スタック X と Y のミラー対称性は、以下の (∞,2)-圏同値として表現される:
ShvCat(X) ≃ Fuk∞(Y)
ここで、ShvCat(X) は X 上の安定∞-圏の層の (∞,2)-圏、Fuk∞(Y) は Y の深谷 (∞,2)-圏である。
定義 5: M理論のコンパクト化を、E∞-リング スペクトラム R 上の導来スペクトラルスキーム Spec(R) として定式化する。
定理 6 (Lurie-Hopkins): 位相的弦理論は、適切に定義されたスペクトラルスキーム上の擬コヒーレント∞-層の安定∞-圏 QCoh(Spec(R)) の対象として実現される。
定義 6: M理論の C-場を、∞-群対象 B∞U(1) への∞-函手 c: M → B∞U(1) として定義する。
定理 7 (Hopkins-Singer): M理論の量子化整合性条件は、一般化されたコホモロジー理論の枠組みで以下のように表現される:
[G/2π] ∈ TMF(M)
ここで、TMF は位相的モジュラー形式のスペクトラムである。
定義 7: 量子化された時空を、スペクトラル∞-三重項 (A, H, D) として定義する。ここで A は E∞-リングスペクトラム、H は A 上の導来∞-モジュール、D は H 上の自己随伴∞-作用素である。
定理 8 (Connes-Marcolli-Ševera): 量子重力の有効作用は、適切に定義されたスペクトラル∞-作用の臨界点として特徴付けられる。
定義 8: 弦理論の真空構造を、導来∞-モチーフ∞-圏 DM∞(k) の対象として定式化する。
予想 1 (∞-Motivic Mirror Symmetry): カラビ・ヤウ∞-スタック X と Y のミラー対称性は、それらの導来∞-モチーフ M∞(X) と M∞(Y) の間の∞-圏同値として表現される。
定義 9: 完全な量子重力理論を、(∞,∞)-圏値の拡張位相的量子場理論として定式化する:
Z: Bord∞ → (∞,∞)-Cat
定理 9 (Conjectural): M理論は、適切に定義された完全拡張可能な (∞,∞)-TFT として特徴付けられ、その状態空間は量子化された時空の∞-圏を与える。
どこで必要になるのか
仕組みが複雑になってるだけ
いつか使うかもで必要ないもの作るのはやめとけって何かの原則みたいなのにもなかったか?
テストでしか使わないならテストのツールやフレームワークが側でどうにかすればいいこと
言語によってはモジュールやコンポーネントをモックすることで密結合になってるモジュールを差し替えできる
どころかまるでない
例えばReactではコンポーネントの引数として内部で使うコンポーネントを渡している
これで十分で不満に思ったことはない
変更の必要なければ渡さなくてよくてその場合は規定のクラスやコンポーネントが使われるだけだ
変な仕組みがないということは初見にも優しい
const axios = require('axios'); // HTTPリクエストを行うためのモジュール
const fs = require('fs'); // ファイル操作モジュール
const xml2js = require('xml2js'); // XMLをJSONに変換するためのモジュール
const chardet = require('chardet'); // 文字エンコーディングを検出するためのモジュール
const iconv = require('iconv-lite'); // 文字エンコーディングを変換するためのモジュール
const rssUrl = 'https://www.mlit.go.jp/important.rdf'; // 例としてRSSフィードのURLを指定
async function fetchAndSaveRSS() {
try {
// RSSを取得
const response = await axios.get(rssUrl, { responseType: 'arraybuffer' });
const rssData = response.data;
const detectedEncoding = chardet.detect(rssData);
console.log('検出された文字エンコーディング:', detectedEncoding);
// UTF-8に変換
const utf8Data = iconv.decode(rssData, detectedEncoding);
xml2js.parseString(utf8Data, (err, result) => {
if (err) {
console.error('XML解析エラー:', err);
return;
}
const jsonData = JSON.stringify(result, null, 2);
fs.writeFileSync('rss_feed.json', jsonData, 'utf8');
console.log('RSSフィードがファイルに保存されました。');
});
console.error('エラーが発生しました:', error);
}
}
// 実行
fetchAndSaveRSS();
インクジェットプリンターは、インクを微小粒子にして用紙に吹きかけ超細かいドット絵を印字している。書くのは簡単だが、そんなことがあの短い印刷時間でできるはずがないし、そんな精密機械を現在の人類が実現できるはずもない。あれはブラックボックスで、いつかどこかで未来人がインクジェットモジュールをどっかの会社の社長と交信して、そこからすべてが始まったに違いない。富士フィルムの一部の上層部と研究開発員だけがそのことを知っていて、研究開発部署の人間は未来人と交信してモジュールを受け取っているだけに過ぎない。秘密のインクジェット委員会が定める協定によって他社へ卸したり、公開可能となった情報をインクジェット技術交流会で流している。その証拠に、他の会社が作るどのインクジェットプリンターも、コア技術となる核は富士フィルムのモジュールを使用している。ところでなぜ未来人はインクジェット技術を過去に送ったのか?それは人類の進化を早めるためである。インクジェットの人類促進効果は想像以上に大きい。たとえば、(1)印刷技術は高速な記録と通信を可能としている。(2)微小粒子印字技術は、量子的超微小印字を可能とし、量子的・宇宙的・亜光速通信の技術の前身となっている。という理由だ。現人類を(1)で促進進化させながら、最終的には(2)の技術促進が未来人の大目標であるのだろう。おそらく未来では宇宙戦争あるいは環境破壊による地球の寿命等によって人類は滅亡の危機にあり、過去にインクジェット技術を送信することで滅亡シナリオを回避しようと未来人は試みているのだろう。
位相的K理論は、超弦理論におけるD-ブレーンの分類に本質的な役割を果たす。具体的には、時空多様体XのスピンC構造に関連付けられたK理論群K(X)およびK^1(X)が重要である。
ここで、X+はXの一点コンパクト化を表し、K(X+)はX+上のベクトル束の同型類のGrothedieck群である。
Type IIB理論では、D-ブレーン電荷はK(X)の要素として分類され、Type IIA理論ではK^1(X)の要素として分類される。これは以下の完全系列に反映される:
... → K^-1(X) → K^0(X) → K^1(X) → K^0(X) → ...
背景にNS-NS H-フラックスが存在する場合、通常のK理論は捻れK理論K_H(X)に一般化される。ここでH ∈ H^3(X, Z)はH-フラックスのコホモロジー類である。
捻れK理論は、PU(H)主束のモジュライ空間として定義される:
K_H(X) ≅ [X, Fred(H)]
ここで、Fred(H)はヒルベルト空間H上のフレドホルム作用素の空間を表す。
D-ブレーンのアノマリー相殺機構は、微分K理論を用いてより精密に記述される。微分K理論群K^0(X)は、以下の完全系列で特徴付けられる:
0 → Ω^{odd}(X)/im(d) → K^0(X) → K^0(X) → 0
ここで、Ω^{odd}(X)はXの奇数次微分形式の空間である。
アノマリー多項式は、微分K理論の言葉で以下のように表現される:
I_8 = ch(ξ) √Â(TX) - ch(f!ξ) √Â(TY)
ここで、ξはD-ブレーン上のゲージ束、fはD-ブレーンの埋め込み写像、ch(ξ)はチャーン指標、Â(TX)はA-hat種を表す。
Kasparovの KK理論は、弦理論の様々な双対性を統一的に記述するフレームワークを提供する。KK(A,B)は、C*-環AとBの間のKasparov双モジュールの同型類のなす群である。
KK(C(X × S^1), C) ≅ KK(C(X), C(S^1))
導来圏D^b(X)は、複体の導来圏として定義され、K理論と密接に関連している:
K(X) ≅ K_0(D^b(X))
前の現場ではそれで採用されてた。あと、型定義とかをフロント、バックで共通化できるから開発効率も上がるだろうと。(上がんなかったけど。)
正直、
みたいなことが多くて、言うほど使いやすく無いよな…、とは思った。
というか言語合わせたけど、フロント担当はバックエンドに謎の苦手意識持ってて触ろうとしなかった(逆も然り)ので、全く意味なかったよな。
https://note.com/joan_of_arc/n/ned510ca913c7
これは業務が自分から見てクソだったので、良くするために提言したが全てないがしろにされ鬱になり退職しましたという話を延々している記事だ。
まず仕事においては営業的な意味で数値改善できる根拠が出せないのであればそれは改悪である。リファクタリングを幾らしても自分にとっていいコードになることはあれど、それ以上はない。何故なら書いた人物たちはそれが最善だと思って書いているからだ。
DDDだのデザインパターンだの、モジュール化だのポリフォーリズムだの素晴らしい設計技術が叫ばれて久しいが、一般人にそんなものは脳裏にないし、そんなのを勉強する暇があれば他にすることがある。プライベートで仕事に関することなんてするわけない。家で寝転がってポテチをぐーたら食べているのが現実。もし、そうでなければとっくにまともなコードになってる。
さて、仮にリファクタリングをしてもいいとされた時、業務外では家で寝転がってポテチをぐーたら食べている連中が書いたコードをどう直させるかだ。ほぼ不可能だろう。彼らには動くコードが正義で、自分の読みやすい密結合スパゲティぐちゃぐちゃコードこそ正義だ。そして彼らは金を産むコードを書いてきた先人でもある。要するに無理な話ということだ。君が社長でないのであれば諦めろということだよ。
これまでaliexpressで怪しい機器や、安価なDC-DC変圧モジュールやLEDやアンプボードを買ったりして、細々した注文の積み重ねでもう100万円近く使ってるが、
Temuが出てきて、初回アプリ登録でドローン無料プレゼントのCMにひっかかってしまってTemuも使い始めた。(貰ったドローンはたびたび遊ばせてもらってます)
アリエクよりも安かったり、アリエクだと見つけづらいもの(俺の視野に入ってなかったもの)がおすすめに出てくることがあり、生活で無くてもいいけどあったら面白いもの、変な壁掛け時計とか、庭につけるソーラーガーデンライトとか、小型軽量の雨傘/日傘兼用とか、電動水鉄砲とか買ってた。
数か月前に「お魚パクパク」というサービス?キャンペーン?が始まった。
アプリの中を泳ぐ魚に架空の餌をあげていくと魚を釣り上げることができ、釣った魚の数で上部のパーセントバーが増えていき、バーが100%になったら商品2つと15,000円分のクーポンがもらえるというもの。
1日1回ログインするごとに餌が何グラムか貰えて、注文したり何か登録したりすると追加の餌がもらえる。
うろ覚えだが、1回目の餌やりで魚の満腹度50%、2回目で75%、3回目で90%、4回目で100%になって釣り上げ、だったかな。
魚に餌をあげて魚がパクパク食べるアニメーションをスキップできないこともあり、4回餌をあげるのに結構な時間を取られる。
1日に無料でもらえる餌で3匹くらい釣り上げて、それをほぼ毎日やってた。累計したらかなりの時間を消費させられたはず。
上部のバーが50%を超えたあたりで、魚一匹釣り上げるのに5回餌をあげないといけなくなった。
その後も上部のバーが増えて100%に近づくたびに、魚1匹に必要な餌の回数が増え、魚1匹で増えるバーの割合は減っていった。
それでもゴールは近いから、と頑張って続けた。
上部のバーが98%になったところで、1日に貰える餌で魚1匹しか釣り上げられなくなった。
もう思い出したくないのでうろ覚えだが、1回目の餌やりで35%、2回目で50%、3回目で65%、4回目で75%、5回目で80%、6回目で85%・・・で10回以上の餌やりが必要になった。
そして1匹釣り上げて上部バーが1%も増えなくなった。確か最後のほうは1匹釣り上げて0.25%増とかだったはず。
1%を切ったところで「はあ?」とビキりつつイライラしながら続けてたが、さすがに0.5%を切ったところで「ふっっざけるなぁあああああ!」とキレて、テムを閉じた。
その後も引き続き100%に近づくにつれて獲得割合が減っていくのは目に見えてたもの。
ゴールに近づくにつれて加速度的に1回あたりの満腹度と1匹あたりの増加割合が減っていき最後には0.00001%とかになって、無限の時間と回数をかけても100%に到達できない、悪夢のような状況になってただろう。
それ以降、テムのアプリは残してあるものの、一度も起動せず利用もしてない。
テムが流行りだしてからアリエクの配送がだいぶ改善されて、まとめて発送・送料計算になる対象セラーが増えたり、配達時間がだいぶ短縮されたり(今までは送料無料配送だと1か月以上かかるのが当たり前だったが、最近は1~2週間で着く)、延着したときの割引クーポンが配られたりしてるので、もうアリエクだけ使うようになってしまった。
こういう「最初はいい条件で釣って、さんざん時間をかけさせて、でも無料でゴールさせたくないからどんどん絞っていく」って印象最悪なので、やめたほうがいいっすよ。
もうTemuが大嫌いになったので二度と使わないけどね。
IDviewは、一般的には特定の分野やコンテキストに依存するため、詳細が書かれていないと具体的に何を指しているのかはわかりにくいです。ただし、一般的に「IDview」という名前が使われる場合、複数の用途が考えられます。
1. **セキュリティシステム**:個人認証やアクセス管理を行うためのシステム。たとえば、生体認証やスマートカードを利用してユーザーのIDを確認し、アクセスを制御するツールが考えられます。
2. **データベース管理システムや分析ツール**:特定のデータベースやシステム内のユーザーIDやその他の識別子を視覚化し、管理・分析するためのツール。
3. **ソフトウェア開発におけるモジュール**:特定のアプリケーションやプラットフォーム内で、ユーザーIDやその他の認識情報を表示するための機能やライブラリ。
具体的な情報がもっとあれば、より正確な説明ができると思います。もし特定の用途やコンテキストについて知りたい場合は、もう少し詳細を教えてください。
はしょって書くので正確性の観点ではツッコミどころのある文章になりますがざっくり
RGBやCMYK:実際の見た目の色を表すものではない。色材の出力値を表したもの。同じRGB値・CMYK値でも異なるモニター、プリンタで出力すると色が異なる。
CIEXYZやLab:この値が同じであれば見た目の色が同じと言える物差し的な値(Labは光源も定める必要があったり、発展的なCIECAMの話もあるけど省略)
モニター機種Aの色をモニター機種Bで似た色で再現したいとする
1)モニターAであるRGB値を表示した時、CIEXYZやLabでは何の色なのか
2)1)のCIEXYZをモニターBで表示するには(もともとのRGB値でなく)どんなRGB値で表示すればいいのか
要は機種AとBで色々なRGB値で表示した際の実際の色(CIEXYZやLab)がわかれば良い。
この様にデバイス依存カラーと非依存カラーの対応付けができるものをプロファイルといい、規格化されている(いわゆるICCプロファイル)
※対応付けは線形で計算する場合と、ルックアップテーブルを使う場合がある
用途として1)はターゲットプロファイル/ソースプロファイル、2)はデバイスプロファイル/ディスティネーションプロファイルなどと呼ばれる
1)2)は色を近づけるために入力RGBを異なるRGBに変換し出力する操作であり、色変換・カラー変換などと言う。
これが行われるモジュールがCMM。MacはColorSync、WinはICM/WCS/ACM。3rdパーティのCMMとしてAdobeCMMがある(Adobeアプリで見るときはこれが使われる)
Macは基本的に常にOSレベルでColorSyncが働いている状態。Winはアプリによって入力RGBをそのまま表示するものやICMが働くものがある
これが「Macで見る色は正しい」と捉えられることがある一因だと思うけど、同じプロファイルでもCMMにより変換結果が異なるし、プロファイルが適切でなければ色は合って見えないので片手落ち未満。
色変換に関していうと、Adobeツールを使っていればAdobeCMMで変換・表示されるのでOS間の色の差は少ない。
・MacもWinもワークフローでは混在しており実質Adobeアプリでの表示が標準=OSによる変換差は極小
・正しい色を見るのにはそもそも正しいプロファイルが必要(モニターの場合は基本キャリブレーションすれば同時に作られる)で、かつアプリで適切に設定されている必要がある
・色評価用光源の導入
・それでも分光値が一致する訳ではないので、突き詰めるとCIEXYZやLabが同じでも見た目の色は違う…という世界になってくる
高速化のためといい、前任者がcythonで書いたランダムフォレストのコードがあり、どういうわけかsklearnよりも数倍速い
社内ではリランキングモデル(LTR)のためにこのランダムフォレストを使っているらしい
というのも外部ライブラリに頼ると面倒なことになるという認識が開発当初にあり、開発に関係するライブラリは全て自前で書いていたようだ
しかし前任が去ったことでこの最適化に最適化を凝らしたようなモジュールの理解が誰もできない
今後数年間の野心的なアンホブリングはどのようなものになるのでしょうか?私が考えるに、3つの重要な要素がある:
GPT-4は、多くの人の仕事の大部分をこなせるだけの生の賢さを持っているが、それは5分前に現れたばかりの賢い新入社員のようなものだ:関連するコンテキストを持っておらず、会社のドキュメントやSlackの履歴を読んだり、チームのメンバーと会話したり、会社内部のコードベースを理解するのに時間を費やしたりしていない。賢い新入社員は、着任して5分後にはそれほど役に立たないが、1ヶ月後にはかなり役に立つ!例えば、非常に長いコンテクストを通じて、新しい人間の同僚を雇うようにモデルを「オンボード」することは可能なはずだ。これだけでも、大きなアンロックになるだろう。
2.テスト時間の計算オーバーハング(より長いホライズンの問題に対する推論/エラー訂正/システムII)
今のところ、モデルは基本的に短いタスクしかこなせない。しかし、これでは非常に限界がある。5分どころか、数時間、数日、数週間、数ヶ月かかるのだ。
難しい問題について5分間しか考えることができない科学者は、科学的なブレークスルーを起こすことはできない。ソフトウェア・エンジニアは、より大きな仕事を与えられ、計画を立て、コードベースや技術ツールの関連部分を理解し、さまざまなモジュールを書いて段階的にテストし、エラーをデバッグし、可能性のある解決策を検索し、最終的には数週間の仕事の集大成である大規模なプル・リクエストを提出する。などなど。
要するに、テスト時間の計算オーバーハングが大きいのだ。GPT-4の各トークンは、問題を考えるときの内部モノローグの言葉だと考えてください。各GPT-4トークンは非常に賢いのですが、現在のところ、思考の連鎖のために~数百トークンのオーダーしか効果的に使うことができません(あたかも問題やプロジェクトに数分しか内部独白/思考を費やせないかのように)。
もし数百万トークンを使って、本当に難しい問題や大きなプロジェクトについて考え、取り組むことができるとしたらどうだろう?
トークンの数 | 私が何かに取り組むのに相当する時間... | |
100s | 数分 | ChatGPT (私たちはここにいる) |
1000s | 30分 | +1 OOMsテスト時間計算 |
10,000 回 | 半日 | +2 OOMs |
100,000ドル | 1週間 | +3 OOMs |
数百万回 | 複数月 | +4 OOMs |
人間が〜100トークン/分で考え、40時間/週働くと仮定して、「モデルが考える時間」をトークンで換算すると、与えられた問題/プロジェクトにおける人間の時間になる。
仮に「トークンあたり」の知能が同じだったとしても、頭のいい人が問題に費やす時間が数分なのか数ヶ月なのかの違いになる。あなたのことは知らないが、私が数ヶ月でできることと数分でできることは、はるかに、はるかに、はるかに多い。もしモデルに「数分ではなく、数カ月に相当する時間、何かを考え、取り組むことができる」という能力を与えることができれば、その能力は飛躍的に向上するだろう。ここには膨大なオーバーハングがある。
今のところ、モデルにはまだこれができない。最近のロング・コンテキストの進歩をもってしても、このロング・コンテキストのほとんどはトークンの消費にしか機能せず、トークンの生産には機能しない。しばらくすると、このモデルはレールから外れたり、行き詰まったりする。しばらくの間、離れて単独で問題やプロジェクトに取り組むことはまだできない。
しかし、テスト時間の計算を解除することは、単に比較的小さな「ホブリングしない」アルゴリズムの勝利の問題かもしれない。おそらく、少量のRLは、モデルがエラー訂正(「うーん、これは正しくないようだ、再確認してみよう」)を学習したり、計画を立てたり、可能性のある解を探索したりするのに役立つだろう。ある意味、モデルはすでに生の能力のほとんどを持っており、それをまとめるために、さらにいくつかのスキルを学習する必要があるだけなのだ。
要するに、私たちはモデルに、困難で見通しの長いプロジェクトを推論させるシステムIIのアウターループのようなものを教えればいいのだ。
この外側のループを教えることに成功すれば、2、3段落の短いチャットボットの答えの代わりに、モデルが問題を考え、ツールを使い、異なるアプローチを試し、研究を行い、仕事を修正し、他の人と調整し、大きなプロジェクトを一人で完成させるような、何百万もの言葉のストリーム(あなたが読むよりも早く入ってくる)を想像してみてほしい。
続き I.GPT-4からAGIへ:OOMを数える(9) https://anond.hatelabo.jp/20240605210357
何でここで書くかって白Wikiのお砂場勝手に建てたら叱られそうだから……。
転載とか参考にするとかはご自由にどうぞ。あとこの記事は個人の意見なのとちょくちょく大陸バレあるよ!
概要はここ見て。難易度12でキツい効果は12の「第1、3、5層突入時、耐干渉指数-1」と9の「同時配置可能人数-1」、あと6の「★4以上のオペレーターを招集する際に消費する希望+1」。あとはキャラパワーでどうにかなる。
この3つのデバフは★6パワーで何とかならず秘宝で補う必要がある。つまり同時配置数+秘宝無しで生垣で同時配置マイナスを引いたら泣いて撤退になる
分隊効果とかは難易度12でクリアマーク埋めするような統合戦略廃人なら割愛。白Wiki見て。
以上4つの分隊は分隊パワーで難易度12程度なら何とかなるどころか難易度15でも常用できる。
なので以下で書くのはそれ以外の分隊が前提。
難易度12なら異リードか異ジェシカ安定。黒騎士実装されたら黒騎士でもいいかも。異ガヴィルは後半役割なくて微妙。
増田は異ヤトウスタートは安定投げ捨てすぎて合わなかった。1層全戦闘ステージ踏みたい派なので。
白Wikiで初手おススメされてるティフォンは初手で取るもんじゃないしケルシーとか道中通してぶっちゃけいらん。初手オペに限っては対空大正義。
初期支援に希望+がなくてスポットクルースラヴァスタートは割と結構ある。その場合は戦闘後に補助券出ないのを祈れ。
希望に余裕ができたらまずはイネスを握れ。できてなかったらまずアンセルとスポットを握れ。
これには理由がありまして、3層まではイネスと異リードor異ジェシカが昇進2になっていたら★3オペと併せて全ての緊急がクリアできる。3層初手ゴプニクは知らん。
ムリナールはぶっちゃけ5層まで不要。5層では昇進2必須。異テキは4層から細かいケアのために欲しい。
なので召集順に融通が効くようになるロドスの戦術無線は神。何を差し置いても欲しい。
増田の★6召集順目安はイネス>異テキ>異リード昇進>ムリナール>5裏対策オペ(≒モスティマ)だったな。
イネス/異テキ/ムリナール/異リード、サーミ統合適正カルテットです。こいつらが軸でこいつらがどれかいないと5層で詰むので最優先召集。
5裏行くならティフォンは最後まで要らなくて道中含めて水チェンの方が融通利くとか6表行くのにSP自然回復秘宝無かったらフィリオ召集した方がいいとかそういう小ネタ要る?後で書く。
あと増田は異ヤトウは6面行く以外で不要だと思ってるけど音楽理論の災いには異ヤトウ&ナイチンがスーッと効く。
モスティマじゃなくてカニパラートで盗塁マンを何とかできるアークナイツ上手いマンがマジで羨ましい。増田はゲームが下手
ロドスの戦術無線≒オルゴール>>灯火&角笛>耐干渉指数+秘宝>赤リボン>狩人の洞察>希望+秘宝&オペ昇進秘宝&人事部の機密文書>湖の神盾>同時配置プラス秘宝
基本的には「第1、3、5層突入時、耐干渉指数-1」「同時配置可能人数-1」「★4以上のオペレーターを招集する際に消費する希望+1」をケアする方針。
それにしたって灯火と角笛はマジで性能がイカれてる割に安いので売ってるならぜひ買え。オルゴールと赤リボンには本当に世話になった……。
狩人の洞察と湖の神盾は強いっちゃ強いけど無くても普通にクリアできる。
手を含む職強化秘宝に頼ってクリアするようなら三流じゃねって難易度12を数十回やって思ってきた。なのでもう買ってない。PT全員が強くなる方がはるかに重要。
でも医者・自救と医者・妙手は初手召集する異リード壊れパーツ(=安定度上昇)なので買うのはアリかも。
3層終わりまでに生垣踏めなかったら諦めるボタンを押す。あと6層フラグの先行く者は4層で踏む。踏めなかったら諦めるボタンを押す。
分隊機能で上振れを狙えないとぶっちゃけこれが一番の方針になってしまう。
2層の先行く者で6層フラグ踏むのは3層の難易度がバカ上がりするから破壊戦術分隊以外無理。特に緊急氷海の虚像。
なので2層の先行く者は積極的に踏みに行ってオペを送るべき。もちろん生垣が最優先だけども。
4層までは積極的に緊急を踏んで秘宝を増やしていきたいので、6層フラグは4層で踏むしかない。
なので繁殖の啓示は買ってでも欲しい、でも無理なときは諦めるボタンを押しましょう。
音楽理論の災いのためだけに異ヤトウを召集するかは好み。高規格分隊でそんな余裕はない、それはそう。
なので5層のうち音楽理論の災いだけは避けて通るか啓示で書き換える。他は意地でやるしかねえ!やれなかったらオペ召集できなさすぎてどうせボスで詰む。緊急死者の行軍つらい。
5層追加マップがどう見ても地獄なのでやるなら今のうちだぞ。グレイディーアorノーシス要求されるとか召集セオリーから外れすぎてつらたん。
思わぬ遭遇は5裏フラグ啓示か驚き協語か狩猟で潰すとかそういうのは基本だけど一応書いておく。思わぬ遭遇を踏んでいいことはあまりない。戦闘をクリアしていくしかない。
下側の優先度だけ書いておく。
移住>>>歌唱>巡視>喜び=略奪>沈黙>驚き>慰霊。6面行く場合だけ繁殖が巡視の前に入る。他は要らないので適当に捨てていいよ。
移住が取れたらどんなクソ分隊でも難易度15が何とかなる。それくらいぶっ壊れ啓示なんだが取れるわけねえんだな。というわけで歌唱以下が現実的な目安。
「第1、3、5層突入時、耐干渉指数-1」「同時配置可能人数-1」「★4以上のオペレーターを招集する際に消費する希望+1」をケアする方針なのでこうなる。
巡視は個人的にはめちゃくちゃ重要啓示(崩壊パラドクスで同期性消耗がついたら最悪なのでそのケアに使う)なんだけど難易度15やってる人たちからしたらそうでもないっぽい。
上に挙げたどの啓示も協語で使うこと前提なのだが個人的プレイスタイルによる。
突撃戦術分隊か科学至上主義分隊なら同期性消失が付いたところで耐久1まで減らしても6表クリアできるからマジであの分隊パワーおかしいと思うの。実体験。
・サーミ最適正カルテット(イネス/異テキ/ムリナール/異リード)以外に召集するオペ
5裏:クオーラorニェン、シャイニングorクエルクス、モスティマ、水チェン、スルト
6表:ティフォン、ナイチンゲール、異ヤトウ、異ジェシカ、テンニンカ、スルト、フィリオプシス
何だかんだで重装が強いとサーミ統合は楽になる。ニェンが理想だけどクオーラでもいける。ホシグマは反射があるのでNG。異ジェシカも腐っても★6重装の耐久とブロック数があって良い。
ティフォンと水チェンは使い分け。道中は水チェンの方が融通利くと思う。ティフォンS2の起動の遅さは本当に嫌い。
テンニンカは6面行かないなら不要。イネスで初動コスト稼ぎきれないなら召集の方を見直した方がいい。旗が必要なのはクレイズセオン1週目までに確殺体制を整える場面くらい。
フィリオはクレイズセオン1週目に無敵解除装置のOCを間に合わせるためなので秘宝次第で不要。昇進1でも最悪OK。
カニパラートで盗塁マンを何とかできないゲーム下手増田なのでモッさん呼んでるけどカニパラートで何とかできるアークナイツ上手いマンはそうした方がいいです。
・モスティマ引換券としての術師券(つまり5裏行かないときの術師券)と補助券には希望を割かない
サーミは術ダメは強いが術師が強いわけじゃねえんだなこれが。強いのは異リードそして異テキ、END4に限りケオベなんだ。エイヤ召集して役に立ったと思ったことマジでない。GGも以下同文。
でも5裏行く時だけはモッさんを召集せざるを得ないし腐っても拡散術師なので昇進1でも道中でそこそこ役に立つ。
モッさんS3の「全てをうやむやにする力をーーー!!」に応えてくれる度合はかなり高い。ミヅキローグのノーシスS3くらい高い。なので術券ではモッさんとラヴァ以外召集しなくていいです。
でもEND4ボスはケオベでしか削れないからケオベに慣れるために5裏で使うのは難易度15(防御が最大)ならアリだと思う。
補助券はなぁ。濁ス召集する派とそうでない派がいて増田は後者。あとノーシスはミヅキローグほど役に立たない。射程が短いのが悪い。
どうしても医療券来ない時用にクエルクスは保険で育ててモジュールつけてもいいけど2回しか使わなかった。5裏はともかく6表行くならナイチンゲールの方がいいからね。
・アビサル
増田は使わない派。特殊券は異テキと異ヤトウが食う。それはそうとして5層追加マップにグレイディーアぶっ刺さりってマジ?
難易度15の5裏が最適性だと思うが増田は剣スカジ持ってない。無くても何とかなるので好みでどうぞ。
・★6医療どれにする?
ゲームド下手なので盗塁マンは入口でクオーラに抱えててもらうけど、それにつける医療どれにする問題。6表ならナイチンゲール一択なので5裏の話。
個人的に道中含めて安定度が上がると思ったのはYモジュシャイニングなんだがこれは増田が異エイヤ好きじゃない(S1起動が遅いのと元素ダメがサーミは痛くない)のがデカい。
凍結ケアにルーメンにするかシャイニングにするか異エイヤにするかはマジで好み。アビサル編成スカジにワルファリンorクエルクスつければいいだろというマジレスはやめてね。
END4では異エイヤS3一択なので慣れておくに越したことはなさそう。ケルシーは道中含めて要らない派。
・異ヤトウおらん
スタートで借りて1層死に覚えするしかないね……。とはいえ無くても難易度15も何とかなるはず。
未実装含めると初動はElaか黒騎士が最安定と思っている。ガチャをやめられない。
増田が高台オペ苦手なのとサーミ統合は使いやすい高台が少ないのが悪い。主に死者の行軍と音楽理論の災いのことを言ってる。
分隊パワーはあると思うけど個人的に生活至上分隊の次につらかった。