食事する哲学者の問題 - Wikipedia
食事する哲学者の問題（しょくじするてつがくしゃのもんだい、Dining Philosophers Problem）とは、並列処理に関する問題を一般化した例である。古典的なマルチプロセスの同期（排他制御）問題であり、大学レベルの計算機科学課程にはほぼ確実に含まれている。 1965年、エドガー・ダイクストラは5台のコンピュータが5台のテープ装置に競合アクセスするという同期問題を提示した。間もなく、この問題はアントニー・ホーアによって「食事する哲学者の問題」に変形して語られることとなった[1][2][3]。 5人の哲学者が食事したり、考え事をしたりしている。彼らの前には、真ん中にスパゲッティの入った大きなボウルが置かれた丸い食卓がある。その食卓には5枚の皿が置かれ、皿と皿の間にフォークが1本ずつ置かれている。（近年では、食器を「フォーク」ではなく「箸」として紹介する例も見られる[4]。） 食事す
Index of /
This is ftp.gnu.org, the FTP server of the the GNU project. NOTICE (Updated October 15 2021): If you maintain scripts used to access ftp.gnu.org over FTP, we strongly encourage you to change them to use HTTPS instead. Eventually we hope to shut down FTP protocol access, but plan to give notice here and other places for several months ahead of time. --- Comments, suggestions, problems and complaint
さくらインターネット、プログラミングと機械学習の学習コンテンツを無償提供 | さくらインターネット
さくらインターネット、プログラミングと機械学習の学習コンテンツを無償提供 〜コロナウイルスを想定した「新しい生活様式」を見据え「Tellus Trainer」および 「Tellus×TechAcademy 初心者向け Tellus 学習コース」を再提供〜 インターネットインフラサービスを提供するさくらインターネット株式会社（本社：大阪府大阪市、代表取締役社長：田中 邦裕）は、新型コロナウイルスを想定した「新しい生活様式」を見据え、プログラミングと機械学習の基礎が学習できるeラーニング講座を5月22日から無償提供します。 当社は、経済産業省事業として衛星データをクラウド上で分析できる日本発の衛星データプラットフォーム「Tellus」を構築・運用しております。昨年度、Tellusをより多くの方にご活用いただけるよう「Tellus Trainer」「Tellus×TechAcademy 初心者向
HMM(Hidden Markov Model,隠れマルコフモデル)
HMMは、不確定な時系列のデータをモデル化するための有効な統計的 手法である[4]。HMMは、出力シンボルによって一意に状態遷移先が 決まらないという意味での非決定性確率有限オートマトンとして定義される。 出力シンボル系列が与えられても状態遷移系列は唯一に決まらない。観測でき るのはシンボル系列だけであることからhidden(隠れ）マルコフモデルと呼ば れる [60]。 HMMはパラメータとして状態遷移確率、シンボル出力確率、初期状態確率を持 つ。そして、シンボル出力確率の計算方法によって離散型HMMと連続分布型HMM に別れる。また、シンボル出力確率が状態で出力されるMooreマシンと状態遷 移で出力されるMealyマシンに分類できる。以下では、Mealyタイプの離散型 HMMについて述べる[60]。なお、MooreタイプとMealyタイプは相互 に変換可能である。
ゼロから学ぶ C++
ホーム 1. C++ を始める 2. 基本構文 3. コンテナ 4. ファイル分割とスコープ 5. ストリーム操作 6. メモリの管理 7. クラス 8. キャスト 9. テンプレート 10. エラー処理 11. ビルドとライブラリ 12. メモリレイアウト 単体テスト デバッグ ビルド自動化 付録 このサイトは C++ について説明した学習サイトです。 本書を通じて C++ の開発環境や構文・単体テストの書き方などが 一通り学べるようになっています。 対象¶ C++ を初めて学ぶ人 プログラム言語を 1 つ以上経験したことのある人 関数やクラス・オブジェクト指向に対する知識をある程度前提にします。 C++ の特徴¶ C++ は ビャーネ・ストロヴストルップ により開発されたプログラミング言語です。 C++ には主に次のような特徴があります。 高パフォーマンス メモリ使用量が少ない 柔軟性
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
https://dl.acm.org/doi/10.1145/363095.363143
Automatic synthesis of typed Λ-programs on term algebras - CORE Reader
E.W. Dijkstra Archive: Twenty-eight years (EWD1000)
Index of /gnu/cim
https://eprints.cs.vt.edu/archive/00000363/01/TR-93-21.pdf
http://simula67.at.ifi.uio.no/Archive/artikkel1966cacm.pdf
https://ropas.snu.ac.kr/~kwang/4190.310/mccarthy63basis.pdf
https://www.cs.tau.ac.il//~nachumd/term/FloydMeaning.pdf
https://seriouscomputerist.atariverse.com/media/pdf/book/Discipline%20of%20Programming.pdf
https://pure.tue.nl/ws/portalfiles/portal/4279816/344354178746665.pdf
https://www.di.ens.fr/~pouzet/cours/systeme/bib/dijkstra.pdf
ewd472
E.W.Dijkstra Archive: Guarded commands, non-determinacy and formal derivation of programs (EWD 472)
https://dl.acm.org/doi/10.1145/567067.567094
言語処理100本ノック 2020 (Rev 2)
