7/30 マルレク 「並列・分散アルゴリズムの基礎」講演ビデオ公開
【 7/30 マルレク 「並列・分散アルゴリズムの基礎」講演ビデオ公開 】 MatuLaboでは、開催したセミナーの講演ビデオを公開しています。 今回は、7月30日に開催されたマルレク「並列・分散アルゴリズムの基礎」の公開です。 ---------------------------- このセミナーには、大きく二つの目的があります。 第一は、「排他制御 Mutual Exclusion 」「生産者・消費者同期 Producer-Consumer Synchronization 」といった基本的な並列アルゴリズムを、改めて学ぶことです。 これらのアルゴリズムは、1960年代の半ばにダイクストラらによって定式化されたもので、計算科学のいわば「古典」と言ってもいいものです。 ただ、こうした知識が、現代では不要になったわけではありません。 セミナーの第二の目的は、こうした並列・分散アルゴリズムの基礎理論が、現代ではどのように捉え返され新しい理論化がなされているのか、その一端を紹介することです。 ---------------------------- 次が、講演ビデオの再生リストのURLです。 https://www.youtube.com/watch?v=BS0UByMriBM&list=PLQIrJ0f9gMcOxhU_wwXXGuExXdLqRKuWP この再生リストは、次の四つのビデオを含んでいます。 ● 並列・分散アルゴリズムの基礎 (1) 排他制御 ダイクストラ https://youtu.be/BS0UByMriBM?list=PLQIrJ0f9gMcOxhU_wwXXGuExXdLqRKuWP ● 並列・分散アルゴリズムの基礎 (2) 排他制御 ランポート https://youtu.be/LnVpLb2WFI8?list=PLQIrJ0f9gMcOxhU_wwXXGuExXdLqRKuWP ● 並列・分散アルゴリズムの基礎 (3) 生産者消費者同期 https://youtu.be/EwZsNCYsFow?list=PLQIrJ0f9gMcOxhU_wwXXGuExXdLqRKuWP ● 並列・分散アルゴリズムの基礎 (4) アルゴリズムの正しさへのアプローチ https://youtu.be/Qg9FzNcTC78?list=PLQIrJ0f9g