学生向け
講義から学習ノートへ、次の授業までに準備完了。
講義の録音をアップロードすれば、タイムスタンプ付きのクリーンな文字起こしと、AIが生成する要点サマリーが手に入ります。英語が母語でないなら、ネイティブスピードの音声を母語に翻訳。
講義で試す →サブスク不要。1時間 $0.83 から。クレジットは無期限。
Zoom、Teams、Google Meet の講義録画に対応 — 音声はブラウザ内で抽出。
あなたの実際の学習スタイルに合わせて
1つの定義を探すために90分の講義を聴き直すのを止めよう。
音声検索は不可能
教授が言ったのは覚えているけど、3時間目の録音のどこかで言った。
今は：キーワードで文字起こしを検索。タイムスタンプをクリックして該当箇所にジャンプ。
「何が重要だったっけ？」
試験週間にノートは散らばり、本質と雑談を区別できない。
今は：AI要約が主要テーマ、定義、重要例を抽出。生成された復習シート。
英語が母語じゃない
ネイティブスピードで専門用語が飛び交う講義をライブで追うのは大変。
今は：文字起こしを母語に翻訳 — スペイン語、ドイツ語、フランス語など15言語。同じ構成、同じタイムスタンプ。
自動操縦の復習シート
用語ヒントで専門用語、名前、数式を正確に。
cs350-lecture-08-distributed-systems.mp3
02:14分散システムにおける合意の話をするとき、本当に問うているのは、機械のグループが、いくつかが遅い、信頼できない、あるいは積極的に嘘をついていても、どうやって単一の値で合意できるか、ということです。
04:38古典的な例はビザンチン将軍問題です。Lamportの1982年の論文 — これは試験に出ます — は、f個のビザンチン障害を許容するには少なくとも3f+1個のノードが必要であることを証明しました。
12:05来週詳しく扱うRaftは、意図的にビザンチン仮定を避けています。クラッシュ・ストップ障害のみを仮定します。だからRaftはPBFTより遥かにシンプルです。
22:30金曜締切の課題：Raftでリーダー選出を実装してください。まだログ複製は不要 — それは来週です。
AI要約
中核概念：分散システムにおける合意 — 遅い、信頼できない、あるいは敵対的なノードがあっても単一値で合意する。
試験ポイント：f個のビザンチン障害を許容するには3f+1個のノードが必要（Lamport, 1982）。
扱ったアルゴリズム：ビザンチン将軍問題（紹介）、Raft（簡略化、クラッシュ・ストップのみ）、PBFT（対比のため言及）。
課題：Raftでリーダー選出を実装、金曜締切。ログ複製は来週へ。
試験ポイント：f個のビザンチン障害を許容するには3f+1個のノードが必要（Lamport, 1982）。
扱ったアルゴリズム：ビザンチン将軍問題（紹介）、Raft（簡略化、クラッシュ・ストップのみ）、PBFT（対比のため言及）。
課題：Raftでリーダー選出を実装、金曜締切。ログ複製は来週へ。
使った分だけお支払い
一度チャージすればOK。クレジットは無期限。サブスク不要。文字起こし・スキャン・字幕をひとつの残高で。
新規アカウントにはお試し用の無料15分が付きます。クレジットはスキャンや字幕にも使えます。
$5
2,400 クレジット
≈ 音声4h
一番人気
$10
6,000 クレジット
≈ 音声10h
$25
15,000 クレジット
+1,800
≈ 音声28h
$50
30,000 クレジット
+6,000
≈ 音声60h
✓ 話者識別 ✓ AI要約 ✓ 18言語への翻訳 ✓ TXT・SRT・VTT・Word・PDF書き出し