02/25 aiueo 01/01 かがみ 01/01 ゼルプスト殿下 01/01 かがみ 01/01 ゼルプスト殿下 05/10 かがみ
Snow Leopard インストールしました。基本的には調子良いです。インストール は簡単でDVDを入れて指示に従うだけです。最大の問題は「古い dvipdfmx で作 成された PDF 文書の数式が Preview.app で文字化けする」ということです。 forcing-1.1.pdf がとても悲しい状態になっていました。 なんて みたいに見えてまるで区体論みたいでした。基本的に dvipdfmx を最新版にし て自分の作ったPDFに関して問題はなくなりました。奥村さんの TeX Q&A の「書き込み一覧」 の Snow Leopard にかんするスレッドを参考にしました。人様が古い dvipdfmx で作成した PDF で数式が文字化けするのも多数ありますが、こちら は Adobe Reader で閲覧すれば良いので実用的には問題なさそうです。そもそ も Preview.app の問題なのか古い dvipdfmx に PDF にかんする微妙な解釈違 いが存在したのかは分かりません。
それから当たり前のことですが gcc が消えていました。Xcode の再インストー ルが必用でした。デフォルトの gcc は 64bit 化されていて、これは良いこと なのですが gcc を 32bit 環境の開発のプロトタイプとして使う用途には色々 問題が発生します。-m32 オプションでもリンクがうまくゆきません。私が正し いオプション指定の方法を知らないだけかも知れません。幸い /usr/bin/gcc-4.0 という一つ古いヴァージョンの gcc が存在し、こちらはデ フォルトで 32bit のコードを出力するようです。
それから導入される実行ファイルからすべて PowerPC のコードが削除され たと思われ、ディスクが 10G 程節約できたのも大きいです。いくつか問題点や 違和感がありますが、いずれ改善され使うほうも慣れてくると思います。普段 は一月くらい様子見をする場合が多いのですが、今回はのっけから導入して 失敗ではなかったと思います。
コメント_てなさく [先日職場のWebサーバとしてIntel Mac miniを新調したところなんです...]
_たかたに [Snow Leopardいいナー。うちのが届くのは来月になりそうです。届いたら届...]
_かがみ [あ。Intel Mac mini ご新調されたのですか。お弁当箱サーバー。Sno...]
_かがみ [Snow Leopard も最初ということがあり色々ありますが全体としてはとても...]
_miya [うーん、だいぶ乗り遅れた感がありますが、やっと注文したところです。クリーンインス...]
_かがみ [miya さんも新調ですか。若干バグが残っているようですが非常に快適です。クリー...]
_miya [おそらく、CDで起動した後、メニューから「ディスクユーティリティ」を選択し、そこ...]
_かがみ [そうですかクリーンインストールできるのですか。誘惑が...。仕事が一段落したら挑...]
気がついたら一週間近くさぼっていました。ごめんなさい。昨日と今日で シェラーの有名な の値に関する定理の証明を読もうと思いました。ですが予想通り FCG-列の存在 定理で共終数が になる場合が難しいです。昨日一通り証明を追いかけましたが全然分かってい ません。本日その部分をもう一度読み直しています。ここを通過すればあとは なんとか。たぶん。
コメント
Twitter で GoodReader という iPhone 用の PDF リーダーを教えて頂きました。 お値段は 600円。画面が小さいので少々苦しいのですがとても便利です。例え ば今勉強している本が PDF 化されていて (まさに Constructivility がそう だ)、その特定の章を読んでいる場合、そこを片面コピーして製本し、白紙のペー ジはメモにするのが便利なのですが、前の章参照の場合等困ります。そんな状 況でちょっとその場所を調べたい場合最強です。電池が2倍持てばいいのにと思 う今日この頃です。
ところでてなさくさんの 2009年8月16日の日記 がとてもためになります。正直「証明を追いかけるのに精いっぱい」で全然内 容の理解が出来ないという状況ですが、それでも半年なり一年後にある程度意 味がつかめる場合もありますので、これからもなんとか「証明を読み続け」よ うと考えています。
コメント_てなさく [いつもお読みいただきありがとうございます。あの長文、あとで読み返すと「では一様収...]
_かがみ [てなさくさんの日記は本当に面白くてさらにためになります。お盆の間ちょっと寂しかっ...]
社長から見識を広めたり場合によってはアプリケーションを作るという約束で 買ってもらった iPhone です。現状はどうかというと私用メール受信と twitter 専用機になりつつあります。Twitter を見たり投稿するのに twitterfon という無料のアプリケーションを使っていますが、これは軽くて見 栄えが良くて私が必用な機能は一そろいという感じで非常に良いです。メール も文字が見やすく非常に使い勝手が良いです。Safariもそれなり使用しますが 画面が小さいのが少々苦しいです。もちろん下に書いたように GPS 機能は多い に役立つのですが、もともとが引きこもりで知らない場所に行く機会が少ない のが難点です。あ。でも、引きこもりの原因の一つに「すぐ道に迷う」という ことがあるので、もう少し積極的に外を歩くようにしようかな。
問題は二年後です。これ絶対に手放せないような気がします。ただでさえ金欠 モードなのにこれ以上の出費は困ります。さらに二年後はモカちゃんの大学受 験でお金がかかりそうです。といいつつ子供一人なのでなんとかなるかも知れ ません。余り先のことは考えないように。
コメント
はやしさん とはネットでは三年ほどおつきあいさせて頂いていますが、昨日初めてお会い することができました。待ち合せの場所の詳細な道順を教えて頂いたにもかか わらず、お約束で迷いました。行き過ぎました。昨日まで twitter 専用機にな りつつあった iPhone の GPS 機能のお世話になりなんとかたどりつくことがで きました。
楽しかったです。なんか私ばかりしゃべって申しわけなかったのですが、話を 良く聞いてくださり、さらに面白く楽しいお話も色々聞かせて頂きました。数 学のことについての話が一番多かったかなと思いますが、世間話とか数学以外 の少し真面目な話とか。はやしさんとは根本的な部分で、細かい差異はあるの はもちろんですが、ものの見方や考え方の方向性が一致していると思います。 それはネットでも十分に分かっていたことですが、実際にお話して「やはり共 感できる人と話するのは楽しいな」と実感しました。
世代はちょっと違うのかも知れませんが iPhone と iPod classic を共有して いたもの楽しかったです。
なんか集合論の入門から Kunen本, Jech本に繋がる分かりやすい文書を書くこ とに決まったような気がします。あれは決定事項なのでしょうか。そうですか 決定事項なのですか。それでは時間はかかると思いますがなんとか努力いたします。
次回お会いできる日を楽しみにしています。
コメント_はやし [先日は会社帰りにわざわざありがとうございました。ほんと、「微妙なんだけど決定的な...]
_かがみ [お忙しいところありがとうございました。本当に楽しかったです。集合論の入門書のこと...]
さすがに仕事があまりにしんどくてストレス満開状態です。ストレスを発散さ せるには数学の勉強に集中するのが一番です。その「集中」という状態を作る のが難しいのですが、PCF 理論に関する文献を眺めていたところなんとか解読 可能な感じがしてきました。現在時間的にまとまった勉強は不可能ですが、す きま時間を有効利用すれば、シェラーの有名な の大きさを評価する公式について学ぶことが可能かも知れません。たぶん。お 昼休みとかにぼちぼちと読んでいます。文献の著者に感謝致します。
コメント
すみません。面白いねたなくて。仕事というより土曜日の午後と日曜日は冷房 がないので暑さ対策を考えている時間のほうが長いかも。要はデュアル扇風機 + 首巻きぬれタオル水冷方式です。
コメント_通りすがりさん [空調服というものがありますが、クーラーのない室内での作業にはオススメですよー。若...]
_かがみ [空調服についても調べてみました。たしかに効果ありそうなのですが運用が大変そうなの...]
すみません。面白いねたなくて。
コメント
今日から明日にかけてつくば出張です。
コメント
iPhone 3GS が届きました。日曜日に社長と話してたら「鏡さんもたまには新し いものを体験して視野を広めて欲しい」ということで一台購入してもらったの です。さらに月額基本料金も会社持ちという信じられない条件です。ここは体 験レポートを書きたいところですが、ウルトラいそがしいモードなので余り遊 ぶ暇がありません。本格的に遊ぶのは来月位からになると思います。
こんな忙しいときにおもちゃを与えて良いのでしょうか >社長さま
コメント_miya [3GSですか〜 いいですね。使うのは来月からといいいながら、早速今夜あたりからも...]
_かがみ [やはりこれは iPhone から投稿するしかないですね。なので投稿しまましす。確...]
_かがみ [PC より。しっかり変な文章になっててごめんなさい。]
会社に来てます。ですが仕事は迷ってばかりで進みません。
コメント
8月は大忙しの予定です。二つ並列はつらい。今日と明日も出社です。この日記 も余り更新できないかも知れません。少なくともそれなり長文は無理そうです。 ごめんなさい。
コメント
2009年7月
2009年9月
更新履歴と日記の先頭に戻る
日記の目次
集合論雑記目次
はてなリング 数学の輪
トップページに戻る
谷山浩子さんのページ