moratorium

うちの学科のHPがリニューアルしました。色々な人の努力が結集されているみたいなので、宣伝させていただきます。

- ホームページ

大学３年生からの人も、大学院からの人も、是非ご覧下さい。

書いていないという事は色々やっているということで、元気にやってます。

昨日まで４日程実家に帰省しておりました。帰ってやる事と言えば、おかんが作ってるＨＰのＳＥＯ対策。暇にかまけてモンスターハンターフロンティアも始めてみました(Server 3)。廃人にならない程度にやろうと思います。

今日はついに１年半過ごした理学部七号館地下室から、配属先研究室へと席が移動する日。18ヶ月中、2ヶ月ぐらいは軽くお泊まりした気がします。ここで色々友達と議論できたのは本当にいい経験になったなぁ。

今日からもまた色々と頑張りますー。

# CPU実験@なんでもセミナーやりたい > pira

所用で行って来た。だだーっぴろい所ですね。

Txの電車賃往復２０００円(秋葉原筑波間)にびっくりした。大阪だったら難波から京都まで2往復できるよ！

• 研究室に席を貰った。地下より空気が良い。研究テーマも一応決まった?
• 某所でクラスタセットアップ。HP Proliantクラスタ家に欲しい。
• 伊東温泉で開発合宿。これの山喜旅館に会社のお金で二泊。部屋、会議室共に無線LANが快適に繋がって大満足。最近はコードレビュー、保守、bug fixばかりだったので新しいコードをごりごり書く事が出来てよかった。寿司旨すぎ。
• Solarisと格闘。32 thread / chip。近いうちにdtraceをマスターしたい。Twitterもdtraceでボトルネックを潰しているらしい。レイヤー毎に解析出来るのが素晴らしすぎる。これも参考に。20台位かなと予想してたんだが、8台。Sun X4100。
• 日光東照宮に行ってきた。山はいいなぁ。
• 東京芸大の人とジンギスカン。違う分野の人と飲むのは楽しい。

あ、あと水野さんの動画面白かった！僕はこういうのすっ飛ばして携帯Javaからプログラミング人生が始まったので見てるだけでわくわくする。コメントに吹いたｗ

でも考えてみたらマシン語を知っていて問題解決出来た事はあんまり記憶に無い。最適化という面においても、マシン語レベルでの速さよりは使用するデータ構造に対するアクセスの計算量に気を使う。どうみても線形以上の最適化を施せるアルゴリズム的最適化の方が重要だと思う。

後はOSの仕組みについて理解するのは必須。各種時間的制約・空間的制約を理解するのも必須だと思う。この辺知らない人はあんまり一緒にお仕事したくない。

最近色々な場所でスケーラビリティに関して話題になってて、LVSとかMySQLを如何に効率良く使い切るかみたいな話になってるんだけど、スケーラブルなシステムというのは計算量を落としかつCPUを使い切り、良質な何かを提供するシステムだと思っている。その割にはhatebuでアルゴリズムの話が盛り上がらないねー。

WWW2007で"Google News Personalization"という論文が出てたけど、これこそ如何に質を落とさずに計算量を落としかつＣＰＵを使い切るかという話だと思う。こういう事をやれるのはたまたま膨大なログデータとその解析基盤が整ってるGoogleの中の人だけなんだけど、その辺何らかの形で整えて行ければ他の企業の研究者の人とかにも色々面白い手法やアイデアを編み出して貰えると思うんだけど。これは個人的な課題。

# しかし僕もアルゴリズムについては基本的事項を一通りさらっているだけで、oxy先生とhillbig先生の深い議論には付いていけないのでもっと勉強する必要が有りますね...(尻すぼみ)。

「EOPLのDefinitional Interpreterにオブジェクト思考拡張を施せ」

第一版に大体の解説が載ってたのだが、馴染みの無い処理系のコードだったのでGaucheに各種primitiveをポーティングして提出ed。SigScheme使おうとCore2Duo Ubuntuマシンにパッケージ入れてみたら、何を打ってもSEGV。ソースからビルドしてきたら動いた。

しかしEOPLは読んでてもいまいち頭に入ってこない・・・。まぁ単に興味が無いだけかもしらん。

