タグ

2018年9月25日のブックマーク (6件)

  • ついにリーマン予想が証明された!? - とね日記

    理数系ネタ、パソコン、フランス語の話が中心。 量子テレポーテーションや超弦理論の理解を目指して勉強を続けています! --------------------------------- 9月25日に追記: 月曜の深夜にこの記事を投稿したが、その後、アティヤ博士の発表に対して専門家の間では懐疑的、否定的な意見が支配的になってきた。証明は失敗している可能性が高い。しかし結論を急がず専門家による査読の結果を待つべきだ。今後の成り行きを見守っていきたい。 --------------------------------- ひとつ前の記事を書いている最中に、とてつもないニュースが飛び込んできた。あの「リーマン予想」が証明されたというのだ。ドキドキして気もそぞろである。これは今から160年前(日は幕末)にドイツ数学者「ベルンハルト・リーマン」により提唱された予想で、「ミレニアム懸賞問題」という難問の

    ついにリーマン予想が証明された!? - とね日記
    y-kawaz
    y-kawaz 2018/09/25
    凄え、記事に登場してる言葉の殆どが分からん(嫌いじゃない分野だからなぜか名前くらいは結構知ってるけど)。
  • お金をあげるから俺と遊んでくれる女募集

    y-kawaz
    y-kawaz 2018/09/25
    やすすぎわろた
  • スイッチに体触れ誤作動、切断機に頭挟まれ死亡 : 社会 : 読売新聞(YOMIURI ONLINE)

    22日午前10時40分頃、兵庫県姫路市保城の金属リサイクル工場で、機械設置会社社長の西岡昌司さん(64)(大阪府茨木市)が、金属を切断・プレスする機械に頭を挟まれているのを、同社の男性作業員が見つけ、119番した。西岡さんは病院に運ばれたが、間もなく死亡した。 姫路署の発表では、西岡さんは作業員2人と金属を切断する刃の交換作業をしていた。作業員の一人が「持っていたリモコンスイッチに体が触れてしまい、機械が作動してしまった」と話しており、同署が業務上過失致死容疑で調べる。

    スイッチに体触れ誤作動、切断機に頭挟まれ死亡 : 社会 : 読売新聞(YOMIURI ONLINE)
    y-kawaz
    y-kawaz 2018/09/25
    やってたかも委員会。
  • Amazon Aurora Now Supports Stopping and Starting of Database Clusters

    Amazon Aurora (both MySQL and PostgreSQL compatible editions) now allow you to stop and start database clusters. This makes it easy and affordable to use database clusters for development and test purposes where the database is not required to be running all of the time. Stopping and starting a database cluster requires just a few clicks in the AWS Management Console, or a single call using the AW

    Amazon Aurora Now Supports Stopping and Starting of Database Clusters
    y-kawaz
    y-kawaz 2018/09/25
    既存インフラのコスト削減に使えそう。AuroraServerless絡みの副産物(またはその逆)でできるようになった感じかな?新規でこういう使い方するならサーバレスの方検討してみたい。
  • Amazon CloudWatch adds Ability to Build Custom Dashboards Outside the AWS Console

    You can now retrieve snapshot of a CloudWatch graph to display on your websites, wikis, and custom dashboards outside of the AWS console for improved monitoring visibility. In addition, the new GetMetricWidgetImage API enables you to create shareable charts for chat applications, ticketing systems, and bug tracking tools. To learn more about how to get started, please visit our API documentation h

    Amazon CloudWatch adds Ability to Build Custom Dashboards Outside the AWS Console
    y-kawaz
    y-kawaz 2018/09/25
    CloudWatchのカスタムダッシュボードが外部公開用できるようになったかと思ったらチャートの画像化APIが出来たってことかー。それだけでも嬉しい事はあるけどJS操作込みでブラウザで見られる形のエクスポート欲しいなぁ。
  • 「音楽を所有する」時代の終焉:CDとダウンロードはいかに消滅したのか

    平素は株式会社ライブドアのサービスを ご利用いただきありがとうございます。 提言型ニュースサイト「BLOGOS」は、 2022年5月31日をもちまして、 サービスの提供を終了いたしました。 一部のオリジナル記事につきましては、 livedoorニュース内の 「BLOGOSの記事一覧」からご覧いただけます。 長らくご利用いただき、ありがとうございました。 サービス終了に関するお問い合わせは、 下記までお願いいたします。 お問い合わせ ※カテゴリは、「その他のお問い合わせ」を選択して下さい。

    「音楽を所有する」時代の終焉:CDとダウンロードはいかに消滅したのか
    y-kawaz
    y-kawaz 2018/09/25
    ただなーサブスクリプションサービスいくつか試してるけど、聴きたい曲がないことが結構な頻度であるんだよな…。