とりあえず問100まで解くことに決めて始めたのだけど、問題の難易度やプログラムを書く面倒さが速いペースで増加していくので割と早い段階で問題を解くことが優先になって、Rustの機能やライブラリを理解することがおざなりになってしまった。 それでも言語…

2年前から給料未払いだったから実質無職だったのと変わらない気もするけど会社職場も消滅し正式に無職の状態になって3ヶ月ぐらいになった。貯金の残りからすると今年中にも破綻しそうだけど考えるのも面倒なのでとりあえず本を読んでいる。読んだ本のいくつ…

目次: スピンの特殊さ 物理系の回転 スピンに関する実験 座標軸を回転させた場合 群の表現から見たスピン 群の表現 SO(3)の表現の例 スピンの場合 SO(3)の表現とSO(3)の表現 既約表現への分解の例 SO(3)の既約表現とSO(3)の既約表現 リー群とリー代数 リー群…

数学における普遍性の概念は、どういうものなのか一言で説明しにくいものだけど、圏論では普遍射を使って定義するのが普通。 と思ったら、『ベーシック圏論』は副題(訳書での追加?)が「普遍性からの速習コース」だけど、本文中に普遍射という言葉がそもそも…