2006-10-01から1ヶ月間の記事一覧

申請書の必要条件

Cは現在某財団の派遣職員でそこの補助金申請書類の処理も担当している。C曰く、申請書ではまず 研究の全体像(ゼロからゴールまで) 今、その全体像のどこにいるのか 補助金申請期間のうちでどこまでを明らかにするのか を具体的に説明することが必要だそう…

ニッチ分野の憂鬱

今年も科研費申請の季節がやってきた。毎年困るのは、どこの分野に申請すればいいのかということ。このBlogを見てもおわかりのように、私はニッチな分野(数学と情報科学/Soft computingと哲学との隙間)で研究をしているので、関連する分野は多いが、どの分…

科研費申請の憂鬱

今日も秋晴れ、朝方は肌寒い。起床は8時。科研書類に頭を悩ませる。帰宅後、とりあえず書き上げた「研究目的」をCに読んでもらう。具体性がないと散々ダメ出しされる。

「ららら科學の子」(矢作俊彦)

昨日買った文庫。とてもいいです。文庫入りするまで待たない方が良かったかも。しかし1998年の東京より1968年の東京の方が私にとって馴染み深く感じるのは何故だ。

「ルビコン」(トム・ホランド)

月曜日に買った本、ローマ共和制の崩壊と帝国の成立史。モンタネッリ並みに面白い。

起床は8時。午前中はゆっくり、出張関連書類の処理など。帰宅して段ボールをまとめて資源回収に出す。夜に原稿書きを再開、少しだけ進む。

「数理形態学からみた非古典論理」(藤尾光彦氏)

Alt.Math.談話会。16時より18時まで。「数理形態学」(Mathematical Morphology) は基本発想はRough setと同じで自然な形で様相が入る。またそれに触発された形で様相論理の研究を、という話。ただし、数理形態学と直接関連する部分で様相論理の話を探すのは…

本日はRtm大学に出張、研究会に出席。帰宅は23時、25時に寝る。

Journal of Symbolic Logic 9月号 の落丁

いえ、すごくどうでもいいことなんですが・・・。本日JSL2006年9月号が到着。お目当てのHajekの論文をめくり始めたら、MTL algebraの話のはずが途中で急にforcingの話になっていた。ページを見るとp872からp889に飛んでいる。Hajek-Cintula論文の後半とRoslanow…

起床は8時。今日も秋晴れ。朝からネットワークが不安定、ときどき接続出来なくなる。本日は某書類の作成、あとはメールを書いたり。

体育の日

起床は9時、さわやかな秋晴れの一日。朝から大掃除。昼頃、叔父夫婦、いとこ夫婦と義母が来訪。Cがトマトソースのパスタを出す。楽しい時間を過ごすことができました。夕方三宮へ行き、ケーキを食べながらCと北朝鮮の核実験のニュースの話をする。その後本屋…

起床は10時。13時にCと出発、近くの喫茶店でキーマカレーを食べる。Cの実家に16時到着、その後17時に車で義理の叔父の新居へ。定年退職で東京から戻ってきたそうだ。いとこ夫婦も帰省していてにぎやか。じゃんじゃん焼きをご馳走になる。22時の新快速で帰り…

起床は12時。掃除洗濯、論文を読んだり、過去1ヶ月分の日記をつけたり。なぜか食事の時間が変則的になり、昼食が16時になったせいで夕食はなし。寝る頃には空腹でお腹が鳴っていた。就寝は25時。

よく晴れる。起床は8時。午前中に防鳥ネットの工事の続き。プラハでの発表内容を論文にまとめることを考え始めるが、うまく第一歩が踏めない。 午後は教授会、建物の改修のためこちらのプレゼン室で開催されることになり、Yさんと会場セッティング & 後かた…

起床は8時。一日雨が降る。朝一でA教授の授業、bounded arithmeticについて。今回はイントロのみ。 その後AML論文の最終版を作成、送付する。他は色々雑用。3号館のベランダに、ハトの糞よけの防鳥ネットを張ることになり、本日午後にその工事が回ってきた。

"Distinguishing non-standard natural numbers in a set theory within Lukasiewicz logic"

最初に2月に「数学的論理学記録保管所(AML)」に投稿し、9/25に再投稿した論文について、夜に編集者からメールがあり、acceptされたそうだ。やった!!おめでとう自分!! 書き始めは昨年12月、2月に投稿しちょくちょく書き直していたもの。プラハで編集者のH…

"What Metaphors Mean" (3)

18時より21時まで。参加者5人。

久しぶりに公開

お久しぶりです。9月の一ヶ月間、あまりに忙しくて非公開にしたまま放置していました。その間 プラハの国際会議へ出張(9/3-9/10)、発表(9/8) K教授の還暦記念パーティー&研究集会(9/20) 数学会で発表(9/22) AML論文の修正版を再投稿(9/25) Rtm大学のTs先生の…

健康診断

本日は健康診断。生まれて初めてバリウムを飲む。ヨーグルト風味がなかなか。胃のX線撮影で台ごと振り回されてフラフラになる。 帰ってきてからは色々雑用。学期はじめは雑用が多い。

本日から新学期、一日雑用で終始。学生の海外出張手続きやら図書館やら。挙げ句の果てに緊急の学部長懇談会まで。ヒマが欲しい。 忙しさにかまけて、お礼のメールを送り忘れていたことに気づく。慌てる。

「立喰師列伝」

見てて疲れた。Cは途中から寝ていた。

帰宅は午前7時、布団に倒れ込む。昼頃起床。録画した「水曜どうでしょうクラシック」をまとめて見る。夕方CとJR駅前へ、ラーメン屋で夕食、DVDを借りて帰る。眠いので早々に寝る。