Carpenter BrutのPV
【激しくNSFWなので注意】
Hotline Miamiシリーズのサウンドトラックに数多くの楽曲を提供している事で有名なフランスのエレクトロニカバンド、Carpenter BrutのPVは中々キレている。
既に作られた映画を編集しているのだがハマり具合が半端ではなく、よく見つけてくるなと感心した。備忘録としてネットの情報から分かる範囲で素材になった映画を挙げてみることにする。
Hotline Miami2では刑務所のステージで使用されている。初プレイの時は吐きそうなぐらいの恐怖を感じたのでこの曲はとても印象に残っている。 このPVはLucio Fulci監督の«Murderock»という作品。監督はイタリア出身のスプラッター映画の大家だそうだ。 ちなみにEL&PのKeith Emersonがこの映画のサントラを作っているらしく、これもまた気になる（たった今知った）。
これは最後にVIDEO TRIBUTE TO 石井隆とあるように石井隆監督の『天使のはらわた』（シリーズのうちどれか）、『GONIN』から採られているようだ（もしかしたら他にもあるかも知れない）。後者は本木雅弘、竹中直人、ビートたけしなどよく知った顔が無茶苦茶やってていて楽しそうである。（レズ）セックスシーンはおそらく日活ロマンポルノ*1の残滓たる『天使のはらわた』からだと思われる。
時間が出来たら是非見ておきたい。
*1:平成生まれとしては昭和まではこんなもの作ってたのかと驚いた。
伝説の佐藤幹夫講義録が待望の公開（全米が泣いた）
去る7月13日にひっそりと数理解析レクチャー・ノートシリーズがKURENAIレポジトリにて公開されていた。
Kyoto University Research Information Repository: 数理解析レクチャー・ノート
3巻目がすでに京大の出版会から出ている広中先生の講義を森先生が記した有名な講義録で他にもハーツホーンや倉西先生の講義録などもあるが、やはり目玉は佐藤幹夫講義録であろう。明倫館で35kもする上に蔵書する大学が20もない貴重書であり、ソリトン解を得られる謎テクノロジーであった広田の方法の背後に無限次元グラスマン多様体が介在する事を看破した佐藤幹夫自身による講義がまとめられているすごい本なのだ。世間であまり話題に登っていないようなので早速紹介しておく。
代数的D加群と解析的D加群の違い
堀田、谷崎、竹内先生らによるD-Modules, Perverse Sheaves, and Representation Theoryという本があり、分野を超えてD加群を知ろうとする人が参照する筆頭格であるように思う。その著者のひとりである竹内先生による、この本の概説をする講演を見かけたので紹介したい。
Computational Approach to Mathematical Sciences, Video Archives
タイトルは『代数的D-加群が解析的D-加群よりいかに簡単かについて（拙著の紹介）』というもので、煽りっぽいがこの講義を聞けば納得が行くことかと思う。私の狭い理解の中で端的に言えば、代数的D加群は局所的にWeyl algebraに帰着できてしまうそうだが（本質的には有理型関数を係数に持つ線型微分方程式である）解析的D加群では当然そう簡単ではない。自分は微分方程式に興味があるので代数的D加群に多くのベージ数が割かれている意図を理解していなかったのだが、解析的D加群では示すのがとても大変な定理が代数的D加群であると（そこそこの代数幾何の知識があれば）簡単に示せるという筋で、"handy"なモデルケースとして知っておくべきものであると認識するようになった。
微分方程式（D加群）の特性多様体の包合性も、Sato-Kawai-Kashiwaraのmicrodifferential operatorを使った解析的な証明、Gabbarによる純代数的な証明（ここまでは谷崎先生の非可換環で言及され、後者は証明が付いている）の他にKashiwara-Schapiraにおいてmicro supportを使った幾何的な証明が存在することを初めて認知した。「代数解析は幾何」というのにも納得である。
度々、
「解析的な場合はどうか」
「柏原先生が全部やりました」
という旨のやり取りがあり、柏原先生の業績の鬼さ加減を垣間見、畏敬の念を覚える他無い次第である。
ワシの中山の補題は百八式まであるぞ
必要に駆られて代数幾何の人が息をするように使うという中山の補題を調べていたらこんなページに出くわした。
中山の補題の補題の12個のヴァリエーションを纏めて書いてある。凄まじい。代数(幾何)プロパーの人はこれ+αぐらいの主張は中山よりの一言で済ませるのではないかと思う。
個人的に欲しかったのは複素ベクトル束の切断の層という局所環上有限生成加群の範疇の話で、fiberのgeneratorがstalkのgeneratorになってくれるということだったのだが、fiberの間に全射があればgermの間にも全射が持ち上がるであるとか、free⇔projectiveであるとか、of finite typeなD加群はfree（freeだとflat connectionになって嬉しい）とかいう話を示すのに使えるので、確かに便利そうである。身につけておきたい。
（線形）微分方程式論のためのSheaf Theory
無論ここで層の定義や性質を述べるようなことはできないのだが、線形の微分方程式論をやる上で微分方程式をベクトル束上の接続として捉え直すと幾何学的なバックボーンが得られる。
そうした時に層として考えた方がkernel（これは解空間にあたる）を取るなどの操作が何かとしやすい反面、参入障壁がやや高いように思われる。
こうした文脈で凡そ考えなければならないようなことがほぼ全て書いてあるようなPDFを見かけたのでシェアしたいと思う。
http://www.mast.queensu.ca/~andrew/teaching/distribution-course/pdf/sheaves.pdf
Queen's UniversityのAndrew D. Lewis氏によるものである。
ARC Welderのアプリを削除する
AndroidのアプリをPC上でも使えて便利なARC Welderだが、一度にひとつのアプリしか扱えないため、古いアプリのキャッシュがどんどん残ってしまって鬱陶しい。消してしまいたいのだが調べてもイマイチ要領を得なかったので、自分でどこに保存されるか探してみた。ファイル名が分からなかったので大分難儀した。備忘録として残してみる。
実行ファイル
実行ファイルと言っても抜け殻でchromeが開くだけである。これはchrome-(ランダムなアルファベット)-Default.desktopなどという名前で~/.local/share/application以下に保存されている。
アイコン
~/.local/share/icons/hicolor/128x128/apps以下に同じくchrome-(ランダムなアルファベット)-Default.pngとして保存されている。
gnome系のデスクトップ環境ならnautilusからchrome-と検索すれば実行ファイルとアイコンが一緒に出てくるので、今回が野蛮に直接消してしまったがもっとスマートな方法があるかも知れない。
