タグ

thimuraのブックマーク (1,446)

  • トップ級研究、来春補助終了…京大など規模縮小 : ニュース : 読売新聞(YOMIURI ONLINE)

    阪大は自力で継続資金調達 世界最高水準の研究拠点づくりを目指し、文部科学省が2007年度に始めた補助事業「世界トップレベル研究拠点プログラム」に選ばれた5研究所のうち、来春の補助期間終了後、京都大など三つの研究所が現体制のままでの研究続行が難しいことがわかった。それぞれの研究所に年間13億~14億円もの巨費を投じ、論文などの評価も高かったが、補助延長が認められた東京大と、自力で資金調達に成功した大阪大以外は、所員を削減し、研究規模を縮小せざるを得ず、10年たって明暗が分かれた形となった。 5研究所は、3大学のほか、東北大と物質・材料研究機構(物材機構、茨城県つくば市)に設置。年間13億~14億円の補助金は主に人件費として使うことが決められており、国内外から優秀な研究者を集めて最先端の研究を進めてきた。引用数が多い論文の割合では米国の2大学に次いで世界3位(5研究所の平均)で、いずれも研究拠

    トップ級研究、来春補助終了…京大など規模縮小 : ニュース : 読売新聞(YOMIURI ONLINE)
    thimura
    thimura 2016/12/25
  • New theory of gravity might explain dark matter

    A new theory of gravity might explain the curious motions of stars in galaxies. Emergent gravity, as the new theory is called, predicts the exact same deviation of motions that is usually explained by invoking dark matter. Prof. Erik Verlinde, renowned expert in string theory at the University of Amsterdam and the Delta Institute for Theoretical Physics, published a new research paper today in whi

    New theory of gravity might explain dark matter
    thimura
    thimura 2016/12/22
  • apollo11号のソースコードを読みつつ - aerith7’s blog

    これはなに? はじめに AGCあれこれ Temporary I HOPEHOPEHOPE ASTRONAUT NOW LOOK WHERE YOU ENDED UP ふと気になりました いい時代ですね 1201&1202エラー なにそれ? カ、カルマンフィルターだー!!! カルマンフィルターの開発経緯 その他面白コメントアウト集 TRASHY LITTLE SUBROUTINES(つまんないサブルーチン) NUMERO MYSTERIOSO(神秘の数字) OFF TO SEE THE WIZARD COME AGAIN SOON HONI SOIT QUI MAL Y PENSE(悪意を抱く者に災いあれ)、NOLI ME TANGERE(私に触れるな) PINBALL_GAME_BUTTONS_AND_LIGHTS.agc おわりに 反省 参考文献 これはなに? この記事はeeic Adv

    apollo11号のソースコードを読みつつ - aerith7’s blog
    thimura
    thimura 2016/12/22
  • 掛谷問題 ~線分を回せる面積最小の図形を求めて~ - Corollaryは必然に。

    この記事は、日曜数学Advent Calender 2016の22日目の記事です。 21日目の記事はみずすまし(nosiika)さんの「正方形+正方形=正方形の話」です。 中学生のときに見つけたピタゴラス数(3,4,5)(5,12,13)(7,24,25)(9,40,41)…にあんな性質があったなんて…! イントロダクション 今回、私が紹介するのは「掛谷(かけや)問題」についてです*1。 掛谷問題(1916)長さ1の線分を領域内で1回転させることのできる図形のうち、面積が最小の図形は何か? この問題、知らない方はちょっと考えてみてください。 名前にあるとおり、日数学者、掛谷宗一(1886 - 1947)が1916年の11月にこの問題を考え([2]より)、1917年に提出した問題です。そして、2016年12月にこの事実を知った私はこう思ったのです。 うおお!100周年だぁ!! 書きたいな

    掛谷問題 ~線分を回せる面積最小の図形を求めて~ - Corollaryは必然に。
    thimura
    thimura 2016/12/22
  • SELinux を使おう.使ってくれ. - Qiita

    この記事の目的 SELinux って邪魔者ですか? 「トラブルシュートの時に邪魔だから」「トラブルの元だから」とか言う理由で /etc/selinux/config で SELINUX=disable したり setenforce 0 したりしていませんか? SELinux は理解さえすればとても簡単です. 番環境でファイアウォールと WAF の設定をして満足していないで SELinux を使いましょう. 対象 SELinux を初めて触る人向けです. 玄人の方は他へ... 稿の範囲 稿では SELinux を導入しておしまいです.あくまで「みんな,簡単だからね,使おうね!」と言いたいのです. 当は SELinux の効果を示すために Exploit を仕込んだアプリケーションから root を取って不正にファイルに触るところまでやりたいのですが,これまた別の記事にします. 僕の願

    SELinux を使おう.使ってくれ. - Qiita
    thimura
    thimura 2016/12/22
    「自身でポリシを定義すれば使えますが難易度が高くなるため今回は Debian はやめます.」はい
  • From Lenses to Yoneda Embedding

    From Lenses to Yoneda Embedding Posted by Bartosz Milewski under Category Theory, Functional Programming, Haskell, Lens, Programming [6] Comments Lenses are a fascinating subject. Edward Kmett’s lens library is an indispensable tool in every Haskell programmer’s toolbox. I set out to write this blog post with the goal of describing some new insights into their categorical interpretation, but then

    From Lenses to Yoneda Embedding
    thimura
    thimura 2016/12/21
  • The free theorem for fmap - School of Haskell | School of Haskell

  • 再現性なんてないさ(?)

    (わざわざ手描きにしたのに結局著作権が危うい絵を描いている) どうもこんにちは、博士論文(仮)を提出したばかりのぴちぴちのD3、@calicolicaliです。学生最後ということで、院生しか登録できないAdvent calendarに登録させていただきました! ʕ◔ϖ◔ʔ 「統計について」という事前コメントをしましたが、 私の専門はアルゴリズム寄りのComputational Biologyで、これまではRNA二次構造予測ソフトウェアParasoRの開発や、配列アラインメントソフトウェアLASTの開発に関わらせていただいたりしてきました。(ご興味あればぜひ!)しかしこの分野では「網羅的な遺伝子データや配列情報を扱うためには統計や機械学習が必要!」ということで、日々これらの分野の勉強をしております。 そんな私が紹介する、今年読んだ一番好きな論文はこちら(`・ω・´)つ "Estimating

    再現性なんてないさ(?)
    thimura
    thimura 2016/12/21
  • IoT ネットで管理の水処理システムに不備 | NHKニュース

    インターネットを通じて管理されていた災害時などに水を供給するシステムに不備があり、全国の病院など170か所で何者かによって機能を停止させられるおそれがあったことがNHKの取材でわかりました。さまざまな機器をインターネットで結ぶ「IoT」のリスクを示した形で、専門家は「サイバー攻撃の標的となりかねない極めて危険な状態だった」と指摘しています。 こうしたシステムは、来はパスワードを設定するなど限られた担当者しかアクセスできないようにすべきところを、設定に不備があり、インターネット上の住所にあたる数字を入れるだけで、誰でもアクセスできる状態になっていたことがNHKの取材でわかりました。 この結果、施設の名前や稼働状況などが丸見えになっていたほか、最悪の場合、勝手に設定を変えられたり、機能を停止させられたりするおそれもありました。 このメーカーは、NHKの指摘に対し問題があったことを認め、21日

    thimura
    thimura 2016/12/21
  • DeepLearning研究 2016年のまとめ - Qiita

    DeepLearning Advent Calendar 2016の17日目の記事です。 はじめに はじめまして。 Liaroという会社でエンジニアをしている@eve_ykと申します。 今年もあと僅かとなりました。 ここらで、今年のDeepLearningの主要な成果を振り返ってみましょう。 この記事は、2016年に発表されたDeepLearning関係の研究を広く浅くまとめたものです。今年のDeepLearningの研究の進歩を俯瞰するのに役立てば幸いです。 それぞれの内容について、その要点や感想なんかを簡単にまとめられたらと思います。 特に重要だと思った研究には★マークをつけておきます。 非常に長くなってしまったため、興味のある分野だけ読んでいただければと思います。 言い訳とお願い 見つけたものはコードへのリンクも示すので、プログラミングに関係ある記事ということで… 分野的にかなり偏っ

    DeepLearning研究 2016年のまとめ - Qiita
    thimura
    thimura 2016/12/17
  • GitLabの運用方法をドーンと公開!! - pixiv inside [archive]

    ピクシブ株式会社 Advent Calendar 2016の時間です。今回はピクシブ株式会社でエンジニアをしている @catatsuy が担当します。今回は意外と書いてなかったのでGitLabを社内でどう運用しているかの話を書こうと思います。 GitLabGitHub ピクシブ社内では以下の2つの方法でソースコードを管理しています。 自社でホストしているGitLab GitHub Organization それぞれ以下の特徴があります。 GitLabのメリット 自社でホストしているため、アメリカにサーバーがあるGitHubよりもgit cloneでリポジトリをダウンロードする場合などは速い オープンソースのプロジェクトのため、社内のサーバーにインストールするだけで使える ソースコードを読めば内部でやっていることが分かる ユーザー数やリポジトリ数などで料金がかからないため、気軽に使える G

    GitLabの運用方法をドーンと公開!! - pixiv inside [archive]
    thimura
    thimura 2016/12/16
  • 映画『夜は短し歩けよ乙女』公式サイト

    イントロダクション 京都を舞台に描かれる、ちょっと風変わりなベストセラー青春恋愛小説が最高のキャスト&スタッフでアニメーション映画化! 第20回山周五郎賞受賞、並びに2007年屋大賞2位に選ばれ、累計売上120万部を超えるベストセラー、森見登美彦著作の『夜は短し歩けよ乙女』(角川文庫刊)のアニメーション映画化が決定!京都を舞台に描かれる、どこかファンタジックな青春恋愛物語である作は、大学生が選ぶ第1位に選ばれ続けるなど、森見登美彦作品の中でも最もファンの多い作品の一つで、満を持しての初映像化。2017年4月7日(金)に全国公開となる。 主人公“先輩”のボイスキャストには、社会現象となったTBS系火曜ドラマ『逃げるは恥だが役に立つ』など役者としての活動の他、シンガーソングライター、文筆家と様々な分野で活躍する、今最も注目の集まる星野源を起用。アニメ声優として単独初主演の星野は、“黒髪

    映画『夜は短し歩けよ乙女』公式サイト
    thimura
    thimura 2016/12/15
  • Linux TC (帯域制御、帯域保証) 設定ガイドライン | GREE Engineering

    Abstract このドキュメントはLinuxにおいて帯域制限のためにtcを用いる際のガイドラインです。 tcは様々な用途に活用できるものですが、プロダクションにおいて特定のserver daemonのトラフィックを制限するというシナリオで活用することを目的としています。 tcのより詳しい詳細については別にドキュメントを書きましたのでそちらを参照してください。 よくわかるLinux帯域制限 Root qdiscの選定 帯域制限を行いたい場合のqdiscは主に以下のようになるでしょう。 TBF PRIO + 内部qdiscとしてTBF HTB それぞれ用途に合わせて適切なものがあるのですが、機能としてはHTBが前者2つの上位互換となるので、迷った場合にはHTBを使えば問題ありません。ということで以後HTBの設定について解説します。 class構造,トラフィックのclassify, filte

    Linux TC (帯域制御、帯域保証) 設定ガイドライン | GREE Engineering
    thimura
    thimura 2016/12/14
  • RHEL6のマルチキューで効率的なネットワークの付加分散

    TechCenterから移行されたテクニカル リソース 2018年8月時点で、アクティブなTechCenterのコンテンツが移行され、Dell.com のDellサポートの一部になり、フォーラムがDellコミュニティに移行されました。 概要: 2018年8月時点で、アクティブなTechCenterのコンテンツが移行され、Dell.com のDellサポートの一部になり、フォーラムがDellコミュニティに移行されました。

    RHEL6のマルチキューで効率的なネットワークの付加分散
    thimura
    thimura 2016/12/14
  • How to receive a million packets per second

    Last week during a casual conversation I overheard a colleague saying: "The Linux network stack is slow! You can't expect it to do more than 50 thousand packets per second per core!" That got me thinking. While I agree that 50kpps per core is probably the limit for any practical application, what is the Linux networking stack capable of? Let's rephrase that to make it more fun: On Linux, how hard

    thimura
    thimura 2016/12/14
  • Batch Normalized Recurrent Neural Networks

    Recurrent Neural Networks (RNNs) are powerful models for sequential data that have the potential to learn long-term dependencies. However, they are computationally expensive to train and difficult to parallelize. Recent work has shown that normalizing intermediate representations of neural networks can significantly improve convergence rates in feedforward neural networks . In particular, batch no

    thimura
    thimura 2016/12/14
  • StackGAN: Text to Photo-realistic Image Synthesis with Stacked Generative Adversarial Networks

    Synthesizing high-quality images from text descriptions is a challenging problem in computer vision and has many practical applications. Samples generated by existing text-to-image approaches can roughly reflect the meaning of the given descriptions, but they fail to contain necessary details and vivid object parts. In this paper, we propose Stacked Generative Adversarial Networks (StackGAN) to ge

    thimura
    thimura 2016/12/14
  • Extensible Records Explained - School of Haskell | School of Haskell

    As of March 2020, School of Haskell has been switched to read-only mode. extensible is a library for extensible data types. It provides extensible product and sum types parameterized by type-level lists. This tutorial introduces extensible records, an application of the extensible products. First, we pass a space-separated list of field names to mkField: {-# LANGUAGE TemplateHaskell, DataKinds, Ty

    thimura
    thimura 2016/12/14
  • New XML Parser, Hexml

    Summary: I've released a new Haskell library, Hexml, which is an incomplete-but-fast XML parser. I've just released Hexml, a new C/Haskell library for DOM-style XML parsing that is fast, but incomplete. To unpack that a bit: Hexml is an XML parser that you give a string representing an XML document, it parses that string, and returns either a parse error or a representation of that document. Once

    thimura
    thimura 2016/12/14
  • https://www.jstage.jst.go.jp/article/essfr/6/1/6_37/_pdf