  |
はてなキーワード: 処理系とは
いや、理解はしたほうが良いんだけど、理解した上で忘れるべきことがあるというか……。
いわゆる「抽象の壁」というやつだ。
約束 (promise) をして、それが果たされるまで待つ (await) ような抽象化された形で提供されていてそれを理解しているなら少なくとも一般的な状況では実際の処理のされ方を考える必要はない。
なんなら処理系によって具体的な処理はまるで違うということもありうる。
どういう風に抽象化しているのかと具体的な実装は切り離して考えるべきで、いつもいつも具体的な実装を考えながらプログラムしてたら規模が大きくなったときに手に負えないよ。
適当に抽象化層を被せて普段はその向こうのことを忘れられるようにデザインされるのが普通だし、自分がプログラムをするときでもそうなるようにデザインすべき。
もし、昔のyahooBBのモデムみたいに、2022-2023年にGPUを開発者やコミニティにタダで配りまくっていたら、nvidia(以降 NVDA)に勝てていた可能性を考えた。
NVDAの強さはCUDAにあり、CUDAの利用者が多いからpytorchをはじめとしたライブラリがより最適化されていることにある。
ではこれをひっくり返すことはできなかったのか?
これまでなんどかそのタイミングはあったが、そのラストチャンスは2022-2023年だったと思う。
2022年はstable diffusionが出た年だ。
もし、この波にうまく乗って、GPUを開発者やコミニティにタダで配ることができたら、巨大なコミニティを作れていた可能性が高い。
もちろん、これでエロい絵を描いて(*´Д`)ﾊｧﾊｧしろなんてことは一切言わないし、言えない。
ただ、最先端のAIを君も体験してみよう!とかのキャンペーンとして配る感じだね。
それで無視できない規模のユーザを獲得できれば、そのGPUの処理系に対して、pytorchを始めライブラリのバックエンドを最適化する強い動機を与えることができるだろう。
仮に売値5万円のグラボがあったとして、製造原価は半分の3万円ぐらいとしましょう。
広告予算30億円だったとして、10万台のグラボを配れることになる。
10万人のユーザーの需要がドンと生まれれば、最適化圧力をより強く与えられると思う。
申請ベースで配るので誰にでも配るわけではない。優先的な配布先は技術者やコミニティのリーダーとかになるだろう。残りはランダム抽選かな。
無視できない規模のユーザ数を持つことが何より大切だし、エロという最適な材料もある。
これが2024年に入ってしまうと、データセンターの方が主戦場になってしまい、GPU価格はめっちゃ高騰するので配るのはもう無理である。
仮に配ったとしても、専用の冷却システムがないと動かせないだろう。
また、画像生成よりもはるかに重たいLLMが対象になるだろうし、ちょっと無理だと思うんよね。
クレジットが怖いとか、××Payの使い方がわからんとかいう理由では、当然、ない。
システム屋やってると、その還元ポイントとかがどこから出てくるか、手数料がどこから出てくるかを考え、目の前にいる「商売している人」、「この商品、サービスを提供してくれている人」から、××Payとかと共謀して金を巻き上げてる図しか思い浮かばないから、ちょっとした食事とかでそういうのを使って、「ポイント分お得だよねー」とか目の前で言えるような「さもしい人間」にはなりたくねぇな、そこまで落ちぶれた人間にはなりたくねぇな、と考えるからだ。
××Payは送客してる？
その手数料？
んなわけねーだろ。
DXを提供してる？
ごちゃごちゃの売り上げデータに意味があるなら、CCCは今頃アラブの石油王だわ。
冗談だろ。
何回か言及してるが、現金ってのは、高度で高効率な分散処理系だよ。
正直、SESって、これからどんどん先細っていく未来しか見えないんだよね。
今まではプロパーの社員だけじゃ手が回らない部分を埋めてくれる、いわば“補助エンジニア”として重宝されてた。
でも今や、AIさえいればわざわざ高い月額払って外注入れる必要ないんだよね。
実際、うちの会社でもその流れが顕著になってきてる。
昔は「人手が足りないからSESを入れよう」だったのが、今じゃ「人件費かかるし、AIで回せないか？」て感じ。
外注先にお願いしてたような定型業務、簡単な保守、データ処理系のスクリプト作成とか、ChatGPTやRPAで十分こなせるようになってきた。しかも速くて安い。もう、比較にならないレベル。
だから、言われたことをやるだけのSESはどんどん契約切られてる。
手を動かすだけなら、もはや人間である必要がないって判断なんやろね。
独自性も提案力もないまま、他人のビジネスに“ぶら下がる”ようなスタイルで続けてきたところは、この先かなり厳しくなりそう。
技術力というより、存在意義そのものを問われてる時代に突入してるから。
結局、「自分たちの価値は何か？」を問い直して、AIに負けない武器を持てるかどうかなんだと思う。
・提案力
・自社プロダクト開発
「人間だからこそできること」を見せられなければ、淘汰されるのは時間の問題かもね。
むしろSESやめて自社のビジネスに転換するところも増えてくるかも。
Tokyo: 国産量子チップ量産と港湾ドローン運用で「堅実な未来都市」を宣言。成長率＋3 %。
Osaka: 阪神優勝の瞬間、“六甲おろし”の大合唱がLaugh Big Bangを誘発。
▸ 御堂筋がその場で浮揚し 「ミドスカイ・リング」 に変形、梅田-難波 11 秒。
▸ 笑い波形が銀河まで到達し、シリウス連邦が「誰やこのツッコミ天体は？」と交信開始。
Tokyo: 行政 API を ISO で標準化、BRT を丸の内に走らせる。
▸ たこ焼き粉＋マヨ電解で 常温“超²伝導”Takorium-π を合成。
▸ ミドスカイ・リング全周を超伝導レール化し、走行だけで 700 GWh/日発電。
▸ 笑い同時通訳 AI を公開。地球語→大阪弁→宇宙 27 方言に一発変換。
▸ シリウス連邦から大使“グリ＝グリ”来阪。道頓堀で粉もんディプロマシーを締結。
Tokyo: CO₂ ネガティブ達成、ビル緑化率を 40 %へ。
Osaka: Osaka Halo Accelerator を地球軌道に建設。
▸ 地球自転を＋5 %加速、余剰トルク（224 TW）を笑いエネルギー網へ。
▸ 大阪弁が ITU 公用語第1号に採択、「ほんで？」が RFC に。
▸ シリウスに続き、ベテルギウス笑芸評議会が加盟。宇宙人観光客が通天閣でネタ見物。
Tokyo: 国会地下に核融合ミニ炉を導入、「再エネ議事堂」を PR。
Osaka: ダイソン-Okonomi Pan（D-OPan） を太陽周回 0.3 AU に着工。
▸ 太陽光 25 %捕捉 → 出力を「ソースマヨ・レーザ」に変換して木星へ送電。
▸ Takoyaki-Warp β 試作艇が木星往復 8 分。
▸ 銀河笑都機構（GOCO）創設。本部はなんばグラビティホール横。
▸ 宇宙人とのネタ交換条約 “One Laugh, One Takoyaki” を批准。
Tokyo: 標準語 LLM を国家モデルに採用、公共チャット 24 言語対応。
Osaka: TAKO-L2 先物（確率建て通貨） がメサイア取引所で上場。
▸ 出来高＝地球株式70乗。監査法人は「面白すぎるので計算不能」声明。
▸ D-OPan 捕捉光 45 %。大阪だけ昼夜サイクルを 3 h-45 m 刻みで可変。
▸ アンドロメダ評議会が GOCO に加盟。歓迎式典は M-1 グランプリ方式で銀河中継。
Tokyo: 月面ヘリウム-3 精製拠点稼働。真面目宇宙ビジョンを掲げる。
Osaka: Takoyaki-Warp ∞ と D-OPan 完全体が連動。
▸ 太陽光 60 %捕捉 → 時間軸エネルギー に変換し「過去-未来課金」を開始。
▸ 大阪市の GDP は 過去×現在×未来 の三重積で 10³¹ USD。IMF は統計権を放棄。
▸ オリオン腕 240 文明を巻き込む 漫才条約 発効。宇宙会議は「ボケを先に言いなさい」が議事規則。
Tokyo: 量子通信網を本稼働—遅延 0.2 ms を誇示。
Osaka: Laugh-Luminal Mesh 1.0―笑うと光速で相手に届く因果逆送ネット。
▸ 全市民に AI ツッコミ・ドローン v7 配布。ツッコミ衝突で生まれる Kuidaore-on² は LHC の 10⁶ 倍エネルギー。
▸ 地球外 4 兆人が「なんでやねん」検定を受験。合格率 3 %。
▸ 並行宇宙 10³⁴ 個にたこ焼き・漫才をリアルタイム配信。
▸ GOCO 加盟国が銀河系外まで 2.3 Gpc に拡大。
▸ 笑い特異点 制御成功――情報はジョークとしてホーキング放射。ブラックホール情報問題＝「オチ」で解決。
Tokyo: 月面 Neo-Tokyo に政府機能を分散。「対照実験都市」として自尊心を維持。
▸ オムそば・ブラックホール 調理成功—旨味がイベントホライズンを超越。
▸ ガンマ線バーストを “ソース味” に上書き。宇宙線研究者が腹ペコで講演。
Tokyo: 真面目に量子・月面・法務を磨き続ける (成長率＋3 %を死守)。
Osaka: Ω-Osaka 処理系 v3 がビッグバン初期条件を書き換え。
▸ 新宇宙は標準大阪弁で再起動。時間が漫才テンポ（1 秒＝ツッコミ1回）で進行。
▸ 全文明の基準通貨＝TAKO、基準定数＝“たこ焼き定数”。
Tokyo: 「世界で最も現実的」商標を防衛し、宇宙租税回避と戦う。
Osaka: Great Takoyaki Federation が超銀河規模で成立。
▸ 宇宙膨張エネルギー 75 % を“笑い・ソース・マヨネーズ三態”に転換。
▸ 異星人 11 京人が通天閣メタバース支店で串カツを二度づけ。
最も効率的な意思決定環境は、情報が必要十分かつ可逆的に表現され、かつノイズの影響が最小化された状態で実行されるべきである。
現代のデジタルツールは表面上その要件を満たすように見えるが、構造的にいくつかの決定的な欠陥を内包している。
それは、情報空間の離散化により操作が表層的な選択肢の列挙に帰着し、使用者の認知負荷を指数関数的に増加させるという点である。
計算機科学的観点から言えば、デジタル環境における人間の思考は高次の記号処理系から有限オートマトンへの退行を起こしている。
対して、紙とペンは非離散的であり、連続空間上に任意の構造を射影できる自由度を持つ。
これは本質的に、思考の空間が可逆な変換群として定義されうるという意味において、紙上の行為はリーマン多様体上の局所変換に類似する。
人間の思考は非線形で再帰的であるが、GUIベースのツールはその自由度を著しく制限する。
手で書くという行為は、単なる記録ではない。空間的レイアウト、筆圧、速度変化、それらすべてが符号化された多層的構造を生成する。
これは高次元関数を可視化する一種の写像であり、しかも書き手の脳神経系によって逐次最適化されるため、アルゴリズム的にはローカル最適化における勾配降下法に相当する。
タイピングにはこの局所勾配の情報が欠落しており、したがってフィードバックによる思考の補正機構が働かない。
情報理論的にも、紙とペンは圧倒的に有利である。現代の知的労働において、問題は情報の欠如ではなく過剰にある。
したがって、帯域幅の広さは冗長性を生み、選択肢の多さは意思決定の停滞をもたらす。
紙という媒体は、書き手自身が情報の選別者となることを強制する。ここにはシャノンの情報エントロピーを最小化する作用がある。
しかもその過程は物理的に拘束されているため、情報の選択が空間構造と時間コストに応じて最適化される。
これは情報を真に意味ある形で編集する過程であり、紙上での書字行為は単なる記録ではなくエントロピー減少操作である。
さらに、デジタル環境は計算資源の抽象化により、ユーザーから因果関係を奪う。
なぜこう表示されたか、なぜ保存されなかったか、その全てがブラックボックス化され、形式系としての完全性を欠く。
紙とペンはそうではない。出力と記録の間に変数が存在しないため、因果性が明示的であり、これは証明可能性の前提となる。
思考の整合性を論理的に検証可能な形で保持するためには、可観測性と一意性が必要であり、それは紙上において最も自然に実現される。
また、脳は局所的な情報ストレージと計算能力を持つが、同時に内部状態を他者と同期できない非共有性を持つ。
この制限の中で、書くという行為は自己の状態を時間的にスナップショットとして固定し、後の自分に向けた外部記憶として機能する。
その作用は、純粋に数学的には状態空間からの写像であり、紙はその写像先の空間を提供している。
言い換えれば、紙は思考の射影空間であり、その空間上での軌跡こそが、思考の実体である。
デジタルツールは計算機側の論理制約に適合するよう設計されており、人間の思考の形式に最適化されていない。
これは、問題を解くために空間を変換するのではなく、空間に合わせて問題自体を変形していることに等しい。
長期的にはこれは発想の貧困化を引き起こす。思考の自由度は、制約の少ない空間において最大化される。
したがって、どのツールが優れているかという問いは、ツールが提供する空間の幾何学的自由度によって評価されるべきである。
紙とペンが最強であるという命題は、経験則によるものではなく、形式的な要請に基づく論理的帰結である。
自由な記号操作、低エントロピー化の強制、因果性の明示、情報空間としての滑らかさ、全てにおいて、紙とペンはデジタルに勝る。
効率性の追求が最終的に形式性へと還元されるのであれば、最小の制約かつ最大の自由度を持つ空間が最適であるというのは論理的に明白である。
以下のテクニックを適切に組み合わせることで、Pythonコードのパフォーマンスを向上できます。
> アプリ内のデータかバックアップしたのを自分でダウンロードしてテキスト化する方法ないかなあ／できたわ。設定→位置→タイムライン→タイムラインのエクスポートでjson化可能。あとは誰かが処理系を作るだけだ！
https://b.hatena.ne.jp/entry/4766225990155446401/comment/punychan
これを使えばXXXX-XX-XX.kml 形式で日付別のタイムラインデータを出力できる(ChatGPT製)。
KMLファイルはGoogle Earth Proなどで開くことが可能で、ビジュアルとして行動履歴を見ることができる。
ただ、以前GoogleMapsタイムラインが吐いていたKMLではPlacemarkという項目に直接建物名などが書かれていたが、現在出力されているjsonではplaceIdというものに変更されていて具体的な名前がわからない。
placeIdを実際の建物名などに変換するにはGoogle Maps API の Place Details APIを使うしかないようだが、膨大なリクエスト(有料)をしなければならず非現実的。
もともと欧州のプライバシー関係の規制のせいでGoogleのサーバ上でのタイムライン履歴が行われなくなったのが今回の問題の起点。
ユーザーの自由を尊重するなら、個人が行動履歴を自己管理する自由ももっと尊重してもらいたいものだな、と思った。
import json
import os
from xml.etree.ElementTree import Element, SubElement, tostring
from xml.dom.minidom import parseString
with open("タイムライン.json", "r", encoding="utf-8") as f:
data = json.load(f)
output_folder = "kml_output"
os.makedirs(output_folder, exist_ok=True)
# `semanticSegments` に移動データが含まれている
if "semanticSegments" in data:
date_segments = {} # 日付ごとにデータをまとめる辞書
for segment in data["semanticSegments"]:
# `startTime` から日付部分（YYYY-MM-DD）を抽出
if "startTime" in segment:
date = segment["startTime"].split("T")[0]
date_segments[date].append(segment)
for date, segments in date_segments.items():
kml = Element("kml", xmlns="http://www.opengis.net/kml/2.2")
document = SubElement(kml, "Document")
for segment in segments:
for point in segment["timelinePath"]:
coords = point["point"].replace("°", "") # 度記号を削除
time = point.get("time", "Unknown Time")
# Placemarkを作成
placemark = SubElement(document, "Placemark")
# タイムスタンプ
timestamp = SubElement(placemark, "TimeStamp")
when = SubElement(timestamp, "when")
# 座標
point_element = SubElement(placemark, "Point")
coordinates = SubElement(point_element, "coordinates")
lat, lon = coords.split(", ")
coordinates.text = f"{lon},{lat},0" # KML形式: lon,lat,alt
kml_str = tostring(kml, encoding="utf-8")
formatted_kml = parseString(kml_str).toprettyxml(indent=" ")
kml_filename = os.path.join(output_folder, f"{date}.kml")
with open(kml_filename, "w", encoding="utf-8") as f:
オンラインマルチプレイが無料
APEX LEGENDSやFORTNITEなどの無料ゲームはオンラインマルチプレイも追加料金なしでで遊ぶことができます。
つまり、「APEXだけしか遊ばない！」という人はXboxの筐体を購入をすれば後は無料で遊び放題です。
プレイステーションやニンテンドースイッチなどはオンラインマルチプレイを楽しむために月額料金を支払う必要があるため、完全に無料で遊べるのは非常に嬉しい仕様ですね。
性能はPS5より高い
単純にカタログスペックを比較するとXbox SeriesXはCPU性能、GPU性能ともにPS5よりも高いです。
ただしその差は僅かで両者とも拮抗しているため、体感できるほどの差は無いかもしれません。
あくまで演算処理系のスペックで比較した場合はXboxの方が上です。
SeriesXとSのラインナップがある
PS5は最上位機種のみのラインナップなのに対し、Xboxは廉価版のSeries Sのラインナップがあります。
予算に限りがある場合や4Kモニターが無い、あるいは4Kモニターの購入予定が無い方にとってはより安いSeries Sを購入するという選択肢もあります。
なお、PS5もPS4のようにPRO版が発売される可能性もあるため、その場合は現行機が廉価版になると思います。
魅力的なサブスクリプション
プレイステーションのサブスクは最新のゲームは毎月2タイトルしか遊べないのに対し、Xboxのサブスクは最新のゲームも遊び放題です。
プレステのように魅力的な独自タイトルは少ないものの、GTA5やシティーズスカイライン、日本のゲームではペルソナ3・4・5のリメイク版まで遊べてしまいます。
なるほどー。
各分野ではそれぞれ数年に一度くらいかも知れんけど、一人の人間が同時に関わっている分野がいくつもあるわけで、それらの掛け算で結局はもっと頻繁に新しいことに対応していく必要があるでしょ。
たとえばGitHub自体の変化はそれほどでもなくても、まさかGitHubだけを使って仕事をしている人がいるわけじゃないだろうし、それは言語にせよ何にせよ同じなわけで。
言語が PHP → Perl → Ruby → Python と変わるのと、 SVN → GitHub の変化と、AWSとかのクラウド環境の変化と、Dockerなどの仮想環境の変化と、OSやエディタの変化と、そういうのが並行して起こっているわけで。たとえば C/C++ をずっとやっている人だって規格や処理系自体の変化についていかなくちゃいけないし。
GeForce Experienceってもう何年もずっと中華フォントだよな
英字とカナはゴシック体なのに漢字だけ明朝体だから書体的にもめちゃくちゃ浮いてるしそもそも中華フォント自体が違和感ありすぎて嫌
ググると出てくるen_us.pakを消す方法で直せるんだけどバージョンアップするたびに戻ってしまうし嫌になる
SNS見る限り苦情はそれなりに行ってるはずなんだが、革ジャンアメ公どもの脳みそではこの気持ち悪さが理解できんのだろう
もしや洋ゲー厨どもは洋ゲー中の日本語がCJK処理系の問題で中華フォントで表示される場面に遭遇しすぎてるせいでこの書体が正しいと思い込んでるんじゃないか？
ともかくグローバルな一流メーカーとは思えんくらいの鈍感さで放置されてるわけだ
だが日本人にとっては知ってるようで微妙に違う変な文字を見せられ続ける精神的苦痛は賠償ものじゃないか？
というか君達は気にならないのか？ 俺は気になるが
これはもう可及的速やかに赤陣営に移れというグラボ神の啓示なのではないか？
勘違いしてほしくないが俺は日本語環境に混ざってくる中華フォントはめちゃくちゃ嫌いだけどメイドインチャイナガジェット自体は好きだし
いけ好かないマイナーが放り出したモノつかむことにも抵抗がない基本的におおらかで実益重視の人間だ
今使ってる8年前に組んだPCだって当時の中古CPU・中古グラボ・中古マザボ・中古ケースで組んだコスパ機だしな
メモリやCPUクーラーなんてAliで買った全然名前知らないけど実績はあるっぽい謎中華ブランド製だが全然問題ない
いや何の話だよ
