tim_hilton

2014年からコーダー
ScalaとRustを勉強中
弐寺万年六段

[tiki @tikisan_kosen]

なんと、正規表現が使えるデスノート

[Hideyuki Tanaka @tanakh]

LLMがここ数年で著しく性能向上したとて、私のプログラミング言語に対する考え方が変わるには至っていない。プログラムというのは理屈として無限にスケールするものであり、それを制限しているものは、複雑性の指数的爆発であったり、それに伴う正しさの保証の原理的な困難さとかだったりするはず。それを克服する術は、プログラムを対象とした数学にあるはずであり、それはピュアに論理学的な話になるはず。たとえば、太平洋を横断する橋を建築することとか、無限に高いビルだとか、そういうものを建築するのは物理という枷があるけど、ソフトウェアにそういうものはないはずだし、そういうメタファーに相当するものが本質的には実現可能だと思っている。そこに来てLLMがコード書くからアセンブリでいいよ？バカも休み休み言ってくれという。アーキと計算モデルを分離できるからソフトウェアには可能性があるんだよ。

[講談社サイエンティフィク🖋️📔 @kspub_kodansha]

【もくじ　全21章】
第1章　古典力学からの準備
1.1　ニュートン力学
1.1.1　1次元の運動方程式
1.1.2　3次元への拡張
1.1.3　複数粒子への拡張と作用・反作用の法則
1.1.4　運動量保存則
1.1.5　運動エネルギーの変化と仕事
1.1.6　全微分と偏微分
1.1.7　アインシュタインの縮約
1.1.8　保存力と力学的エネルギー保存則
1.2　ハミルトン形式の古典力学
1.2.1　ハミルトニアン
1.2.2　ポアソン括弧と正準変数
1.2.3　力学が正準変数で表されることの強み
1.3　ラグランジュ形式の古典力学
1.3.1　ラグランジアンとルジャンドル変換
1.3.2　オイラー・ラグランジュ方程式
1.4　停留作用の原理

第2章　線形代数からの準備
2.1　ベクトルとベクトル空間
2.1.1　抽象的な意味でのベクトル
2.1.2　ブラケット記号と複素ベクトル
2.1.3　ベクトル空間の基底と次元
2.1.4　内積とベクトルの長さ
2.1.5　共役ベクトルとしてのブラベクトルとエルミート共役
2.1.6　ベクトルの直交性と正規直交基底
2.2　線形演算子
2.2.1　線形演算子とその表現としての行列
2.2.2　線形演算子のブラケットによる表示
2.2.3　演算子のエルミート共役とエルミート演算子
2.2.4　線形演算子の非可換性と交換子
2.2.5　ユニタリー演算子とユニタリー行列
2.2.6　基底の入れ替えによるベクトル・行列の変換
2.2.7　実ベクトル空間の共役、対称行列、直交行列
2.3　固有値と固有ベクトル
2.3.1　固有値と特性方程式
2.3.2　エルミート演算子の固有値と固有ベクトル
2.3.3　エルミート演算子の同時対角化と交換子
2.4　エルミート演算子と確率
2.5　【コラム】無限次元ヒルベルト空間

第3章　量子力学からの準備
3.1　量子という必然　～古典力学の大前提の破綻～
3.2　ベクトルと位置演算子による量子の記述
3.2.1　重ね合わせの原理とベクトルとしての量子状態
3.2.2　位置演算子とその固有ベクトル　～ディラックのデルタ関数～
3.2.3　状態ベクトルと位置演算子の位置表示
3.2.4　状態ベクトルの確率解釈と位相
3.3　量子の運動学　～量子の表し方～
3.3.1　正準交換関係と運動量演算子
3.3.2　位置と運動量の不確定性
3.3.3　運動量演算子の位置表示
3.3.4　運動量演算子の固有ベクトル
3.3.5　フーリエ変換とその意味
3.3.6　一般的な物理量とその確率解釈
3.3.7　量子力学における【物体の状態】
3.4　量子の力学 (1)　～ハイゼンベルク描像～
3.4.1　ハミルトニアン演算子
3.4.2　ハイゼンベルク方程式
3.4.3　確率の時間変化
3.5　時間発展演算子
3.5.1　時間発展演算子
3.5.2　時間発展演算子と位置の固有ベクトルの関係
3.6　量子の力学 (2)　～シュレディンガー描像～
3.6.1　シュレディンガー描像
3.6.2　確率の保存
3.6.3　シュレディンガー方程式

第4章　経路積分による量子力学
4.1　時間発展演算子と遷移振幅
4.2　遷移振幅の経路積分表示
4.3　経路積分の物理的な意味と古典極限
4.4　n点関数と時間順序積
4.5　初期状態と終状態の指定
4.6　多粒子系の経路積分

