日々の流転

λ. さぁ。今日も一日がんばるぞー

λ. Ruby vs Prolog

咳さんから突っ込みが。僕はPrologの内部とかをほとんど知らないので、特にアドバイス出来ることは無いと思います。ただ、Rubyに特化したプロトコルであるdRubyを経由しても仕方が無いような…

λ. 久しぶりにゆっくりできるので、羽を伸ばす。

λ. それから、Ruby-GNOME2のコードを書いたり。一ヶ月前の自分は既に他人だな。

λ. 初そうめん。

λ. 加藤さんがGNOME方面に興味を持ってるっぽい。Ruby-GNOMEでもOAFやBonoboを扱いたいけど、そこまで手が回らない……

λ. Re: 最近凹んでいるようだけど、ガンバレ

応援してくれてありがと。がんばるよー

λ. 現代数学の最終レポートを提出しに学校へ。学校にくる途中に直江さんそっくりの顔をした女の子を見かける。学校にくる途中に証明の穴に気がついて鬱。学校についてから研究室でなんとか穴を繕う。本質的な問題ではなかったようで、簡単に塞がる。もうちょっと説明を足したほうが良いような気もするけど、他にもやらなくちゃいけないことは沢山あるので、提出してしまう。

λ. 今日のひとこと

「るろうにtakoty」。誰が言ってたんだっけなぁ……

λ. 萩野服部研最終発表

明日の最終発表どうしよう。まだ発表資料はおろか、実装すら影も形もないのです。やばすぎ。明日はマジで逃亡するかも。

λ. FREYD, P. J. 1990. Recursive Types Reduced to Inductive Types. In Proceedings 5th IEEE Annual Symp. on Logic in Computer Science, LICS'90 (Philadelphia, PA, USA, 4-7 June 1990). IEEE Computer Society Press, Los Alamitos, CA, 498-507.

7月3日に言及した論文だけど、某先生が持っていたのでスキャンして貰うことが出来た。ラッキー。

ここでいう Recursive Types はパラメータが正負両方の位置に現れるようなオペレータの(最小)不動点、Inductive Types は正の位置にしかパラメータが現れないようなオペレータの不動点。ある条件を満たす圏(CPO-Category)では、Recursive Types は Inductive Types に還元できる。このことを T-dialgebra, T-invariant object といった概念を導入して証明してる。なかなか面白かった。

• http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=113772
• http://ieeexplore.ieee.org/iel2/305/3367/00113772.pdf?arnumber=113772

λ. アルゴリズム勉強会

Some members of our research group are thinking that we need to study and improve our knowledge of computer science, as we sometimes feels lacks of basic knowledge. So we have been planning to held seminar to study algorithms in the upcoming summer vacation. Today we had the first offline meeting and chose which text to use. My opinion was to use lecture notes of Advanced Algorithms Course at MIT. But we decided to use D.Knuth's famous book “The Art of Computer Programming Volume 3: Sorting and Searching” (Japanese Edition). I was slightly unpleasant since I don't like Knuth :-P

• アルゴリズム勉強会2006 (access limited)

λ. Happy SAAD!

I heard that today is System Administrator Appreciation Day, also known as Sysadmin Day or SAAD. See <URL:http://en.wikipedia.org/wiki/System_Administrator_Appreciation_Day> for details. But who knows this day?

λ. 『4日で学ぶモデル検査』

すこし前のkmt-tさんの日記で知って生協で注文していたのを受け取った。 時相論理についての基本的な知識はあると思うので、ツールの使い方やモデル化のノウハウを知るために読むつもり。パラパラ見た感じでは中身は想像していたよりずいぶん簡単そう。読むだけならすぐ読み終わりそうだけど、後でSPINとNuSMVをインストールしてから読む。

読書記録

• 1日目
• 2日目
• 3日目
• 4日目

関連URL

• <URL:http://www.nts-book.co.jp/item/detail/summary/it/20060608_4.html>
• <URL:http://d.hatena.ne.jp/kmt-t/20060729#1154176023>

λ. 東方風神録体験版ver0.02a

キター!!

博麗神社例大祭での配布は大分から指を咥えて見ているしかなかった(20070505#p01, 20070520)ので、体験版のWebでの公開は非常に待ち遠しかった。嬉しい。早速、マニュアルも読まず初プレイ(リプレイ, スコア45127560)。速攻で被弾しまくりw

今回はスペルカード発動の瞬間に「Spell Card Attack!!」という文字列が斜めに流れる演出が入っているのが新鮮で、なんだかちょっとカッコ良い。

今日のハイスコアはノーマル霊夢(封魔針)での93461910点(リプレイ)。最後に河童「お化けキューカンバー」を落としたのと、その前に霊撃を使ってしまったのが勿体なかった。あと少しで一億だったのに。

λ. 栄光のグラスゴーHaskellコンパイルシステム利用の手引き

The Glorious Glasgow Haskell Compilation System User's Guide の日本語訳。日本語訳をしている人がいるとは知りませんでした。素晴らしい!

「関数型プログラミング言語Haskell Part7」の783-785 より。

λ. 大洗

大洗に行き、海鮮市場で回転寿司でお昼を食べて、その後大洗水族館などに行ってきた。

こないだ買ったデジカメは一応動画も撮れる様なので、ためしに海月など撮って見て、ffmpegでmp4に変換してみたのだけど、どうもFlowPlayerで再生できないなぁ。とほほ。 kurage.mp4

【2008-08-16追記】 再生できなかった原因が分かった。ビデオファイルを相対URLで指定すると、FlowPlayerのswfファイルからの相対URLとして解釈されるのね。なまじa要素のhref属性で書けるようになっているから気づかなかった……orz　 DOMではhref属性の値は常に絶対URIだけど、FlowPlayerのjavascriptではjQueryでattr("href")としてとっていて、これだと相対URIがそのまま返ってきてしまうっぽい。

【2008-08-17追記】 このファイルは単に ffmpeg -i foo.mov -vcodec copy -an foo.mp4 したものにだったんだけど、でっつ :: Entries :: FlowPlayerで再生するためのファイル件 を参考に、qt-faststartとAtomicParsleyで処理したものにしてみた。

λ. セミ発見

「鳴き声はすれど、姿は見えず」と思っていたら、網戸にとまっているのを発見。 今年初めて見た。 夏だなぁ。