standard matching algorithm PPI algorithm の内、前者の実装完了

YouTubeやGoogle Videoで何を見ているだろうか？ サッカーの試合、アニメ、それとも新発売のＴＶゲームだろうか？ そんなものよりも観るべきものがある。それは「ベース」だ。

とりあえずアルゴリズムの基礎になる書き換え規則の実装が済んだ。 項書き換えモデルだから代入の実装がひどい。例えばt[v:=λxyz.f(x, y, z)]について、 項t中のすべての変数vの出現をλxyz.f(x, y, z)で置き換える 項t中のすべての部分項(λxyz.f(x, y, z))(t…

卒研テーマの2階マッチングアルゴリズムをOCamlで実装中。 そこでリストに不満を感じるようになったのでそれについて。

小倉のリバーウォーク*1界隈へ。 とんこつを補給した後、服を買う予定だったが、 さすがに日曜日のお昼*2は どのラーメン屋*3も列ができていた。 *1:複合商業施設 *2:といっても１時だった *3:リバーウォークの地下の。てか空き店舗多すぎ

浄化槽を扱う会社の車の窓に描いてあった「浄化槽のしくみ」図。 浄化槽のしくみについて一切明かさないところが素晴らしい。

約２ヶ月間、内定先にインターンに行ってた。 現場で実際に作業もさせてもらったし、色々と話も聞けた。過酷だ、奴隷だとの噂が飛び交う業界だけにどんなものかと 思っていると全然そんなことはなさそう。仕事さえできれば、 仕事の大部分を自分の好きなよう…

アニメ"The Simpsons"のオープニングを忠実に再現。YouTube

ハローワークに来ている。とても賑わっていて、駐車場の空きを待つ長蛇の列ができている。すぐ隣に有料駐車場があるのに、人がそっちに流れないのが事情を物語っている。1時間200円なのに。求人を探しに来ているのはおいさん・おばさんが主。意外に20代も多…

Acid Jazzが好き。そのなかでもGallianoってバンドは秀逸。YouTube

starchaserの真似をして翻訳なんかしてみる。Boing Boing - A Directory of Mostly Wonderful Thingsの"Reviews for milk on Amazon are funny"から。

英語でモテる男をchick magnetという。chick（女の子）をひきつけるmagnet（磁石）という意味。magnetはmagnetism（魅力）という語があるように人を魅了するもの、という意味でも使われる。このサイトのEricさんほど女性をひきつける男もめずらしい。Eric Co…

おとつい、大学の敷地内、林のほうからゴミの集積場の方へ駆けていくリスを発見。赤みがかった茶色い体毛。九州にもリスっているんだ。

進歩じゃなく進化。The Evolution of a Programmer

22才になったんだっけかな、今日で。初めてPC9801でN88-BASICを使ったのが12才だからプログラミング歴10年ということで。

海外のwebコミック、"Cyanide and Happiness"からCyanide & Happiness (Explosm.net)

同一ドメイン以外のリソースにアクセスしようとするとエラーが起きる セキュリティのため

Omarの新譜、"Sing (if you want it)"（Sing (If You Want It)）を購入。新譜といっても３月８日の発売だからもう４ヶ月過ぎてる。ＣＤでも何でも発売日を待つなんてことをしたことがない。流行も追っかけなきゃなぁ、と思いつつも自分が気に入るモノを優先…

英語の勉強をしようと思ってもなかなか上達しないもので、昨日もヘンな間違いをした。オージーの友達がいて、なぜかLeMoNなんて甘酸っぱい名前を使ってる。そのオージーとメッセンジャーでなすびについて話したりしてた。あの懸賞生活の。YouTubeで見れない…

服を買いに小倉へ。買い物の前にリバーウォークの地下でラーメン屋に入った。 ラーメン、ご飯、豚の角煮と漬物のラーメン定食\800が重かった。シャツとパンツ２本を買う。