The Haskell programming language community. Daily news and info about all things Haskell related: practical stuff, theory, types, libraries, jobs, patches, releases, events and conferences and more... ICFP 2010 papers are in ACM DL, but not freely available. The program is here: http://www.icfpconference.org/icfp2010/program.html And a (growing) list of freely available pre-prints: Monday Keynote:
タグ
- すべて
- 2ch (11)
- 3d (9)
- ACID (11)
- API (148)
- Amazon EC2 (67)
- Amazon S3 (12)
- Apple (55)
- BRICS (9)
- CDO (19)
- CG (35)
- CentOS (45)
- DNSSEC (10)
- DSL (16)
- Django (9)
- ECMAScript (9)
- ETF (16)
- FRB (42)
- GAE (28)
- GC (18)
- GNU (9)
- GPL (9)
- Go (12)
- GoogleMap (10)
- HDD (15)
- HTML5 (22)
- IBM (17)
- IE (13)
- KVM (16)
- LDAP (13)
- Lua (14)
- M&A (19)
- MapReduce (12)
- Microsoft (47)
- NGiNX (13)
- Nucleus (10)
- OAuth (81)
- OS (136)
- PDF (9)
- PKI (9)
- PR (25)
- PXE boot (13)
- Python (57)
- RADIUS (11)
- RAID (27)
- REST (26)
- RSS (26)
- RTM (14)
- Ruby (255)
- SSD (10)
- Scheme (33)
- UI (81)
- USB (10)
- VLAN (20)
- VPN (11)
- VR (11)
- Virtual machine (58)
- Webアプリケーション (10)
- XP (9)
- actionscript (9)
- active directory (9)
- adobe (12)
- aggregate (10)
- ajax (35)
- algorithm (108)
- amazon (34)
- android (65)
- apache (85)
- architecture (31)
- arduino (20)
- art (55)
- artist (9)
- asset allocation (17)
- asynchronous (25)
- atom (19)
- aws (12)
- backup (32)
- bad knowhow (236)
- bash (13)
- benchmark (46)
- best practice (21)
- blog (58)
- book (271)
- bookmarklet (9)
- boot (21)
- brainfuck (11)
- browser (168)
- bug (27)
- bug tracking (14)
- business (339)
- c++ (42)
- c10k (17)
- cache (27)
- camera (20)
- career (29)
- chrome (54)
- cloud computing (67)
- cluster (37)
- cms (9)
- code (14)
- codegolf (9)
- comet (25)
- comic (11)
- commodity (14)
- communication (19)
- community (46)
- compiler (41)
- computer (15)
- conference (9)
- contest (23)
- continuation (11)
- cookie (14)
- copyright (65)
- coq (10)
- cost (26)
- couchDB (19)
- cpu (86)
- cracking (33)
- creative commons (11)
- credit crunch (79)
- css (11)
- cycling (15)
- c言語 (23)
- data (11)
- data center (39)
- db (149)
- debian (9)
- debug (22)
- dell (12)
- deployment (318)
- design (107)
- disaster (17)
- distributed (12)
- dns (49)
- document (89)
- documentation (25)
- drbd (16)
- eco (30)
- erlang (202)
- event (151)
- extension (16)
- facebook (31)
- faq (13)
- fedora (21)
- finance (231)
- firefox (53)
- flash (40)
- font (16)
- football (23)
- framework (73)
- free software (14)
- freedom (9)
- friendfeed (45)
- ftp (11)
- fund (30)
- fx (13)
- gadget (75)
- game (56)
- geo (29)
- git (24)
- github (20)
- globalization (17)
- gmail (17)
- golf (15)
- google (272)
- google buzz (41)
- googlewave (18)
- graphics (13)
- greasemonkey (12)
- hack (18)
- hardware (87)
- hash (12)
- haskell (70)
- high availability (81)
- history (123)
- howto (9)
- html (9)
- http (29)
- httpd (56)
- hypervisor (9)
- icfp (11)
- idea (14)
- intel (18)
- internet (44)
- interpreter (13)
- interview (21)
- iphone (83)
- ipv6 (12)
- it業界 (47)
- jQuery (15)
- java (69)
- javascript (153)
- joke (23)
- json (18)
- kernel (101)
- key-value storage (34)
- knowhow (545)
- kyoto_tycoon (10)
- lambda (57)
- lego (13)
- library (177)
- license (28)
- life (11)
- lifehack (35)
- linux (351)
- lisp (28)
- loadbalancer (13)
- local (10)
- log (20)
- logic (58)
- lvm (12)
- mail (67)
- management (10)
- manual (44)
- map (16)
- media (103)
- memcached (54)
- memory (28)
- message passing (10)
- messaging (12)
- mixi (18)
- mobile (153)
- model (12)
- module (12)
- monad (12)
- movie (60)
- multi core (12)
- music (65)
- mysql (65)
- network (255)
- openid (50)
- opensource (146)
- openssl (12)
- optimize (35)
- p2p (22)
- package (15)
- palm (14)
- parser (17)
- patch (11)
- performance (307)
- perl (43)
- photo (47)
- php (56)
- plugin (43)
- postfix (22)
- postgresql (10)
- presentation (121)
- price (14)
- privacy (59)
- process (11)
- programming (932)
- programming language (369)
- programming-functional (157)
- prolog (10)
- protocol (72)
- proxy (21)
- pubsubhubbub (18)
- puzzle (31)
- qemu (11)
- quine (12)
- quiz (26)
- ranking (12)
- realtime (43)
- redhat (40)
- release (39)
- replication (12)
- repository (83)
- review (14)
- rfc (17)
- risk management (170)
- robot (14)
- rpc (10)
- rpm (14)
- ruby on rails (79)
- scala (32)
- scalability (65)
- scalable (11)
- science (50)
- security (607)
- security hole (17)
- selinux (80)
- session (19)
- shell (13)
- shell script (13)
- shop (19)
- simulation (15)
- sinatra (16)
- smalltalk (12)
- smtp (12)
- snmp (10)
- sns (76)
- socnode (13)
- software (360)
- solaris (10)
- source code (28)
- source code management (16)
- spam (39)
- sql (13)
- sqlインジェクション (11)
- ssh (20)
- ssl (57)
- standard (53)
- storage (63)
- subversion (11)
- sun (19)
- survey (12)
- technology (181)
- test (91)
- thread (14)
- tips (166)
- tool (317)
- toy (17)
- travel (10)
- trend (29)
- trouble (22)
- tuning (66)
- tutorial (343)
- tv (12)
- twitter (166)
- ubuntu (14)
- unix (25)
- usability (16)
- venture (33)
- virtualization (251)
- virus (10)
- vision (21)
- visualization (40)
- vmware (68)
- vulnerability (95)
- web (56)
- web2.0 (12)
- websockets (19)
- webサービス (595)
- webデザイン (41)
- web制作 (121)
- wiki (22)
- windows (91)
- wishlist (25)
- xen (116)
- xml (35)
- xmpp (14)
- xss (26)
- yahoo (21)
- youtube (23)
- あとで行く (24)
- あとで見る (51)
- あとで試したい (105)
- あとで試す (461)
- あとで読む (1390)
- あとで調べたい (532)
- あとで買う (13)
- あるある (456)
- いまさら訊けない (1258)
- おもしろい (128)
- お役立ち (134)
- かっこいい (24)
- くわばらくわばら (90)
- これはすごい (37)
- これよかばい (13)
- しろよ、俺 (17)
- そもそも (99)
- はてな (16)
- はてなブックマーク (10)
- まとめ (479)
- まとめサイト (60)
- アクセス解析 (19)
- イノベーション (20)
- オブジェクト指向 (24)
- オープンソース (12)
- ガイド (25)
- グルメ (10)
- コンプライアンス不況 (14)
- サブプライム問題 (46)
- サーバ構築 (156)
- サーバ管理 (215)
- サービスプロバイダー (67)
- ジャーナリズム (10)
- テスト (10)
- デザインパターン (13)
- デリバティブ (11)
- データベース (13)
- データ構造 (14)
- ニコニコ動画 (16)
- ネタ (739)
- ネットワーク機器 (10)
- ネット文化論 (92)
- ビジネス (27)
- ビジネスモデル (341)
- ファイルシステム (82)
- ブログパーツ (14)
- ヘッジファンド (15)
- マーケティング (60)
- メディア (11)
- モラルハザード (25)
- リテラシー (32)
- 一次source (76)
- 不動産 (21)
- 世論操作 (13)
- 並列 (15)
- 並列処理 (89)
- 中国 (21)
- 互換性 (17)
- 今日の全然わからん (17)
- 仕事 (14)
- 仕様 (33)
- 企業 (21)
- 企業統治 (28)
- 会計 (40)
- 保険 (19)
- 債券 (26)
- 分散DB (20)
- 分散処理 (29)
- 分析 (280)
- 労働 (13)
- 勉強 (26)
- 勉強会 (14)
- 医療 (16)
- 哲学 (19)
- 国債 (14)
- 国際 (13)
- 圏論 (37)
- 型 (13)
- 型理論 (23)
- 実装 (11)
- 市場 (142)
- 年金 (12)
- 広告 (40)
- 恐慌 (40)
- 批評 (10)
- 投機 (14)
- 投資 (385)
- 投資銀行 (41)
- 指数 (15)
- 指標 (12)
- 携帯 (10)
- 携帯電話 (20)
- 政治 (82)
- 政策 (82)
- 教育 (22)
- 数値計算 (13)
- 数学 (93)
- 数学基礎論 (19)
- 文化 (14)
- 文字コード (12)
- 新聞 (11)
- 日本 (215)
- 日本語 (21)
- 日銀 (16)
- 景気 (41)
- 暗号 (55)
- 書評 (40)
- 株式 (27)
- 検索 (32)
- 検索エンジン (19)
- 業界 (67)
- 正規表現 (26)
- 比較 (21)
- 法律 (56)
- 為替 (77)
- 無線LAN (25)
- 物欲 (32)
- 生活 (16)
- 画像 (10)
- 画像処理 (14)
- 監査 (15)
- 監視 (52)
- 目ウロコ (91)
- 相場 (25)
- 社会 (69)
- 税金 (18)
- 米国 (146)
- 組み込み (32)
- 経営 (45)
- 経済 (418)
- 経済学 (50)
- 統計 (117)
- 翻訳 (23)
- 考察 (11)
- 脳 (10)
- 自由 (14)
- 行動経済学 (20)
- 行政 (39)
- 規制 (34)
- 計算論 (14)
- 設計 (16)
- 証券 (72)
- 証明 (42)
- 詐欺 (13)
- 認知 (12)
- 認証 (193)
- 読み物 (85)
- 論文 (138)
- 負荷分散 (32)
- 負荷対策 (14)
- 財政 (76)
- 資源 (11)
- 起業 (28)
- 進化 (14)
- 量子コンピュータ (10)
- 金利 (28)
- 金融 (58)
- 銀行 (70)
- 開発 (33)
- 開発環境 (190)
- 関数型言語 (11)
- 雇用 (27)
- 電子工作 (41)
- あとで読む (1390)
- いまさら訊けない (1258)
- programming (932)
- ネタ (739)
- security (607)
- webサービス (595)
- knowhow (545)
- あとで調べたい (532)
- まとめ (479)
- あとで試す (461)
関連タグで絞り込む (8)
icfpと論文に関するkgbuのブックマーク (2)
-
kgbu 2010/10/01
本当にあとで読むかは知らんけど。- 論文
- icfp
- haskell
- functional programming
- あとで読む
- software
- programming
- 証明
- programming language
リンク -
行列と項書換 - d.y.d.
21:54 10/06/30 行列と項書換 "Termination of String Rewriting with Matrix Interpretations" という論文を読みました。 これは何かというとつまり、 ICFPコンテストの元ネタとして 紹介 されていた論文です。 れ い 年、 冗談９割で、主催者の専門分野にちなんだ問題が出るに違いない！と叫んでいるのですが、 本当に来るとは思わなかった…。 さて。項書き換え (term rewriting) と呼ばれる研究分野がありまして、 例えばこんな問題を調べています。 文字列に対して、「以下の操作のどれかを好きに選ぶ ＆ 実行する」を繰り返します。 abc という部分文字列を de に書き換える （abc ⇒ de と書きます） ef ⇒ g fgh ⇒ ij どんな文字列からスタートしても、最後には、どの規則も使えない状態 （つ
-
1
公式Twitter
- @HatenaBookmark
リリース、障害情報などのサービスのお知らせ
- @hatebu
最新の人気エントリーの配信
処理を実行中です
キーボードショートカット一覧
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
設定を変更しましたx