第一希望うかったー。

おわったー。

数学終了。あんながりごり積分したの受験以来だ。

ちょっとだけですが、今日の朝日新聞にreflexaを載せて頂いたみたいです。

さて明日は専門科目ー。

7月の課題ラッシュ終了。

ICPC(International Collegiate Programming Contest)国内予選にid:ushiodaとid:nyaasanと出ました。チーム名はそれぞれの頭文字u, n, k.oを取って、「Unknown」です。

結果としてなんと国内一位を取る事が出来ました。もう感激・・・。というか僕以外の二人が凄すぎ・・・。なんというか、もうこいつら天才かという感じです。

この調子でアジア予選も頑張りたいと思います。

追記: 2007/07/09
当日の様子はnyaasanのエントリ参照。

細谷研でMONAを用いたHardware Verificationをやります。

とりあえずMONAで色々遊んでみよう。

TeXを頑張って覚えて最終レポートを書いたので、ここで晒す事にします。

MEによる日本語係り受け解析

素性選択よりは色々な解析手法を試して精度向上したいなぁと思って作業していたのですが、限界が見えてきたので早めにまとめ上げました。

一緒に辻井研に行っているtmym氏がMEでLinear-time dependency analysis for Japanese [Sassano 04]の方式を試していて、面白い結果が出ているので期待。7500文/secって何ですか。

土日がTOEFLで潰れるらしいので、ちょっとやばいという事で昨日から実装しだしました。今週は急がしすぎ・・・。

AmisというME用の学習機の使い方を覚えるのに朝まで悩み、結局TAのid:u-noさんに助言を貰ってなんとか使えるようになりました。

京大コーパスのパーサーを書いて論文に載っている素性をばしばし追加したら、正解率85%。とりあえず今週はここまででいいかな・・・。正解率を上げるためには、鬼パラメーターチューニング or 方式の根本的な変更が必要そう。

大先生によるとSVMではカーネルおじさんがパラメーターチューニングをしてくれるらしい。確かにチューニングを問題毎にやってたら萎えるなぁ・・・。大体決められたセットに対して制度が上がったところでCPU実験的な虚しさもあるし(レイトレしか速く動かない)。

来週はAmisに手を入れて速くしたり、「Linear-time dependency analysis for Japanese[Sassano 04]」を読んでみたりしようかと思います。そして最後に高速 & 大規模学習をしてみてどれぐらい正解率が上がるかというのを見てみようかと思います。

以下の論文を渡されたので読んでました。

• A Maximum Entropy Approach to Natural Language Processing
• MEによる日本語係り受け解析
• 相対的な係りやすさを考慮した日本語係り受け解析モデル [pdf]

統計的言語モデル(北 研二,辻井 潤一)も参考にしました。MEについては最初の奴よりこの本の方が分かりやすかったです。

来週から実装の予定ですが、どうしたものか。3つ目は精度は出てるけど学習の所でIterative Scalingをしないといけない。この方法を完全に理解してないのと、実装が大変そうというのがある。後2週間しかないので、週明けにその辺を辻井研の人に相談しよう。

しかし工藤さんや岡野原大先生には僕には見えてないものが見えているようにしか思えないなー。

P.S
IterativeScalingも一応理解した。

んでこれはMapReduceっぽく実装出来そう。で、それをやると分散並列化出来て、大規模な素性を持つような学習が可能になりそう。これ絶対ごっごるでやってるなー。

辻井研で係り受け解析をやることになりました。

1期の人も2期の同じ人も係り受け解析みたいです。何故か人気。MEやSVMといった機械学習系の知識を仕入れるのが目的です。

ただ、水曜日まで五十嵐先生のUIの課題のデスマです。こういうの、いまいち気乗りがしないんだよなぁ・・・。なんというかシステムコールを叩いてる方が楽しい。

各研究室を巡回する演習３ですが、今日一期目の石川研が終了しました。

起きて、授業受けて、論文読んで、コード書いて、色々考えてて、寝落ち。

去年のGWはid:matritico氏と地下に連泊して課題をこなしていたのを思い出した。今年も大して変わらなさそうだ。

