Philosophy We strive to create an environment conducive to many different types of research across many different time scales and levels of risk. Learn more about our Philosophy Learn more
In September, 2004, I posted a query to the Types list asking people to name the five most important papers ever written in the area of programming languages. This page collects the responses I received. (A few are missing because I am still tracking down bibliographic information.) Many thanks to Frank Atanassow, David Benson, Nick Benton, Karl Crary, Olivier Danvy, Mariangiola Dezani, Dan Friedm
この記事には複数の問題があります。改善やノートページでの議論にご協力ください。 独自研究が含まれているおそれがあります。(2015年6月) あまり重要でない事項が過剰に含まれているおそれがあり、整理が求められています。(2015年6月) IMRAD(IPA: /ˈɪmræd/、(イムラッド)は、文章構成 (Organization) の型式 (Style) の名称の1つである。IMRADの名前は、Introduction, Methods, Results And Discussionの略に因む。その名前の由来通り、IMRAD型の文章は、その骨格部が、少なくともIntroduction, Methods, Results, Discussionの4つの部分に分かれることを特徴とする。主に実証研究に基づく自然科学、工学、医学、社会科学、一部の人文科学の論文において、この形式に従った章立てが、
機械学習やってる人は皆読むべきだと思う. Machine Learning that Matters (pdf) 概要 機械学習のトップカンファレンスICMLに数式/アルゴリズム/定理を1つも書かずに通った論文. 機械学習は何のために重要なのか,現実世界との繋がりを失っていないか,あなたは「機械学習って何の役に立つの?」と聞かれた時にちゃんと答えられるのか,まだ取り組まれてない重要な問題は何か,について触れた長文ブログのような論文. contributionsは 機械学習の研究と人類と科学全体におけるもっと大きな研究との間にある欠落に対する明確な特定と解説 そのギャップに取り組むための第一歩 (どう訳していいかわからなかった) 機械学習において重要な問題の提示 機械学習のための機械学習(要約: マッシュルームやアヤメの分類器を死ぬほど作って何の役に立ったの?) ベンチマークデータの問題 こ
Scientific Literature Digital Library incorporating autonomous citation indexing, awareness and tracking, citation context, related document retrieval, similar document identification, citation graph analysis, and query-sensitive document summaries. Advantages in terms of availability, coverage, timeliness, and efficiency. Isaac Councill and C. Lee Giles.
λ. “Referential transparency, definiteness and unfoldability” by Harald Søndergaard and Peter Sestoft Chatonのhaskell-jpルームで2009-07-03と2009-07-04にあった、参照透明性と副作用の定義に関わる話で出てきた論文。積読論文の中にあったので読んでみた。 参照透明性(referential transparency)はQuineによって考えられた概念で、LandinとStracheyによってプログラミング言語の性質として使われるようになった。が、その定義・使われ方は変化しており、それらは同値ではないという話。 それらを、この論文での呼び方で呼ぶと以下のような感じ。 確定性 (definiteness) 変数がそのスコープの中で単一の値を持つこと。xを変数とすると
今更ながら、Faster and Smaller N-Gram Language Modelsを読んでみました。 この記事については、すでにACL2011論文「Faster and Smaller N-Gram Language Models」を読んだ - EchizenBlog-Zwei やN-gram 言語モデルを圧縮するには - やた@はてな日記で紹介されているので、自分が興味を持ったところを少しだけ。 上の紹介記事でも言及されているように、この論文では N-gram を [token, context] の形で格納しています。token と context はどちらも ID。この形でソートすると、token も context も前のデータとの差が小さくなるので、差分を取ると小さい数が多い「べき分布」になるから圧縮しやすくていいよね、という話(だと思います)。 その圧縮方法というの
Classic Nintendo Games are (NP-)Hard Greg Aloupis∗ Erik D. Demaine† Alan Guo†‡ March 9, 2012 Abstract We prove NP-hardness results for five of Nintendo’s largest video game franchises: Mario, Donkey Kong, Legend of Zelda, Metroid, and Pok´emon. Our results apply to Super Mario Bros. 1, 3, Lost Levels, and Super Mario World; Donkey Kong Country 1–3; all Legend of Zelda games except Zelda II: The Ad
23:21 11/12/22 今年読んだ面白コンピュータサイエンス論文紹介カレンダー 第 n (1<n) 週目モードです。 ☆ 「難しい問題」 ☆ 「名のない関数」 ☆ 「演算のせいしつ」 「難しい問題」 [5] R. Impagliazzo and L. A. Levin. "No Better Ways to Generate Hard NP Instances than Picking Uniformly at Random." FOCS 1990. ランダム生成に興味があります。 パズルゲームを作りました。 さて、手強い難易度の面データを無限にランダム生成するにはどうすればいいだろう。 プログラミングコンテストの問題を作りました。 さて、自動チェック用のテストデータをランダム生成するにはどうすればいいだろう。 適当なランダム生成では、簡単なケースばっかり作られてしまい 嘘解法 に突
Building applications that are responsive and can exploit parallel hardware while remaining simple to write, understand, test, and maintain, poses an important challenge for developers. In particular, it is often desirable to enable various tasks to read or modify shared data concurrently without requiring complicated locking schemes that may throttle concurrency and introduce bugs. We introduce a
要約 人間の社会的行動は,自尊心への欲求から説明されることが多かった。しかしながら,その自尊心への欲求自体が,“なぜ”人間にとって重要なのかは実証的に検討されてこなかった。この“なぜ自尊心の欲求が重要なのか”という問に存在脅威(死の不可避性の認識に基づく脅威)の緩衝という観点から答え,人間の社会的行動を包括的に説明する枠組みたるべくして登場したのが存在脅威管理理論である。本稿では,まず存在脅威管理理論の概要について紹介する。次に,既存の研究を概観し,存在脅威管理理論がもたらした成果と,個々の社会的行動の実証的検討における課題について述べる。最後に,近年報告されている存在脅威管理方略の差異に関する知見を紹介し,そのような文化内・文化間差を存在脅威管理理論がいかに捉え,組み込んでいくべきかについて展望を述べる。
Tim Brechtは、ウォータールー大学のSchool of Computer Scienceに所属しています。発表された論文は「Linuxに関する問題と対応するべき理由(Our Troubles with Linux and Why You Should Care)」(PDF)というものです。この論文[1]は、Tim、Peter Buhr、およびAshif Harjiの共同執筆によるもので、上海で開催される第2回ACM SIGOPSアジア太平洋システムワークショップで2011年7月11日(月)に発表される予定です。 Timの主要な関心事はコンピューターシステムのパフォーマンスであり、この発表では、Timとウォータールー大学の彼の研究グループがさまざまなバージョンのLinuxを使用していて遭遇した問題について語られました。つまり、この論文は、彼のチームがコンピューティングプラットフォーム
John Hughes, Institutionen för Datavetenskap, Chalmers Tekniska Högskola, 41296 Göteborg, SWEDEN. rjmh@cs.chalmers.se この日本語訳は原著者の承諾を得て山下がここに公開するものです。 この訳文についての、御指摘などは山下伸夫(nobsun .at. sampou.org)までおねがい いたします。 翻訳最終更新日 : 2011-09-17 原文 "Why Functional Programming Matters" 日本語訳PostScript この論文は1984年以来何年ものあいだChalmers大学のメモとして回覧された。 1989年と1990年に幾分か改訂をしたのが[Hug89]と [Hug90]である。この版はもとのChalmer大学のメモ のnroff原稿をもとに
Deprecating the Observer Pattern EPFL-REPORT-148043 Ingo Maier Tiark Rompf Martin Odersky EPFL {firstname}.{lastname}@epfl.ch Abstract Programming interactive systems by means of the observer pattern is hard and error-prone yet is still the implementa- tion standard in many production environments. We present an approach to gradually deprecate observers in favor of re- active programming abstractio
Meta-Envy-Free Cake-Cutting Protocols Yoshifumi Manabe1 and Tatsuaki Okamoto2 1 NTT Communication Science Laboratories, 3-1 Morinosato-Wakamitya, Atsugi, Kanagawa 243-0198 Japan manabe.yoshifumi@lab.ntt.co.jp 2 NTT Information Sharing Platform Laboratories, 3-9-11, Midori-cho, Musashino-shi, 180-8585 Japan okamoto.tatsuaki@lab.ntt.co.jp Abstract. This paper discusses cake-cutting protocols when t
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く