02/25 aiueo  01/01 かがみ  01/01 ゼルプスト殿下  01/01 かがみ  01/01 ゼルプスト殿下  05/10 かがみ   

2009年4月30日(木)

• モカちゃんコンタクトの練習始める

  一度も使わないではと心配していましたが、「連休中に練習」ということで本 日の夜から練習を始めたようです。慣れないせいかまだ違和感があるそうな。 明日は遠足なので学校につけていくのは無理でしょうが、連休明けからはなん とかして欲しいものです。

  関係ない話ですが内容はともかく四月の日記は全勝です。ということは現時点 で本年度全勝です。なんとか内容もよくしてこの状態を維持したいと考えてい ます。

  コメント

  _Joe [4/29の日記が行方不明です…。]

  _かがみ [あれれ。たしか昨日は数学できないねた書いたはず。さらに Joe さんにコメント頂...]

  _かがみ [復帰しました。普通は前日のをコピペして、日付の部分以外を削除してから当日の内容を...]

  _Joe [Undoさまさまですね(^^;。]

• またまたモカちゃんの問題ではまる

  さすがに今回はきちんと答えたのですが。

  y = | |x| - 2 |

  のグラフを描く問題です。もちろん楽勝です。楽勝。ですがグラフが不連続で す (涙) もう一度やり直すとこんどは連続になりました。一回目は符号の間違 いがありました。「できた〜」とモカちゃんにじまんしたところ、「その問題 の答え知ってるから見せないでいいよ」という冷たいお言葉。早く多項式や数 列とかの話にならないかな。とはいえちょっと計算が複雑になると必ず間違え るか挫折するのをなんとかしなくては。高校生の問題集をこっそり勉強すると かもちょっと考えているのですが、ますます自分の実力のなさを実感すること になりそうです。

  関係ない話ですが Devlin 本で二年間悩んでて以前放置していた部分が分かり ました。しかも第一章。内容は恥ずかしくて言えません。

  コメント

  _かがみ [つうか y = |x| -2 のグラフを描いて負の部分をひっくりかえせば良いでは...]

  _Joe [Ｗの悲劇ですね。]

  _かがみ [昔だったら一目見て W と分かったはずです。もうだめかも (^^]

• 部長の読み

  2009年4月22日の記事 のように本当は12連休にしたかったのですが、部長がちょっとやな顔をしたの で断念したのです。というか昨日と今日は全然仕事してない。こんなの書いて る。休みにしても部長はちっとも損しなかったのでは。主たる理由は何かあっ たとき私がいないと不便だからということだと思います。ところでこちらにも 策略があり、「連休後」の5月7日(木), 5月8日(金) に病気になり休んじゃおう かなと思っていたのです。これで夢の12連休です。もっとも私の病気は確信犯 か「会社行きたくないよ〜病」であるというのはとっくにばれています。とは いえ来ないという人を無理やり引っ張ってくる訳にもいかないので、仕方がな いとあきらめるであろうと思っていたのです。

  どうも読まれていたらしいです。

  5月7日にどうしても出席しなければならない会議がわき出てきました (笑)

  いやはややはり部長にはかないません。というかいつもお世話になりっぱなし なのに、不埒な策略を考えて申しわけございません。反省してます (猿)

  私の部長さんは頭が良くて風流にも通じ尊敬しています。 こんな面白い発想もあります。さらに上の写真のように毎年「今年も健康 に注意してがんばってください」と瓢箪を作って下さるという。頭が上がりま せん。

  コメント

• 今日は仕事

  ですが心はすでに連休モード。まったくやる気がない。

  コメント

• モカちゃんコンタクトレンズを買う

  モカちゃんは近眼です。裸眼視力が0.1位です。たぶん。授業中とかはメガネを かけています。昨日突然「コンタクトレンズが欲しい」と言い出しました。理 由を聞くと「最近メガネの度が合わなくなってきたしメガネをかけたり外した り面倒」ということなのです。コンタクトレンズの方がはるかに面倒というこ とを知らないみたいです。モカちゃんさらにいわく。「使い捨てのだと一月に 二千円位しか費用がかからない。」 この段階まで本人がその気になっている場 合、一度購入して、いかにコンタクトレンズが面倒か思い知らさせるしかあり ません。軟弱だめ親です。というわけで検査に行ったところ、使い捨ては酸素 の透過率が良くなく、一年くらい使えるものの方が良いそうな。一月で飽きる であろうと考えていた予算計画が完全に狂いました。とは言うものの、軟弱だ め親ですから、一年ものを購入したことはもちろんです。

  昨日は色々慣れるための練習とかしていました。本日は朝早めに起き、きちん と装着して学校へ行くはずでした。でもすでに面倒なのか「時間がない」とか いって装着せずに学校へ出かけました。お願いですから半年くらいは使ってく ださい ＞モカちゃん。というか来月さらに恐ろしいモカちゃん出費が控えてる んですが。

  コメント

  _Joe [私は、コンタクトしたまま寝てしまうのが怖くてコンタクトにできません。というか、や...]

  _miya [モカちゃん出費のために、馬車馬のように働いてください。（＞ ＜）]

  _かがみ [(Joeさん) 実は学生時代一度血迷ってコンタクトにしたことがあるのです。面倒、...]

  _かがみ [(miyaさん) モカちゃんはまだ気がついていませんが、コンタクトを常用する場合...]

• 土曜日

  今日は四時間くらい Devlin 本を読みました。晩ご飯食べた後ころがっていた ら二時間くらい寝てしまいました。モカちゃんは平日の疲れがでたのか、四時 間くらいお昼寝していました。

  コメント

  _てなさく [SpringerのLecture Notes in Mathematicsシリー...]

  _かがみ [とりあえず3,000円のだけ身請けというのはどうでしょうか。といいつつすごく言い...]

  _てなさく [3,000円のだけ身請けも当然考えましたが、度胸が足りません。10,000超の本...]

  _かがみ [それなり好きな人が何人かいるのに選んで身請けするのは度胸いると思います。]

• どうやら

  4月20日の記事 で「体調良くなってきた」と書きましたが、奥さまの説によると単に軽いうつ 状態から普通の状態に変化しただけなそうな。三ヶ月周期というのが奥さまの 観察です。言われてみるとそんな気がします (^^。そもそも今やお医者さんも 本人も「もうこの歳で無理しないでいいや」という状況である、一生ものの薬 物依存である「セルシン + デパス」の量増えてたし。うつ状態といってもいま いち仕事がはかどらないとか、数学やる気しないとか、すぐ会社休みたくなる とかで、憂うつとか死にたくなるとかそういうことは全くなく、全然たいした ことないのですが、やはりちょっとつらいのです。あんまりひどいときはうつ 病の薬というのもありなのかも知れませんが、あれって全然気持ちよくならな いんですよ (笑) それどころか不快な副作用の方が多いです。私の場 合うつ病の薬飲むくらいならデパス (抗うつ作用あり) の量を多めにした ほうが良いです。今は調子よいので普段の半分くらいしか飲んでいです。依存 状態であるのと、飲まないと血圧が基準値オーバーとなるので、全然飲まない というわけにはいかないのです。

  こんな状況なので連休中はそれなり数学で楽しめそうな気がします。ただし、 あまりだらだらしていると緊張がゆるみ何もする気がなくなるので、十分注意 する必要があります。

  コメント

  _ぷっつん大吉 [一応、薬絶ちしてもう長くはなります。（相当昔の話ですが、メジャートランキライザー...]

  _かがみ [ぷっつん大吉さんこんにちは。学生時代のパニック障害の治療で当時の色々なマイナート...]

  _ぷっつん大吉 [かがみさん、これは大変失礼いたしました。私を上回るキャリアをお持ちのご様子で、も...]

  _通りすがり [「数学やる気しないとか、」　私の常態ですが　「すぐ会社休みたくなるとか」　私の常...]

  _かがみ [私が薬に頼るのは「私の場合」その方が楽だからです。病院に行く判断基準は行ったほう...]

• いつのまにか

  この日記も7年目に入ってるみたいです。こんなに長続きするとは自分でも驚き です。日記を書くことにより色々なことを学びました。また素晴らしい人と知 りあうこともできました。大成功です。というわけで、つまんない日記ですが、 今後ともよろしくお願いします。

  コメント

  _miya [七周年おめでとうございます。こちらの日記にはいろいろと助けられました。ありがとう...]

  _かがみ [ありがとうございます。そういえば miya さんとはこの日記書き始めた直後からの...]

• 連休の予定

  4月30日、5月1日をお休みにして 8連休にする予定です。実は4月27日と28日も お休みにして12連休にしようと思ってたのですが、上司がちょっといやそうな 顔したので断念しました。あんまり休みすぎると運動不足と食べ過ぎで体調を 崩すので丁度よいのかも知れません。

  コメント

  _Joe [私は、24日から壮大な飛び石連休が始まります。24が休み、25が出勤、26が休み...]

  _かがみ [最近完全にご無沙汰状態で申しわけありません。お金と体力が...。Joeさんのお休...]

  _Joe [いやいや、システム運用をやっているので、月に2,3日は休日出勤になって、代休が発...]

  _かがみ [というわけで本日 FC の入金しました。]

• 久しぶり

  先週中に文書の整理とかが大体終了し、二ヶ月ぶりくらいのプログラム書きモー ドに入りました。わりと気楽だけれど面白くて一週間くらいの量という理想的 なお仕事です。いつもの通り組み込み機器用のプログラムですが、入出力はファ イルとネットワークだけなので、MacBook ですべての開発とデバッグが行える のもよいです。

  コメント

• 体調良くなってきた

  実はこの一月くらい体調が最悪で、さらに頭の中に違和感があるという、もう 一年もたないのではという感じだったのですが、この一週間くらいでやっと調 子が戻ってきました。自分自身は一年もたないことについて特に困るとは思い ませんが、さすがに奥さまとモカちゃんが苦労しそうなのが困ります。現行マ ンションと学費の借金だらけ、生命保険等はマンション購入時に強制加入させ られたもののみ、転職が多いので退職金もあんまり出ない。

  いくら後のことは考えないとはいえ余りにも計画性がないのでは (^^

  といまさら言っても仕方がないので、なんとかモカちゃんが大学を卒業するま での7年間生きのびるしかなさそうです。さらに子供の手が離れた後5年くらい はのんびりしたいので、後12年位生き延びるのがが目標です。

  コメント

• 今日もお仕事

  今日は自宅で一日仕様書を書いていました。

  コメント

• お仕事

  今日は会社でお仕事でした。仕様書というか提案書書きです。いつもこの日記 に書いてるように、ドキュメントはすべて LaTeX + OmniGraffle で作成してい ます。自分でレイアウトを考える必要がなく見栄の良い書類が作れて、さらに 数式も見栄え良く簡単に記述できると良いことづくめですが、さすがに \multicolumn の表はへこみます。数式なしの書類ならば普通のワープロでも良 いかも。完全 Emacs キーバインド互換ワープロならばですが。さらに一つでも 数式がある場合ワープロは却下です。というか wikipedia の集合論の項目に色々 書きたいなと思っているのですが、あそこの編集機能のキーバインドはへこみ ます。特に Ctrl-A で盛大に画面が変化するのが困ります。Ctrl-A (カーソル 左端移動), Ctrl-E (カーソル右端移動), Ctrl-N (一行下), Ctrl-P (一行上), Ctrl-L (画面のリフレッシュ) はいつも無意識に押しているからです。あれっ て変更できないのでしょうか。

  コメント

• Laplace変換とかZ変換とか

  諸般の事情で Of Poles and Zeros という本を読む必要が生じました。あかん。フーリエ変換はともかくラプラス 変換の意味が全然分からない。学生時代にこういう方面もちゃんと勉強しとけ ば良かった。一応超関数とか眺めたことはありますが、Radon 測度との違いが 全然分かりませんでした。もっとも、今回の場合超関数とか難しいことを考え るのではなく、とにかく物理的な現象を数学的に表現して、具体的な計算がで きるようにするのが目的です。集合論と違い会社で堂々と勉強できるのはよろ しい。にしても難しい。。。

  コメント

  _てなさく [ご存知かもしれませんが次の本はけっこういいですよ。でも版元品切れ。吉田耕作『演算...]

  _かがみ [ありがとうございます。ちょっと入手が難しそうですが古書とか探してみます。物理や工...]

  _てなさく [あれから少し考えたんですけど、ラプラス変換って「微分演算」を行列だと思って、その...]

  _てなさく [それから、てなさく家の布団の下の空間は宇宙と同じくらい古いです。（万年床ともいう...]

  _てなさく [それから、てなさく家の布団の下の空間は宇宙と同じくらい古いです。（万年床ともいう...]

  _てなさく [あ、やってしもた]

  _かがみ [万年床ではなくって、押し入れを整理して「シュワルツ解析学」を探したのですが行方不...]

• つくば出張

  今日はつくば出張です。

  コメント

  _てなさく [今月に入って、日記の日付が「4月16(木)」みたいに「日」が落ちているようですが...]

  _かがみ [バグじゃあありません。その月の一日目に間違うと、コピペの法則によりその月全体が間...]

• 「集合論」検索

  昨年も書きましたが、新学期の時期になると「集合論」もしくは関連用語での 検索が多くなります。新しいねたも大切なのですが、基本の基本の部分をもっ と分かりやすく書き換えるのも良いかも知れません。それとの基本の部分を まとめて、さらに色々追加してPDF化した方が良いのかなあ。

  全然関係ない話ですが、学生時代に読んだブルバキはおいといて、私が集合論 を最初に勉強するときに読んだ本は [1] です。この本は日本では余り有名でな いと思いますがとても良いです。正直それなりの予備知識なしで [2], [3] を いきなり読むのは難しいと思うのですが、[1] には [2], [3] を読む前提や最 初の方でさらっと流している部分について非常に分かりやすく書かれています。 論理記号は使用していませんが内容は公理的です。 例えば amazon.com の Look Inside の目次で分かるように入門書としては十分すぎるほど豊富な内 容です。著者の一人を見れば [3] の入門として最適なのは当然なのかも知れま せん。

  [1] Karel Hrbacek, Thomas Jech, Introduction to Set Theory, Third Edition, Revised and Expanded, Marcel Dekker, 1978.

  [2] Kenneth Kunen, Set Theory, An Introduction to Independence Proofs, Studies in Logic and the Foundations of Mathem atics, North-Holland, 1980.

  (邦訳) ケネス キューネン著, 藤田 博司訳. 集合論—独立性証明への案内. 日本評論社, 2008.

  [3] Thomas Jech, Set Theory, The Third Millennium Edition, Revised and Expanded, Springer-Verlag Berlin Heidelberg NewYork, 2002.

  コメント

• 高校1年生の愛娘をお持ちの数学科出身のプログラマーのお父さん

  「て日々」 2009年4月13日の記事 によるとほとんど名指しだそうです。なので注文しました。注文すること自体 は名指しかどうか余り関係なかったのですが、最大の問題は本当に名指しなの かということです。すなわち本日のお題を満たす人が日本に何人存在するか。

  毎年数学科に入る人は何人くらいいるのか分かりませんが、どんぶりで 1000人 と仮定します。毎年の卒業生でプログラマーとなる人は二割くらいでしょうか。 ここまでで毎年 200人となります。その200人が一生の間に平均一人の女性を子 孫として残すと仮定します。いまいち自信なしですが、子供がある時点で丁度 高校一年生になるのはやはり 200人位となるのでしょうか。

  名指しというほどではないような気がします (^^

  「高校1年生の愛娘をお持ちの数学科出身で集合論ヲタなプログラマーのお父さん」

  とするとほとんど名指しになると思われます。

  数学科卒業生もしくは在校生もしくは卒業生と在校生同士で子供を作った場合、 子供の推定人数が減少する可能性はあります。ですが、他の要因が余りにもど んぶりなので、無視しても全く問題ありません。

  (追記) 考えてみると「お父さん」という条件が抜けていました。残念ながら現 在の日本の数学教室で女性の割合は非常に低いので、上記計算には余り影響が ないと思われます。

  コメント

  _通りすがり [＞毎年の卒業生でプログラマーとなる人は二割くらいでしょうか。ちょっと多くないです...]

  _かがみ [実はアップした後ちょっと多いと思いました。逆に女の子の数が少し多めなので、まあい...]

  _かがみ [「実はアップした後ちょっと多いと思いました。逆に女の子の数が少し多めなので、まあ...]

  _Joe [私の入った年の数学科は40人中女子が8人で20%。物理課は0人だったので、たいそ...]

  _てなさく [＞Joeさん苗字といえば「真ん中は高橋さんの法則」は成立していましたか？]

  _かがみ [8人もいたんですか。いいなあ。私の時は45人中2人が女性でした。5% 未満です。...]

  _てなさく [本日某先生の某授業を受けた某大学数学科の３回生は男子３８名女子１０名でした。女子...]

  _かがみ [あ、そんなに多いんですか。いいなあ。名指しの方ですが諸般の事情をかんがみると、全...]

• ねたが

  なくて困っています。とだらだら更新を続けて良いのか悪いのか。ところで会 社の机の横で余生を送っている黒マックの本体マウスが死にました。一応外付 けの USB マウスをつなぐと動くみたいなのですが、もう MacOSX マシンとして はだめそうです。

  うわさによると FreeBSD が動くみたいなので、おうちのサーバー X24 に何ら かの問題が発生したときの予備機としての余生を送ってもらおうかなと考えて います。この用途の場合 GUI は必要ないので、したがってマウスも必要なく、 より良い余生を送れると思います。昔は FreeBSD のインストールに萌えました が、最近は単に面倒なだけというのが最大の難点です。

  もちろん Dawin マシンとして使用するのもありかも知れませんが、GUI なしで 管理する能力がありません。やはり管理という面では FreeBSD が一番らくちん なのです。

  コメント

  _てなさく [というわけで、ネタひとつ提供させていただきました。]

  _かがみ [ありがとうございます。さらに日記最長題目記録まで更新できました。こちらもありがと...]

• 歩く歩道

  歩く歩道 って怖すぎと話したときの奥さまの反応です。

  ちっとも怖くない。歩く歩道ってキャタピラみたいなもんじゃない。キャタピ ラは脚の本数が無限になったムカデみたいなもんだから、無限の話には丁度い いんじゃないの。

  あ

  コメント

  _通りすがり [＞キャタピラは脚の本数が無限になったムカデみたいなもんだから「無限」＝「境界がな...]

  _かがみ [無限コンパクト空間です。実は現在の生物学には致命的な誤りがあるのです。ヘビの足は...]

  _ni-capo [名称なのですが、「歩く歩道」ではなく「動く歩道」だと思います。「歩く歩道」だと、...]

  _かがみ [あ。「動く歩道」って言うのですか。知りませんでした (^^谷山浩子さんの「ガラス...]

• ブダペスト弦楽四重奏団

  二日くらい前に 「ベートーヴェン弦楽四重奏全集」 というのをぽっちんしたのが本日届きました。とりあえず「作品131 嬰ハ短調」 を聴きました。いやはや名演奏の誉れ高いといううわさは知っていましたが、 これほど素晴らしいものとは。

  コメント

• 皆勤賞

  なんと四月に入ってから毎日日記を書いていることに気がつきました。一行ね たが多かったり、人様のねたを拝借したりで、内容はともかく近来まれにみる 快挙です。と無理に一日快挙をのばしたりする。

  コメント

• 越えていた壁

  

  ここまで進歩していたとは＞グーグル検索エンジン

  コメント

  _たかたに [まさしく名実ともにというやつですね(微笑)]

  _Y.Kumagai [ぬなっ!?Σ(‾□‾;)ウチにはそんな語彙ありませんよ???(T^T)]

  _かがみ [実は最初、たかたにさんを越えられないというねたにするはずだったのですが、検索結果...]

• ぶっちゃけたはなし

  別に将来も「役に立たなくて」良いのでは。

  もちろんその分野で仕事をされている場合、それなりの営業トークが必要なの は良く存じております。実は現に役に立っているのでは、という観点について は昨日のコメントに記載しました。

  コメント

• 入学式

  今日はモカちゃんの入学式です。一昨日モカちゃんとちょっと無限の話をしま した。

  (その1) アキレスと亀の話

  モカちゃんの説によるとアキレスが亀を追い越せないのは、「ディズニーラン ドに行くときのるやつ、えーっと...」

  亀は歩く歩道に乗ってたんだ！

  (その2) 0.999999... = 1 の話

  モカちゃんの説によると「ほんのちょっと違う」ということらしいです。とこ ろで1/3 = 0.33333... は正しいの？ と尋ねたところ、それは正しいそうな。 じゃあ両辺を3倍すればと言った後は沈黙していました。任意の (真に) 正の数 より差の絶対値が小さいから等しいのでは、という論法は全然分からないみた いでした。

  親が大学に入った直後

  実数 x が任意の (真に) 正の数 ε に対して |x| < ε のとき x = 0.

  が分かんなくて困りに困ったのは内緒です。

  コメント

  _てなさく [てなさくは大学に入ったとき スカラー α とベクトル x について αx=o ...]

  _かがみ [本文の論法やてなさくさんが困りに困ったという問題って、後になって考えるとほとんど...]

  _miya [恥ずかしながら、(その2) 0.999999... = 1 の話は今日はじめて（...]

  _かがみ [お役にたててうれしいです。理由からおわかりのように 1/3 = 0.33333...]

  _てなさく [だから、小数の掛け算は末尾の桁からやってくれと言っ（以下省略）]

  _かがみ [先生！わりきれません (以下省略)]

  _てなさく [うっかり見過ごすところでしたが「歩く歩道」って・・・]

  _かがみ [あ]

  _通りすがり [√(-1)は、(-1)を180度回転として、その半分の90度回転だと考えればいい...]

  _かがみ [絶対値 1 の複素数全体が平面の回転群と同型なのは、当たり前といえばそうなのです...]

• くるるさんとこの話題

  くるるの数学ノートの記事 「実用性のない研究をそこまで全否定しなくても…」

  下記リンク先、はやしさんの記事が一番的を射てると思います。

  ものを考えたり知ったりすることはおもしろい。

  役立たず万歳！

  それどころか集合論の研究者の方が、他の分野への応用のアピールという面で 少し無理しているのではないかと感じていたので、今回のくるるさんのエント リーを読みすっきりしました。

  はやしさんへ。「はやし 役に立たない」なんて検索失礼致しました。いくらな んでもヒットしないと思って「はやしのブログ 役に立たない」に変更しようと したら、しっかり上位にランクされていました。全く反省の色が見えずさらに 失礼致しました。

  コメント

  _てなさく [とはいえ、「役に立つ／立たない」の二分法を認めたうえで「役に立たない」の側につく...]

  _はやし [ご紹介どもです。さいきん、無用に忙しく、ごぶさたしてました。で、てなさくさんの、...]

  _てなさく [はやしさんこんにちは。もちろんてなさくも「おもしろいほう」の味方です。今後ともよ...]

  _はやし [てなさくさん、ご返事でありがとうございます。てなさくさんが（たぶん）おっしゃりた...]

  _てなさく [いえ、ぜんぜんそんな方とはつゆ知らず釈迦に説法しておりました。この件に関するわた...]

  _かがみ [さすがに誤解されないと思いますが念のため。 はやしさんの「ものを考えたり知ったり...]

  _通りすがり [＞どう見ても集合論者は最初から失格です。もし、将来うっかり役に立っちゃったらどう...]

  _通りすがり [＞たぶんぼくに向けられているであろう批判にお応えすると…「笑い」が足りないなあｗ...]

• 一部修正

  2008年12月31日に記載した 玄妙基数 (ineffable cardinal) でのダイアモンド原理にかんする証明に一部不備があったので補足を追加しま した。誤りに気がついたのは [1] によります。従って上記玄妙基数の記事にお いて参考文献 [1] も追加しました (リンク先では [4] となっています)。

  [1] は藤田さんの 「記述集合論ノート」 のページからたどることができます。

  (参考文献) [1] 藤田博司, 玄妙基数と精妙基数, 2009 年

  コメント

• かんちがい

  大阪・ミナミの道頓堀川におっこちた人形を、ずっと「くいだおれ人形」だと 思っていました。

  コメント

  _miya [えっ、ちがうんですか？！]

  _かがみ [誤報かも知れません。]

  _Red cat [カーネルサンダース人形ですね。]

  _てなさく [この時期に「おっこちた」っていうから、わたしはてっきり北の国からの飛翔体の話かと...]

  _かがみ [(Red cat さん) えーっと、ケンタッキーフィライドチキンのお人形ですよね...]

  _かがみ [(てんさくさん) さすがに本文は飛翔体とは無関係ですが、もちろん上から二番目のコ...]

  _てなさく [飛翔体だったら将軍さま人形かなあって。]

  _かがみ [光速以上で飛翔して江戸時代にワープとか。]

  _miya [カーネルサンダースの呪いですから、そりゃそうですね・・・でも、なぜだかカーネルお...]

  _かがみ [だぶったままで実害ありません。というか「食いだおれ人形」ってもうないんでしょ？]

  _てなさく [北の国の将軍さまとダブらせるよりはマシかと…]

  _かがみ [歩く歩道よりはマシかと。]

  _通りすがり [＞飛翔体なぜ単純にロケットといわないのだろう？ロケットエンジンで飛んでるだろう？...]

  _かがみ [普通の感覚ではロケットというと、地球の周りを回ったり、月に飛んでいったり、惑星に...]

  _かがみ [いっそのこと UFO と呼べば面白かったかも。ただいま UFO が発射されたとい...]

• お休み

  今日はいまいち調子が良くないのと、代休消化のためお休みです。

  コメント

  _Joe [私は、代休は4/7と4/10と4/17と4/24に取りました(^^;。]

  _かがみ [三連休を続けてゴールデンウィークに突入ですね。本当は有給も消化しきれない状態なの...]

  _Joe [しかし、4/25は休日出勤です。ゴールデンウィークも何日かは出ることになるでしょ...]

  _かがみ [あ、ご無沙汰しすぎて、Joe さん遠征スケデュールのチェックしてませんでした。見...]

• レヴューア

  「数学ガール」 の著者である 結城浩さん が執筆中の本のレヴューをすることになりました。このようなことを通じ、少 しでも数学の世界と接点をもちたいと思うので、非常にうれしく感じています。

  コメント

• 最近

  エイプリルフールねたはありません。

  今日は 38度位の熱が出てお休みです。実は昨日もしんどかったのですが、 お客様のとの打ち合わせの約束だったので、めずらしく無理をしました。

  ゆっくりですが Devlin 本を読んでいます。最近基本的な部分の証明を何回も 読み直したり、自分で再構成したりが楽しくなり、全然進みません。これでは いつになったら本を読み終えることができるのか見当がつきません。でもこれ で良いのだと思います。以前はとにかく前に進まなければというあせりみたい なのがあり、証明を味わって楽しむことまで出来なかったのだと思います。こ の辺りの心境の変化は、渕野さんから初等的部分構造の面白さを教わり、渕野 さんの趣旨とは異なった方向に進み申しわけなかったのですが、てなさくさん にサポートしていただき、お気に入りヴァージョンのΔシステム補題の証明 (証明自体は一般的なものです) を考えることができたのが大きかったと思いま す。さらにくるるさんに初等的部分構造の陥りやすい誤りや、初等的部構造に おける定常集合の良い振る舞いを教えて頂いたのも大きかったです。余りのん びりでも困りますが、幸い数学に関して何らかの義務を負うという立場ではな いので、あせらずに一日一ページという感じで読み進みたいと考えています。 一日一ページでも一年で全部読めるではないか。素晴らしい。一行に数日もし くは永久に時間がかかる場合さえなければ。たぶん。

  コメント

  _かがみ [完璧なエイプリルフールねたは「私は嘘をついている」だと思う。]

  _てなさく [昨年「きょうは3月32日だ」ってのをやってしまいました。]

  _かがみ [今年4月1日のてなさくさんの日記を読んで、昨年の4月1日のを一生懸命読み直しちゃ...]

  _てなさく [思いつきと気まぐれで日々を生きている てなさくには、計画とか貯金とか、そういうも...]

  _かがみ [計画とか貯金については志を同じくします。ちょっと余計なこと書いてしまったかも知れ...]

  _てなさく [住宅ローンの返済計画はありますが、これは他の人が作った計画に従っているまでだった...]

  _かがみ [住宅ローンの返済計画についても志を同じくします。たかいなあ。ながいなあ。]

2009年3月   2009年5月   更新履歴と日記の先頭に戻る   日記の目次 
集合論雑記目次
はてなリング 数学の輪
トップページに戻る   谷山浩子さんのページ