Cookwitter | Quetter | 関東渋滞
にらめったー(NearMetter)とは、気になる2人のTwitterユーザー対談が見られるツイ談(Twi談)サイトです。

Twitterユーザー名

vs

Twitterユーザー名

取得可能 (最終取得時間:2010-08-11 23:00:41)

pi8027shelarcy のツイ談  

shelarcy

@pi8027 package description に "The library is based on ideas described in the paper:" とあるので、参照されている論文を読めば良いのではないでしょうか?

2010-08-07 11:12:55 - 返信元ツイートを取得する

 

shelarcy

@pi8027 "Generic programming with fixed points for mutually recursive datatypes" は以下の URL で公開されていますね。 http://people.cs.uu.nl/andre...

2010-08-07 11:14:14 - 返信元ツイートを取得する

 

pi8027

@shelarcy そうですね。読んでみます

2010-08-07 11:15:47 - 返信元ツイートを取得する

 

にらめったーはご覧のスポンサード リンクの提供でお送りします

shelarcy

@pi8027 Graph (制御フローグラフ)の Zipper なら、Hoopl 絡みでありますね。 http://bit.ly/dgnxX6 http://bit.ly/bm1p3h あと、アイデア元の論文やプレゼン資料: http://bit.ly/d9f71y

2010-08-10 14:32:30 - 返信元ツイートを取得する

 

shelarcy

@pi8027 ツリーじゃなくてグラフなので、オーバースペックかもしれませんが。

2010-08-10 14:45:14 - 返信元ツイートを取得する

 

pi8027

@shelarcy グラフの Zipper とか作れるんですね...当然気になっていたわけですが、自分の力では到底作れそうにないので

2010-08-10 14:47:39 - 返信元ツイートを取得する

 

shelarcy

Clean QT @cpp_akira: Curry? RT @pi8027: Haskell 無くなったら何使えばいいのかなぁ。OCaml とか使わされたら生きていけないかもしれない...他に選択肢無いか

2010-08-10 16:12:18 - 返信元ツイートを取得する

 

shelarcy

.@pi8027 大学次第じゃないでしょうか? CEFP2005 [ http://plc.inf.elte.hu/cefp/ ] に参加した時は Vim を使わされましたし。

2010-08-10 16:26:43 - 返信元ツイートを取得する

 

shelarcy

@pi8027 ポップアップでてきませんでしたか? とりあえず詳細を表示をクリックして開いたページ。 http://mail.google.com/suppo...

2010-08-11 11:23:20 - 返信元ツイートを取得する

 

pi8027

@shelarcy 出てきませんでしたね...なんだったんだろう

2010-08-11 11:27:46 - 返信元ツイートを取得する

 

にらめったーはご覧のスポンサード リンクの提供でお送りしました

「@だれだれ」をベースに自動生成されております。返信元ツイートを取得するは「上記ツイート」から辿ってください。
Twitter Search APIを通して最新@ユーザーの100件をストリーミング表示しています。

pi8027shelarcy のツイ談コメント一覧

pi8027shelarcy のツイ談を転送する


その他のツイ談