OpenCourseWare(OCW)を勉強するWiki

6.001 Structure and Interpretation of Computer Programs, Spring 2005: Lecture 2

2006-11-03T23:11:06+09:00

MIT OpenCourseWare ＞ [[6.001 Structure and Interpretation of Computer Programs, Spring 2005]] ＞ [[6.001 Structure and Interpretation of Computer Programs, Spring 2005: Lecture 1]] *MIT OpenCourseWare 6.001 Structure and Interpretation of Computer Programs, Spring 2005, Lecture 2: Scheme Basics/A Story about using Lisp in a Startup Company のまとめ [[6.001 Structure and Interpretation of Computer Programs, Spring 2005>http://ocw.mit.edu/OcwWeb/Electrical-Engineering-and-Computer-Science/6-001Spring-2005/CourseHome/index.htm]]の[[L2>http://ocw.mit.edu/OcwWeb/Electrical-Engineering-and-Computer-Science/6-001Spring-2005/LectureNotes/index.htm]]の内容をまとめたものです。Lecture Noteを読むときの助けにしてください。 *2.1 Scheme Basics *2.2 A Story about using Lisp in a Startup Company コレは実際はPaul Grahamの"Beating the Averages"というエッセイです。ちゃんとした方のちゃんとした日本語訳はこちら：[[普通のやつらの上を行け>http://www.shiro.dreamhost.com/scheme/trans/beating-the-averages-j.html]] ---- today's visitor：&counter(today) total visitor：&counter()

6.001 Structure and Interpretation of Computer Programs, Spring 2005: Lecture 1

2006-11-03T23:29:12+09:00

MIT OpenCourseWare ＞ [[6.001 Structure and Interpretation of Computer Programs, Spring 2005]] ＞ [[6.001 Structure and Interpretation of Computer Programs, Spring 2005: Lecture 1]] *MIT OpenCourseWare 6.001 Structure and Interpretation of Computer Programs, Spring 2005, Lecture 1: What is the focus of 6.001? のまとめラジオの方では vol.20 にあたりました。[[6.001 Structure and Interpretation of Computer Programs, Spring 2005>http://ocw.mit.edu/OcwWeb/Electrical-Engineering-and-Computer-Science/6-001Spring-2005/CourseHome/index.htm]]のLecture NoteのL1のの内容をまとめたものです。Lecture Noteを読むときの助けにしてください。 *1.1 What is the focus of 6.001?　 **Is this course about Computer Science? This course is about Computer Science というけど、&html(このコースはScienceじゃない)。むしろエンジニアリングやアートと言ったほうがいい。また、&html(このコースはComputerについてでもない)。たとえば地理(geometry)なんかが計量の道具の学問じゃないのと一緒。geometryという言葉を分解してみると、 -GHEA: earth (地球) -METRA: measure (測量) となるんだけど、たとえばナイル川の氾濫の多かったせいで土地の地形や目印がころころ変わった古代エジプトの例を考えてみると、geometry(地理)について調査研究するってことは

6.001 Structure and Interpretation of Computer Programs, Spring 2005

2006-11-05T09:08:08+09:00

*MIT OpenCourseWare 6.001 Structure and Interpretation of Computer Programs, Spring 2005 [[6.001 Structure and Interpretation of Computer Programs, Spring 2005>http://ocw.mit.edu/OcwWeb/Electrical-Engineering-and-Computer-Science/6-001Spring-2005/CourseHome/index.htm]]を読んでいきます。 [[SICP Web Site>http://mitpress.mit.edu/sicp/]]にはテキストのフルバージョンが掲載されています。 1986年にテキストの著者たち自らの講義ビデオ(Video Lectures by Hal Abelson and Gerald Jay Sussman)が[[こちら>http://swiss.csail.mit.edu/classes/6.001/abelson-sussman-lectures/]]で見れます。その音声だけのものは[[こちら>http://podhostess.com/SICP/]]。[[wikipediaの説明>http://ja.wikipedia.org/wiki/%E8%A8%88%E7%AE%97%E6%A9%9F%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%A0%E3%81%AE%E6%A7%8B%E9%80%A0%E3%81%A8%E8%A7%A3%E9%87%88]]も。 *講義の各章の詳細 -[[6.001 Structure and Interpretation of Computer Programs, Spring 2005: Lecture 1>6.001 Structure and Interpretation of Computer Programs, Spring 2005: Lecture 1]] -[[6.001 Structure and Interpretation of Computer Programs, Spring 2005: Lecture 2>

6.231 Dynamic Programming and Stochastic Control, Fall 2002: Lecture 1

2006-08-22T08:01:14+09:00

MIT OpenCourseWare ＞ [[6.231 Dynamic Programming and Stochastic Control, Fall 2002]] ＞ [[6.231 Dynamic Programming and Stochastic Control, Fall 2002: Lecture 1]] *MIT OpenCourseWare 6.231 Dynamic Programming and Stochastic Control, Fall 2002, Lecture 1: Introduction to Dynamic Programming, Examples, Problem Formulation のまとめラジオの方では vol.18 にあたりました。[[6.231 Dynamic Programming and Stochastic Control, Fall 2002>http://ocw.mit.edu/OcwWeb/Electrical-Engineering-and-Computer-Science/6-231Dynamic-Programming-and-Stochastic-ControlFall2002/CourseHome/index.htm]]の[[Lecture NoteのPDF>http://ocw.mit.edu/NR/rdonlyres/Electrical-Engineering-and-Computer-Science/6-231Dynamic-Programming-and-Stochastic-ControlFall2002/1ABCFA4F-32D9-48F4-A18C-A315466F570E/0/lec1.pdf]]の内容をまとめたものです。Lecture Noteを読むときの助けにしてください。 *1.1 Problem Formulation **基本的な最適化問題 min_{u∈U} g(u) -u：　optimization/decision 変数 -g(u)：　コスト関数 -U： uへの制約 ***問題の分類離散（Discrete, Uが有限）か連続(continuous)か gが線形(linear)か非線形(nonlinear)か確

6.231 Dynamic Programming and Stochastic Control, Fall 2002

2006-08-02T10:40:21+09:00

*MIT OpenCourseWare 6.231 Dynamic Programming and Stochastic Control, Fall 2002 [[6.231 Dynamic Programming and Stochastic Control, Fall 2002>http://ocw.mit.edu/OcwWeb/Electrical-Engineering-and-Computer-Science/6-231Dynamic-Programming-and-Stochastic-ControlFall2002/CourseHome/index.htm]]を読んでいきます。 [[テキストの情報や授業の宿題などがあるページ>http://www.athenasc.com/dpbook.html]]も参考になります。 *講義の各章の詳細 -[[6.231 Dynamic Programming and Stochastic Control, Fall 2002: Lecture 1>6.231 Dynamic Programming and Stochastic Control, Fall 2002: Lecture 1]] ---- today's visitor：&counter(today) total visitor：&counter()

6.170 Laboratory in Software Engineering, Fall 2005: Lecture 17

2007-03-29T07:47:27+09:00

MIT OpenCourseWare ＞ [[6.170 Laboratory in Software Engineering, Fall 2005]] ＞ [[6.170 Laboratory in Software Engineering, Fall 2005: Lecture 17]] *MIT OpenCourseWare 6.170 Laboratory in Software Engineering, Fall 2005, Lecture 17: Usability 2 のまとめラジオの方では vol.16- にあたりました。Lecture Noteを読むときの助けにしてください。 [[6.170 Laboratory in Software Engineering, Fall 2005>http://ocw.mit.edu/OcwWeb/Electrical-Engineering-and-Computer-Science/6-170Fall-2005/LectureNotes/index.htm]]の[[Lecture NoteのPDFはこちら>http://ocw.mit.edu/NR/rdonlyres/Electrical-Engineering-and-Computer-Science/6-170Fall-2005/6EB11A12-19FD-4C8B-857B-71F0C7A36FED/0/lec17.pdf]] ここでは、[[6.170 Laboratory in Software Engineering, Fall 2005: Lecture 16]]で説明された、UIの開発プロセスである「Design」「Evaluate」「Implement」をブレークダウンしてゆきます。 **17.1　Design：ニールセンの10の原則に従ったデザイン諸ガイドライン・ヒューリスティクスには下記のようなものがある。 -[[Tog’s First Principles>http://www.asktog.com/basics/firstPrinciples.html]] -[[Nielsen's 10 principles>http://www.useit.com/papers/heuristic/]] -Pla

6.170 Laboratory in Software Engineering, Fall 2005: Lecture 16

2006-06-11T10:34:01+09:00

MIT OpenCourseWare ＞ [[6.170 Laboratory in Software Engineering, Fall 2005]] ＞ [[6.170 Laboratory in Software Engineering, Fall 2005: Lecture 16]] *MIT OpenCourseWare 6.170 Laboratory in Software Engineering, Fall 2005, Lecture 16: Usability 1 のまとめラジオの方では vol.14- にあたりました。Lecture Noteを読むときの助けにしてください。 [[6.170 Laboratory in Software Engineering, Fall 2005>http://ocw.mit.edu/OcwWeb/Electrical-Engineering-and-Computer-Science/6-170Fall-2005/LectureNotes/index.htm]]の[[Lecture NoteのPDFはこちら>http://ocw.mit.edu/NR/rdonlyres/Electrical-Engineering-and-Computer-Science/6-170Fall-2005/8B87E671-1B67-4FEF-A655-0ABDF89F4F5A/0/lec16.pdf]] 註）pp.2-6 のチャートは著作権上の理由から削除されています。[[iarchitect.com>http://www.iarchitect.com/]]などから引用したと推測されますが、明言されていないため詳細はわかりかねます。また、節番号が陽になかったため、このWikiの中の人が適当につけています。プレゼン形式なためそのまま訳すとわかりづらいので、いつにもまして超訳です。 **16.1 Hall of Fame or Hall of Shame? ユーザビリティとは良いユーザーインターフェース(UIs)を作ること。綺麗なWindowインターフェースを作ればユーザビリティーが良くなるというものじゃないことに注意しなきゃいけない。 p.2-4はInterface Hall of Shameの例

6.170 Laboratory in Software Engineering, Fall 2005: Lecture 5

2006-07-21T22:49:58+09:00

MIT OpenCourseWare ＞ [[6.170 Laboratory in Software Engineering, Fall 2005]] ＞ [[6.170 Laboratory in Software Engineering, Fall 2005: Lecture 5]] *MIT OpenCourseWare 6.170 Laboratory in Software Engineering, Fall 2005, Lecture 5: Testing のまとめラジオの方では vol.11- にあたりました。Lecture Noteを読むときの助けにしてください。 [[6.170 Laboratory in Software Engineering, Fall 2005>http://ocw.mit.edu/OcwWeb/Electrical-Engineering-and-Computer-Science/6-170Fall-2005/LectureNotes/index.htm]]の[[Lecture NoteのPDFはこちら>http://ocw.mit.edu/NR/rdonlyres/Electrical-Engineering-and-Computer-Science/6-170Fall-2005/8592BD07-AA28-4389-9826-3849374883CF/0/lec5.pdf]] Barbara Liskovの「Program Development in Java」の10章の内容です。 *5.1 Program verification techniques and input space partitioning テストのゴールってつまりは、プログラムの機能が正しく動いてることを保証したいんだけど、テストではエラーが「ない」ことじゃなくてエラーが「ある」ってことしか言えない。でもテストによってソフトウェアをより正しくすることができるよ、いくつかのテストでほとんどのエラーがわかるっていう仮定に従えば。以下はプログラムの正しさを確かめる(verify)3つのテクニック。 ***Prove correctness このアプローチはすごく真面目にフォーマルなspecificati

OpenCourseWareリンク集

2008-08-01T12:46:05+09:00

■Wikipedia オープンコースウェア http://ja.wikipedia.org/wiki/%E3%82%AA%E3%83%BC%E3%83%97%E3%83%B3%E3%82%B3%E3%83%BC%E3%82%B9%E3%82%A6%E3%82%A7%E3%82%A2 ■海外のOCW Massachusetts Institute of Technology (MIT) http://ocw.mit.edu/ Carnegie Mellon University (CMU) http://www.cmu.edu/oli/ CORE (中国のOCW) http://www.core.org.cn/en/index.htm ■日本のOCW 慶応大学 http://ocw.dmc.keio.ac.jp 早稲田大学 http://www.waseda.jp/ocw/ 東京大学 http://ocw.u-tokyo.ac.jp/ 京都大学 http://ocw.kyoto-u.ac.jp 大阪大学 http://ocw.osaka-u.ac.jp/index.php 東京工業大学 http://www.ocw.titech.ac.jp 名古屋大学 http://ocw.nagoya-u.jp/ 日本オープンコースウェア・コンソーシアム http://www.jocw.jp/ メディア教育開発センター http://nime-glad.nime.ac.jp/program/search/department_search.php?nimecontentsid=05000000000000 ■OpenCourseWareではないが勉強になるもの UC Berkeley on Google Video http://video.google.com/ucberkeley.html UC Berkeley on YouTube http://youtube.com/ucberkeley Stanford on iTunes http://itunes.stanford.edu/ arXiv.org, Cornell University Library http

6.170 Laboratory in Software Engineering, Fall 2005

2006-08-02T10:40:04+09:00

*MIT OpenCourseWare 6.170 Laboratory in Software Engineering, Fall 2005 [[6.170 Laboratory in Software Engineering, Fall 2005>http://ocw.mit.edu/OcwWeb/Electrical-Engineering-and-Computer-Science/6-170Fall-2005/LectureNotes/index.htm]] 今まで読んでた、 [[6.170 Laboratory in Software Engineering, Fall 2001>http://ocw.mit.edu/OcwWeb/Electrical-Engineering-and-Computer-Science/6-170Laboratory-in-Software-EngineeringFall2001/CourseHome/index.htm]] がアップデートされたもの。 [[現行授業の資料>http://www.mit.edu/~6.170/]]も参考になります。 *講義の各章の詳細 -[[6.170 Laboratory in Software Engineering, Fall 2005: Lecture 5 Testing>6.170 Laboratory in Software Engineering, Fall 2005: Lecture 5]] -[[6.170 Laboratory in Software Engineering, Fall 2005: Lecture 16 Usability 1>6.170 Laboratory in Software Engineering, Fall 2005: Lecture 16]] -[[6.170 Laboratory in Software Engineering, Fall 2005: Lecture 17 Usability 2>6.170 Laboratory in Software Engineering, Fall 2005: Lecture 17]] ---- today's visitor：&counter(toda