遅ればせながらLiveCogind #5のレポート。 飛び入りで参加させていただきました。主催者のうじひささんに感謝感謝です。 内容については公式サイトやら他の参加者のレポートを見ていただくとして、僕は個人的な感想を書いてみたいと思います。 まず、一番強く印象に残っているのはやはりoxyさんのコーディング。まさに世界レベル。タイピングが早い人はいくらでもいますが、”考えながら”のコーディングであの速度とは。一体彼の頭の中はどうなっているのでしょうか。本当に見ているだけで感動するくらいでした。そして"g a.cpp"はナイスです。(競技的にa, b, c, ...というファイル名を使うらしい) 次は、いけがみさんの”人柄”。なんだろう、すごく好きになりました。これは恋かもしれません。しかし、id:eripon28女史に怒られるのであきらめましょう。めちゃくちゃすごい人だと思うのですが(博士号
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/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 勇者の里 南東のほこら / お気の毒な冒険の書 まんさく
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く