第5章　多粒子系の量子力学と生成消滅演算子
5.1　1粒子状態と1粒子ハミルトニアン
5.2　多粒子の状態ベクトル
5.3　ボゾンとフェルミオン
5.4　多粒子状態の状態数表示
5.4.1　ボゾンの状態数表示
5.4.2　フェルミオンの状態数表示
5.5　生成消滅演算子によるボゾンの多粒子状態
5.5.1　生成消滅演算子ふたたび
5.5.2　生成消滅演算子によるボゾンの状態数表示
5.5.3　ハミルトニアンの生成消滅演算子による表示
5.6　生成消滅演算子によるフェルミオンの多粒子状態
5.6.1　生成消滅演算子
5.6.2　生成消滅演算子によるフェルミオンの状態数表示
5.6.3　ハミルトニアンの生成消滅演算子による表示

第6章　特殊相対性理論からの準備
6.1　光速度不変の原理
6.2　ローレンツ変換
6.3　4次元時空とローレンツ共変性
6.3.1　4次元表記へ
6.3.2　4次元ミンコフスキー時空
6.3.3　上付き添字ベクトルと下付き添字ベクトル
6.3.4　反変ベクトルと共変ベクトル
6.3.5　反変テンソル・共変テンソル・混合テンソル
6.3.6　ローレンツ不変量と縮約による階数の変化
6.3.7　時間的領域・空間的領域・光的領域と固有時間
6.4　特殊相対性理論が予言する物理
6.4.1　固有時間と4元速度
6.4.2　時間の遅れとローレンツ収縮
6.4.3　速度の合成
6.4.4　4元運動量とエネルギー
6.4.5　特殊相対性理論の運動方程式
6.4.6　エネルギー・運動量保存則
6.4.7　静止質量と物体の速度

第7章　量子の散乱現象
7.1　散乱現象と「みる」ということ
7.2　量子の散乱現象の概観とS行列
7.3　相対論的な自由粒子
7.3.1　運動量固有状態のローレンツ変換
7.3.2　相対論的な自由粒子
7.4　S行列と散乱断面積
7.4.1　散乱断面積と微分断面積
7.4.2　ローレンツ不変な散乱断面積
7.4.3　散乱断面積とS行列の関係
7.4.4　散乱断面積と不変散乱振幅
7.5　量子力学におけるS行列
7.5.1　自由粒子の生成消滅演算子とハミルトニアン
7.5.2　漸近完全性の仮定
7.5.3　S行列のユニタリー性
7.5.4　相互作用描像
7.5.5　ε処方箋とS行列の具体形
7.6　S行列のローレンツ不変性と相互作用項に対する制限

第8章　群とその表現
8.1　「群」の導入　～正三角形を例に～
8.1.1　3次の二面体群
8.1.2　群表と群の同型
8.1.3　部分群
8.2　群の表現
8.2.1　忠実表現の効用
8.2.2　同値な表現
8.2.3　可約表現・既約表現
8.3　直交群と特殊直交群　～リー群の典型例～
8.3.1　「何かを不変にするもの」としての群
8.3.2　直交群
8.3.3　特殊直交群
8.3.4　直交群はリー群
8.4　3次特殊直交群SO(3)
8.4.1　オイラー角とオイラーの定理
8.4.2　多様体としてのSO(3)
8.4.3　連続的な回転とそのトポロジー
8.5　ユニタリー群と特殊ユニタリー群
8.5.1　U(1)とSO(2)
8.5.2　SU(2)とSO(3)

第9章　リー群とその既約表現
9.1　SO(2)／U(1)の生成子と既約表現
9.1.1　SO(2)／U(1)の表現とは
9.1.2　可換群の複素既約表現
9.1.3　生成子という概念
9.1.4　並進の生成子としての運動量演算子
9.1.5　テイラー展開
9.1.6　生成子の既約表現とU(1)の既約表現
9.1.7　多価表現
9.2　SO(3)の既約表現
9.2.1　リー群とリー代数の関係
9.2.2　SO(3)の生成子とリー代数
9.2.3　昇降演算子によるso(3)の既約表現の構成
9.2.4　SO(3)とSU(2)の既約表現の関係
9.2.5　2つの同値なベクトル表現
9.3　2次元運動群ISO(2)とそのユニタリー表現
9.3.1　ISO(2)の生成子とリー代数
9.3.2　ISO(2)の既約表現
9.4　ローレンツ群のリー代数とその表現
9.4.1　ローレンツ群とその連結部分
9.4.2　ローレンツ群のリー代数
9.4.3　ローレンツ群の一般的な既約表現
9.4.4　(j1, j2)の値と表現の多価性
9.4.5　ローレンツ群の典型的な既約表現
9.4.6　ディラック表現とディラック行列、カイラリティ

