タグ

2020年6月11日のブックマーク (6件)

  • 食事する哲学者の問題 - Wikipedia

    事する哲学者の問題(しょくじするてつがくしゃのもんだい、Dining Philosophers Problem)とは、並列処理に関する問題を一般化した例である。古典的なマルチプロセスの同期(排他制御)問題であり、大学レベルの計算機科学課程にはほぼ確実に含まれている。 1965年、エドガー・ダイクストラは5台のコンピュータが5台のテープ装置に競合アクセスするという同期問題を提示した。間もなく、この問題はアントニー・ホーアによって「事する哲学者の問題」に変形して語られることとなった[1][2][3]。 問題[編集] 5人の哲学者が事したり、考え事をしたりしている。彼らの前には、真ん中にスパゲッティの入った大きなボウルが置かれた丸い卓がある。その卓には5枚の皿が置かれ、皿と皿の間にフォークが1ずつ置かれている。(近年では、器を「フォーク」ではなく「箸」として紹介する例も見られる[4

    食事する哲学者の問題 - Wikipedia
    dhrname
    dhrname 2020/06/11
    ダイクストラの「after you」メッセージ(1965年)とダールの部分クラスを組み合わせて、順序(sequential)を作ってやれば、解決できるじゃん
  • E.W. Dijkstra Archive: Twenty-eight years (EWD1000)

    dhrname
    dhrname 2020/06/11
    食事する哲学者の問題
  • 『超人ロック』聖悠紀氏、パーキンソン病公表「できる限り描いていきたい」

    9日は「超人ロックの日」であり、聖氏は「超人ロックの日へのご参加ありがとうございました。たくさんのツイートを拝見しました。このあともゆっくり読ませていただきます。今日は皆さまにお知らせしなければならないことがあります」と切り出した。 「2017年は、超人ロック生誕50周年の年で、様々なイベントを開催していただきました。大勢の方に祝っていただきました。ありがとうございました。この年は11月に蓄膿症の手術を行い、12月には心停止の末、冠動脈バイパス手術を受けました」として、「それより前、5月に精密検査を受け、パーキンソン病であることがわかりました」と告白。 「パーキンソン病は難病で少しずつ進行します。ですが、薬を飲んで漫画を書き続けることができます」と説明し、「皆さまにご心配をおかけしたくないという判断から、すぐに公表せずに仕事を続けましたが、いずれかは公表しなければなるまいと思っていました。

    『超人ロック』聖悠紀氏、パーキンソン病公表「できる限り描いていきたい」
    dhrname
    dhrname 2020/06/11
  • 生きたメガマウス 東京湾の沖合に 6メートルの「幻のサメ」 | NHKニュース

    11日、千葉県館山市の東京湾の沖合で、巨大なサメ「メガマウス」が生きたまま定置網にかかっているのが見つかりました。専門家は「生きた姿をここまで鮮明に捉えた映像はとても珍しい」と話しています。 11日午前5時ごろ、地元の漁業関係者が館山市の沖合800メートルにある定置網に、大きさが6メートルほどのメガマウスがかかっているのを見つけました。 地元のダイバーが海中での様子を撮影し、映像ではメガマウスが定置網の中で大きな尾びれをゆっくり揺らしながら泳いでいたり、名前の由来となっている大きな口をあけたりしていました。 メガマウスは元気な状態だったため、午前中には定置網から逃がしたということです。 撮影した地元のダイバーの荒川寛幸さんは「これまで元気な姿を見たことはなく、めったにないチャンスでした」と話していました。 サメの生態に詳しい千葉県立中央博物館の宮正樹主任上席研究員は「メガマウスは、ふだん水

    生きたメガマウス 東京湾の沖合に 6メートルの「幻のサメ」 | NHKニュース
    dhrname
    dhrname 2020/06/11
  • クレカ少額決済やコード決済チャージの手数料引き下げ。NTTデータ「CAFIS」

    クレカ少額決済やコード決済チャージの手数料引き下げ。NTTデータ「CAFIS」
    dhrname
    dhrname 2020/06/11
  • さくらのクラウドでビデオ会議サーバを動かしてみた | さくらのナレッジ

    こんにちは。さくらインターネットの大喜多です。 この記事では、さくらのクラウド上にビデオ会議サーバを構築し、活用する方法をご紹介します。 はじめに 記事で紹介するJitsi Meetは、オープンソースのビデオ会議サーバソフトウェアです。各々のPCに専用のクライアントソフトをインストールしなくても、Jitsi MeetをインストールしたサーバにWebブラウザで接続するだけでビデオ会議をおこなうことができます。記事ではさくらのクラウドのスタートアップスクリプトを使用してJitsi Meetのサーバを作っていきます。最後に、実際に使ってみた感想についてコメントさせていただきますのでそちらも参考になさってみてください。 準備 https://secure.sakura.ad.jp/cloud/にアクセスし、さくらのクラウド コントロールパネルにログインします。 準備1:APIキーの作成 API

    さくらのクラウドでビデオ会議サーバを動かしてみた | さくらのナレッジ
    dhrname
    dhrname 2020/06/11