Comments for val it: α → α = fun

Comment on ラドラーへの道 by おおた

おおた — Thu, 22 Sep 2011 05:09:13 +0000

ベルギーいいっすね！
わたしもラドラーって初めて聞きましたが、他の国ではShandyとか言うそうな。
http://en.wikipedia.org/wiki/Shandy
ドイツスタイルのラドラーは、7upとかスプライトを使うって書いてありますね。

Comment on ラドラーへの道 by Jun Mukai

Jun Mukai — Tue, 20 Sep 2011 23:42:31 +0000

たまたま近くのコンビニにそれっぽいのがキレートレモンしかなかったんです……。他のも試してみます。

Comment on ラドラーへの道 by マダムロボ

マダムロボ — Tue, 20 Sep 2011 18:50:36 +0000

キレートレモンは他のものより酸味がキツいんです。
次はもっとちょっとソフトなものでやってみたら？

Comment on Unisonの論文 by Jun Mukai

Jun Mukai — Wed, 10 Aug 2011 13:30:53 +0000

あ、いや、Coqのところは見逃してました。適当なこと書いてすいません……

Comment on Unisonの論文 by yoriyuki

yoriyuki — Tue, 09 Aug 2011 03:29:02 +0000

>7章は、6章までの形式的な定義をOCamlの参照実装として作りましたという話で、まあ普通。>説明はかなり簡略で、詳しい説明は付録の方に書いてある感じ。しかも、どうやってOCamlの>実装が形式的定義にきちんと従っているかの確認は、頑張りましたというぐらいだし……。

7章の最後の方に書いてありますが、Coqで検証していると思います。（ってそういう意味じゃない？）

Comment on githubのURLをうまく扱うオシャレなアレ = pjax by Jun Mukai

Jun Mukai — Fri, 03 Jun 2011 02:50:05 +0000

twitterのあれはhashbangとかshebangとか呼ばれていて、元々は http://code.google.com/intl/ja/web/ajaxcrawling/docs/getting-started.html で提案されているものだったかと思いましたが、残念ながら不評です (しかも twitter がまたこれと微妙に違うという)

Comment on githubのURLをうまく扱うオシャレなアレ = pjax by 池田武

池田武 — Thu, 02 Jun 2011 18:12:00 +0000

なるほど。
twitterの新URLが # を間に挟んでいるのが何故だろうと思っていましたが
もそういう理由なら納得できます。

Comment on KINESISのフットペダルを買ってみたが by Jun Mukai

Jun Mukai — Sun, 22 May 2011 09:55:55 +0000

マダムロボさん: Windowsの調達は問題ではないので。
shiroさん: たしかに誰かやっててもおかしくないんですが、なかなか見つからず。

Takayama Fumihikoさんの、F17-19などに割り当てるというのはいいアイディアかもしれません。ありがとうございます。検討してみます。

Comment on KINESISのフットペダルを買ってみたが by マダムロボ

マダムロボ — Sun, 22 May 2011 04:14:02 +0000

あ、窓機の「機」が器になってた。

Comment on KINESISのフットペダルを買ってみたが by マダムロボ

マダムロボ — Sun, 22 May 2011 04:12:59 +0000

本の出版社に持っていって、窓器を借りる。
というのは？