2009-07-01から1ヶ月間の記事一覧

その後

お昼 soutaroさんとsakaiさんと軽いロシア料理を出してくれるお店に入ってお昼ご飯を決めた。一応その時の内容メモ: MLの進化の系譜についてどうだこうだする会あってほしい。(私的な意味で。ただしどう考えてもお二方が企画とかすれば良くて私は本当に聞き…

RubyKaigi2009 2日目午前だけ参加

午後からは色々忙しかったので・・・。一応私が聞けた発表はRubyに対する静的コード解析統合開発環境のモノだけです。殆ど・・・。 http://rubykaigi.org/2009/ja/talks/18S03話の内容としては、既存のRubyの静的コード解析器にまとめて投げてその結果を一括…

またimpliesに引っかかった

RubyKaigiに行くので今から(am 6:00)寝るわけにも行かず取りあえず水島さんところで見つけた次の問題をやってみた。 http://d.hatena.ne.jp/kmizushima/20090629/1246212207 sig Person { pet : one Pet , tabacco : one Tabacco } sig Pet { } sig Tabacco …

FLTV

のATNDページを作ってみました。こういうのがあるんだけれども、どうでしょう。ただし、一応未来志向(ってなんだろう...)になっているイベントです。http://atnd.org/events/11028/30は丁度空いてるんですよね。な方は是非!!それと会場がどうしよう問題が…

私はforallに疎外されている

それは私の頭が残念だからなんですが。。。今日の昼間についつたでPolymorphismの話がちろと出たので、というか私が出してたので、そこからふと次のケースら (1) forall a.a (2) forall a.(Num a) => a (3) forall a.a -> a (4) [ forall a.a ] (5) forall a…

FLTV

Future Language TVが8/30とかでも良いと思います!!http://twitter.com/masahiro_sakai/status/2653751580 http://twitter.com/ranha/status/2654390360そういえば、昨日びっくりドンキーに行った時にさりげなく水島さんにLLTVの翌日なんか出来ないッスか…

春香さん

アイマスは実はちゃんと買ったものの、全然ちゃんとやったこと無くて・・・っていうか初プレイ時は凄い悲惨な事に成ったので思い出ボックスにしまっていたものの、夏休み始まってから毎日アイマス動画をニコニコで見て/聞いてるのでまぁやっぱりやろう。とい…

あろい2

さかいさんの指摘通りで、 one sig Root extends Dir { } { no parent } //fact { FSObject in Root.*contents } コメントアウトしてます結局こうなってるとこういうモデルが出て来ちゃいますからそうだ。

あろい

最近爆発的に盛り上がっているAlloyをやってみる。どこでとかは知らないけれども爆発的に盛り上がっている事は間違いない。今現在 6:17 リアルタイムに色々書いて行く。 そもそもあろいって何? 全く分からない。全くっていうのは、情報が何も無いという事で…

lightning Loli teleportational becky

LLTBことLLTVのチケットを買って来ました。なんか軽量言語っぽい感じでLLTVを略せないもんですかね。 ロリロリなトランザクショナルにcall-by-Value意味がダメです・・・。http://slashdot.jp/developers/09/07/08/0718253.shtmlスラッシュドットにちょーど…

【ロロナの】買う【アトリエ】

を買うぞ。買ってください・・・。http://atelier-ps3.jp/rorona/夏休みにゲームかよみたいな。うーん。夏休みはなんかたまりにたまった証明をやりなおしつつ主になんかうーんつまりあんまりやる事も無くて。いやあるんだけれどもその外部的なイベントってい…

なんか今年もダメでした

今日は既に7月4日なんですが、7/3にICPC 2009の国内予選が在りました。今年は26チーム(カナ?)がアジア地区予選に進めるようで、 そんでまぁうちのチームは自力29位の選抜ルールで25位ぐらいでなんとかアジア地区予選まで行くんですが・・・。去年と代わらず…