巡回先の研究室が決まりました。

• 石川研
• 辻井研
• 細谷研

M2の方々と、どっぷり飲んできました。

おごってくれたＴＡの先輩方、有難うございました。

あー頭痛い。

しかし今年の３年生が受けるOS演習の課題を考えた人はドＳであると言わざるを得ない。

read & writeで誰かsplice(2)を使って性能測定してくれないかなぁと淡く期待してたのだけど、そもそもあの課題が無くなったみたいなので、自分でやってみる。

今日は西田先生、高橋先生、五十嵐先生の授業 & 演習３ガイダンス。CG & UI系の授業。

こういう視覚に訴える系は見てて楽しい。

西田研は純粋にＣＧの技術をやっていて、高橋研は心理学に近い事(人間の視覚特性等)もやっているのかな。

五十嵐先生が授業の後半で今年のUISTの紹介をして下さったのだけれど、特殊デバイスを利用するものが殆ど。確かに面白いといえば面白いんだけど、なんだか一発ネタに近いのが気にかかりました。

自分はこういうアイデアがぽんぽん湧いてくる人ではないので、ちょっと違うかなー。

あと、地下に３年生が来てかなり賑やかになった。頑張れー。

新学期が始まりました。

今期は研究室を３つほど巡回するというのがメイン。例えばこんな課題を選択して、1ヶ月間取り組む。当然、誰がどの研究室に行くのかとかいう話が盛り上がる。

ガイダンスが終わった後は、学科主催のWine & Cheeseパーティーに参加。新３年生もいたのでちょっと話した。変人が集まりすぎだなぁというのを実感した。

今年も頑張るぜぃ。

最近あまりブログを書かないのは、身近な人とディスカッションできる場が有るというのが大きい。はてなで書いていた頃はネット上でのディスカッションが盛り上がっていたなぁ。

もうちょっとアウトプットを出していこう。

P.S.
写真は知り合いの方に薦められて買ったデジタル1眼レフで撮影したものです。最近かばんに忍び込ませているのですが、なかなか納得の行くように撮れない・・・。

午前0時に登校して午前6時に帰る。30時間後の。

3年後半の科目のテストが終了。

後は3月16日のCPU実験最終発表会に向けて作業、作業。

後２週間ぐらいでテストか。

こういう時に限って物凄くCPU実験が楽しくなってくる。

目指せ20秒切り

連続系課題。重力２体問題を単純化した常微分方程式を、刻み幅制御を行う線形多段階法によって解けという課題。

C言語で書いたときに再帰が綺麗だったので関数型で書いてみた。

レジュメ

FFTを使うと多倍長乗算のオーダーをnlog(n)に落とせて乗算が速くなるよという話だったんだが実装が結構つらかった...。Web上にFFTのプログラムなんてのはごろごろ転がってるけど理論から理解しないと見ても分からないんだよなぁ。

結局、Cooley-Tukey FFT algorithmを再帰を使う分かりやすいプログラムにして実装。ビット反転を使用してバタフライ演算を実現する気力は無かった。これをアセンブラでゴリゴリ書いたら円周率とか高速に求まって嬉しいんだろう。

今から筆算方式の乗算を適当に書いた後レポートを書いて提出予定。徹夜つらい。

追記:
出した。1 << 16桁ぐらいで筆算方式が遅すぎて時間計測できなくなった。

OpenMPを用いた分散行列積計算プログラム。

提出完了。次はFFTですか。FFTって何～？から始めんとな...。

MPIを使った分散ソート。

提出。

レジュメ

今日の朝から必死で作り始めた。最初探索が全く動いてないと思って苦労していたら、結局評価関数が後半戦において最低な戦い方をするようになっていたので、それを直したら割と強いのが出来た。要は途中まで中々良い戦い方をしていたけど後半戦に一気に巻き返されるという。

まぁしかし他の人の作ってる奴にどこまで対抗できるかは謎。とりあえず付属のサンプル(MAK)には普通に勝てるようになったぐらいな。

• 評価関数
  • 着手可能手数
  • テーブル引き
  • wingの数
• 探索
  • negascout

