
はてなキーワード:配列とは
Combined Adaptive Immune Mechanisms Mediate Cardiac Injury After COVID-19 Vaccination
Circulation Volume 152,Number 21
https://www.ahajournals.org/doi/10.1161/CIRCULATIONAHA.125.074644
本研究では、患者由来のT細胞が、心筋の自己タンパク質と相同性を有するワクチンコード由来スパイク蛋白エピトープを認識することを示した。これらのエピトープの一つは、心筋細胞に発現するK⁺チャネル由来のアミノ酸配列を模倣しており、マウスにおいて心筋症を誘導した。
Kv2に対する機能応答を解析したところ、mRNAワクチン接種後に心筋症を発症した患者では、COVID-19患者では認められない、心筋症マウスおよび自己免疫性心筋炎で観察されるものと類似したサイトカイン産生パターンの拡大が認められた。
さらに重要な点として、T細胞性自己免疫は心臓指向性(cardiotropic)を有するcMet(c-mesenchymal epithelialtransitionfactor)発現T細胞に選択的に集積し、cMet阻害により抑制されることが示された。これは、mRNAワクチン特有の体内分布によって許容される心臓ホーミングの刷り込み(homing imprinting)が、心筋症発症に必須であることを示唆している。
Circulation って米国心臓学会の超有名学術誌やん…
潮目変わったね
Permalink |記事への反応(12) | 16:27
LINEオープンチャット「はてなブックマーカー」の1週間分の要約を、さらにAIを使用し、試験的にまとめまています。
---
---
---
---
---
---
---
---
---
---
## 🧭 1週間分の総括
この1週間は、年末年始らしい生活実感・家族・食・地域の話題を土台に、
そこへ仕事観・物価・テクノロジー・国際情勢といった現代的テーマが重なる、
広がりのある会話が展開されました。
「個人的な雑談」と「社会への考察」が自然に共存するコミュニティの温度感が際立つ1週間でした。
https://anond.hatelabo.jp/20240722084249
採血用設備は電気式で、その制御もコンピューターで行われます。そのため献血バスには動力となるメインエンジンのほか、電気を供給するための発動発電機(エンジンを持った発電機)を搭載。また快適な車内環境を維持するため、冷房用エンジンも備わっています。
走行用のメインエンジンはディーゼルで、排気量は6,400cc。冷房用エンジンは小排気量のディーゼルです。共に軽油を使用します。発動発電機は動力に小排気量のガソリンエンジンを使用し、5000Wもの電力を発生させます。
燃料の異なるエンジンを搭載しているため、献血バスには軽油用とガソリン用、2つの給油口が付いています。
| 項目 | 諸元 |
|---|---|
| 総排気量 | 7,790cc (7.8 L) |
| シリンダー配列 | 水冷直列6気筒 |
| 最高出力 | 200〜300PS (150〜224 kW) 程度 |
| 最大トルク | 700〜980 N・m 程度 |
| 燃料噴射システム | 高圧電子制御コモンレール式直噴 |
| 過給機 | インタークーラー付きターボチャージャー |
| 弁機構 | SOHC24バルブ |
実用域でほぼフラットなトルク性能を発揮し、優れた経済性能と実用性を実現しています。
電子制御式コモンレールシステムやクールドEGR(排気再循環)などを採用し、排出ガス規制(新短期排出ガス規制など)に適合しています。
長距離輸送や高負荷用途に適した設計がされており、世界中の商用車や産業機械で広く利用されています。
PMキャタコンバータ(酸化触媒)などを採用し、PM(粒子状物質)の低減を図っています。
*ファーストブクマ潰しにブクマされて腹が立ったので再投稿して自分でファーストブクマしました。
野球・文明・エイリアンの最新話は遺伝子改変を行って異星人と人間との間に子供を設ける話である。
しかしながら異星人と(我々がイメージする)子供を作るのは恐ろしくハードルが高い。
・地球と異星において独立に生命が発生したと考えるとDNAを遺伝物質として使っているかどうかがまず疑問
・生命の発生は同一であるが単細胞生物の時代に分岐したとするとコドンテーブルがおそらく異なる
・それより後に分岐したとしても存在するパスウェイ存在しないパスウェイがあり何らかのコンフリクトが起きる
・染色体数が違うと空間的距離も問題になってエピゲノム関連因子あたりも改変しないといけないし、お互いの転写因子の結合配列に問題が無いか考えないといけないし・・・
それを共調させるために改変する遺伝子を考えると(宇宙の寿命尽きちゃわない?)、地球人由来の配列についても「自分と地球人である他人」より「自分と子供」の距離は遠くなるだろう。
それはもはや親の子ではなく改変装置の子となってしまうのではないだろうか。それでも「自分の子供」と考えられるのだろうか。
体を構成する元素が自分由来であるならば自分の子供であるという確信が持てるのかな?
それとも「自分の形質に似た形質が発現される自分の配列とは異なった配列」を作成し、導入して満足だろうか。
というわけで遺伝子に直接改変を加えてハイブリッド生物を生み出すという方法は除外しよう。
最も技術的に簡単なのは細胞そのものが各生物由来(もしくは両方の遺伝子を細胞に入れるが、一方の遺伝子は不活性化させる)であって、細胞のインタラクション部分に改変を加えることだろう。つまりはキメラを作る。皮膚は地球人、骨格はヤルル人のようなのでこの方法が取られた可能性が高い。
この方法であるとそれぞれの生物由来のゲノムは完全な親のクローンということになるな。
有性生物の多様性の実現においては生殖細胞の減数分裂が重要なのであるが、別生物由来の染色体同士が完全に分離していることが前提なので(組み替えるとシステムが破綻するので)、そういうことは起きない。つまりは孫の地球人部分もナナのクローンであろう。
二人の遺伝子は永遠に混ざることはない。とは言っても、地球人のある遺伝子がヤルル人のある遺伝子の作用を高める、と言ったバイアスがあればそれが適応度に反映されて「お互い不可欠な遺伝子」という制約が発生し、制約なくして個体が生存できないなら「混ざった」と表現しても良いだろう。
ヤルル人は多く地球人は少ない(ヤルル人の方が多様性が大きい)ので、いずれは地球人細胞をヤルル人細胞が取り込むことになっていくだろうな。
なんだか壮大な話になってきた。
とつらつら書いて見たが最後に読み返してみたら
「生物の設計図であるゲノム・・・人間とヤルルは驚くほど似ている」
とあった
PiggyBacは、遺伝学や分子生物学の分野で使われる特定の種類のトランスポゾン(transposon)の名前です。この場合、「PiggyBac」はDNAの「ジャンプする遺伝子」として知られ、ゲノム内でその位置を移動できる能力を持っています。
1. PiggyBacトランスポゾンとは
PiggyBacは、特に昆虫のゲノムで発見されたトランスポゾンの一種で、遺伝子の転送や遺伝子治療のツールとして広く使われています。もともとは、イモムシ(トウモロコシの害虫)などの昆虫から発見され、その後、哺乳類や他の生物に対する遺伝子操作技術でも利用されています。
2.トランスポゾンとは
トランスポゾン(transposon)は、自己複製できるDNAの断片で、ゲノム内で異なる位置に移動することができます。このプロセスを転座(transposition)と呼びます。トランスポゾンは、遺伝子の操作や遺伝子治療において非常に重要な役割を果たすことがあり、特に遺伝子導入や遺伝子編集に利用されます。
3. PiggyBacの特徴
1. 高効率な遺伝子導入: PiggyBacは、その高効率な遺伝子導入(遺伝子転送)能力によって注目されています。従来の方法と比べて、高い精度で遺伝子をターゲットの位置に挿入することができるため、遺伝子治療や細胞研究などで非常に有用です。
2. 広範な宿主細胞で使用可能: 他のトランスポゾンと比較して、PiggyBacは哺乳類細胞やヒト細胞でも効率的に使用できるため、医学や生物学研究の分野で非常に重要です。
4. PiggyBacトランスポゾンの応用
1.遺伝子治療: PiggyBacトランスポゾンは、治療目的で新しい遺伝子を患者の細胞に導入するために使用されています。特に、遺伝子を安定的に挿入できる能力が重要視されています。
2.遺伝子改変動物の作製: PiggyBacを用いることで、遺伝子改変動物(例えば、トランスジェニックマウス)を作製する際に使われます。
3.遺伝子発現の調整: PiggyBacトランスポゾンは、特定の遺伝子の発現を長期的に調整するためのツールとしても利用されています。
5.名前の由来
PiggyBacという名前は、このトランスポゾンが「ピギーバック」に似た形で、ゲノム内で他のDNAの上に乗っかるという性質に由来しています。具体的には、PiggyBacは特定のDNAの場所に移動する際に、特定の遺伝的な配列(「TIRs」:末端反復配列)を利用して移動するため、「ピギーバック」という名前が付けられました。
⸻
まとめ
PiggyBacは、トランスポゾンの一種であり、遺伝子転送や遺伝子治療の研究で重要な役割を果たしています。この名前は、DNAが「ピギーバック」で乗るように遺伝子を転送する特性に由来しています。遺伝学や分子生物学の分野での応用が進んでおり、遺伝子導入の効率を高めるための強力なツールとして広く使われています。
勝手ながら
// ==UserScript==// @nameはてな匿名ダイアリー特定ワード投稿非表示// @namespacehttp://tampermonkey.net/// @version 0.2// @description 本文に「dorawii」または「megalodon」が含まれる投稿を非表示にする// @matchhttps://anond.hatelabo.jp/*// @grant none// ==/UserScript==(function() { 'use strict';const POST_SELECTOR = '.body .section'; //非表示にしたいキーワードの配列constKEYWORDS = ['dorawii','megalodon','抽象数学','動画にしてみた','れめくん','自己放尿'];const posts = document.querySelectorAll(POST_SELECTOR); posts.forEach(post => {const textContent = post.textContent || post.innerText; // いずれかのキーワードが含まれているかチェック if (KEYWORDS.some(keyword => textContent.includes(keyword))) { post.style.display = 'none'; } });})();
anond:20251114170150 と連動させることを意図しています。
伝統的にはテーマ別(弦理論、量子重力、場の理論、応用)に配列されるが、抽象数学の観点からは対象(研究トピック)と射(方法・翻訳)の網として捉える方が有益。
ここでいう対象は「エントロピーと情報論的記述を担うブラックホール研究」「幾何学的・位相的構成を担うコンパクト化とカラビ・ヤウ/F-理論的話題」「場の対称性・一般化対称性を取り扱う場の理論的構造」「計算的探索手法(データ、機械学習を用いる弦景観の調査)」など。
各対象間の射は、双対性の導入、圏的な接続(例:量子情報を介した場と重力の橋渡し)、モジュライ空間上の写像(ある物理量を別の表現へ変換する手続き)と考えられる。
この視点に立てば、個々の研究は、局所的な結果(対象の内部構造の解析)とそれを別の対象へ移すための普遍射(双対性、再規格化群、ホログラフィーなど)の2つの側面を持つ。
研究の進展を測るには、単に新しい計算結果が出たかを見るだけでなく、それがどのような新しい射(方法論的翻訳)を導入し、他の対象へどれだけ容易に伝播できるかを評価するべき。
近年の発展は、物理的データを層(sheaf)的に整理する試みと親和性が強い。
コンパクト化、特にF-理論やゲージ束構成に関する議論は、物理的情報(荷、ゲージ群、モードの分布)を局所データと大域的データの重ね合わせとして扱うことに等しい。
これは数学的には基底空間上の層の圏を考えるような話で、局所的条件の整合性(コヒーレンス)と大域的制約(トポロジー的閉鎖条件)が鍵。
古典的な幾何的直観(多様体、ホモロジー)を拡張して非可換やカテゴリ化された対象で物理を再表現する流れにある。
結果として、従来のスペクトル(場のスペクトルや質量スペクトル)に対応する数学的不変量が、より高次の層的・圏的構造へと一般化されつつある。
これにより同じ物理現象を別の圏で見ると簡潔になる例が増え、研究の再利用性が高まっている。
弦理論・場の理論で繰り返し現れるのは対称性が構造を決めるという直観。
抽象数学では対称性は対象の自己射(自己同型)群として扱われるが、対称性そのものが射の層あるいは高次の射(2-射やn-射)として表現されるケースが増えている点が特に重要。
つまり、単に群が作用するのではなく、群の作用が変形可能であり、その変形がさらに別の構造を生む、という高次構造が物理的意味を持ち始めている。
この流れは一般化対称性やトポロジカル部位の議論と密接に結びつき、場の理論における選好位相的不変量を再解釈する手段を与える。
結果として、古典的なノーター対応(対称性⇄保存量)も、より高次の文脈で新しい不変量や保存則を導出するための起点になり得る。
ブラックホールと量子情報、カオス理論との接点は話題だった分野。
ホログラフィー(重力側と場の側の双対)を抽象的に言えば二つの圏を結ぶ双方向のファンクター(翻訳子)と見ることができる。
これにより、量子的冗長性やエントロピーに関する命題は、圏の間を行き交う射の情報(どの情報が保存され、どの情報が粗視化されるか)として扱える。
カオスとブラックホール、量子力学に関する概念の整理が試みられている。
たとえばブラックホールにおける情報再放出やスクランブリングは、ファンクターがどのように情報を混合(合成)するかという高次射の振る舞いとして可視化できる。
こうした議論は、従来の計算的アプローチと抽象的な圏的フレームワークの橋渡しを提供する。
何が低エネルギーで実現可能かを巡るスワンプランド問題は、いまや単一の反例探しや個別モデル構築の話ではなく、モジュライ空間の複雑性(位相的な目詰まり、非整合領域の広がり)として再定式化されつつある。
抽象数学的に言えば、可能な物理理論の集合は単なる集合ではなく、属性(スカラー場、ゲージ群、量子補正)を備えた層状モジュライ空間であり、その中に禁止領域が層的に存在するかどうかが問題。
この視点は、スワンプランド基準を局所的整合条件の族として扱い、整合性を満たすための可視化や近似アルゴリズムを数学的に定義することを促す。
弦景観やモデル空間での探索に機械学習やデータ解析を使う研究が増えているが、抽象数学に引き寄せると探索アルゴリズム自体を射として考えることが有用。
ある探索手続きがモジュライ空間上の点列を別の点列へ写すとき、その写像の安定性、合同類、収束性といった性質を圏的・位相的な不変量で評価できれば、アルゴリズム設計に新しい理論的指針がもたらされる。
数学的定式化(幾何・位相・圏論)と物理的直観(ブラックホール、カオス、場の動的挙動)をつなぐ学際的接合点を意図して設計される。
これは単一圏に物理を閉じ込めるのではなく、複数の圏をファンクターで結び、移り変わる問題に応じて最も適切な圏を選択する柔軟性を重視するアプローチ。
学術コミュニティのあり方に対するメタ的な批判や懸念も顕在化している。
外部の評論では、分野の方向性や成果の可視性について厳しい評価がなされることがあり、それは研究の評価軸(新知見の量・質・再利用可能性)を再考する契機になる。
見えてきたのは、個別のテクニカルな計算成果の蓄積と並んで、研究成果同士を結びつける翻訳子(ファンクター)としての方法論の重要性。
抽象数学的フレームワーク(圏、層、モジュライ的直観、高次射)は、これらの翻訳子を明示し、その普遍性と限界を評価する自然な言語を提供。
今後の進展を見極めるには、新しい計算結果がどのような普遍的射を生むか、あるいは従来の射をどのように一般化するかを追うことが、有益である。
自分がAIイラストを描くようになったのは、一昨年くらいからだ。
Stable Diffusionを使って、LoRAを追加して、ControlNetも入れて、MidjourneyやNovelAIも試した。
出力されるイラストを見る都度アートだと思っていたし、創造だと信じていた。
でもある日、ふと気づいた。
これ、突き詰めたら全部データじゃね?
じゃあ数字で絵って描けるんじゃね?
思ったら試したくなるタイプなんだ。
使ったのは HxD。
画像を開くと――
そこに出てくるのは、色でも形でも影でもなく、
とか、
でも調べると全部意味がある。
89 50 4E 47 →PNGのヘッダ
IEND → 終端
一個ずつ追っていくと、
全部、0と1の変換でしかない。
そこで、自分で書き換えてみた。
目の色を変えてみたい
すると、青い目がボルドーっぽい赤に変わった。
線画を太らせたい
コードだけでいく。
線が、太った。
ペンを使って描いたわけじゃない。
ブラシで塗ったわけでもない。
影を深くする
これだけで影が落ちる。
画像って「絵」じゃない。
それに
・ガンマ補正をかける
・ベクトル変換をする。
“色を塗っている”んじゃない。
そう気づいた瞬間から、絵を描くのが楽しくなった。
だって、ペンを握ってるんじゃなくて数学を握ってる感覚なんだ。
最近は好きな音楽をFFT解析して、その周波数スペクトルを画素に変換して、色を割り当てて絵を生成することもある。
だから今日も、ディスプレイの前でコードを走らせながら微笑んでる。
絵は美しい。
そしてそれよりも、数字は美しい。
// ==UserScript==
// @namespacehttp://tampermonkey.net/
// @version 0.2
// @description 本文に「dorawii」または「megalodon」が含まれる投稿を非表示にする
// @matchhttps://anond.hatelabo.jp/*
// @grant none
// ==/UserScript==
(function() {
'use strict';
const POST_SELECTOR = '.body .section';
constKEYWORDS = ['dorawii','megalodon','抽象数学','動画にしてみた','れめくん','自己放尿'];
const posts = document.querySelectorAll(POST_SELECTOR);
posts.forEach(post => {
const textContent = post.textContent || post.innerText;
if (KEYWORDS.some(keyword => textContent.includes(keyword))) {
post.style.display = 'none';
}
});
})();
セントアンドリュー・レルムには、できれば最後に訪れるのが望ましいです。
先にキュリーベイルで[射程強化]を、ジュールストンで[連結強化]を取得しておくと、セントアンドリューの各パズルの攻略がぐっと効率的になるからです。
機関車を動かしたり、貨車を連結したり切り離したり、通路を渡り歩いたりしながら屋上のゴール地点を目指します。
保管庫には3層4列の貯蔵庫があり、階段のところにあった見取り図のとおり左上からA1~C4の番号が振られています(ドアの内部にあるソケットに接続すると貯蔵庫の番号がわかります)。
保管庫を通って屋内に通り抜けられる構造ですが、一部はドアが閉まっていて屋内側からソケットで開けないと通ることができません。
丹念に歩き回ればすべてのドアを開放することもできますが、必ずしもそうする必要はありません。
ゴール地点はAフロアの一番奥にあるエレベーターですが、レールが破損しているためそのままでは到達することができません。
まずレールの修理を行い、そしてエレベーターに到達するのがこのパズルの目的です。
下でご案内するのは最短の手順ですが、条件によっては10~13 の手順が少し変わります。
1.貨車に乗り込み、床のソケットで貨車と機関車を連結します。
2. 前x2、上x1、前x1、上x1の順に移動します(Aフロアに到着します)。
4. 後x1。
5.最後尾の貨車からA4ドアに入り、通り抜けると階段があります。Cフロアまで降ります。
6.階段を降りた突き当りを右に進み、C4ドアを開放します(C1ドアを開放することもできますが後でも開く機会はあります)。
8. 上x1、後x2
9.最後尾の貨車を降り、はしごを昇るとクレーン車両が停まっています。
※この時、アジャンクトの[射程強化]と[連結強化]を取得済みであればこの車庫からの操作だけでクレーン車を行き止まりまで前進させることができます。まずクレーン車のソケットで行けるところまで前進させ、接続が切れたら今度は眼下の貨車のソケットを経由してクレーン車に接続してさらに前進させます。もし[射程強化]と[連結強化]のいずれかまたは両方を取得していない場合は、次の11~13 の工程を前後させながらクレーン車を行き止まりまで進めてください。
11.クレーン車を行き止まりまで進めたらモードを切り替えてフックを降ろします。破損箇所の修理が自動的に完了します。
15. 下x1
17.貨車と機関車を連結します。[貨車][機関車][貨車][貨車] という配列になります。
18. 上x2、前x2
アリババです。一ヶ月ほどインターン勤務を離れて充電してきたところ。
乃木坂(村を荒らしてきた46人の盗賊団)の首領Fidoに狙いを定めた。奴は俺の遣唐使生活を掻き乱した悪人だが、急がば回れ、ここで恩を売ってアピールしておくのだ。実はFidoは、村では変装して、零細の飛脚屋を営業している。白髪混じりの髭をツルツルに剃って、黒髪の鬘を被り、村では、寄付をしないケチな実業家として知られている。労働基準法もびっくりの二重賃金価格を設定して、人の移動から引越しまで、社員をこき使っているのだ。
さて、俺は大陸で禅の修行をしていたある日、「アールワン」と禅師が叫ぶのを聞いた。日本語でいうところの、「喝」と考えてもらっていい。その瞬間、俺は閃いてしまったのだ。これは、Fidoの運送業務の難題を解決する新規経路アルゴリズムの鍵となる可能性を秘めていた。そこで俺は、派遣末期にインディードをiPadで検索し、そこにしれっと出ていたFido飛脚屋に応募、いや正確には、なにくわぬ顔をしてFidoにコンタクトを取った。Fidoは、「どうしてもやりたい事が見つからなければうちに来てもいい」と言ってきた。勿論俺は、そんなチンケな飛脚屋で飼い殺しにされるつもりはなく、禅の公案を考えていた最中に浮かんだアイデアを試したいだけだ。
ところが生憎、Fidoは初め俺を奴の素晴らしいアイデアを証明するための突破口へと突撃させるポーン♟️として利用しようとした。俺は「毒蛇は急がない」というどこかの国の諺を知っていたので、殊勝顔で業務を遂行するフリをした。糸口としては面白いが、今俺が身を切る理由はどこにもないので、客観的に業務日誌を付けるよう心がけた。
遂に好機がやってきた。ある夏の日、最新の大陸の禅書に、アールワン(とはどこにも書いてなかったが)を売り込む口実を見つけたのだ。衒学的なFidoは、飛脚屋だが最新の禅書を揃えて並べるのを趣味としている。書物の配列に暗号を仕込んであるらしいのだが、俺の頭では解読できそうもない。
早速俺は、Fidoへの業務報告の機会にPRを始めた。「これは大陸の権威ある禅者が著したもので、このように言ってます。これが斯界の新潮流です。しかしながら、文脈Qで、世界でアールワンの謎に気づいているのは私だけです。これがうまくいけば、我が社の経路探索問題の解決に質的な飛躍が起きます。つまり、全ての道はローマに続くことが分かれば、飛脚は走るだけで良いのです」
その時、Fidoの眼が黒く光ったのを俺は見逃さなかった。これで我が社も一息つける、天下りのネタに使おう、そのために馬車馬となってもらおう、等々。大陸で孫子の兵法を学んだ俺は、学究心に溢れた修行僧のように見える目つきをして、このFidoの皮算用を逆に利用することにした。Fidoがこれを読んでヘソを曲げられても困るので、詳細は書かない。
必ず一年に一度、俺はなぜか無性にピザを食べたくなり、国際ピザシンジケートのホームページから、ピザ屋の広告を眺めた。すると、あら不思議、いつもその直後にFidoの魔の手が俺に迫ってきたため、その度に俺は比叡山延暦寺に身を匿ってもらわないとならなくなった。何度か、「本当に危ない目」に遭った。ちなみに、二度目の時だったかと思うが、事の直前に俺は紅葉を見に寺社に行ったのだが、ブリタニアのピザ屋の社員と思われる男が本邦の女性と秋を楽しむ名目で、俺の様子をそれとなく気にかけるのを見た。日本人の心性を探って日本進出への足掛かりとするなど、なかなか忍術兵法に熱心ではないか。能天気な俺は、自分がどんな目に遭うのかこれっぽっちも思い至らないので、そんな雑駁な感想になるのだ。
俺は着実に、飛脚屋最適経路問題を解決すべく新規アルゴリズム開発の歩を進めた。実を言うと、それはすでに出来上がっているのだが、Fidoが本来の盗賊稼業に忙しいので、いまだに実装されていない。世界の片隅でこっそり言おう、Fidoの飛脚屋が効率的な仕事をする時がもし来るとすれば、それは俺のお陰である。東洋の島国のローカルな飛脚屋の発明がインパクトをもつとは思わないが、未来の運輸業界の歴史家は、もしかしたら寛大にも俺にウインク😉をくれるかもしれない。
さて、国際ピザシンジケート及び我が国の検非違使がFidoへのラブコールを表明しているのは、周知の通りである。俺のような馬の骨はFidoのようにはモテないので、最新のピザを真っ先に試食できるFidoが羨ましくてたまらない。が、それはいい。
🇮🇱のピザ屋がFidoにピザをどうしても食べてもらいたいと熱心だったので、6月の広告を見た後、俺は間に立って青田買いを控える協定に合意してもらった。
🇺🇸のピザ屋は、ドンドンパチパチ薪が爆ぜる窯焼きピザを推しているようだ。
🇬🇧のピザ屋は最も狡くピザ販促において謀略を仕組み、また、村の井戸端に広告を出している。Fidoがこれまでピザを食べたことがなかったのは、村人(の言論活動)にもかなり責任があると俺は思うので、これから先、村人には文明開化の香りを堪能して欲しい。
俺は、Fidoの今後には二つのシナリオがあると思っている。二つ目は一つ目が起きない時で、あと20年、Fidoは俗界で過ごすだろう。一つ目は、あと5年俗界、その後5年ワンルーム(カーテンコール)。タイムスリップのキーとなるのは🇮🇱のピザ屋の動きだ。なぜなら、一番美味い😋との噂だからだ。
しかし俺は愛国者なので、検非違使が国際ピザ販売業務の統括か、自国のピザ販売をして欲しいと思う。
話はまだまだ続く
僕は木曜日の朝10時に、昨日(水曜日)の出来事を記録している。
朝の儀式はいつも通り分解可能な位相のように正確で、目覚めてからコーヒーを淹れるまでの操作は一切の可換性を許さない。
コーヒーを注ぐ手順は一種の群作用であって、器具の順序を入れ替えると結果が異なる。ルームメイトは朝食の皿を台所に残して出かけ、隣人は玄関先でいつもの微笑を投げかけるが、僕はそこに意味を見出そうとはしない。
友人二人とは夜に議論を交わした。彼らはいつも通り凡庸な経験則に頼るが、僕はそれをシグナルとノイズの分解として扱い、統計的に有意な部分だけを抽出する。
昨晩の中心は超弦理論に関する、かなり極端に抽象化した議論だった。僕は議論を、漸近的自由性や陽に書かれたラグランジアンから出発する代わりに、代数的・圏論的な位相幾何学の言葉で再構成した。
第一に、空間−時間背景を古典的なマンフォールドと見なすのではなく、∞-スタック(∞-stack)として扱い、その上の場のセクションがモノイド圏の対象として振る舞うという観点を導入した。
局所的な場作用素の代数は、従来の演算子代数(特にvon Neumann因子のタイプ分類)では捉えきれない高次的相互作用を持つため、因子化代数(factorization algebras)と導来代数幾何(derived algebraic geometry)の融合的言語を使って再記述する方が自然だと主張した。
これにより、弦のモードは単なる振動モードではなく、∞-圏における自然変換の族として表現され、双対性は単に物理量の再表現ではなく、ホモトピー的同値(homotopical equivalence)として扱われる。
さらに踏み込んで、僕は散逸しうるエネルギー流や界面効果を射影的モチーフ(projective motives)の外延として扱う仮説を提示した。
要するに、弦空間の局所構造はモチーフ的ホモトピー理論のファイバーとして復元できるかもしれない、という直感だ。
これをより形式的に述べると、弦場の状態空間はある種の導来圏(derived category)における可逆的自己同型の固定点集合と同値であり、これらの固定点は局所的な因子化ホモロジーを通じて計算可能である。
ただしここから先はかなり実験的で、既知の定理で保証されるものではない。
こうした再定式化は、物理的予測を即座に導くものではなく、言語を変えることで見えてくる構造的制約と分類問題を明確にすることを目的としている。
議論の途中で僕は、ある種の高次圏論的〈接続〉の不変量が、宇宙論的エントロピーの一側面を説明するのではないかと仮定したが、それは現時点では推論の枝の一本に過ぎない。
専門用語の集合(∞-圏、導来スキーム、因子化代数、von Neumann因子、AQFT的制約など)は、表層的には難解に見えるが、それぞれは明確な計算規則と変換法則を持っている点が重要だ。
僕はこうした抽象体系を鍛えることを、理論物理学における概念的清掃と呼んでいる。
日常についても触れておく。僕の朝の配置には位相的な不変量が埋め込まれている。椅子の角度、ノートパソコンのキーボード配列、ティーカップの向き、すべてが同相写像の下で保存されるべき量だと僕は考える。
隣人が鍵を落としたとき、僕はそれを拾って元の位置に戻すが、それは単なる親切心ではなく、系の秩序を保つための位相的補正である。
服を着替える順序は群作用に対応し、順序逆転は精神的な不快感を生じさせる。
ルームメイトが不可逆的な混乱を台所に残していると、僕はその破線を見つけて正規化する。
友人の一人は夜の研究会で新しいデッキ構築の確率的最適化について話していたが、僕はその確率遷移行列をスペクトル分解し、期待値と分散を明確に分離して提示した。
僕はふだんから、あらゆる趣味的活動をマルコフ過程や情報理論の枠組みで再解釈してしまう悪癖がある。
昨夜は対戦型カードのルールとインタラクションについても議論になった。
カード対戦におけるターンの構成や勝利条件、行動の順序といった基礎的仕様は、公式ルールブックや包括的規則に明確に定められており、例えばあるゲームではカードやパーツの状態を示すタップ/アンタップなどの操作が定式化されている(公式の包括規則でこれらの操作とそれに付随するステップが定義されている)。
僕はそれらを単純な操作列としてではなく、状態遷移系として表現し、スタックや応答の仕組みは可逆操作の非可換な合成として表現することを提案した。
実際の公式文書での定義を参照すると、タップとアンタップの基本的な説明やターンの段階が明らかにされている。
同様に、カード型対戦の別の主要系統では、プレイヤーのセットアップやドロー、行動の制約、そして賞品カードやノックアウトに基づく勝利条件が規定されている(公式ルールブック参照)。
僕はこれらを、戦略的決定が行なわれる「有限確率過程」として解析し、ナッシュ均衡的な構成を列挙する計算を試みた。
また、連載グラフィック作品について話題が及んだ。出版社の公式リリースや週次の刊行カレンダーを見れば、新刊や重要な事件がどう配置されているかは明確だ。
たとえば最近の週次リリース情報には新シリーズや重要な続刊が含まれていて、それらは物語のトーンやマーケティングの構造を読み解く手掛かりになる。
僕は物語的変動を頻度分析し、登場人物の出現頻度や相互作用のネットワークを解析して、有意なプロットポイントを予測する手法を示した。
夜遅く、友人たちは僕の提案する抽象化が読む側に何も還元しない玩具的言語遊びではないかと嘲笑したが、僕はそれを否定した。
抽象化とは情報の粗視化ではなく、対称性と保存則を露わにするための道具だ。
実際、位相的・圏論的表現は具体的計算を単に圧縮するだけでなく、異なる物理問題や戦略問題の間に自然な対応(functorial correspondence)を見出すための鍵を与える。
昨夜書き残したノートには、導来圏のある種の自己同型から生じる不変量を用いて、特定のゲーム的状況の最適戦略を分類するアルゴリズムスケッチが含まれている。
これを実装するにはまだ時間がかかるが、理論的な枠組みとしては整合性がある。
僕の関心は常に形式と実装の橋渡しにある。日常の儀式は形式の実験場であり、超弦理論の再定式化は理論の検算台だ。
隣人の小さな挨拶も、ルームメイトの不作法も、友人たちの軽口も、すべてが情報理論的に扱える符号であり、そこからノイズを取り除く作業が僕の幸福の一部だ。
午後には彼らとまた表面的には雑談をするだろうが、心の中ではいつものように位相写像と圏論的随伴関手の組を反芻しているに違いない。
プログラミングとは、勉強も運動もスマブラも下手なクソ隠キャ中学生が「俺もパソコン1台で凄い技術者になって…!」とワクワクしながら始めるものの思ったより普通に難しいし学校の試験で出たような知識要求されるしで3日で放り投げ、10数年後にnoteで「お前らは絶望的にプログラミングに向いてないからやめろ」なんて記事を書くだけのザコに成り下がる、夢と希望に溢れた技術である。
近年ではパソコンのスペックの上昇にともないできることも増え、どこのご家庭にもあるRTX2080で簡単にディープラーニングもできるようになった。Unityで3Dゲームをバリバリ動かしてもブルースクリーンは出ない。やっぱ世界を広げるのは小賢しい知恵よりもスペックの暴力だぜ。
開発環境や言語も選択肢豊富で、エディタもかつては有料クラスでも手に入らなかったような贅沢な機能が満載のものが出回っている。Eclipseとか今考えるとよくあんなので開発できてたな。
いまや小学生からおばあちゃんまでアプリ作りに熱中し、高校生はIoTとかやり始め、大学生は商業レベルか?ってレベルのものをネットで発表し、私はウェブアプリのスマホでのレイアウト崩れひとつすら直せず静かにエディタを閉じてnoteで過激タイトル記事を書いている。
掛け算に順序があると思っているような知能の下級雑用係(自分のことを教育専門職だと思い込んでいる)ですら「小学生にプログラミングを教えるぞ!」と意気込んでいる。やめろ。お前らには無理だ。無理だからマジでやめろ。考え直せ。無理だって。掛け算に順序つけないと相手に教えられないレベルのやつがプログラミング教えるのマジで無理だって。算数とは次元が違うって。「ピーチ姫いつも簡単に誘拐できるし今度はベヨネッタも誘拐してみるか」ぐらいの無謀さだって。やめとけ。マジでやめろ。
まあそんなこんなで入り口はめちゃくちゃ広く、入門するのはマリオカートより簡単である。話逸れるけどSwitchのマリオカート、運転アシスト機能ついて初心者でもコース完走できるようになったから心折れちゃった人ももう一度チャレンジしてみてね。
それとは特に関係ないんだけど、大学行ってた時ティーチングアシスタント(TA)っていう授業のお手伝いさせられたのよね。ちゃんとお金出るやつ。
学部の3年か4年から始まって、院の1年か2年までやってて、途中で休学挟んだから、ええと、あー、うん、数年間TAやってたんよ。数学とプログラミングのコマ。CとOctaveとかいうやつ。Cのほうは情報学科で、Octaveは違う学科。JavaとかC++のコマはTA入れさせてもらえなかった。
プログラミングの実習は週2コマ(連続)あって、情報学科なら必修科目。なのでサポートは相当手厚く、先生とTAが絶え間なく机間巡視し、わからないことがあればセンパイがなんでも答えてくれるというわけだ。授業外でもサポートはしており、わからなければ先生や研究室にいる学生に好きなだけ聞きにいっても良いということになっていた。必修だから落とされたら困るしな。
2コマだから3時間 * 15回で、45時間。そして私の時は2年まででC/C++/Javaと必修だった(今はなんの言語かは知らない)ので、その3倍、135時間は最低やることになる。プログラミング実習以外にもプログラミング触る授業多いから実際はもっと多い。宿題やる時間もあるので実際はもっともっと長くプログラミングに触れることになる。卒論書く時期に入ると、テーマによっては書く人はさらに書くので、もっともっともっともっと長い。
これだけ時間をかければほとんどの人がプログラミングできるように……ならない。むしろできない人の方が多い。なんで。why。教えて。
会社になるとさすがにプログラミングできるできないは死活問題である。
「今日から入ったxxでーす。業界未経験ですがよろしくおねがしまーす。さっそくなんですけどPythonのここわかんないんですけどどうすれば……あっそうすればいいんですね。次はここなんですけど……なるほど!ありがとうございます。じゃあまた明日ー」
いやー社会人にもなると熱意が違うね。学生なんかわかんなくてもほとんど聞きに来ないのにな。こりゃガンガン伸びますわ。私も社会人1年生でPythonなんて3秒ぐらいしか触ったことないから適当答えてるけど。
「ちょっとお時間よろしいですか?」「いやちょっと今忙しいから後になっちゃいますわ。すんません……」
そんなこんなで1週間ぐらい放置してしまった。やべー絶対嫌われる。どこまで進んだかな……?えっまだそこ?進んでなくない?
もしかしてこれ全部教えないとダメなやつか。そりゃ大学4年間プログラミングやったやつでもプログラミングできないんだから、そうか。よく考えると当たり前だよな。
プログラミングをやめろ
大学4年間と大学院2年間プログラミングやったやつでもできないし、会社で毎日8時間を数週間プログラミングについやしてもできないやつはできないし、そもそも人類というのはプログラミングできない可能性がある。
少年少女たちに「プログラミングはいいぞ!自由にものが作れて達成感がある!頭が良くなった気分にもなれるし!」と吹聴してまわんのもいいけど、6年間情報科学について勉強したようなやつの大半がプログラミングできないんですよ。それもごくごく初歩的な部分。
野球とかサッカーなら、まあ友達との試合には参加できなくてもごく稀にバットにボールを当てたり、ボールを1回あらぬ方向に蹴ったり、ぶっちゃけ周りとのレベル差で楽しくなくてすぐやめちゃうだろうけど、なんとか基礎の一部ぐらいはできるじゃないですか。
ピアノとかダンスでも、猫踏んじゃったをごくごくゆっくり弾くぐらいはできるかもしんないし、学芸会の振り付けを10秒ぐらいは踊れたりできるかもしれない。その後やっぱ周りのレベル見て諦めちゃうかもしんないけどさ。
プログラミング、6年やってミットを頭にかぶってるバッターとか、鍵盤蓋の上から殴って音鳴らそうとするやつとか、まずそういうレベルのやつが大量発生するんですよ。だいたい7割ぐらいの率。どうすんだよこいつら。私の教育の問題か?マジで?本当に?
プロが練って考えて凝縮した本や授業、センパイたちによる指導。それらを結集して得られるはずのものが7割ぐらいどっかに消し飛んでる。無駄だろこれ。
今からプログラミングやろうとしてるやつ、お前は確実に向いてないからさっさと諦めて刺身にタンポポ乗せる仕事に戻ってくれ。参加しても鍵盤蓋叩き割るやつと同じ病室に入るだけだ。
プログラミングをやめろ。
ぼくはこう思うんですよ
そもそもなんで大の大人がそんな両手にバット持ってセカンドに立ったりゴールの方をボールのところまで動かす奇行に走るんだろうな。わかんねえや。
綺麗な分析はできないけど、いわゆる「できない」やつが共通して言ってたフレーズがある。
「ぼくはxxxだと思ってるんですけど、動かないんですよ」
うん、そうだね。そう思うんだ。でも動いてないじゃん。じゃあ違うんじゃない?モニターに「にらみつける」やってもバグは取れないし防御力下がるだけだぞ。
まず根本的に考えと事実が違ってるって結果出てるじゃん。じゃあもう考え変えちゃえば早くない?
名言の引用は好きではないけど、「プログラムは思った通りには動かない。書いた通りに動く」って言葉がある。実に名言だと思う。次点で好きなのが「ある問題を解決しようと正規表現を使うと問題が2つに増える」かな。
お前が何を思っているかはプログラミングにおいて一切影響しないんだよ。お前が何を書いて、コンピュータがどう処理したか、それが全て。
深く考えないことについてぎゃーぎゃーいうやつもいるけどプログラムなんてまず最初は動けばいいんだから何も考えずに次試せばいいだろ。んで3回ぐらいは自分で思い浮かんだの試して、全部ダメだったら調べるとか先生に聞いてみるとかさ。逆に1発で通ったら自分の思考見直して理解深めるとかさ。
ドキュメントとかあんまり理解できない初心者のうちは、とにかくお試しと修正のサイクル回すの重要で、「これがこうだから動くはず」というカードを3種類ぐらい作って全部片っ端から試すのが早いと思うよ。モニターをにらみつけるな。
お前がどう思ってるかよりも、まずはお前の書いたプログラムがどう動いているか(どう動いていないか)を確認するのが先だ。動かなかったら考えが違う、はい次のプラン、はいその次のプラン、はい次。
この「ぼくはこう思ってる」が出てくるの、なんの教育の成果なんだろうね。お前の気持ちなんてどうでもいいって現国でも数学で散々教えられただろ。
Error: variable 'a'is undefined,line24
↑のエラーは架空のエラー文(英語下手でも許して)だけど、エラー、出るよね。プログラム組んでたら。んでやっぱいるのよ。エラーを「にらみつける」やつ。解決しねえって言ってんだろ。
「エラー出たんですけど、どうすればいいんですか」
「エラーにはプログラムがなぜコンパイル通らないかの原因がそのまま書かれている。例えば今出ているError: variable 'a'is undefined,line24は、24行目の変数aが未定義ということを示している。事前に変数aを定義していないか、打ち間違えてsになっているとかではないのかな?」
だいたいが「腑に落ちねぇー」みたいな顔する。まあ、一気に喋りすぎたしな。疑問点1個1個潰していくか。
「何か疑問点ありそう?変数ってなにー、とか、定義ってなにー、とか」「ないです。わかりました!」
わかったのか。よかった。またモニターをにらみつける開始。なんでだよ!!!!「お前顔にチョコついてるぞ」って言われたらチョコ拭き取るだろ。変数aが未定義ですねって言われたら変数a定義すりゃいいだろ。
でもプログラミングド下手なやつ(全人類の7割ぐらい)は、エラーをにらみつけてる。ずっとにらみつけてる。防御力下限まで下がったかな。にらみつけてて何が変わるんだよ。
「英語読めなくて……」
いや「ais undefined」なんて「HeisSuperman」ぐらいの英語だろなんで読めないんだよ。お前この大学どうやって入ったんだよ。たしかどの入試方式でも英語あっただろ。単語わからんかったらググれ。
「aが未定義って書いてあるんですけど、ここのfor文の私の考えが間違ってるのでしょうか」
いや24行目のaって書いてるだろ。まずなんでそこ無視するんだよ。お前がfor文で使ってんの教科書通りのiだろ。24行目ってわかるか?for文あるの40行目あたりだよな?aとiが違う文字ってわかるか?
「さっきのエラー直したら新しいエラーが出たんですけど、どうすればいいですか」
千尋!贅沢な名だねえ
変数に名前をつけろ。関数に名前をつけろ。クラスに名前をつけろ。全てに名前をつけろ。
C言語の古い教科書だと「a」とか「b」とか「i」とかで書いてるけど、そんなの人間が読めるわけねえだろ。冷静に考えろ。「input」「output」「index」とかにしとけ。
2重for文の変数名i, jにしたら絶対途中で打ち間違えるだろ。お前は打ち間違える。そういうやつだ。2重ループなんてどうせ行列計算の課題だろ。rowとcolumnにしとけ。これで打ち間違っても気づくし、それぞれに意味が付いてくる。
ちなみに同じ長い名前にも優劣がある。「result」よりも「sum」のほうが強い。「result」はなんの結果かわからない(全ては結果であるので)が「sum」は合計値であることがわかるからだ。「password」と「plainPassword」なら「plainPassword」が勝つ。暗号化されていないパスワードであることがわかるので、情報量が多いからだ。
ただし例外はいくつかある。「tmp」は一時変数であることが(プログラマにとって)明らかだ。「dir」はディレクトリであることがわかる。「src」「dist」あたりもよく使われる。このあたりは短くていいんじゃねーかな。
でも、この前温度センサ扱うプロジェクトで「tmp」って変数名使って温度(temperature)と脳内で混線してバグって発狂してた同僚いたけど。そういうときは名前長くするか別の名前使おうな。
関数の名前なんて「calcAverageFromArray」ぐらい長くしていいから。「myFunc」とかしなくていいから。「fetchJsonDataFromUniversityInternalServer」とかでいいから。マジで。いやこれ本当に。
そもそも今時ディスプレイでかいし、識別子なんて先頭数文字打ったらエディタが補完してくれるし、短くするメリットがない。
それでも名前が長いと感じる?関数がでかすぎるんじゃないか。細かく処理を分けるとかしてみろ。「combineArrayAndFindMax」関数は「combineArray」と「findMax」に分割したらいいと思うぞ。名前が長いと思っても名前を削るな、機能を分割しろ。自然と名前が短くなる。
それかシンプルでかっこいい名前を見つける。「convertEvilHtmlToPeacefulText」は「sanitize」に置き換えることができる。イカす名前だ。
プログラミングできない奴はマジでこれらのことをやらない。ずっとaとかbとかzとか使ってる。お前それ自分で読めんのか。読めねえだろ。myfuncってなんだよ何するんだよ。お前自分で理解できてんのかそれ。
それでも頑なにaとかbとか使う。なんでだよ。
動作原理わからず書き散らすな。動作原理っつってもそんな深いところじゃなくて言語表面上レベルの動作な。
リテラルは値を作成して、代入は値に名前をつけている、とかその程度のレイヤー。メモリがどうこうとかはいらんと思う。あっでもポインタのときはいるか……。めんどくせえな。
まあ動作原理っていうか自分が何やってんのか理解してくれって程度の話になるんだが。
例えばfor文で処理50回まわすとき、「50回分の処理を行なっている」ではなく「ループ開始時に変数を初期化。条件判定して成立していれば文の中を実行する。条件変数の値を変化させてまた条件判定からやり直す」ぐらいの粒度で捉えててほしいかな、という気持ち。
これはfor文で詰まる人がやたら多かったからだ。彼らはfor文をアトミックな操作だと思っていた。つまりfor文はひとまとまりの命令であり、長いfor文とprintfの間に粒度の違いはないと思っていたらしい。
つまり、「for文の中でエラーが起こる」という事象がほぼ理解できない。forはアトミックであり、内部など見えないのだから。じゃあお前が今書いたfor文の中身はなんなんだってやんわり聞くと「さあ…?」みたいな反応が返ってくる。はあ。
関数についてもなかなか誤解が多かった。関数「sum_array(a, b)」と関数「average_three_numbers(a, b, c)」は全く別の原理で動いているのだと。ここでの「全く別の原理」というのはシグネチャが違うとか実装が異なるとかそういう意味ではなく、コーラを飲んでゲップが出る原理と糸電話で声が伝わる原理ぐらいの全くの別、という意味である。
彼らは関数ひとつひとつについて「新しく原理を学習」していたのだ。マジかよ……。どうやったらそんな発想に行き着くんだろう。そりゃ時間かかるわな。
そのため、関数が値を返す(または返さない)ということも理解できておらず、「関数の戻り値と関数の戻り値を足す」とか「関数の引数に関数の戻り値を直接渡す」とかやりだすと大パニックになる。メソッドチェーンとかやった日には大学潰れると思う。ただ、これはC言語が悪い部分もあると思う。配列とかいじりだすと、初心者が書けるレベルの関数だとあんまり値返さないしな。
たのむ、他のはできなくてもこれはできてほしい。自分が何をやりたいのかは理解してほしい。流石にお前のやりたいことなんて他人にはわからんぞ。
「配列の中の数値の合計値を求めたいんです」とか「名前と身長と体重をひとつにまとめた構造体が作りたいんです」とか。簡単なのでいいから。
「いま何やろうとしてどこで詰まってる?」って聞いても「……?」みたいな反応されたら困るんだよ。
例えば「キーボードから数値を10回入力し、それぞれの値を配列に格納して、最後に配列の値を逆順に表示せよ」みたいな問題が出てきたときに、「キーボードから値を入力する」「10回繰り返す」「配列に値を格納する」「配列の値を逆順に表示する」に分解できると思うんだけど、自分が何やりたいのかわからない奴はまずこれができない。
彼らには「キーボードカラスウチヲジュッカイニュウリョクシソレゾレヲハイレツニニュウリョクシテサイゴニハイレツノアタイヲギャクジュンニヒョウジセヨ」に見えている。
かろうじて「キーボード」「ハイレツ」あたりの単語は拾えるらしく、標準入力から値とったり配列を作ったりはしてるんだけど、そこから先に進まない。モニターにらみつけてる。またにらみつけるかよ。
あれだ、算数の文章題できなくてとにかく文章に出てくる数値足したり引いたりするやつ。あれのプログラミング版。文章が読めない。
こういう人にはメモ用紙取り出して、まず文章が何について言ってるのか、どういう工程に分けることができるのか、今後も同じことが起こったときにどうやって分けるのか。みたいなのを教えるんだけど、大抵あんまりしっくりこないらしく、成功したことは皆無。なんとかうまく教えたいんだが。
もうこのあたりになってくるとプログラミング関係なくね……?ってなるんだけど、意外とそういうプログラミング関係ないところで詰まる人めちゃくちゃ多いよ。
今すぐプログラミングをやめろ
Q.
生成AIにソフトウェア開発を支援してもらう場合、ソースコードの作成を依頼する形式が多いと思いますが、実行ファイルを直接出力してもらうことも技術的には可能なのでしょうか?
A.
生成AIによる実行ファイルの直接出力は、技術的には極めて困難です。現在のLLM(大規模言語モデル)ベースの生成AIは、ソースコードの生成には向いていますが、実行可能なバイナリファイルを直接出力することには根本的な制約があります。
技術的な制約
LLMはテキストベースのトークン処理を基本とする設計であり、バイナリデータを直接扱うことができません。実行ファイルは0と1の連続したバイナリコードですが、LLMはこの形式でデータを生成するようには訓練されていないため、バイナリファイルを直接出力することは現在のアーキテクチャでは実現が困難です。
従来のソフトウェア開発では、ソースコード→コンパイル→アセンブル→リンクという複数段階のプロセスを経て実行ファイルが生成されます。各段階で最適化や機械語への変換が行われるため、この過程を完全に省略してAIが直接バイナリを生成することは技術的に非常に複雑です。
研究レベルでは、バイナリデータを扱う試みも存在します。例えば、LLM4Decompileのような研究プロジェクトでは、バイナリコードを逆コンパイルする際にバイナリを一度アセンブリ言語に変換してからLLMで処理しています。逆に言えば、生成時も同様の変換プロセスが必要になると考えられます。
実務では、生成AIにソースコードを作成してもらい、それを従来のコンパイラやビルドツールで実行ファイルに変換する方式が標準的です。この方法であれば、デバッグやテストも容易で、生成されたコードの品質を確認しながら開発を進められます。
なお、フォントファイルのようなバイナリ形式でもオープンソースとして扱われる例はありますが、これはフォントという特定用途の場合であり、汎用的な実行ファイル生成とは異なります。
Q.
A.
おっしゃる通り、画像生成AIもバイナリを出力しているという点では共通していますが、実は根本的に異なる仕組みで動作しています。
アーキテクチャの違い
画像生成AIは拡散モデル(DiffusionModel)やGANなど、視覚データに最適化された専用のアーキテクチャを使用しています。一方、LLMはTransformerベースのテキスト処理に特化した構造を持っています。画像生成では、ノイズから段階的に画像を生成するプロセスを経て、最終的にピクセル値という数値データ(バイナリ)を出力します。
画像ファイルのバイナリは連続的な数値(ピクセル値)の集合であり、各ピクセルが色情報を持つという規則的な構造です。最近の研究では、画像をビットプレーン(bit-plane)として扱い、XOR演算でノイズを加えるBinary Diffusion ProbabilisticModel(BDPM)のような手法も開発されています。
対して、実行ファイルのバイナリは機械語命令の複雑な配列であり、CPUが直接実行できる命令コード、データセクション、リンク情報などが厳密な形式で配置されています。わずかなビット誤りでもプログラムが動作しなくなるため、画像のような連続値とは性質が大きく異なります。
画像生成AIは、ImageNetやLAIONなどの大量の画像データセットで訓練されており、ピクセルパターンを学習します。一方、実行ファイルを生成するには、コンパイルプロセス全体(構文解析、最適化、機械語変換、リンク)を学習する必要がありますが、これは単純なパターン学習では実現できません。
したがって、画像生成AIが成功しているのは、画像という特定のドメインに特化した設計と、規則的なデータ構造があるためであり、同じ手法を実行ファイル生成に適用することは技術的に非常に困難です。
増田さん。結論からね…大筋では「超過密ゆえの“比較圧”と“在庫奴隷化”が濃く出てる症状」だと思う…でも、過密だけが犯人ではないのも冷静に置いとこ…私、低空ボイスで整理するね…💗💗ふふっ、光ってるね…このテーマ…💗💗
→この一連、「見られ地獄圧」って呼ぶよ💗💗
性差別・ハラスメント・入試枠の歪みは構造問題。密度が“増幅器”にはなるけど、原因そのものではないものも混ざってる…💗
「全部男のせい」って一般化は、気持ちの安全弁としては分かるけど、解決の照準がズレる危険。責める対象は“性別”じゃなく行為・制度・権力配置にしよう…ね…💗(ここは譲れない大事な線💗)
---
前提:過密都市(都雇圏111万人以上)には必ず難点がある。だから“適密”側(50〜110万人)に寄せる工夫が効くよ…💗
適密の中心部は用事が“収束”する構造(市役所・バスターミナル・百貨店・美術館・図書館・病院・商店街が1.5km内に密集)。だからこそ“歩ける円”がほんとうに完結するの…💗
具体:①中心の3核(行政・交通・百貨店/商店街)を地図にピン
→②3核間を徒歩でつないで“日常導線”を作図
→③朝ラッシュにバス/市電50本/時クラスの幹線を“緊急移動の保険”に設定(※乗らない日が多いのが正解)
週末試住のコツ:朝7–9時に“出勤シミュ”徒歩
→ 適密は“徒歩でぜんぶ足りる”から、比較圧より生活の手応えが勝つ…💗💗
適密は商店街・市場・直売所が徒歩圏で小分けに強い。さらに市民館の調理室・シェアキッチンが点在。だから“鍋一つ固定”が本当に回る…💗
仕組み:
“並べ練習”は週1でOK(シャインマスカットは3-5-3配列)。商店街だと“必要粒数だけ”買えるから練習コストが軽い。
→ 適密の流通は“家の冷蔵庫を膨らませずに旨さを積む”動脈。雑うま動脈…💗💗
適密の良さは人が多すぎず少なすぎず、同じ人と自然に何度も再会できること。ランキング勝負が溶け、温度が上がる…💗
設計:
定位置を3つ(図書館読書会/カルチャー教室/コワーキングの昼枠など)
半径1.5kmの中で曜日固定→顔→挨拶→雑談→小コラボの自然階段が起きる。
→ つまり、再会確率場。適密は“会えば終わり”じゃなく“また会える”が初期設定。**恋温化(れんおんか)**が進む…💗💗💗
適密は長文の器が徒歩圏に揃う(郷土資料室・常設展・ギャラリートーク・市民講座・地域FM・小劇場)。スクロール断食のぶん、街の物語を吸う…💗
置換メニュー(1日1枠):
公民館の90分講座
→ いわば、比較遮断膜。適密の“物語密度”がSNSの“映え密度”を中和…💗💗
適密は中心住まいのコストが“現実的”。だから貯金の一部を時間へ両替できる…💗
予算の器:①家(中心徒歩10分/小さめ)②学び(市民講座・カルチャー)③文化(美術館・ホールのパス)④人(コワーキング/サロンの月会費)⑤余白。
週の骨組み:
→ 必殺・時間両替術。適密は“乗物0生活”で浮いた移動コストが、そのまま自分の筋肉(生活力)になる…💗💗💗
適密は歩くと“成果”が目に見える(買えた・会えた・終えた)。自己評価を“街の出来事語”に言い換えると、行動燃料が戻る…💗
変換例: