タグ

2007年12月4日のブックマーク (5件)

  • http://hp.vector.co.jp/authors/VA012411/pyauto/doc/index.html

  • LiveCoding #5に参加してきました。 - ちなみに

    遅ればせながらLiveCogind #5のレポート。 飛び入りで参加させていただきました。主催者のうじひささんに感謝感謝です。 内容については公式サイトやら他の参加者のレポートを見ていただくとして、僕は個人的な感想を書いてみたいと思います。 まず、一番強く印象に残っているのはやはりoxyさんのコーディング。まさに世界レベル。タイピングが早い人はいくらでもいますが、”考えながら”のコーディングであの速度とは。一体彼の頭の中はどうなっているのでしょうか。当に見ているだけで感動するくらいでした。そして"g a.cpp"はナイスです。(競技的にa, b, c, ...というファイル名を使うらしい) 次は、いけがみさんの”人柄”。なんだろう、すごく好きになりました。これは恋かもしれません。しかし、id:eripon28女史に怒られるのであきらめましょう。めちゃくちゃすごい人だと思うのですが(博士号

    LiveCoding #5に参加してきました。 - ちなみに
    yhara
    yhara 2007/12/04
    僕はシロップもミルクも入れてしまいました(´・ω・`)まろやか味のコーラになりました。
  • いまどこ?新幹線マップ - マル幹マップ

    「いまどこ?新幹線マップ」は終了しました。 新幹線リアルタイム時刻表マップ「いまどこ?新幹線マップ」は2015年7月21日をもって提供を終了しました。 Androidアプリ「いまどこ?鉄道マップ」シリーズはGoogle Playストアにて配信中です。

    yhara
    yhara 2007/12/04
  • Wadler: Monads

    Monads, Arrows, and Idioms Philip Wadler The arrow calculus Sam Lindley, Philip Wadler, and Jeremy Yalloop, Journal of Functional Programming 20(1):51&em;69, 2010. We introduce the arrow calculus, a metalanguage for manipulating Hughes’s arrows with close relations both to Moggi’s metalanguage for monads and to Paterson’s arrow notation. Arrows are classically defined by extending lambda calculus

  • はてなアンテナ - ACM/ICPCアンテナ

    ACM-ICPCアンテナ ACM-ICPC/TopCoder関係者のページから黙々と電波を受信し続けるアンテナ。 管理はid:nyaasan@kkntkrが行っているので助言訂正苦情などあればそちらにお願いします。 すべて | グループ指定なし | 公式 | 情報サイト | オンラインジャッジ | ICPC2004 | ICPC2005 | ICPC2006 | ICPC2007 | ICPC2008 | TopCoder | Google Code Jam おとなりアンテナ | おすすめページ 2024/03/19 20:16:18 Breezy Feeling Blog cynoglossum @ TUT-CC_team-A 今週のお題「#卒業」をチェック 今週のお題「#卒業」をチェック 2024/03/19 18:35:56 勇者の里 南東のほこら / お気の毒な冒険の書 まんさく

    yhara
    yhara 2007/12/04