業務日誌、あるいは理（論）系准教授の一週間

Twitterが流行っているから…というわけではありませんが、自己管理と、「大学教員の仕事ってどうなの？」という質問のためにちょっと書いてみました。形式は適当です。長いので、つまらなかったら飛ばしてください。(_ _) この日誌自体にかかった時間は微々たるものです。念のため…

Tue May 8 2007

  • メール処理
  • 査読
  • 昼食
  • 会議
  • 学内委員会関係

Wed May 9 2007

  • メール処理
  • 学内委員会関係
  • 学生さんのプログラム修正
  • 別の査読
  • 昼食
  • 査読の続き
  • 講演会出席
  • 査読の続き

Thu May 10 2007

  • メール処理
  • 別の査読
  • LICS 2007ホテル調査＆予約
  • 昼食
  • ゼミ

2007年 5月 11日 金曜日

  • メール処理
  • 学生さんの質問
  • 昼食
  • メール処理
  • 輪講
  • 学生さんの研究テーマ相談

Mon May 14 2007

  • メール処理
  • プログラミング
  • 論文: Pickler Combinators (ANDREW J. KENNEDY, JFP, 2004)
  • 論文: When is a functional program not a functional program? (John Longley, ICFP 1999)
  • 論文: A Computationally Sound Mechanized Prover for Security Protocols (Bruno Blanchet, S&P 2006)

2007年 5月 15日 火曜日

08:38:02
  • 出勤、メール処理
09:06:43
  • 放ってあったPCを使うためにアップデート＆動作確認
  • プログラム委員会（電子的）
09:25:32
  • 論文読みの続き(a computationally sound ...)
10:2?:??
  • 学内委員会打ち合わせ
  • 昼食（弁当）
12:44:39
  • メール処理
  • 論文(research.microsoft.com/~nick/benton03.pdf)
  • 論文(www.eecs.harvard.edu/~nr/pubs/embedj-abstract.html)
13:35:42
  • 論文読みの続き(a computationally sound ...)
  • ホームページ論文リスト更新
  • 論文(www.di.ens.fr/~blanchet/publications/BlanchetPointchevalCrypto06.html)
  • スライド(nicosia.is.s.u-tokyo.ac.jp/jsiam-fais/doc/20070304-hanatani.pdf)
  • スライド(nicosia.is.s.u-tokyo.ac.jp/jsiam-fais/doc/20070304-yoneyama.pdf)
  • サーバ移動のためのネットワーク確認＆ケーブル整理
16:39:18
  • PPL 2008関係
  • メール処理
17:52:27
  • 帰宅