FC2ブログ

30分でできる日記

うーん

昨日の某飲み会の二次会以降の記憶が量子化していたようだ。
観測基底の取り方が悪かったらしく、うまく観測することができない。

そんなこんなで、とりあえずgrooverの探索アルゴリズムを
見直してみようと「groover」でGoogleさんに聞いてみたら
世の中が少し嫌になった。

追記:
"groover"じゃなくて"grover"だったらしい。
世の中が嫌になる代わりに自分が嫌になった。

スポンサーサイト



  1. 2006/07/27(木) 15:22:26|
  2. 未分類|
  3. トラックバック:0|
  4. コメント:0

ICFP

今年度ICFPが無事終了した模様。

去年は何ちゃって参戦(観戦)だった分、今年は頑張ってみようと思っていたわけだが、まぁ個人的にはそれなりに頑張れた気がする。問題自体も去年より面白く、いろいろと凝っていたのでその点は非常に宜しかった訳ですが、やはり72時間耐久は体力的に辛いっぽい。とりあえず今日は大人しくくたばる事にしよう。

  1. 2006/07/25(火) 10:59:55|
  2. プログラミング|
  3. トラックバック:0|
  4. コメント:0

うーむ

家に帰ったらP*Uをやろうとしていたのに、
PS2のコントローラーをふと手に取ってしまったせいで
6時間ほどゲーム割り込みが掛かってしまったようだ。

後悔しようかとも思ったが、よくよく考えたら
P*Uやってても後悔した気がするので気にしないことにした。

  1. 2006/07/22(土) 01:05:39|
  2. 大学|
  3. トラックバック:0|
  4. コメント:0

P*U2746

やっとこさ通りそうなコードがかけたのに鯖が落ちているのは何かの嫌がらせなのだろうか。

まあ、明日が明日だし大人しくCatmull-Clark再分割処理やらLoop再分割処理やらの意味でも理解しておくことにしよう。

  1. 2006/07/19(水) 12:04:57|
  2. プログラミング|
  3. トラックバック:0|
  4. コメント:0

ぴたごらす

何だか某fla氏に煽られたので、S**L**で疲れて放置していたピタゴラス数の証明を急いで証明して、公開してみる。


http://www.fiberbit.net/user/mne0df/pita.v

coqのVernacularCommand列です。
「a * a + b * b = c * cならば、aかbは3の倍数である」
という命題が証明されているような気がします。

ここまで汚いともはや精神的に有害な気もするので、精神が弱い方は閲覧をお控え下さるようお願いいたします。

  1. 2006/07/17(月) 23:38:59|
  2. プログラミング|
  3. トラックバック:0|
  4. コメント:2

P*U2742

TLEを無理矢理解消しようと強引に枝刈りをしていたら23171MSという実に酷い時間でAcceptしてしまった。流石にもうちょっと改善しようかとも思ったが、某テストも近いという屁理屈をつけて生き恥を晒す事に決定。しかし標準TimeLimitが15秒なんて問題があるとは知らなかった。

  1. 2006/07/16(日) 20:31:51|
  2. プログラミング|
  3. トラックバック:0|
  4. コメント:0

しゅうりょう

長かった演習3がようやく終了。
その記念というわけでもないが、何かリクエストを受けたような気もするので最後にやった某シミュレータをあげておきました。

java appletです。java1.5以降なら正常動作する気がします。動かなかったりしたら最新版を入れると動いたりするような気がします。

http://www.fiberbit.net/user/mne0df/mps/index.html




  1. 2006/07/13(木) 19:40:21|
  2. 未分類|
  3. トラックバック:0|
  4. コメント:4

さいごの演習さん

盛大な風邪を引いたりやる気がなくなったりで一時はどうなることかと思ったが、何とか最終発表のめどがついたようだ。

しかしO***O*****の数式オブジェクトの似非(ずいぶん違うか)Tex文法は分かりづらい上に表現能力が低く、なんとも扱いづらいように感じる。とりあえず複数式の位置合わせくらいさせてください。あと{bold %alpha}みたいに特殊記号を太字にしてみても変化がないように見えるのはどうにかならないんですかね?…いや、まぁ私が不勉強で扱いきれてないだけな気もするんですが。。




  1. 2006/07/10(月) 20:36:03|
  2. 大学|
  3. トラックバック:0|
  4. コメント:0

けっきょく

あれこれと悩んだ末、演習IIIの最後の一週間は(厚肉)弾性体をやることに決定(もう一週間もないが)。某氏が嵌ったり悩んだりしていたのを見ていたので敬遠したかったのだが、他に道がなくなっていた模様。

二次元だし、少しは楽になるのではないかと楽観したいところだが、テンソルやらクロネッカデルタやらが混じったあやしい支配方程式を見る限りでは嫌な予感しかしない。

  1. 2006/07/07(金) 21:41:25|
  2. 大学|
  3. トラックバック:0|
  4. コメント:0

演習さんのさん

「何かやってみます」とはいったものの、

の条件にマッチするような内容がなかなか見つからない。
何をしたら良いやら。



  1. 2006/07/06(木) 15:56:37|
  2. 大学|
  3. トラックバック:0|
  4. コメント:0

かぜ

久しぶりに風邪を引いてしまったらしく、昨日、一昨日辺りからやけにだるい。馬鹿は風邪を引かないはずなのに、これは一体どういうことなのだろうか?上記の公理は底抜けの馬鹿には適用されないのだろうか…う?む、私みたいな馬鹿には良く分からない。
まあ、とにかく今日はさっさと風邪薬とPKUを摂取して寝る事にしよう。

  1. 2006/07/03(月) 20:29:37|
  2. 未分類|
  3. トラックバック:0|
  4. コメント:2

| ホーム |