FC2ブログ

30分でできる日記

あした

とうとう某大会前日になってしまった。結局PKUとか大して出来ずじまいになってしまって、チームメンバーの人達にはえらく申し訳ない。せめて足手まといにはならないように頑張らなくては。。

スポンサーサイト



  1. 2006/06/29(木) 19:18:35|
  2. 大学|
  3. トラックバック:0|
  4. コメント:0

やくび

三期の演習さんではMPS法での流体シミュレーションをやることに決めたわけですが、そのための解説書を蔵書検索したら柏にしかないように見えたので今日辺り行こうとしてたわけなんですが、

今日改めて検索&確認をしてみたら柏図書館は土日祝日は閉館していることが発覚

凹みながらもう一度蔵書検索してみると駒場にも件の書籍があることが発覚。開館カレンダーによると駒場図書館は今日は開館日

わくわくしながら山手線の反対側まで電車で移動

駒場図書館は棚卸日につき閉館

という、実によく洗練された罠に引っかかって非常にへこたれました。結局正味3時間ほど時間を空費して、その後大して進展もないままこんな時間になってしまった。どうしたもんか。

  1. 2006/06/24(土) 21:30:54|
  2. 大学|
  3. トラックバック:0|
  4. コメント:0

くるま

帰り道で、曲がり角を見かけると無意識に最適なドリフト開始位置をシミュレートしてしまっている自分に気付いてしまった。最近地下においてある某車ゲームの影響であることは自明なので、何とかして自粛しないとやばい。

  1. 2006/06/23(金) 23:10:16|
  2. 未分類|
  3. トラックバック:0|
  4. コメント:1

PKU

TLEとかくらいながら何時間もかかってやっと通りそうなのができた、とPKUいったら鯖が落ちている様で鬼のように萎えた。PKUでは良くあることなのは良く分かってはいるが、この脱力感はやはり慣れられるようなものでもない。

  1. 2006/06/20(火) 01:44:03|
  2. プログラミング|
  3. トラックバック:0|
  4. コメント:0

ふぅ

金曜日辺りから突如自宅回線の通信速度が全く出なくなるとかいう暴挙に見舞われ、通信速度5~6bpsとかいうありえない通信速度で、メール受信どころかGoogleページ表示すらタイムアウトするひどい状態だったわけなんですが、どうもたった今正常化した模様。某プロバイダにはホントもうしっかりしてくださいといった感想しか浮かばない。

おかげでやっと巡って来たPKUを解くチャンスが完全に潰れてしまった。どうしたもんか。とりあえずCG課題だけ出しておくか。

  1. 2006/06/17(土) 19:04:09|
  2. 未分類|
  3. トラックバック:0|
  4. コメント:2

Proof Completed.

疲れた。おやすみなさい。

  1. 2006/06/14(水) 17:18:34|
  2. プログラミング|
  3. トラックバック:0|
  4. コメント:0

でポインタ操作を用いたLinkedListのaddメソッド
の正統性を意味する命題を金曜辺りから証明しようとしているわけですが、
やっとこさ


Lemma list_assert_concat : forall l1 l2 d x1 x2 x3 x4 s h,
(list_assert l1 x1 x2 ** list_assert (d :: l2) x2 x4) s h ->
(list_assert l1 x1 x2 ** list_assert (d :: nil) x2 x3 **
list_assert l2 x3 x4) s h ->
x1 <> x4 ->
(list_assert (l1 ++ (d :: nil)) x1 x3 ** list_assert l2 x3 x4) s h.


の補題の証明を残すのみとなった。しかし、ここまでくるのに900行超の証明を書いていて死にたくなった。ループ不変な命題の設定が悪かったり推論先の命題に不備があったりで何度となく証明し直したりしたのでさらに死にたくなった。これでこの補題が致命的に間違っていたりしたらもう死ぬ気がする。

  1. 2006/06/13(火) 02:28:59|
  2. プログラミング|
  3. トラックバック:0|
  4. コメント:0

OSR

を送付しようとしたら、自宅には国際電話を掛けられる電話が存在しないという事実が発覚。仕方がないので明日辺り事務局辺りにいって、どうしたもんか聞いてこないと。

以下メモ:
電話の掛け方


  1. 2006/06/11(日) 20:50:01|
  2. 未分類|
  3. トラックバック:0|
  4. コメント:0

久しぶり

に丸一日家にいられる状態になったので、これを機に溜まっている雑用やら何やらを済ませてしまおうと思っていたわけですが、結局家の掃除をしただけで、後は一日中Coqに悩まされて終わってしまった。TOEFL関連やら院試関連やら卒業写真やら、忘れて手遅れになる前に早く終わらせないと。

それにしても、このまま行くと今夜も寝るのが遅くなりそうなので明日の某練習会は寝ぼけながらやることになりそう…って、前にもこんなことを書いた記憶が。。


  1. 2006/06/10(土) 22:19:36|
  2. 大学|
  3. トラックバック:0|
  4. コメント:0

一昨日

某練習会の流れに乗って地下に泊まったせいで昨日はひどい頭痛に悩まされていたが、ちゃんとしたベッドでこれでもかと寝たところどうやら体調は回復した模様。
しかし、今まで地下にはそれなりに泊まったことはあるがこんなことになったのは多分はじめて。…頭だけでなく体も衰弱してきているのだろうか。うーむ。

  1. 2006/06/09(金) 08:11:20|
  2. 未分類|
  3. トラックバック:0|
  4. コメント:0

ESR

やっと来たー。とりあえず慌てて受け直す必要はないと思う…が、受験直後にOSR出したらESRに何か書いてあるとかいう噂にそぐわず、その類の通知が何にもないのが非常に怖い。

某氏に教えて貰った事だが、どうも工学部8号館のどこかでOSRの受理確認ができるらしいので、明日あたりいってみることにしよう。

  1. 2006/06/06(火) 19:27:15|
  2. 大学|
  3. トラックバック:0|
  4. コメント:0

最近

なんか疲れている模様。

今日も帰りの改札では定期券出すつもりが自宅の鍵を出してしまったり、家では水張っただけの状態で風呂に入ろうとしてしまったり。

もっとazouno氏やのび太君を見習って積極的に寝たほうが良いのかもしれない。

  1. 2006/06/04(日) 22:38:27|
  2. 未分類|
  3. トラックバック:0|
  4. コメント:0

家帰ってからぶっ通しで13話視たらこんな時間。えらい疲れた&時間の無駄だったが、幸せだったので、まぁ、良しとしよう。これでかなり補給されたはずなのでしばらくはこんな発作も起きないだろうし。

  1. 2006/06/01(木) 23:58:44|
  2. 未分類|
  3. トラックバック:0|
  4. コメント:0

| ホーム |