gentoo.hatenablog.com リンク先を読んでもらえれば全て終わりなのだが、それではつまらないので補足しよう。 GentooではGCCから何まで基本的に全て自前でコンパイルするので、32bit用のライブラリをビルドする必要があるパッケージはコンパイルに約2倍の時…

アメリカ大統領選が目前に近づいているが、個人的にはテレビを余り見なかったせいか、それとも両候補の泥仕合にうんざりしたのか全く大統領選と言われてもピンと来ない。これには前回オバマ大統領が選出された時があまりにドラマチックだったこともあるだろ…

先日レッツノートのヒートシンクが浮いていることが判明しブチ切れた勢いでポチったE560が昨日届き、そこそこ使えるようになったのでその過程を書き残す事にする。 おおまかなスペックはi5-6200U、メモリ8G1スロット、FHD液晶、500GBのHDDといったところ。E5…

4年目に突入したCF-SX2なのだが、ちょっとしたブラウジングでCPUの温度が90度を越えるようになってしまい、基板やら中のSSDに危険を感じるようになった。保証も切れてしまったのでダメモトで分解してグリスの塗替えを試みることにした。手順は分解工房さんの…

【激しくNSFWなので注意】 Hotline Miamiシリーズのサウンドトラックに数多くの楽曲を提供している事で有名なフランスのエレクトロニカバンド、Carpenter BrutのPVは中々キレている。 既に作られた映画を編集しているのだがハマり具合が半端ではなく、よく見…

去る7月13日にひっそりと数理解析レクチャー・ノートシリーズがKURENAIレポジトリにて公開されていた。 Kyoto University Research Information Repository: 数理解析レクチャー・ノート 3巻目がすでに京大の出版会から出ている広中先生の講義を森先生が記し…

堀田、谷崎、竹内先生らによるD-Modules, Perverse Sheaves, and Representation Theoryという本があり、分野を超えてD加群を知ろうとする人が参照する筆頭格であるように思う。その著者のひとりである竹内先生による、この本の概説をする講演を見かけたので…

必要に駆られて代数幾何の人が息をするように使うという中山の補題を調べていたらこんなページに出くわした。 Stacks Project — Tag 07RC 中山の補題の補題の12個のヴァリエーションを纏めて書いてある。凄まじい。代数(幾何)プロパーの人はこれ+αぐらいの主…

複素関数論を学んでいれば学部の2年生でも作れそうな例なのであるが自分はSchapiraのLecture notesで見るまで気付かなかったし、世間でも余り見かけないので紹介しておく。 を上の正則関数のなすベクトル空間の層だと思い、その間の準同型として正則微分を取…

無論ここで層の定義や性質を述べるようなことはできないのだが、線形の微分方程式論をやる上で微分方程式をベクトル束上の接続として捉え直すと幾何学的なバックボーンが得られる。 そうした時に層として考えた方がkernel（これは解空間にあたる）を取るなど…

AndroidのアプリをPC上でも使えて便利なARC Welderだが、一度にひとつのアプリしか扱えないため、古いアプリのキャッシュがどんどん残ってしまって鬱陶しい。消してしまいたいのだが調べてもイマイチ要領を得なかったので、自分でどこに保存されるか探してみ…