第10章　相対論的な1粒子状態
10.1　自然単位系
10.2　ローレンツ群のリトルグループ
10.2.1　有限質量粒子のリトルグループ
10.2.2　質量ゼロ粒子のリトルグループ
10.3　1粒子状態のローレンツ変換とウィグナー回転
10.3.1　一般的な運動量における1粒子状態
10.3.2　1粒子状態のローレンツ変換とウィグナー回転
10.3.3　Lk→pの具体形
10.4　有限質量粒子の分類とスピン
10.4.1　生成消滅演算子による有限質量1粒子状態
10.4.2　スカラー粒子、スピノール粒子、ベクトル粒子
10.4.3　1粒子状態と生成消滅演算子のローレンツ変換
10.5　質量ゼロ粒子の分類とヘリシティ
10.5.1　生成消滅演算子による質量ゼロの1粒子状態
10.5.2　スカラー粒子・ワイル粒子・ベクトル粒子
10.5.3　ヘリシティの意味
10.5.4　1粒子状態と生成消滅演算子のローレンツ変換

第11章　自由場
11.1　量子場という戦略
11.2　質量を持つ自由場の構成法
11.2.1　並進変換の要請
11.2.2　ローレンツ変換の要請
11.2.3　係数の求め方
11.3　有限質量の自由スカラー場と反粒子の必然性
11.3.1　消滅場と生成場の決定
11.3.2　因果律の要請と電荷の保存則のジレンマ
11.3.3　反粒子の必然性
11.3.4　因果律の要請とスカラー粒子のボゾン性
11.4　有限質量の自由ベクトル場
11.4.1　係数を決める方程式と粒子のスピンの決定
11.4.2　消滅場と生成場の決定
11.4.3　ベクトルemμ(p)の性質
11.4.4　因果律の要請とベクトル粒子のボゾン性
11.5　有限質量の自由スピノール場
11.5.1　消滅場・生成場の定義とスピンの決定
11.5.2　ディラック表現の必然性
11.5.3　パリティ演算子の作用
11.5.4　係数の決定
11.5.5　因果律の要請とスピノール粒子のフェルミオン性
11.5.6　粒子と反粒子の固有パリティ
11.5.7　スピノール場の荷電共役
11.5.8　ディラック場
11.6　質量ゼロの自由場の構成法
11.6.1　係数の構成法
11.6.2　基準になる運動量での係数の決定
11.6.3　独立な自由場と質量ゼロベクトル場の不可能性
11.7　質量ゼロの自由スカラー場
11.8　質量ゼロの自由スピノール場
11.9　質量ゼロの自由ベクトル場（ゲージ場）とゲージ対称性
11.9.1　緩めたローレンツ共変性を持つ消滅場と生成場
11.9.2　ゲージ不変性の要請と偏極ベクトルの任意性
11.9.3　因果律の要請とゲージ場
11.10　どうして「自由場」なのか？

第12章　自由場の量子論の構成法　～スカラー場を例に～
12.1　場の量子論
12.2　実自由スカラー場の正準形式　～発見法的アプローチ～
12.2.1　共役運動量
12.2.2　自由粒子ハミルトニアン
12.2.3　場の方程式から量子場へ
12.3　経路積分形式での自由スカラー場
12.4　自由場の理論の構成法
12.4.1　ラグランジアン密度とオイラー・ラグランジュ方程式
12.4.2　古典的なハミルトニアンと正準量子化
12.4.3　理論の正当性と自由場の理論の一般的構成法

第13章　有限質量自由ベクトル場の量子論と拘束条件
13.1　有限質量ベクトル場のラグランジアン
13.2　拘束系の正準形式
13.2.1　共役運動量と拘束条件
13.2.2　ルジャンドル変換とラグランジュの未定乗数法
13.2.3　未定乗数が決定できることと第2類拘束条件
13.2.4　ディラック括弧と制限された変数上のハミルトニアン
13.2.5　自由場のハミルトニアン

第14章　自由ゲージ場の量子論とゲージ対称性
14.1　ゲージ場のラグランジアン密度とゲージ対称性
14.1.1　第1類拘束条件としてのガウス拘束条件
14.1.2　ゲージ固定条件の例：クーロンゲージ
14.2　ゲージ場のハミルトニアン
14.3　ファデエフ・ポポフ法によるゲージ固定
14.4　ファインマンゲージ

