スタンフォード大学の自然言語処理(NLP)の授業公開っぷりがとてつもない件 - Unchained Life
以前からMITのOCWを中心にアメリカの大学の授業のビデオや資料などが公開されているのは知っていたが、今日知ったスタンフォード大学の授業公開っぷりがものすごい。 http://see.stanford.edu/SEE/lecturelist.aspx?coll=63480b48-8819-4efd-8412-263f1a472f5a 授業のビデオだけではなく、なんと授業のtranscript、つまり授業中に先生がしゃべったことがテキストに書き起こされているのだ。 MITなどでも授業のビデオは公開されていたが、当然授業の内容を理解するには授業資料がある場合にせよ、何をしゃべっているかを自分で聞き取るほか無く、リスニング力が低い僕には結構ネックだった。 それが今回しゃべる内容がテキストになっているということで聞き取れなくてもテキストを見ればよいし、リスニングの勉強にもなる。 しかも公開されてい
COMP 411 Semantics of Programming Languages (Spring 2004)
Semantics of Programming Languages Course #: COMP 411 Instructor: Walid Taha (DH 3103) Class time: MWF 10:00AM 10:50AM (Office Hours: M 2:00PM 2:50PM) Class room: DH 1042 Introduction As computer programs play an increasingly more significant role in our daily lives, knowing what they are supposed to be doing and its relation what they actually do becomes particularly important.
Masami Hagiya
Masami Hagiya is a professor at Department of Computer Science, Graduate School of Information Science and Technology, University of Tokyo. He is in Room 411, Science Building No.7, Department of Computer Science, Graduate School of Information Science and Technology, University of Tokyo, 7-3-1 Hongo, Bunkyo-ku, Tokyo 113-8656, JAPAN. TEL: +81-3-5841-4113 (PHS) TEL: +81-3-5841-4115 (laboratory) E-
MIT Course 16.399: « Abstract Interpretation »Home Page
Spring term 2005 Content: Course information Instructor Course objective and themes Course description Course notes Course schedule Assignments Personnal project Grading Final exam problem Bibliographic reference Course Information: Course number: 16.399 Title: Abstract Interpretation Units: H level course, 3-0-9 Lecture hours: Tuesday 11:00–12:30 and Thursday 11:00–12:30 (see the course schedule
オンラインで動画・音声・教科書を無料で公開している大学の講義・授業まとめ - ひげぽん OSとか作っちゃうかMona-
オンラインで授業を公開している大学とその講義の一覧のまとめです。 もし他にもご存知の方がいらっしゃれば、コメントやトラックバックなどで教えていただけるとうれしいです。 まとめ 英語ができるならば MIT 最強。国内は東大が比較的がんばっています。 （追記）国内ではWIDEのSOIががんばっているとのご指摘をいただきました。確かに素晴らしい講義がたくさんです。（表に追加しました） 講義はすぐそこに開かれているので、あとは「勉強方法」に従い講義を受けるだけだと思いました。 大学名のリンク先が講義公開 URL になっています。（[高等教育シリーズ] 大学で勉強する方法） 大学名 公開形式 講義の例 備考 MIT 動画、講義資料 East Asia in the World、Japan in the Age of the Samurai 1800以上の講義が公開。中国語やポルトガル語に翻訳されてい
MIT's Introduction to Algorithms, Lectures 1 and 2: Analysis of Algorithms
I just finished watching the last lecture of MIT's "Introduction to Algorithms" course. Having a great passion for all aspects of computing, I decided to share everything I learned with you. This is the first post in an article series about this course. As I wrote earlier, I am very serious about watching video lectures. If they are math-intensive, I usually take notes as if I were in the classroo
2004年度 情報理論講義ノート : HUSCAP
2004年度に工学部情報工学科2年生を対象に開講された「情報理論」の講義ノートです。この科目の目的は我々が普段何気なく口にしている「情報」を数式を用いて定量化し、それに基づき理論が展開される「情報理論」という体系を学ぶことであり、 ここで学ぶ事柄、 とりわけ「エントロピー」や「相互情報量」などは現在の情報通信技術の根幹を成すのみならず、 パターン認識や人工知能、あるいは統計物理、遺伝情報学など、多くの異なる分野において共有される極めて重要かつ有用な概念となっている事実を考えると、情報工学科の学部学生のみならず、かなり広域な専門課程の学生に対し有益なのではないかと考えます。 当講義ではこの理論の基礎を体系たてて理解することに重点を置いてあります。なお、今年度版は担当1年目ということもあり、この版の講義ノートの完成度は高くはないですが、2005年度以降、計算機シミュレーションなど、直観的理解を
Monads and more
Intensive course by Tarmo Uustalu, Institute of Cybernetics, Tallinn, Estonia. Intended audience: Postgraduates and researchers in Theoretical Computer Science. Slides: Monday (upupdated) Tuesday (update) Wednesday Friday Slides about tree transducers Course contents: Monads and why they matter for a working programming language person Combining monads: monad transformers, distributive laws, the c
15-819K Logic Programming
Logic programming is a paradigm where computation arises from proof search in a logic according to a fixed, predictable strategy. It thereby unifies logical specification and implementation in a way that is quite different from functional or imperative programming. This course provides a thorough, modern introduction to logic programming. It consists of a traditional lecture component and a projec
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Information Architecture
Roberto Di Cosmo: Linear Logic Course Notes
CS 540: Introduction to Artificial Intelligence, University of Wisconsin - Madison
Index of /~sheard/course/AdvancedFP
OpenStax | Free Textbooks Online with No Catch
計算と論理Computation and Logic - 佐藤雅彦(京都大学工学部情報学科)
Kursused - Arvutiteaduse instituut
15-851 Computation and Deduction
Study Plan | The Elements of Computing Systems / Nisan & Schocken
http://video.google.co.uk/videoplay?docid=370317485066035666