2014

さよならLion

MacBook Air 11インチ(mid 2011)購入以来ずっと使い続けていた OS X 10.7 Lion なのだが,この度卒業することになった。Mountain Lionにもせず,ましてやMavericksとか,と思っていたのだが,Box Syncがまさかのサポート終了(Lionで使えるのは10月31日まで)ということなので。同様のクラウドサービスであるDropBoxは普通に使えるようなので,不満ではあるのだが,Box Syncで無料の50Gを使っている身としては是非もなかった。

ということで,昨日,意を決してMacApp StoreからMavericksをダウンロードしてインストールした。インストールはかなりの時間が掛かった。40分くらいだろうか。インストール終了すると,ブートしてログイン画面になるのだが,ログイン後にiCloudのためにiTunes Store(?)のApple IDのPWD入力を求められた。後にしてもよかったのだが,ままよ,とPWDを入れるのだが,間違っているとハネられる。数回試みた後,あきらめて,次へというボタンを押すのだが,砂時計じゃなくて,なんだっけ,クルクル周るアイコンのままで一向に進まない。ううむ,さっそくフリーズなのか,と不安になる。しばらく待ったあと,諦めて電源ボタンを長押しして強制終了させる。

祈りながら再起動。良かった。普通にログイン出来た。Mac OS X 10.9 Mavericks お初です。ネコ科の名前はMoutain Lionで打ち止めらしく,Mavericksというのはカリフォルニア州の地名とのこと。

とくに不具合もなく,HDDの容量も20GBほど増えたので,良い事ずくめなのかもしれない。メニューバーが半透明で壁紙が透けて緑色になっているのが気に入らないので,とりあえず,ここだけ直した。システム環境設定からデスクトップとスクリーンセイバーに入って半透明をOFFにすればよい。

個人的にはLionのカレンダーのデザイン,スキューアモーフィズムというのかな,実際の手帳とかを模したデザイン,あれが嫌いだったので,iPhoneと同様のフラットデザインに変更になっていたのが嬉しかった。

Twitter Digest 2014-09-27

  • MacBook AirのOSをLionからMavericksに上げた。Box Syncのサポートが切れるというので仕方なく。最初のログイン時にApple IDのPWDを要求されたが,正しく入れたのにハネられ,おまけにいきなりフリーズする。心臓に悪い。ホントに。 12:48:06, 2014-09-27
  • 迷った末,電源長押しで強制終了させる。いきなりこれかよ,と思いつつ再ブート。無事にログインできたようだ。さっきハネられたのはiCloud使うためのPWDだったのだが,どうなったのか。後で設定し直せばよいのか? 12:50:30, 2014-09-27
  • Mac OS X Mavericks 第1印象。HDDの容量が20Gくらい増加している。OSの専有部分が減ったのだろうか。良いことだ。メニューバーが緑色になっていて気持ち悪い。壁紙が緑色なのだが,これが半透明で透けているらしい。一番心配なTeX関係のチェックはこれから。 12:53:13, 2014-09-27
  • Mac OS X 10.9 Mavericks上で初TeXShop ポップアップが出て,dvipdfmxを使うのはX11をインストールせよと。Mavericksにはもはや付属してない由。リンク先からXQuartzの最新版を入れて,再起動。無事にPDFが生成された。良し。 13:18:12, 2014-09-27
  • あと心配なのはHomebrewとXcodeかな。C++で書いている自作の自炊用変換プログラムがちゃんとコンパイル出来ればよいのだが。 13:20:13, 2014-09-27
  • Mavericksにしたら,最新版のTeXShop 3.42でも虫眼鏡ツールがちゃんと機能した。これまでLion上だとダメだったので,3.26という古いバージョンのを使っていた。もう古いのを使う理由がなくなった。 13:31:15, 2014-09-27
  • カレンダーが所謂フラットデザインになっている。これはグッドだ。Lionのカレンダーのデザインは個人的には最悪だったから。 13:38:15, 2014-09-27

Twitter Digest 2014-09-17

  • ドイツの古本屋から届いた。Bos, Kers, Oort, Ravenのポンスレ―の閉形定理の論文が載っている Expositiones Mathematicae Band 5, Heft 4, 1987 https://t.co/C3WuxMsHlY 08:56:49, 2014-09-17
  • メールボックスの使用量が95%を超えたとかで,警告メッセージ。Thunderbirdに添付ファイルの一括削除のアドインを入れて,せっせと削除。20%まで減らした。これで当分は大丈夫だろう。 19:22:15, 2014-09-17

Twitter Digest 2014-09-15

  • 植物男子ベランダーのBGMにハマリ中。第5話「植物女子、現る」の巻では,Stone Roses の Breaking Into Heaven が秀逸。 16:51:29, 2014-09-15
  • この年代のロックは全然聴いていないので,Stone Rosesというグループも当然ながら知らなかった。重たくグッとくる感じが好みだったので,思わずamazonでポチる。 16:55:56, 2014-09-15

一つ終了

[昨日の記録]

昨日の土曜日は年に一度の,とある勉強会。スピーカーなので,いろいろ準備しなくてはならず,かなりの負担。今回は,前日に夕方5時に配布用資料をメールで送り,それからプレゼン用のPDFをLaTeX Beamerで作り始めた。何とか間に合わせて,午後,九段下へ出撃。

いつもながら,資料の完成度の点で反省点多し。文字よりも,もっと画像というか視覚に訴える方が分かりやすいよなあと思ったが,後の祭り。まあ,仕方ないか。

