Hatena::ブログ(Diary)

みずぴー日記

2011-02-28(月)

名古屋Reject会議を開催しました

| 名古屋Reject会議を開催しました - みずぴー日記 を含むブックマーク

f:id:mzp:20110228203528p:image

名古屋Ruby会議02のとなりで名古屋Reject会議というイベントを開催してきました。

Rubyという言葉を使ったら負け」みたいな雰囲気のある謎なイベントでした。たのしかった!

当日は[twitter:@maeda_]さんがustream中継を、[twitter:@wof_moriguchi]さんがタイムキーパーをやってくれて、ものすごく助かりました。主催者は笑いながら発表を聞いてただけです、ごめんなさい。

発表資料まとめ

漏れがあったら教えてください。

FAQ: なんでこんなことやったの?

[twitter:@Dominion525]Ruby会議本編だけだとつまんないので、自重しない感じのイベントもやりたいですね」

[twitter:@mzp]「いいですねー」

[twitter:@Dominion525]「じゃあ、みずぴーさんとりまとめよろしくお願いします」

[twitter:@mzp]「 ( ゚д゚ ) 」

FAQ: なんでRejectなの?

Ruby会議に併設されるReject会議の名前をパクりました。

本会議よりも先に発表者が決まったりと、謎な現象も起きたりしました。

FAQ: なんで休憩時間がないの?

「どうせ、Reject会議をぶっとおしで聞く人もいないしいいよねー」という理由です。実際は、ぶっとおしで聞く人しか居ませんでしたけど。

発表時間のバッファが無いのがちょっと心配でしたが、特に遅れもなくできました。発表者のみなさん、ありがとうございます!

FAQ: なんで廊下なの?

同じ階の部屋がとれなかったんです..。

FAQ: なんであんなにカオスなの?

しらんがな。

2010-12-06(月)

12/17(金)に非公式名古屋Scala勉強会やります

| 12/17(金)に非公式名古屋Scala勉強会やります - みずぴー日記 を含むブックマーク

partake.in

12月は名古屋Scala勉強会がないので、代わりに非公式名古屋Scala勉強会やります。

せっかくなので普段できないことをやりましょう。

普段できないことの例

  • ちゃんとScalaの勉強をする。
  • これまでの復習をする。
  • 完全にScalaのことをわすれて、F#とCoqの話をする。
  • Scala Advent Calendarをみんなで作る。
  • あとは募集中

xuweixuwei 2010/12/05 19:10 advent calendarならありますよ!
http://atnd.org/events/10683

mzpmzp 2010/12/05 22:47 じゃあ、それに参加するのもいいですねー。

bleis-tiftbleis-tift 2010/12/06 09:24 17日・・・名古屋にいない><。
残念。

2010-12-05(日)

NGK忘年会2010でCoqの紹介をしてきました

| NGK忘年会2010でCoqの紹介をしてきました - みずぴー日記 を含むブックマーク

DSC_0386.JPG

NGK忘年会2010(昼の部) : ATNDという名古屋の全コミュニティ合同の忘年会に参加してきました。

発表したこと

発表動画@Ustream

CoqPartyのスライドの使いまわしです。

Coq楽しいよ、盛り上ってるよ、って話をだらだらしてきました。

Coq入門記事

上のスライドでCoqに興味を持ってくれた人が数人いるらしいので、入門記事へのリンクを貼っておきます。

あとProofCafeもよろしくお願いします。

懇親会の感想・メモ

2010-11-14(日)

サイゼリヤオフに行ってきたよ

| サイゼリヤオフに行ってきたよ - みずぴー日記 を含むブックマーク

サイゼリヤの全メニューを頼んで食べちゃおう、というひどいオフ(no title)に行ってきました。

DSC_0314.JPG

DSC_0315.JPG

セイゼリヤオフ-ワイン(3)

感想

  • 人数が多かったせいもあってわりと余裕でした。このあとどえりゃあに移動して、コーヒーを飲みながら、gitの話をしてました。
  • サイゼリヤおいしい。
  • 一人あたり3000円でした。安い

ちなみにレーシト

DSC_0318.JPG

長いwwwww。

