ぎょーむ日誌 2001-07-11

2001 年 07 月 11 日 (水)

• 0700 起床． よく眠れた． 寝たのが 2230 ごろだったから， 8 時間以上寝たのか．
• 朝飯・弁当の準備． 朝飯． コーヒー． シャワー．
• 0745 自宅発． 晴れ． 特急に乗って 0754 京急平和島発． 普通に乗り換えて 0818 京急上大岡発． 0840 研究所着． 今日も朝からかんかん照りである． しかし， 天気予報など聞いてると 東京より横浜のほうが少しだけ 気温低いような ……
• 昨日からいろいろと調べてるんだが …… 「全ての……に対して……する」 というのは数式でどう書けばよいのだろうか．
• 述語論理というやつでは， ∀xP(x) で 「すべての x で命題 P が成立している」 …… か． これとはちょっと違ような． どうなんだろう．
• 全称記号 ∀ はこういう場合使えんのかな． うーん． あるいは i の集合 {i} みたいなのを定義して， ∀ではなく for all {i} と書いてみるかな． いや， for each {i} かな?
• 集合を定義して使うのは悪くないアイデアだな． cohort(x) というのを定義するのに

  cohort(x) = { stem_i | ( stem_i→age ) = x }

  という書きかたが使えそうだ． そうすると

  stem_i ∈ cohort(x)

  みたいな書き方もできるかしらん? いやむしろここで

  ∀ stem_i ∈ cohort(x)

  としてみようかな．
• 昨日から， このアロー演算子``→''濫用してるけど， あまりよくないなぁ． というのも他でいろいろ使われているからだ． 必要条件とか状態の遷移とか継承関係とか． いっそのこと stem_i::age とでもしてみるか? うーむ …… しかし LaTeX だとそれほど見苦しくもない． ちょっと試しに置換してみるか．
• NASDA 事務かたから連絡． 出張前後によけーなところに行くな， か． いやはや．
• 午前中はこんなふうに直しが進む． 昼飯の弁当を食いつつ， そろそろ都立大セミナーの準備に 着手だけでもしないと， と危惧する． 元過激派の長谷川宣教師から 腐れ卵投擲テロを示唆するメイルがまた送られて来るし．
• セミナー準備に着手してみる． テロには無力な市民としては選択の余地がない． 5 月の中間評価でつかった発表 HTML ファイル群生成用の 自作 スクリプトをまた利用する． 40 分ぐらいしゃべればいいんだから ……
• VineSeed から怪しげな rpm パッケイジばかり 拾ってるので BookPC のフォント関係ちょっと怪しい． がたがたな和田研 TrueType フォント使うのは イヤなんだけど， 他のはまともに設定できてないんで， /usr/share/fonts/fonts.alias.ww と /usr/share/fonts/fonts.dir.ww の末尾の .ww を取ったファイルを /usr/X11R6/lib/X11/fonts/TrueType/ に入れる．
• これにあわせるため， Tpng の設定 /usr/X11R6/lib/X11/ja/app-defaults/Tpng のフォンと設定で alias- となっているのを aliastt- とする． これでとりあえず動く． しかし EPS 出力ヘンだな．
• ま， そのうちこのフォントまわりはきちんと整備しよう．
• 都立大の可知さんからメイル． 行間から「ちゃんと準備してるんでしょうね」 という圧力を感じる． うう．
• 健康診断の結果返って来る． 体重 71.2Kg だったので， 怪しげなアロメトリー解析から憶測された 「標準体重」69.1Kg に対して +2.9% の肥満などなど 先日カルテを読んだとーり． とくに問題なし． 検尿結果もだいじょーぶ， か? タンパクだの糖だのは 検出されなかったらしい． ときどき甘いものをどかっと食べることあるんで， インシュリンレセプターが壊れないか心配．
• 唯一ヘンだったのは生年月日． 昭和 49 年生まれの 27 才となっている． これではいつも年齢ばかり気にしておられる 宣教師殿より若くなってしまうではないか．
• 1755 研究所発． 普通に乗って 1810 京急杉田発． 特急に乗り換えて 1820 京急上大岡発． 1900 帰宅．
• ちょー極秘情報． 日本の某大学では 「学生を預かるという重みを自覚するため」 とかいうリクツで， 教官は自前でけーたい電話持たねばならんそうだ． 日本の高等教育もいよいよ終ってるなぁ． いやいや． 今後ますます莫迦げたハナシは増えていく一方だろう．
• だめだ． 夜に仕事ができん．
• 今日の食卓
  • 朝 (0720): 米 0.7 合． 豆腐・タマネギ・ピーマンの炒めもの． キムチ味．
  • 昼 (1220): 弁当． 米 0.8 合． 朝と同じ．
  • 晩 (1920): スパゲッティー． 豆腐・タマネギ・ピーマン・ニンニクのソース．