#pro88まとめ

Yoshihiro Imai @yoshihiro503

明日は5時起き。 #pro88

よんた @keita44_f4

#はやくねろ RT @yoshihiro503 明日は5時起き。 #pro88

_ko1 @_ko1

haskell が難しいのか山下さんの話が難しいのか #PRO88

_ko1 [en] @_ko1_transltd

haskell is difficult or hard to talk about Mr. Yamashita #PRO88

集会の自由 @oskimura

#PRO88　とか #NLP2012 とか面白そうな話を…

Yoshihiro Imai @yoshihiro503

@nobsunさんのHaskellライブラリ(OI型)のお話 #pro88

Yoshihiro Imai @yoshihiro503

Haskellで書かれた programmable wiki かっこいい！ #pro88

_ko1 @_ko1

どっかで見たことがあるような Wiki のデザインだなぁ #PRO88

_ko1 [en] @_ko1_transltd

Somewhere on Wiki that looked like design a NAA #PRO88

_ko1 @_ko1

増原先生の巧妙な罠 #PRO88

_ko1 [en] @_ko1_transltd

Masuhara teacher's clever trap #PRO88

Yoshihiro Imai @yoshihiro503

wikiエンジンはたったの153行らしい！すごい！ #pro88

nisizaki @nisizaki

発表スライドに・・・ハイパーリンク！？ #PRO88

_ko1 @_ko1

http://t.co/ITnGLUx3 #PRO88 参加者だけアクセスして下さい

_ko1 [en] @_ko1_transltd

access http://t.co/0b1JhzrC #PRO88 participants only

_ko1 @_ko1

指導教員が口を出す良くない #PRO88 すみません．

_ko1 [en] @_ko1_transltd

Sorry not good #PRO88 advisors put out the mouth.

前田敦司 @maeda

@daretomonaku #PRO88 Haskellでチャット(talk)を書く発表、HaskellでWikiを書く発表、Rubyでチャットを書く発表。

Yoshihiro Imai @yoshihiro503

RT @maeda: @daretomonaku #PRO88 Haskellでチャット(talk)を書く発表、HaskellでWikiを書く発表、Rubyでチャットを書く発表。

nisizaki @nisizaki

(・∀・)つ　"May&Must-Equivalence of Shared Variable Parallel Program in Game Semantics"　#PRO88

Yoshihiro Imai @yoshihiro503

RT @nisizaki: (・∀・)つ　"May&Must-Equivalence of Shared Variable Parallel Program in Game Semantics"　#PRO88

Yoshihiro Imai @yoshihiro503

「オブジェクトをArenaとするとカルテシアン閉圏になる」 #pro88

Yoshihiro Imai @yoshihiro503

@chiguri 機能は輪っかの軌跡のポインタがあったような... #pro88

nisizaki @nisizaki

「定理証明支援系Coqへの対話的修正機構の導入」 #PRO88

Yoshihiro Imai @yoshihiro503

代数データ型のコンストラクタの追加を楽にするCoqのためにシステムの研究！ #pro88