DevlinのConstructivilityの二章で、一ヶ所不明なところ以外は証明を追いか
けましたが、全然分かっていません。おそらく
を直感的につかんでないです。とはいえ後から分かることを期待して先に進も
うと思います。二章の演習問題を考えてから三章に突入する予定です。なんと
もう100ページも読んだではないか。激おそですが連休以降はそれなりがんばっ
てるかも知れません。
コメント
02/25 aiueo 01/01 かがみ 01/01 ゼルプスト殿下 01/01 かがみ 01/01 ゼルプスト殿下 05/10 かがみ
諸般の事情にて昨日と本日は仕事です。読みたい本たくさんあるのに。
コメント
余りに計算理論に無知なのでちょっと勉強したいと思ったのですが、チューリ ングマシンの概念がどうも、ということで逡巡していたのです。うれしいこと にytb さんに C言語による計算の理論, 鹿島 亮 (著) という本を教えて頂きました。ありがとうございます。昨日届きました。計算 理論にしてもチューリングマシンにしても食わず嫌いの面もあると思いますの で、Devlin本と平行してなんとか基礎の基礎のそのまた基礎の勉強をしたいと ころです。計算理論に関しては L に関する勉強を少しだけしているのが役に立 つかも知れません。
てなさくさんが「最新のページ」へ直接移動できる URL を作って下さったので 上の方のリンクを変更しました。
コメント_ytb [お役に立てて光栄です。]
_てなさく [アセンブラは楽しいです。]
_かがみ [(ytb さん) まだぱらぱら眺めている段階ですがとても面白そうです。今までの集...]
_かがみ [(てんさくさん) 気の利いた 12文字の返信が思いつきません。というかこのコンテ...]
_てなさく [長らくMacintoshユーザだったのに、結局 680x0 MPU や Powe...]
_かがみ [すみません。上の方でお名前を間違えてしまいました。しかも二ヶ所。実は私も 808...]
_てなさく [先日から Pentium をかじっているわけですが、固いうえに電極ピンが刺さって...]
_かがみ [あれ 8086 に「リアルモード」ってありましたっけ？ 要は 8086 までしか...]
_てなさく [昨日書いた内容に、案の定とっても恥ずかしいマチガイがあったのでいまから修正します...]
2008年8月22日 に mit さんに教えて頂いた「公理論的集合論 (共立講座・現代の数学 (2)) 西 村 敏男 (著), 難波 完爾 (著) 」が明倫館書店に現れました。会社の H さん がウオッチして下さっていて、本日メールを頂いたのです。お値段は 9,500円 です。ですが金欠です。お金がありません。一時は断念しました。でも欲しい。 というわけで奥さまに「一月間会社でお菓子を食べません」と約束して購入し ました。
本を集めるだけでなくきちんと勉強しなければ意味がありません。ちょっとペー スは遅いですが、現在 Devlin 本の第三章で、以前いいかげんに読んでいた木 についての色々な性質を勉強しています。
コメント_てなさく [てなさくはこの本の補遺だったか附録だったか拾遺だったかオマケだったかが好きです。...]
_かがみ [日本一の集合論ヲタ (ヲタは創造性や独創性がないことを含む概念とします) を目指...]
_mit [数学的な内容の充実度はともかく、難波語入門として妖しい魅力のある本だと思います。...]
_かがみ [「集合論 (サイエンスライブラリ現代数学への入門３)」の内容からさっするに、妖し...]
_あかざわ [ほほしい…再び図書館司書との攻防が始まりそうですw]
_かがみ [こんにちは。コメントありがとうございます。とても面白いのですが集合論の「勉強」の...]
いつもAmazonで 2リットルx6 のを注文しています。配送先は会社です。二箱注文すれば送料無料となります が、さすがに在庫等色々と問題が生じそうです。最近一日に減る量が大分増え ているようです。ところでお隣の O さんは、近くの量販店で、天然水系の2リッ トルボトルを大量に買いこんできます。なのでお茶とお水のトレードが良く行 われます。この状態で一日にコーヒーを十杯以上飲むというのは余り健康に宜 しくないかも知れません。
コメント_Joe [いつも「お〜いお茶」を買っているスーパーで、最近安売りの対象にしてくれなくなって...]
_Y.Kumagai [コーヒーの飲みすぎの弊害は知りませんが、お茶は飲みすぎると石ができるので気をつけ...]
_かがみ [私の会社の近くでも安く買えるのですが重くて。にしても99円とは安いですねえ。とあ...]
_かがみ [石ですか。痛そうだなあ。というかカフェイン過多が悪いとするとコーヒーもまずいです...]
モカちゃんに何度買ってあげたかわからない iPod の姿をこの一月くらい見ていなかったのです。またもや半年経たずになく してしまったに違いありません。さすがに今回はなくしたと言い出せないのか なと思っていました。なくしたことが分かっても、がっかりはしますが、怒っ たりすることは絶対にありません。とはいえ極端な金欠なので新しいのを買っ てあげることは出来ません。てなこと考えてたら昨日ちゃんとモカちゃんの机 の上にありました。「最近見ていないから絶対になくして言い出せないのかと 思ってた」と言ったところ、「高校に入ってから忙しくて面倒をみる暇がなかっ た」そうな。いやはや疑ってしまいごめんなさい。まあ今までの行動があれな ので疑われても仕方ないかも。もし金欠でなく本当になくしていたら、こりず に新しいのを買ってしまうかも知れません。
余り放置すると電池がだめになることは教えました。
コメント
DevlinのConstructivilityの二章で、一ヶ所不明なところ以外は証明を追いか
けましたが、全然分かっていません。おそらく
を直感的につかんでないです。とはいえ後から分かることを期待して先に進も
うと思います。二章の演習問題を考えてから三章に突入する予定です。なんと
もう100ページも読んだではないか。激おそですが連休以降はそれなりがんばっ
てるかも知れません。
コメント
私の持っている iPod classic はそもそも重量が重いです。実は最近中身もと みに重くなっているのです。ベートーヴェンの全集にはまりだして次の演奏が 可逆圧縮形式で含まれています。
| ベートーヴェン ピアノソナタ全集 | フリードリッヒ・グルダ |
| ベートーヴェン ピアノソナタ全集 | ウイルヘルム・バックハウス |
| ベートーヴェン 弦楽四重奏曲全集 | ブダペスト弦楽四重奏団 |
| ベートーヴェン 弦楽四重奏曲全集 | スメタナ弦楽四重奏団 |
| モーツアルト ピアノソナタ全集 | マリア・ジョアオ・ピリス |
| モーツアルト 弦楽五重奏曲全集 | ヨゼフ・スーク, スメタナ弦楽四重奏団 |
| バッハ プレリュードとフーガ一巻・二巻 | グレン・グールド |
重いです。さらに箱もの好きすぎです。しかも時代の流れについてゆけず古い 演奏ばかりです。その他谷山浩子さんの CD ほとんど。アルゲリッチの入手可 能な CD ほとんど。グールドのゴルドベルク協奏曲とか。モーツアルトの弦楽 三重奏曲も入っています。数学の勉強もそうなのですが、保守的で新しいこと に対応するのは昔から苦手です。というかこれだけ可逆形式で入れてもまだ半 分強とは。80Gバイトは偉大です。
コメント_てなさく [桂枝雀のCD全集を現在収集中なんですけど、お金がなくて買うペースがた落ち。関東の...]
_かがみ [そういえば雰囲気が重要とか間が重要とか、音楽と落語って案外近いのかも知れません。...]
_てなさく [江戸落語と上方落語、ネタは基本的に共通だそうですが、地名やら何やかやが、土地柄に...]
_かがみ [なるほど札幌ラーメンと博多ラーメンの違いみたいな (ちゃう) 。「時うどん」とい...]
解消できません。と解消する。すみません。つまんなくて。
コメント
波形処理の勉強において数学的にどうのこうと言ってる能力も時間もなくなっ てきました。なので基本的に購入しないと決めているハウツー本を購入です。
シミュレーションで学ぶディジタル信号処理—MATLABによる例題を使って身につける基礎から応用 (TECHI)
とりあえずやりかたを覚えよう。
コメント
仕事にも私用にも大活躍のMacBookですが問題点もあります。
(問題点その1) デュアルディスプレイ運用しているとき、外部ディスプレイ側 が何らかの同期信号が大きすぎると出力を停止することがあります。頻度は一 週間に一度くらいでしょうか。この状況で本体側の表示は問題ありませんが、 外部ディスプレイに表示されているオブジェクトにまったくアクセスできなく なります。さらにこの状況で外部ディスプレイに繋がっている線を抜いて再度 刺すとハングします。相性の問題もあるのかも知れませんが、なんとなく本体 の問題っぽいです。リブート以外に対処の方法を知りません。
(問題点その2) 一月に一度くらいなにもしていない状況でハングします。 Bluetooth の問題っぽいです。というかこの状態で電源切り再起動すると Bluetooth デヴァイスが見えなくなっているという。これは困ります。この場 合「リンゴ + option + P + R」を押しながら電源を入れ直すと PROM リセット となり正常な状態に復帰するのですが、どうして PROM の内容が変化するのか が大いなる謎です。
という感じで、もしかして Vista より不安定なのではという感じもしないでは ないのです。もちろん Mac OS/X は UNIX と GUI の良いところとりで私にとっ ては理想の OS なので、メインマシンを Windows やその他の UNIX 系 OS に乗 り換えることは絶対にないと思われます。
最近記事が一日遅れになっています。内容はともかく四月からちゃんと「日記」 になっているのでなかなかお休みしにくい状況です。年二十日程度の「有給休 暇」という概念を導入しようかと考えていますが、有給を使い切っちゃった場 合どうしようかとか、次年度への繰り越しをどうするかとか考え出すと難しく て夜も眠れません。
コメント
コメント_通りすがり [ミルカが長●有○化しそうな予感・・・。]
_かがみ [「長●有○」というのが分からないでそのままで検索しました。しっかりヒットしました...]
_通りすがり [google恐るべし（ｗ。長門有希は「笹の葉ラプソディ」の中で、「無矛盾な公理的...]
_かがみ [むむむ。そんな話を聞くとますます萌えモードに入ってしまいます。]
クラリネットという大散財 があるのを知っていたにもかかわらず、 モカちゃんの要求に負けて買ってしまったコンタクトレンズ のお話です。ちゃんとつけています。でも土日だけ (涙)
平日はいつもぎりぎりに起きるのでつける暇がないそうな。
親ばかの目から見るとモカちゃんは何にでも真面目にとりくみ、それなりの成 果もあげていると思うのですが、朝ねぼうとものをなくすという親の悪いとこ ろはしっかり受け継いでいるようです。一生治りません。たぶん。
数学には相当苦戦している模様です。やはり異様に進度が速いみたいです。こ ればかりは本人が面白いと思うようにならないとどうしようもないし、面白い と思えるかどうかも才能だと思うので当面放置です。
コメント
昨日H11Tを使っていたら突然画面に「なんとかチップが装着されていません。 電源を切りなんとかチップを装着して下さい」という感じのメッセージが出た のです。仕方がないので一度電源を切って入れ直したところ動きました。です が一時間くらいでまた同様の症状が発生しました。もしかして「なんとかチッ プ」というのは、購入時に捨てそうになった、電池の下に入ってるボール紙み たいなののことなのでしょうか。ならば入ってます。ワープでもしていない限 り入っています。と、だだをこねても仕方がありません。本体の故障でなけれ ば接触不良です。たぶん。電池をとり出しなんとかチップをむにむにしました。 再び電源を入れましたがこんどは最初から「なんとかチップが装着されていな い」そうです。
むむむのむ。これはもしかして壊れてしまったのだろうか。そうだとすると非
常に面倒なことになりそうです。そもそもこの電話を購入したのは昨年の連休
直前です。なので保証期限は過ぎているはずです。というか二年しばりなのに
保証は一年で、さらにソニーイー・モバイルタイマーが発動する仕様と
はびっくり仰天です。仕方ないのでもう今度は電池と「なんとかチップ」双方
をとり出しティッシュで拭いてみました。
現在のところ一日位連続動作しています。やはり接触不良だったみたいです。 助かりました。前にも書いたかも知れませんが、現在運転免許証は行方不明で パスポートは期限切れという状況です。もし身分の確認とかなると非常に面倒 なのです。というかそろそろ免許証の再交付に行った方が良いかも知れません。 でも免許証の再交付ってたいくつです。たいくつ。いくらたいくつでも 会議みたいに途中で逃げる わけにはゆきません。たいくつをがまんするべきか。それとも当面運転免許証 なしでなんとか生活するか。悩みに悩んでいます。
コメント
なんか今日も仕事しています。もともと12連休の野望などは無理だったのかも 知れません。
コメント
連休直前から隣の席のOさんがお休みなので、優雅に12連休を楽しんでるのかな と思っていたのです。ところが話を聞くとこれが大変。扁桃腺炎に罹ってたそ うです。これはつらいです。私も31歳の時罹ったことがありますが、熱が39 度 以上でました。いつも公言している通り「私の場合」お休みできるという前提 で熱が出るのは構わないのですが、扁桃腺炎の場合とても痛くてとてもともて 苦しいのです。余りに痛くて苦しいのでこのまま死んでしまうのではと思った くらいです。さらに痛みがひどくてものを食べられない。余り大きな声で言え ませんがその当時は一番太ってて 90Kg 位あったのですが、一週間で 80Kg に なりました。今は 70Kg 位です。たぶん。
連休中ずっと扁桃腺炎だったとは本当にお気の毒です。「連休中でなければ有 給ということになっただろうから、連休分有給とっちゃったら」と提案しまし たが、「なかなかそうもゆかないんですよ」と非常にお疲れの様子でした。お 大事に。
コメント
部長さんが本日会議を招集した ので12連休の夢は破れたのでした。もっとも体がなまりになまっていたので今 日から仕事で良かったみたいです。ところで問題の会議です。社運をかけた極 めて重要な会議です (嘘)。そこで部長さんのところに行って、「今日はどこで やるんですか？」と聞いたところ、「あ。別の会議とバッティングしてる。み んなで適当にやっといて」ということでした。むむむのむ。やはりこの会議は 12連休防止用だったのでしょうか。内容はともかくとして13時に始まった会議 が15時になっても終わりません。私が関係ありそうな話は最初の一時間くらい です。たいくつです。たいくつ。なので15時に適当な理由をつけて逃げました。 もちろん理由が嘘なのはばれていますが、どうせ私がいなくても関係がない話 なので特に怒られることはなかったです。会社の偉い人なんてほとんど毎日会 議ばかりしてるのですが、どうしてそんなことが可能なのだろうか。偉いから がまんできるのか、がまんできるから偉くなるのか。謎ですな。
この謎にかんする構造の解明は人類永遠の課題であります。
コメント
予想通り引きこもりの生活でした。数学の方はなんとか予定通りです。不思議 なもので一週間勉強すると読むのがだんだん速くなってきます。とはいえ油断 するとこれまた一週間くらいでもとに戻ってしまうので、継続が大切と思われ ます。さいわい二日出社するとまた二日お休みなので、今度の土日までに Devlin本二章まで全部読む予定です。私の欠点として証明を知らないステート メントをはなから拒絶するということがあります。例えばJensenの被覆定理に 言及している定理があった場合、被覆定理の証明を知らないので、その定理の 証明を読む気にならないしステートメントを覚える気にもならないのです。こ れははななだ効率が悪いです。ただでさえ理解力がないのにさらに効率を悪く しています。ただし現在の私は純粋に数学を楽しむ立場であるので、効率に関 しては助言を頂くことがあっても批判されることはないと思います。
この日記で証明を書くことが多いのも上の理由からきていると思います。実は もう一つ理由があって、専門家の方がご自分の専門に関することのお話をされ ても、もちろんその内容は確固たる根拠があるわけで、言明について問題が生 じることはあり得ません。ところが私のようにやっとこ証明を追いかけて楽し んでいるという人間が、うかつに感想とか自分の考えを記載すると、本当の意 味では理解していない場合がほとんどなので、容易にトンデモ化する恐れがあ ります。非専門家が数学に言及する場合にこそ、証明を記載するのが良いこと だと考えています。
コメント_ヘリウムHe [私の点線円幾何証明がないので、皆拒否されそうですね(笑）]
_かがみ [ヘリウムHeさんこんにちは。本文の内容に関しては一般論みたいに書きましたが自分自...]
_かがみ [誤解をまねくとあれなので。今回の記事は特定の誰かを暗黙に名指ししていることは一切...]
今日はDevlin本でのゲーデルの圧縮レンマまでの証明をもう一度復習しました。 前回よりは証明の流れが分かった気がします。たぶん。後は前回沈没した Σn スコーレム関数の話や admissible ordinal の話をもう一度読 んで fine structure に突入すれば良いのですが、連休も明日でおしまいです。 連休後もちゃんと勉強できるかが最大の問題です。少しずつでも継続しないと すぐに忘れてしまいます。一度忘れるとまた最初から読み直すはめになります。 もうコード化の部分を読み直すのはいやなので、ちゃんと継続して勉強する予 定です。
つうか読み直してみると前回全然分かっていなかったということが少し分かり ました。特に前回読んだときスコーレム関数の話は全然ぴんと来てなかったで す。スコーレム関数に関しては色々教わったり、0# の話で少しだけ直 感がついたのが役に立っていると思われます。
コメント
一日だらだらしていました。300円で買ってきた DVD 2枚見ました。
コメント
圧縮レンマまで読みました。これで L に関しては二年前の状況に戻ったことに なります。たぶん。
昨日のコメントがくるるさんのアンテナに補足されていました。ただのばかで すな＞かがみさん
コメント_てなさく [同じアホなら踊らにゃそんそん。]
モカちゃんは中学時代から吹奏楽部でクラリネットを演奏していました。高校 でも吹奏楽部に入部しクラリネットのパートを担当することになりました。中 学のときは先生の楽器を借りていたのですが、高校では持っていない生徒はク ラリネット担当になれません。「持ってないならバスクラリネット担当はど う？」という打診もあったそうですが、本当の希望ではないので却下です。と いうわけで本日購入しました。 クランポン R13。お値段は三十五万円です。もう我々は裏方でありモカちゃ んの世代が主役の時代です。今後勉強と部活動ともに多いに楽しんでもらいた いものです。
ドとレとミとファとソとラとシの音が〜出な〜い♪
もう本当に一円もありませんよ。大切に使ってね。
コメント_miya [オ パキャラマド パキャラマド ぱおぱお ぱぱぱん！]
_かがみ [au pas camarade, pas camarade, (au) pas ...]
_miya [パキャラマドにそんな意味があったとは！っていうかフランス語だったと聞いてまたびっ...]
_てなさく [カマラード (camarade) は「仲間」とか「ご同輩」とかの意味らしいです。...]
_かがみ [えらいこっちゃえらいこっちゃよいよいよいよい。]
数学の勉強ですが一昨日と昨日は調子でなかったのです。でも三日目になった 本日から少し調子が良くなってきました。集中しようと努力して継続しないと だめですね。「調子が良い」というのは、具体的には書籍の文章や論理式が 「語りかけてくる感じ」になるということです。連休中に全部忘れてしまった ゲーデルの圧縮レンマの証明まで追いかけたいというのが目標です。
全然関係ない話ですが今日はモカちゃんの遠足でした。お隣の学校はインフル エンザ問題で大変だったみたいです。該当の生徒さんはマスコミでは犯罪者扱 いでした。テレビで誰かから「シロで良かった」とまで言われてました。私は 自分が希望しないにもかかわらず行動を制限されたり犯罪者扱いされるのは好 きでないので、今の日本の状況でインフルエンザの疑いがあった場合、あえて 病院へは行きません。
コメント_通りすがり [私は他人に病気を伝染させて喜ぶ趣味はないので、感染の可能性があれば、おとなしく隔...]
_かがみ [それが普通だと思いますよ。]
2009年4月
2009年6月
更新履歴と日記の先頭に戻る
日記の目次
集合論雑記目次
はてなリング 数学の輪
トップページに戻る
谷山浩子さんのページ