さてこれでやっと夏休みに入れる(明日までのなー)。明後日からもう学校ですか、そうですか。

提出した。ethernetの仮想デバドラを作成する課題(これの17章辺り)。TAの人の書いたパッチで無理やり割り込み関数を設定してパケットを覗くのでちょっと普通とは違う形だが、sk_buffの扱い等は他と全く一緒なのでネットワーク周りのデバドラを垣間見る非常に良い経験になった。Ethernetパケットの中身にも詳しくなれたし。ただCPUが複数個になった場合にやばかったりするコードを書いてるので、もうちょっとその辺を詰めた方が良かったかな...。

後は明日のテストとOCamlのオセロの思考ルーチン。

<9/29 追記>
OKきました。VMWare(3G * 2)がHDDから消せる。F田さん、お疲れ様です。

10/4はis2007歓迎会です。よろしければお越しくださいませ < 上の人。

しかし内定が決定してからもう１年経ったのか。あの時はCすら書けなかった人が今はデバドラとか書いているのを見ると、なんだか凄い場所だなぁと思ってしまう。

明日山場です。終わったら飲みにでも行きたい。8, 9月はかなり稼働してた気がするな...。結局実家にも帰ってないし。まぁ10月からもフル稼働しますが。

レジュメ

情報論理の試験勉強がダルいので、やっつけた。嫌なものの上に更に嫌なものが重なると、前者をやるらしい。試験が終わったら木の探索の辺りを実装しよう。横でnaoki氏がやたら頑張っている。

Design Wave設計コンテスト2006

これを作る課題。案の定VHDLという言語が頭からすっかり抜けていた。とりあえずこれでハードウェア課題は終了。

ふと学科wikiを見たら、ハードウェア課題の「ハードリミット」まで後4日。なんと。後３つ残ってるから1日1個片付けんと。周りの人がかなり苦しんでたハードウェア構成法課題第5回を片付ける。課題やるのは2ヶ月ぶりぐらいだ。

真理値表を入力とし、Quine - McClusky法によって回路を簡単化するプログラムを書く。

OCamlのプログラムを久々に書いてみると文法エラー & 型エラー出まくりで全然効率が上がらなかったので、C++で一からさくさく書いた。OCamlで書いてた人は上手く末尾再帰で書かないとスタックオーバーフローしたりしてたみたい。

C++だとそれは無かったので助かったけどやっぱ本質的に再帰なアルゴリズムの所とか超書きづらい。STLまみれになってしまって凄い読みづらいし。一応2時間ぐらいでプログラム仕上げて1時間ぐらいでレポート書いて提出。

明日明後日で１個ずつFPGA課題を仕上げる。最終課題は何を作ろうかねぇ。VHDL忘れてそう。

ちょっとQDBM触ってみた。APIの名前に全く統一性が無くて最初は困惑した。一体どのコンポーネントを使えば良いのか全然分からんかった。DepotとCuriaの違いは何やねん、とか。が、一度触ってみると結構使いやすい。HyperEstraierのAPIもよく出来てるしなぁ。これは良い。

H谷先生担当のコンパイラのテストがありました。教科書が非常に良く出来ているため、授業の内容も大体これに沿っていました。Coinsの中田先生の本です。とにかく説明が分かり易い。１万円しますが１家に１冊は必須だと思われます(笑) ISer 30人中半分ぐらい買ってた気が...。

内容はこんな感じです。

• 構文解析(LL, SLR, LALR)
• 属性文法
• 関数呼び出し(スタックの構造等)
• 生存解析(データフロー方程式)
• 干渉グラフ
• レジスタ割付
• 命令タイリング(Maximum Munch, DP)
• 最適化(共通部分式の削除, 定数伝播, コピー伝播等)
• ループ解析

最適化については最後の授業でしかやらなかったので、もうちょっとやって欲しかった。次は離散数学です。数学苦手。

２週間ぐらい課題をやらずに放置していたので、ちょっとかなり進める。

• HW4レポート書き
• LiL6レポート書き
• LiL7レポート書き
• OCaml7型推論
• HW11

残りはHW5, HW9か。1日一個やれば"ソフトリミット"までには終わるかな。