カズカズ 2010/11/16 10:17 レシート長過ぎw

2010-10-09(土)

名古屋ハッカソン、終了しました。

| 名古屋ハッカソン、終了しました。 - みずぴー日記 を含むブックマーク

名古屋Hackathon : ATND

名古屋ハッカソン、無事終了しました。レッドブルを飲みすぎて、ちょっとフラフラするので手早くまとめます。

C#チーム

チームメンバー: [twitter:@bleis],[twitter:@wof_moriguchi],[twitter:@kazeula]

VisualStudio Ultimate所有者が二人も居る豪華チーム。「Parsec for C#を作るぜー」と言いながらOptionとかEither(っぽいの)を実装してました。

ちゃんとTDDしてたのもさることながら、[twitter:@bleis]さんが使いやすさとかエレガントさを考えながらデザインチョイスをしてたのが非常に印象的でした。

Pythonチーム

チームメンバー: [twitter:@akineko],[twitter:@terurou],[twitter:@kumagi],[twitter:@kei10in]

成果物: no title

「Python3.1でTwitterクライアント作るぜー」を目標にOAuthと戦っていました。あんまり絡んでなかったのでよく分かりませんが、Twitterでの発言を見るかぎりではなかなか愉快なことになっていたようです。

Scalaチーム

チームメンバー: [twitter:@papamitra],[twitter:@maeda_],[twitter:@a_hisame],[twitter:@RKTM],[twitter:@fumokmm]

「Lift上で動くSchemeLispインタプリタを作ろう」を目標に動いてました。Lift組、パーサ組、評価機組と非常にうまく役割分担をしてました。

でもなぜかバージョン管理システムがgitとmercurialの両方を使うというわけのわからない状況になってました。

Coq to Xチーム

チームメンバー: [twitter:@rf0444],[twitter:@athos0220],[twitter:@dico_leque],[twitter:@mzp],[twitter:@yoshihiro503]

成果物: Coq to Ruby

CoqExtractionを拡張して、Scala,Erlang,Clojure,Ruby,HaXeに変換できるようにしよう」を目標に動いてました。「情報は交換すれども、コードは共有せず」で作業してたので、チームだったかどうかは微妙なとこです。

型のある言語に変換するのは難しいらしく、動くようになったのはCoq to ClojureとCoq to Rubyだけでした。[twitter:@yoshihiro503]さんにいたっては「型のない言語はいいなー」とまで言ってました。

その他

[twitter:@cairvy]さんはAndroid本体のソースコードを読んでるし、[twitter:@shimomura1004]はAgda本体のソースコードを読んでいました。カオス!

感想

  • 近くにコンビニがあったので、すごいよかった
  • ニューキャストさん、まじ神
  • うっかりしててペアプロできなかった。次こそは!
  • みんなで集ってコードを書くのはたのしいので、温泉イベントみたいな宿泊付きのイベントもやりたいなぁ
  • 天下一品はすこぶる濃い

2010-10-05(火)

今週末は名古屋ハッカソン!

| 今週末は名古屋ハッカソン! - みずぴー日記 を含むブックマーク

いよいよ今週末に名古屋ハッカソンやります。

おかげさまで定員が埋まったらしく、ありがたいかぎりです。

持ち物とか

コンセントが足りなくなることが予想されるので、OAタップとか延長ケーブルとかを持って来ていただけると助かります。

Macな人は、ディスプレイアダプタを持ってきたほうが無難かも。

会場の設備

無線LANとホワイトボード、プロジェクタがあります。

詳しくは、Sign in - Google Accountsを見てください。

テーマ

基本的に当日決めてもらえらばOKです。

でも、すでにやりたいことがある人はTwitterとかブログで叫んでおくと、仲間が見つけやすくなるかもしれません。

参加費

もしかしたら無料にするかも。

使用予定言語

ATNDのアンケートで答えてもらった使用予定言語の集計結果。

複数回答してる人が大半でした。

Scala7
Python4
OCaml4
C#3
C++3
F#2
Java2
Coq2
Scheme2
Haskell1
Agda1
Ruby1
JavaScript1
Clojure1
Groovy1