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

2007年8月31(金)

• つくば出張

  実は昨日風邪で熱が出て一日寝ていたのですが、今日はつくば出張で休むわ けにはいきません。ふう。さらに今日の現地テストで失敗すると 静岡行き も危なくなるという。さてどうなるのでしょうか？

  コメント

  _かがみ [よし、検査成功。明日から九連休です。]

• できた (はず)

  というわけで、この数ヶ月ずっと作ってた、納期まであと二週間のソフトウエ アー完成。二週間も余るとは素晴らしい(^^。まあ納期と言っても一回目であ り、その後色々殘件があるのですが、今は考えないということで。

  それよりモカちゃんの方の納期が近そう。大丈夫かな？ (←夏休みの宿題)

  コメント

• 勉強ぷち再開

  なんか週一回の日記になってしまいました。もう少し更新頻度を上げなければ。

  それはそうと、やはり動機があるというのは重要らしく、数学基礎論サマース クールに行けそうな感じになってきたとたん、少しでも勉強しなければ、とい う気になってきました。もっとも半年近いブランクがあるので、リハビリを兼 ねて今まで証明の読み方がずさんだった部分や、忘れてしまった部分ををもう 一度読み直しています。

  で、サマースクールの方は、今後よほど重大な仕事上の問題が発生しない限り、 全日参加できそうです。もう宿もとっちゃったし。まあ仕事で問題が発生した 場合病気になればよいのではと (殴)。

  コメント

• 数学基礎論サマースクール2007

  9月4日 (火) から 9月7日 (金) の間静岡大学で開かれます。実はさそって下 さったかたがおられまして、ほんと行きたかったのですが、丁度仕事の納期の 前週ということで無理かなと思っていたのです。ところが何とかその前週辺り にプログラムが完成しそうな目処が立ちました。日帰りで一日だけ、それとも うまいこと全日行けるかは今のところ分かりませんが、万難を排して参加する 予定。四日間は無理としても、二日くらいはきっと大丈夫です。

  私のような素人でさらに部外者をさそって頂き本当に感謝しております。

  コメント

  _はやし [これはものすごく楽しそうな催し物、ですねえ。毎年、数学基礎論サマースクールは気に...]

  _かがみ [はやしさん、こんばんは。考えてみると数学の講義を受けるのは 25年ぶりで、ついて...]

  _くるる [私は行けませんが、楽しんできてくださいね。参加者の皆さんによろしく。]

  _かがみ [くるるさん、こんにちは。どうもお久しぶりです。ご伝言の方確かに承りました。うれし...]

  _タナカコウイチロウ [はじめまして。初めて書き込みします。集合論を扱っているブログなので、私の知識不足...]

  _かがみ [タナカさんこんばんは。始めまして。サマースクールに関してですが、私自身内容をどの...]

  _タナカコウイチロウ [かがみさん、返信ありがとうございます。結果的にはかがみさんには荷が重い質問となっ...]

  _通りすがり [個人的にはＭＬＧに興味あるな。公理的集合論は正直ムズイよ。学部でもロジックで完全...]

• 方向音痴

  私は方向音痴です。そもそも左右が良くわかりません。右手がどちらかなんて、 自分がお箸なり鉛筆を持っている図を想像しないと分かりません。 地図を眺めていても南北はともかく東西が良くわからないのです。

  ところで最近仕事で緯度経度に関するちょっとした計算が必要な場合があるの です。これは困ります。まず latitude, longitude と緯度経度の対応が分か りません。また球面三角法の慣習で、緯度だか経度だか分からないのですが、 なる変数を使用する場合も多いらしく、もちろんその対応も全然覚えられません。 それより最大の問題は次の通り。

  そもそも緯度と経度どっちがどっちだか分からない (笑)

  というわけでメモ書き。

  名称	英語名称	慣用の記号	備考
  緯度 (南北を表す)	latitude		上が北
  経度 (東西を表す)	longitude		右が東

  うーん、どうやって覚えれば良いのだろう。難しい。

  コメント

  _通りすがり [緯度の記号は地球を回転軸で串刺しにしたものでしょうね、タブン。]

  _miya [というか、東西は緯度だったか、経度だったかすぐに忘れます・・・]

  _かがみ [なるほど、串刺しを座標軸と思えばたしかに南北になりますね。でもうかつに回転したの...]

  _かがみ [考えてみると東経、北緯等の言葉を思い出せばなんとかなるかも。とはいうものの、東西...]

  _Y.Kumagai [時刻関連の設計トラブルをより早く食らう方が東です(笑)]

  _かがみ [なるほど、うるう秒で最初にはまるのですね (^^。]

• 納期の謎

  9月10日頃にせまった半年仕事の納期ですが、この数ヶ月間ほとんど土日もお うちで仕事をした甲斐あり、なんとか間に合いそうです。夏休みは納品後お約 束のバグと仕様変更の対処をして、10月以降となりそうです。

  ところで予定としては今月中にプログラムはすべて完成させ、9月に入ったら のんびり出荷の準備をするつもりだったのです。ところがどう計算しても一週 間分くらい間に合わないのです。それを見越して 9月初旬に予備日を一週間程 確保してあったのですが、結局それを使うことになりそうです。それより最大 の謎は

  どうして半年の予定なのに一週間単位でぎりぎりになるのか (笑)

  ということなのです。それ以前に間に合うこと自体が奇跡なのですが、都合よ く予備日を駆使して間に合うとはほんと不思議です。全く間に合わないか、そ れとも余裕をもって間に合うということはないのだろうか？ いやない。やは り無意識に調整しているのでしょうか。あれです。囲碁や将棋の序盤どうでも よさそうなところ (本当はどうでも良くない) で長考して、中盤や最後の方難 しそうなところを一分以内で打つという、序盤は構想を練って「遊んでる」心 理と同じなのかも。

  というわけでまだまだ修羅場と言えば修羅場なのですが、ゴールが近づけばそ れなり集中力も増すので、なんとかなるでしょう。システム全体はチームでの 仕事ですが、ソフトウエアーに関しては一人でなんでもだったのはそれなり成 功だったのかも知れません。

  コメント

  _miya [「卒修論における、旧帝大と地方国立の大きな違い」は「最後の１ヶ月の追い込み（集中...]

  _かがみ [反応が遅れてすみません。で、大学はともかくとして、最後の追い込みがきくようになっ...]

• 生存報告

  生きてます (笑)。あと一月半位のがんばりなのですが、忙しくって (汗)。

  ところでモカちゃんに 二年前買ってあげた iPod shuffle が壊れました。さすがに寿命のようです。それなり便利に使って いたようなので、 新しいのを 買ってあげました。あま親で困ったものです。二年前と同じ値段で容量は倍で す。あと、知らなかったのですが、刻印もできるそうで、迷いに迷って名字な しの名前に決めたようです。

  それはそうとにわかに信じられないのですが、モカちゃんいわく、

  が無理数であることを証明した

  そうな。本人の話によると有理数、無理数を習い、まえに私が は無理数と言ってたのを思い出して、既約 (これ以上約分できない) 分数の形 に書いてごちゃごちゃやったら変な結果になったので、これは無理数だという のです。背理法は知らないとのこと。ほんとかいな。実は小学生の時一度説明 したことがあって、そのときは全く分からず拒絶されたのですが、記憶の底に でも残ってたのかな。それともだれかにこっそり教わったとか。まあ余り本気 にはしないということで (笑)。

  コメント

  _miya [背理法ですか・・・ハイリ　ハイリホ　ハリ　ハリ　ハリッホーなんて歌っていずにちゃ...]

  _通りすがり [「背理法は知らない」ということは、自分のやってることが実際には背理法になってても...]

  _かがみ [背理法とか、帰納法は嫌われている場合が多いようですが、原理的には自明に近いと思い...]

  _かがみ [よくよく聞いてみると、背理法に対応する証明方法はだれかに教えてもらったみたいです...]

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