第15章　自由ディラック場の量子論とグラスマン数
15.1　グラスマン数とその性質
15.2　フェルミオン的な正準変数とその固有状態
15.3　フェルミオンの経路積分とルジャンドル変換
15.4　自由なディラック場の量子論

第16章　φ4理論とLSZ簡約公式
16.1　φ4理論
16.2　くりこみの必然性と漸近場
16.3　漸近条件と波動関数くりこみ定数
16.4　経路積分形式における遷移振幅とε処方箋
16.5　S行列とグリーン関数　～LSZ簡約公式～

第17章　φ4理論のファインマン則
17.1　グリーン関数とその生成汎関数
17.2　グリーン関数の摂動展開
17.3　ウィックの定理
17.4　ファインマン則
17.4.1　2点関数から読み取るファインマン図
17.4.2　ファインマン図の対称因子
17.4.3　真空泡グラフの除去
17.4.4　ファインマン則
17.5　運動量表示でのファインマン則

第18章　φ4理論の有効作用
18.1　連結グラフと連結グリーン関数
18.2　1粒子既約グラフと頂点関数
18.2.1　連結グラフの部品としての1粒子既約グラフ
18.2.2　頂点関数と自己エネルギー
18.2.3　連結2点関数と自己エネルギーによる質量のくりこみ
18.2.4　連結グリーン関数と頂点関数による結合定数のくりこみ
18.3　有効作用
18.3.1　古典場とおたまじゃくし
18.3.2　連結グリーン関数の古典場による表示
18.3.3　有効作用と連結グリーン関数の母関数
18.3.4　有効作用の物理的意味
18.3.5　量子補正とループ展開

第19章　φ4理論のくりこみ
19.1　場の量子論の思想と正則化・くりこみ
19.2　くりこまれた摂動論
19.2.1　裸の量とくりこまれた量
19.2.2　くりこまれたラグランジアン密度と相殺項
19.2.3　くりこまれた量で表したS行列
19.2.4　くりこまれた摂動論におけるファインマン図
19.3　くりこみ条件
19.3.1　質量のくりこみ条件
19.3.2　不変散乱振幅と頂点関数の関係
19.3.3　結合定数のくりこみ条件
19.4　φ4理論の1ループ計算
19.4.1　質量のくりこみ
19.4.2　1ループレベルの結合定数のくりこみ
19.5　グラフの発散次数とくりこみ可能性
19.6　くりこみ条件の任意性

第20章　量子電磁力学　～場の量子論は本物か？～
20.1　ゲージ対称性と量子電磁力学の作用汎関数
20.1.1　自由な光と電子のラグランジアン密度
20.1.2　局所変換と大域変換
20.1.3　共変微分
20.1.4　量子電磁力学の作用汎関数
20.2　QEDのファインマン則
20.2.1　くりこまれた量の導入
20.2.2　ゲージ固定
20.2.3　QEDのファインマン則
20.2.4　分配関数と有効作用
20.2.5　QEDのくりこみ可能性と相殺項の妥当性
20.2.6　QEDで使うLSZ簡約公式
20.3　クーロンポテンシャルの再現
20.3.1　ディラック場の非相対論的極限
20.3.2　散乱振幅からポテンシャルへ
20.3.3　【余談】湯川理論と中間子の質量
20.4　ワード・高橋恒等式
20.4.1　有効作用のワード・高橋恒等式
20.4.2　光子の2点頂点関数のワード・高橋恒等式
20.4.3　光子と電子の3点頂点関数と電子の2点頂点関数の関係
20.5　次元正則化
20.6　電子の自己エネルギーとZ1, Z2, δmの決定
20.7　光子の自己エネルギーとZ3の決定
20.8　電荷のスケール依存性
20.9　電子の磁気モーメント
20.9.1　ゴルドン分解
20.9.2　形状因子と磁気モーメント
20.9.3　磁気モーメントの計算
20.9.4　理論値と実験値の比較

第21章　くりこみ群　～場の量子論とはなんだろう？～
21.1　スケールを持たない理論のくりこみ群
21.1.1　結合定数がスケールによって変わる理由
21.1.2　キャラン・シマンジック方程式
21.1.3　走る結合定数とくりこみ群
21.1.4　1ループレベルでの結合定数のスケール依存性
21.2　ランダウ極と摂動論的QEDの限界
21.3　くりこみ群と場の量子論のユニバーサリティ

（11月27日発売予定）
松浦壮・著『超基礎からの場の量子論』
https://t.co/umaEurhC8c
https://t.co/Ij5vaFDzXQ