勉強会の後は,同じホテルで懇親会。この歳になると立食は苦手。食べたいものもあまりなかったし。とか言いながら,肉と鰻はしっかり食べたかな(^^

ホテル出るとタクシーが並んでいるのが罠。疲れたので乗ろうかとも思ったが,我慢して電車で帰る。最近はあまり外で飲まないのだが,久しぶりに飲み屋さんに寄る。バーDRでジン・トニック (Victorian Vat Gin + Fever Tree Tonic Water) と店長おすすめのスコッチのモルトを飲む。

バー DR でスコッチのモルトを飲む

その後,トトワールというお店に初めて行ってみた。さかなやSTの姉妹店ということらしく,魚関係のつまみが美味しい立ち飲み屋さん。お酒も新井屋酒店お墨付きの旨いところがそろっていて素晴らしい。

トトワールにて

トトワール,カルパッチョ

トトワール,ローストビーフ

Twitter Digest 2014-09-12

  • 朝から資料作り。気分転換にChick Corea & Gary Burtonを聴く。Now Playing: "Senor Mouse" from "In Concert, Zurich, October 28, 1979" 09:44:31, 2014-09-12
  • そういえば Thelonius Monk のソロのEverything happens to me持ってない。毎週植物男子ベランダーで聴いてると,1枚欲しくなる。 09:46:29, 2014-09-12
  • BGM変更。Chick Coreaじゃ仕事出来ない(^^;; Now Playing: "Bach: Keyboard Partita #1 In B Flat, BWV 825 (Glenn Gould) 09:54:50, 2014-09-12
  • 某バンドのオリジナルだと勘違いしてた。The MetersのCissy Strutという曲だった。最初から最後までずっとC7!(笑) 14:19:10, 2014-09-12

Solo Monk

最近気に入っているテレビと言えば「項羽と劉邦」と「植物男子ベランダー」なのだが,ベランダーのイントロで流れる音楽がずっと気になっていた。これってセロニアス・モンクだよね,絶対・・・。

ということで検索。どうやら,Solo Monkというアルバムに入っているバージョンらしい。午前中にアマゾンで注文したら夜7時頃に届いた。

Thelonious Mond "Solo Monk" CD

実はセロニアス・モンクのCDは2,3枚しか持ってない。中学生の頃,一時ハマって,レコードを何枚か買って随分と聴いたと思うのだが,大人になってからは,あんまり聴かなくなってしまった。植物男子ベランダーの冒頭で流れる Everthing Happens to Me も,昔聴いたことある気もするが,確信はない。

しかし,ベランダーの選曲は秀逸だと思う。モンクの朴訥としたピアノソロをBGMとして,主人公役の田口トモロヲさんの独白があり,さて,というところでタイトルバックのBGMは,ドアーズの Hello, I Love You だ。これ以外にも,毎回,思わずニンマリしてしまう選曲なのであった。

ガスパチョ

午後からは雨という天気予報だったため,午前中から活動開始。クリーニング店によってから,法務局へ。手続き完了の書類を受け取る。ついでなので,豆腐屋さんとヤマヤにも寄る。あいにく,豆腐屋さんはまだ豆腐が出来てなかった。ヤマヤであれこれ物色していると,ガスパチョの瓶を発見。夏前に探したことがあって,今年は置いてないなあと思っていたのだったが,常温の棚にあった。去年は冷蔵の棚にあったので,そっちしか探さなかったんだよね。もう涼しくなってきてはいるが,購入。

フェレールのガスパチョ

このメーカーは初めてのような気もするが,美味しかったです。

何か新しいことを

ここしばらくの所謂マイブームというのか,BSフジの「項羽と劉邦」を毎日楽しみに観ている。もう終盤に差し掛かっているが,最初は登場人物の識別すら分からなかったものが,近頃では蕭何,張良は言うに及ばず,項羽方のしょうりばつ将軍とかまで名前を覚えてしまう状態。あと10回少々で終わってしまうのが残念至極。

それに合わせて,司馬遷の「史記」を書き下し文を中心に,ちょこちょこ読んだりしているが,紀伝体のため,ドラマに合わせて時系列で読もうとすると,これがけっこう面倒だったりする。

テレビの話を書きたいわけではなかった。漢文もぼちぼちやるとして,何か新しいことがしたい。いや,新しくなくても,以前ちゃんとやれなかったことをやるとかでもいいのだが。

とりあえず妄言。ミシン買って,MacBook Airの布ケースを自作。植物男子ベランダーやってみる。Mordellの1917年の論文(Ramanujanのタウ関数についての)から始めて,保型形式,へッケ作用素の勉強をする。

「点と直線の距離」の私家版公式

[自分用のメモ]
火曜日の朝,シャワー浴びながらぼんやり考えていて思いついた。

座標平面で,2点$P(a,b)$, $Q(c,d)$を通る直線に原点から下ろした垂線$OH$の長さ$h$を求めること。
普通に直線の方程式を求めて,例の公式に代入してもよいが,三角形$OPQ$の面積$S$を2通りに計算することにより,以下のように求められる。
\begin{gather*}
S= \frac{1}{2}PQ\cdot h = \frac{1}{2} \vert ad-bc\vert \\
\therefore\quad h=\frac{\vert ad-bc\vert}{\sqrt{(a-c)^2+(b-d)^2}}
\end{gather*}
簡単のために原点から下ろした垂線の長さにしたが,もちろん,任意の点から下ろした垂線でも同様である。

まあ,直線の方程式を求めなくてよい,という点がちょっとした利点だろうか。応用として,3次元空間で,直線に点から下ろした垂線の長さも同様にして求めることもできる。