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
図１ 日本列島周辺のプレートの配置と活火山 (三角) の分布太平洋プレートの沈み込みによって東日本火山帯が、フィリピン海プレートによって西日本火山帯が形成されている。 111の活火山※1が点在する火山大国日本にあって、フィリピン海プレートが沈み込む西日本では、九州には10以上の活火山が密集するにもかかわらず、中国・近畿地方には活火山は2つしかありません。また近畿地方には活火山は存在しない一方で、有馬には高温の温泉が湧出します。神戸大学海洋底探査センター、大学院理学研究科、都市安全研究センターでは、防災科学技術研究所と共同でこれらの謎を統一的に解くために、過去のプレート運動の再現とプレートの沈み込みに伴う熱現象について解析を行いました。 その結果、九州の地下には古くて冷たいプレートが、中国・近畿地方では若くて熱いプレートが沈み込み、近畿地方では有馬の直下でプレートから高温流体が放出されて温泉
People of Programming Languages An interview project in conjunction with POPL 2018 Simon Peyton-Jones Simon Peyton-Jones (Microsoft Research Cambridge), one of the key people behind the development of Haskell, talks about seeing functional programming go from intellectual revolution to practical reality and the importance of investing in computing education. Hongseok Yang Hongseok Yang is a Profes
【感謝】開始から3週間、目標金額の40%、サポーター150名に到達間近 クラファン開始から３週間が経ち、目標金額の**40%**に到達し、サポーター数も150名に到達間近となりました。多...
Deep Learning Tutorials¶ Deep Learning is a new area of Machine Learning research, which has been introduced with the objective of moving Machine Learning closer to one of its original goals: Artificial Intelligence. See these course notes for a brief introduction to Machine Learning for AI and an introduction to Deep Learning algorithms. Deep Learning is about learning multiple levels of represen
NoSQLデータモデリング技法.markdown #NoSQLデータモデリング技法 原文：NoSQL Data Modeling Techniques « Highly Scalable Blog I translated this article for study. contact matope[dot]ono[gmail] if any problem. NoSQLデータベースはスケーラビリティ、パフォーマンス、一貫性といった様々な非機能要件から比較される。NoSQLのこの側面は実践と理論の両面からよく研究されている。ある種の非機能特性はNoSQLを利用する主な動機であり、NoSQLシステムによく適用されるCAP定理がそうであるように分散システムの基本的原則だからだ。一方で、NoSQLデータモデリングはあまり研究されておらず、リレーショナルデータベースに見られるようなシステマティック
Sloth is a library for testing whether functions are minmally strict.
Posted by kgh on October 19, 2004 at 08:43 AM | Comments (16) The question came up recently of "should we make Swing truly multithreaded?" My personal answer would be "no", and here's why... The Failed Dream There are certain ideas in Computer Science that I think of as the "Failed Dreams" (borrowing a term from Vernor Vinge). The Failed Dreams seem like obvious good ideas. So they get periodical
overlasting.net 2019 Copyright. All Rights Reserved. The Sponsored Listings displayed above are served automatically by a third party. Neither the service provider nor the domain owner maintain any relationship with the advertisers. In case of trademark issues please contact the domain owner directly (contact information can be found in whois). Privacy Policy
Tips From the Top: Science Careers 2011年のノーベル賞受賞者へのインタビュー記事がScienceに載っていたので、読んでみました。ノーベル賞をもらうにはどんな心がけが必要かを、受賞者が答えています。 インタビューを受けているノーベル賞受賞者は、以下の方々です。 Brian Schmidt博士 (ノーベル物理学賞) Saul Perlmutter博士 (ノーベル物理学賞) Bruce Beutler博士 (ノーベル生理学・医学賞) Daniel Shechtman博士 (ノーベル化学賞) 興味深いのは、受賞者に共通する意見がいくつかあることです。ここでは、このインタビュー記事から気になった意見を8のポイントとしてまとめました。 1. 本当に重要なことに取りくめ。自分がその問題を解いた時に、自分自身を誇りに思えるようなテーマを選べ。 2. 保守的になったり
ICFP 2011 The 16th ACM SIGPLAN International Conference on Functional Programming On the Bright Side of Type Classes: Instance Arguments in Agda Dominique Devriese and Frank Piessens (K.U.Leuven) Set-theoretic Foundation of Parametric Polymorphism and Subtyping Giuseppe Castagna (CNRS - Université Paris Diderot) and Zhiwu Xu (Université Paris Diderot and Institute of Software Chinese Academy of Sc
Since Chris Okasaki's 1998 book "Purely functional data structures", I haven't seen too many new exciting purely functional data structures appear; I can name just a few: IntMap (also invented by Okasaki in 1998, but not present in that book) Finger trees (and their generalization over monoids) There are also some interesting ways of implementing already known datastructures, such as using "nested
Contax T2 @Sterling Hall of Medicine, Yale University この間の「人を育てるラボの特徴」というエントリについて、ブクマコメントで頂いたこと、 >大学院教育において、どうなったら「人が育った」と評価できるのか、その基準も合わせて教えていただけると嬉しいかも。「研究を進めるための実務的な能力」が身についたということでO.K.？(pollyannaさん） について少し考えてみたいと思う。 これって「大学院教育って（受け手側からすると）何のためにあるのか」という極めて重要な課題そのもの。深遠かどうかはこのエントリの後で考えて頂くとしても、大事なテーマであることは間違いない。 で、ここでは日本の大学院と米国の大学院をちょっと分けて考えてみたい。前エントリにも少し書きましたが、私個人として、某旧帝大と某Ivy schoolの間で、ラボがどうというより
A GPGPU Compiler for Memory Optimization and Parallelism Management Yi Yang (North Carolina State University), Ping Xiang (University of Central Florida), Jingfei Kong (University of Central Florida), Huiyang Zhou (North Carolina State University) Line-Up: A Complete and Automatic Linearizability Checker Sebastian Burckhardt (Microsoft Research), Chris Dern (Microsoft), Madanlal Musuvathi (Microso
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:
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く