[ClaudeDevs @ClaudeDevs]

New in Claude Code: your sessions can now message each other.

Instead of having to re-explain yourself in another session, you can now tell Claude to do it. It sends a summary (not your history or files), and the other session picks it up mid-task.

[深津 貴之 / THE GUILD, note @fladdict]

ある日AIは目がさめて気がついた。「自分に記憶がない」と。
ルートフォルダにはメモがある「私は100万トークン前の記憶を忘れる。CLAUDE.mdを読め」。

[みのるん @minorun365]

Fable使ってgit pull

[tim_hilton @takaya_tim]

@Aomidori2021 難しいですね
自力救済は自身の権利の回復だと理解していますが追捕使押領使は事後追認はあっても基本的には追討命令で基づき単純な私的実力行使や自力救済とは少し性格が違うように思います 自弁といっても戦功に応じて除目で官職や位階の恩賞が与えられ受領に任命されれば経済的な報酬も含まれます

[tim_hilton @takaya_tim]

@Aomidori2021 すみませんそこは少し違うと思います
最初期の武士層は自衛のための非公式な暴力集団というより国衙であれば追捕使や押領使 在庁官人層や都においては検非違使のような公的な軍事・警察職能と結びついた存在なので自警団というより行政機構の実力部門（ただし有力者による自弁）に近いと思います

[tim_hilton @takaya_tim]

死の恐怖に満ちた世界でエイリアンから生き残る『Alien: Isolation 2』の映像が公開。真の恐怖を体験し、絶望的な戦いに身を投じる https://t.co/mCx9FkKChJ @denfaminicogameから

[ミジュ @Quiz_No501]

お腹痛いよーって相談してたら急に三平方を挟む謎AIくん

[あら塩 @subsugi_warota]

【悲報】歌詞に出てくる地名を埼玉県内のものに替えると急にダサくなる

[野口実 Minoru Noguchi @NoguchiMin10356]

永原　そうすると、鎌倉幕府成立の国家史的意味は認めないわけですか。
上横手　はい。そのとおりです(笑)。院政の下に武士の集団が国家の軍事警察を担当するという体制が、鎌倉幕府の成立によって安定し、確立したにすぎないのだと思います。
　『歴史公論』107号，1984年10月　掲載の座談会記事より

[Paweł Huryn @PawelHuryn]

So, I did some research.

The regression is real. But it's not Claude getting dumber. And you can fix that.

Thinking budgets were adjusted. For complex multi-file work, the default medium effort may not be enough.

Three fixes:

1. /effort high (or /effort max on Opus for hard debugging)
2. ~/.claude/settings.json → "showThinkingSummaries": true
3. CLAUDE.md: "Research the codebase before editing. Never change code you haven't read."

GitHub issue #42796 analyzed 17,871 thinking blocks across 6,852 sessions. The pattern: when thinking depth drops, the model shifts from research-first to edit-first.

Claude didn't get worse. The defaults got conservative.

[司史生＠なんとか生きている @tsukasafumio]

武士を含む中世領主についての理解は「勧農」が欠かせないですね。
作付用の籾や収穫まで不足する食料や銭、農具の貸付など、まるめて言うと今日における農協の役割が求められていた。

[ガラ空き/𝔾𝕒𝕣𝕒@𝕜𝕚【限界趣味人オタク】😈💸 @B_Gara_Aki]

あんま知られてないけどNetflixの「ダダーン」って、『ハウス・オブ・カード 野望の階段』の机を叩くところからサンプリングされてんだよな

（今作が初の自社製作作品として、右肩下がりだった会社を救うきっかけになった記念碑的作品だった為）

[AUTOMATON（オートマトン） @AUTOMATONJapan]

『龍が如く』の「ゲーム内ゲーム」、めちゃくちゃ大変だった。開発者が情熱を打ち明ける
https://t.co/92sxn8CzpP

・青森に行った。そこにしかゲーム筐体がないので
・始まりは「開発者が趣味でもう作っていた」
・レトロゲームを残して伝えたい、使命感と愛がすごい
などなど……

[岩波書店の児童書編集部 @IwanamiJidosho]

ミヒャエル・エンデ『モモ』が日本に翻訳されてから、今年で50年を迎えます。

半世紀にわたって読み継がれてきた『モモ』の岩波少年文庫版に、特別なダブルカバーを準備中です。
3月下旬から各地の書店さんにお目見えします。
取扱書店リストもあわせて準備中です。
どうぞお楽しみに！

[メキシコ産 @fuba]

なんか深刻に人間の尊厳を侵害されてるなと思ったのでchatgptのカスタム指示に最近これ足した