syd_sydのブックマーク / 2008年7月19日

syd_syd id:syd_syd

2008年7月19日のブックマーク (5件)

struts2の入門資料を書いている - keigoiの日記
日本語の資料があんまりないstruts2について、うちわ向けの入門資料をがんばって書いています。まだ途中です。おわりました。ダウンロードはこちらから更新しました→ http://www.agusa.i.is.nagoya-u.ac.jp/person/sydney/20080725/ 色々欠けているような気がする。なのにServletについて書いたのでえらい長くなってしまった。これは必要なかったと思う。ツッコミお待ちしています。 web上のstruts2記事あるじゃん。しらんかった。こんなの去年はまだ無かったよね。 http://codezine.jp/a/article/aid/2296.aspx
syd_syd 2008/07/19
せるくま。モチベーション維持のために晒してみた
リンク
未来言語Agda - 数学猫の生活と意見
最近Agdaを触る機会があったのだが、Agdaこそ未来のプログラミング言語ではないかという気がしてきた。ここでは行列の転置をする関数を定義することで、Agdaでのプログラミングがどんなものか紹介したい。その前に一言:Agdaは定理証明系として紹介されることが多い。これはAgdaにとって不幸なことだ。確かにAgdaの型システムは強力なので、例のカリーハワード同型により、型を命題、プログラムを証明とみなすことができる。ただし、私の印象ではAgda上は数学の証明をしやすいようにはそんなにはできていない。Agdaで証明するには、ある型をもつ定数なり関数を定義することになるわけだが、定義した関数がその型を持っているかことを型チェッカに説得するために、型チェッカの詳しい挙動について理解していなければならない。むしろ、Agdaは依存型をもつプログラミング言語と思った方がよいと思う。依存型とはなにかは例を
syd_syd 2008/07/19
> むしろ、Agdaは依存型をもつプログラミング言語と思った方がよいと思う。
リンク
腰痛のおかげで巻き込まれた不倫のごたごた話:ハムスター速報　２ろぐ
1 ：以下、名無しにかわりましてVIPがお送りします：2008/07/18(金) 15:35:49.17 ID:kboD3YEs0 不倫騒動に巻き込まれた話。 5 ：以下、名無しにかわりましてVIPがお送りします：2008/07/18(金) 15:39:19.37 ID:kboD3YEs0 当時、仕事がむっちゃ激務で連日徹夜続きでぼろんぼろんだった。んで、学生時代に治療していた腰痛がめちゃくちゃ悪化した。夜寝てて、ちょっとでも寝返り打てば痛みが走って目がさめちゃう感じ。当然睡眠不足。医者に相談して治療・運動とか以外に身体にあったベッドを購入することにした。 7 ：以下、名無しにかわりましてVIPがお送りします：2008/07/18(金) 15:43:15.52 ID:kboD3YEs0 当時、腰痛再発の原因にもなった激務が完了したところで割といい臨時ボーナス貰ったので、これを全
syd_syd 2008/07/19
事実は本当に小説よりも奇なんだなあポール・オースターもそう言ってた
リンク
史上最低の翻訳ミス – 秋元
中国語の「レストラン」を英語でも書こうとして、翻訳ソフトを使ったみたいなんですけど、「翻訳サーバのエラーです」って… こんな立派な看板作って設置するまで、誰も気づかないのか! via Dear Jane Sample [更新 2008.11.05] と思ったら、ウェールズ語でこんなのも! これまた史上最低の翻訳。いろんな間違い方がありますねー
syd_syd 2008/07/19
そういう名前で定着しそうだ
リンク
Struts 2 Validation using Annotations
syd_syd 2008/07/19
struts2
リンク
- 2008年7月20日
- 2008年7月19日
- 2008年7月18日