Yoichi Hirai

正直、C++よりAda書きたい。

FLOPS 2012のaccepted papersがでてる http://www.org.kobe-u.ac.jp/flops20... SQLのデバッグの話が気になる。

『モモ』を読んでいると、この物語に描かれている、時間を奪われる前の人間の生活よりも、時間を剥奪された後の人間の生活の方が、現在の私たちの実際に近いので、ぞっとします。 - http://pirapira.tumblr.com/post...

警視庁は、逮捕理由について「捜査員が近づいたら逃走しようとした」などと説明したが、男性は「見知らぬ人が警棒を持って追いかけてきたので逃げた」と説明しているという。捜査員は、私服だった。 - http://pirapira.tumblr.com/post...

これすごい．会いたかった人ばかりだ．喋りにいこう． http://www.helsinki.fi/~negri...

ロシア人に唐辛子をかじってみろと挑発されたので，かじってみせたら，オランダ人たちにあきれられた．

5月20日〜6月7日、日本にいる間に「オランダでなにしてるのか@pirapira を問い詰める会」という飲み会をやるので、参加したい方は今これをファボってください。

FLOPS 2012に，ハイパーなラムダ計算の論文がとおりました．Strong acceptをくださった方は，この話の先になにができるかみえてるっぽい．せっかくなのでヨーロッパにいるうちにあちこちでしゃべろう．

研究室の先輩の日本語入力本が売れてるらしい．

なんで僕が欲しい概念を先回りして作ってくれている人がいるのか。

TLEの問題ちょっとみたけど、他の人が解いてるからいいかと思った。

P2Pといえば著作権侵害、て連想が働くようになってしまった気配があるので、N2Nとか。 RT @sbwhitecap: P2Pストレージ？ RT @pirapira: みなみなさまのstorageの空きを融通しあってバックアップ取れないかな。適当に断片ごとに暗号化して。

Webアプリケーションの検証なんてワークショップがあるのか。なんかするか。

RT @norizm: 流石pirapiraおにいちゃんやで....

RT @norizm: この発想はすごい.... RT @pirapira @norizm 人生から情報量をたくさん取り出すには先が見えないことをするといいんです。

RT @arcatdmz: 最近、やっていることがだんだんぴらぴらじみてきた気がする。

RT @eiitiwada: このWGはプログラミング言語と計算Calculiが目的で, 難解な発表が続く. 関数型のタイプについてわざわざ難しく議論しているようだ. 大上段に構えた定義, 仕様に変換を繰り返しプログラムが得られる. この程度のプログラムなら普通に考えても出来るのに.

RT @ksuenaga: 最近は夢がだいぶまともになってきたような気がする。

RT @ksuenaga: 逮捕された。りんごとみかんを同時に買うと犯罪なのだそうだ。知らなかったのだが仕方がない。刑務所に送られる。刑務所はホテルみたいなところで個室なのだが、風呂は共同である。刺青をした人々がずらーっとシャワーのところに並んでいる。

卒論のとき知りたかったことにまだ答えられない。

RT @ken_m123: おー、これはすごい! Math Ninjya! RT @Paul_Painleve なんかMath NinjaにはFunctional Analysisまであるみたいですが。。。http://www.youtube.com/watch...

RT @NJSLYR: グランド・オモシロイの威容は、まるでサイバーオイラン空母だ。一つの街なのだ。甲板には土が敷き詰められ堀が走る。中央部には高さ数十メートル、コの字型の遊郭めいた建物が聳え立つ。無数のボンボリの灯り。後部にはアンテナに覆われた荘厳な巨大トリイ。ブッダ！全てが整然と奥ゆかしい！　22

RT @tkng: ジュンク堂池袋店に日本語入力を支える技術が入荷したそうなので見てきました。陳腐な表現しかできませんが、感動です。 http://twitpic.com/8gv976

様相記号の形を先に考えるとなんか出てこないか。

RT @__kiyoto__: @yminsky they don't. The rest of the world is much more lenient towards bugs than in trading. http://www.quora.com/Faceboo...

RT @yminsky: Programming systems with complex error handling in OCaml makes me wonder how the rest of the world manages without algebraic datatypes...

RT @tkghs: #囲碁ルール @rsato_miyagi @tutaehp たぶんもっとも一般的な囲碁の拡張は @pirapira さんの有向グラフ碁。 http://d.hatena.ne.jp/yoira... http://d.hatena.ne.jp/yoira... http://d.hatena.ne.jp/yoira...

RT @t33f: プログラム一つ書くのに四苦八苦してる時代ですよ、まだ

Ruby で tag ジャンプする方法 - Higepon’s blog - Mona OS and Mosh - http://d.hatena.ne.jp/higepon...

Let’s continue to call variables variables. It’s a perfectly good name, and refers to what is perhaps one of the greatest achievements of the human mind, the fundamental concept of algebra, the variable. But let’s stop calling those other things variables! In my Practical Foundations for Programming Languages I coined (as far as I know) a word... - http://pirapira.tumblr.com/post...