猫ひねり問題

猫ひねり問題 (falling cat problem) という問題があることを知りました。

• ネコひねり問題 - Wikipedia
• Falling cat problem - Wikipedia
• 猫ひねり問題 - Google 検索

理解できていませんが、非可換な構造群をもつ主ファイバーバンドルの接続の理論（非可換ゲージ理論）で記述されるようで、制御理論的にも意義があるそうです。

専門書もあるようです：

数学・物理ゼミ

数学・物理の出身者数名で、数学・物理ゼミを6年くらい続けています。

これまで扱ったテキストは、

• 内田伏一「集合と位相」
• 細谷暁夫「時空の力学」
• 原・青木・稲見「素粒子物理学」
• 清水明「新版 量子論の基礎」
• 小林昭七「曲線と曲面の微分幾何」
• Bernhardt「みんなの量子コンピュータ」

です。 （すべて私の提案が採用されている。）

学ぶことが多いです。

SICPの続編(?)：古典力学と微分幾何

SICP (Structure and Interpretation of Computer Programs) の続編なのか、古典力学と微分幾何もあるようで、非常に興味深いです。

https://mitpress.mit.edu/sites/default/files/titles/content/sicm_edition_2/toc.html

SICP

• 講義動画プレイリスト MIT 6.001 Structure and Interpretation, 1986 - YouTube
• テキスト https://mitpress.mit.edu/sites/default/files/sicp/full-text/book/book-Z-H-4.html#%_toc_start

動画を一時期熱心に見ました。

全部理解したわけでは全くありませんが、とても引き込まれます。

初めの音楽も好きです。

Computer Science は science ではなく engineering である、というのに同意します。

日本語訳：

JavaScript版：