[B! lecture] motemenã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

motemen id:motemen

lectureã«é–¢ã™ã‚‹motemenã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (19)

${{author_name}}$

{{{comment_expanded}}}

{{label}}

{{#is_bookmark}}ãƒªã‚¹ãƒˆ{{/is_bookmark}}{{^is_bookmark}}ãƒªãƒ³ã‚¯{{/is_bookmark}}

${{author_name}}$
{{author_name}}{{created}}
{{ #comment }}{{ comment }}{{ /comment }}
- {{ label }}

${{author_name}}$

{{{comment_expanded}}}

{{label}}

{{#is_bookmark}}ãƒªã‚¹ãƒˆ{{/is_bookmark}}{{^is_bookmark}}ãƒªãƒ³ã‚¯{{/is_bookmark}}

ã‚¹ã‚¿ãƒ³ãƒ•ã‚©ãƒ¼ãƒ‰å¤§å¦ã®è‡ªç„¶è¨€èªžå‡¦ç†(NLP)ã®æŽˆæ¥å…¬é–‹ã£ã·ã‚ŠãŒã¨ã¦ã¤ã‚‚ãªã„ä»¶ - Unchained Life
ä»¥å‰ã‹ã‚‰MITã®OCWã‚’ä¸å¿ƒã«ã‚¢ãƒ¡ãƒªã‚«ã®å¤§å¦ã®æŽˆæ¥ã®ãƒ“ãƒ‡ã‚ªã‚„è³‡æ–™ãªã©ãŒå…¬é–‹ã•ã‚Œã¦ã„ã‚‹ã®ã¯çŸ¥ã£ã¦ã„ãŸãŒã€ä»Šæ—¥çŸ¥ã£ãŸã‚¹ã‚¿ãƒ³ãƒ•ã‚©ãƒ¼ãƒ‰å¤§å¦ã®æŽˆæ¥å…¬é–‹ã£ã·ã‚ŠãŒã‚‚ã®ã™ã”ã„ã€‚ http://see.stanford.edu/SEE/lecturelist.aspx?coll=63480b48-8819-4efd-8412-263f1a472f5a æŽˆæ¥ã®ãƒ“ãƒ‡ã‚ªã ã‘ã§ã¯ãªãã€ãªã‚“ã¨æŽˆæ¥ã®transcriptã€ã¤ã¾ã‚ŠæŽˆæ¥ä¸ã«å…ˆç”ŸãŒã—ã‚ƒã¹ã£ãŸã“ã¨ãŒãƒ†ã‚ã‚¹ãƒˆã«æ›¸ãèµ·ã“ã•ã‚Œã¦ã„ã‚‹ã®ã ã€‚ MITãªã©ã§ã‚‚æŽˆæ¥ã®ãƒ“ãƒ‡ã‚ªã¯å…¬é–‹ã•ã‚Œã¦ã„ãŸãŒã€å½“ç„¶æŽˆæ¥ã®å†…å®¹ã‚’ç†è§£ã™ã‚‹ã«ã¯æŽˆæ¥è³‡æ–™ãŒã‚ã‚‹å ´åˆã«ã›ã‚ˆã€ä½•ã‚’ã—ã‚ƒã¹ã£ã¦ã„ã‚‹ã‹ã‚’è‡ªåˆ†ã§èžãå–ã‚‹ã»ã‹ç„¡ãã€ãƒªã‚¹ãƒ‹ãƒ³ã‚°åŠ›ãŒä½Žã„åƒ•ã«ã¯çµæ§‹ãƒãƒƒã‚¯ã ã£ãŸã€‚ ãã‚ŒãŒä»Šå›žã—ã‚ƒã¹ã‚‹å†…å®¹ãŒãƒ†ã‚ã‚¹ãƒˆã«ãªã£ã¦ã„ã‚‹ã¨ã„ã†ã“ã¨ã§èžãå–ã‚Œãªãã¦ã‚‚ãƒ†ã‚ã‚¹ãƒˆã‚’è¦‹ã‚Œã°ã‚ˆã„ã—ã€ãƒªã‚¹ãƒ‹ãƒ³ã‚°ã®å‹‰å¼·ã«ã‚‚ãªã‚‹ã€‚ ã—ã‹ã‚‚å…¬é–‹ã•ã‚Œã¦ã„
motemen 2009/05/22
lecture
ãƒªãƒ³ã‚¯
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.Â
motemen 2009/03/13
lecture
ãƒªãƒ³ã‚¯
Masami Hagiya
Masami Hagiya is a professor at Department of Computer Science, Graduate School of Information Science and Techno logy, University of Tokyo. He is in Room 411, Science Building No.7, Department of Computer Science, Graduate School of Information Science and Techno logy, 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-
motemen 2009/01/30
lecture
ãƒªãƒ³ã‚¯
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 probl em 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
motemen 2009/01/15
lecture
ãƒªãƒ³ã‚¯
ã‚ªãƒ³ãƒ©ã‚¤ãƒ³ã§å‹•ç”»ãƒ»éŸ³å£°ãƒ»æ•™ç§‘æ›¸ã‚’ç„¡æ–™ã§å…¬é–‹ã—ã¦ã„ã‚‹å¤§å¦ã®è¬›ç¾©ãƒ»æŽˆæ¥ã¾ã¨ã‚ - ã²ã’ã½ã‚“ OSã¨ã‹ä½œã£ã¡ã‚ƒã†ã‹Mona-
ã‚ªãƒ³ãƒ©ã‚¤ãƒ³ã§æŽˆæ¥ã‚’å…¬é–‹ã—ã¦ã„ã‚‹å¤§å¦ã¨ãã®è¬›ç¾©ã®ä¸€è¦§ã®ã¾ã¨ã‚ã§ã™ã€‚ ã‚‚ã—ä»–ã«ã‚‚ã”å˜çŸ¥ã®æ–¹ãŒã„ã‚‰ã£ã—ã‚ƒã‚Œã°ã€ã‚³ãƒ¡ãƒ³ãƒˆã‚„ãƒˆãƒ©ãƒƒã‚¯ãƒãƒƒã‚¯ãªã©ã§æ•™ãˆã¦ã„ãŸã ã‘ã‚‹ã¨ã†ã‚Œã—ã„ã§ã™ã€‚ ã¾ã¨ã‚ è‹±èªžãŒã§ãã‚‹ãªã‚‰ã° MIT æœ€å¼·ã€‚å›½å†…ã¯æ±å¤§ãŒæ¯”è¼ƒçš„ãŒã‚“ã°ã£ã¦ã„ã¾ã™ã€‚ ï¼ˆè¿½è¨˜ï¼‰å›½å†…ã§ã¯WIDEã®SOIãŒãŒã‚“ã°ã£ã¦ã„ã‚‹ã¨ã®ã”æŒ‡æ‘˜ã‚’ã„ãŸã ãã¾ã—ãŸã€‚ç¢ºã‹ã«ç´ æ™´ã‚‰ã—ã„è¬›ç¾©ãŒãŸãã•ã‚“ã§ã™ã€‚ï¼ˆè¡¨ã«è¿½åŠ ã—ã¾ã—ãŸï¼‰ è¬›ç¾©ã¯ã™ããã“ã«é–‹ã‹ã‚Œã¦ã„ã‚‹ã®ã§ã€ã‚ã¨ã¯ã€Œå‹‰å¼·æ–¹æ³•ã€ã«å¾“ã„è¬›ç¾©ã‚’å—ã‘ã‚‹ã ã‘ã ã¨æ€ã„ã¾ã—ãŸã€‚ å¤§å¦åã®ãƒªãƒ³ã‚¯å…ˆãŒè¬›ç¾©å…¬é–‹ URL ã«ãªã£ã¦ã„ã¾ã™ã€‚ï¼ˆ[é«˜ç‰æ•™è‚²ã‚·ãƒªãƒ¼ã‚º] å¤§å¦ã§å‹‰å¼·ã™ã‚‹æ–¹æ³•ï¼‰ å¤§å¦å å…¬é–‹å½¢å¼ è¬›ç¾©ã®ä¾‹ å‚™è€ƒ MIT å‹•ç”»ã€è¬›ç¾©è³‡æ–™ East Asia in the Worldã€Japan in the Age of the Samurai 1800ä»¥ä¸Šã®è¬›ç¾©ãŒå…¬é–‹ã€‚ä¸å›½èªžã‚„ãƒãƒ«ãƒˆã‚¬ãƒ«èªžã«ç¿»è¨³ã•ã‚Œã¦ã„
motemen 2008/09/30
lecture
ãƒªãƒ³ã‚¯
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
motemen 2008/08/21
ita

lecture
ãƒªãƒ³ã‚¯
Information Architecture
motemen 2008/07/25
lecture
ãƒªãƒ³ã‚¯
Roberto Di Cosmo: Linear Logic Course Notes
motemen 2008/07/20
book

lecture
ãƒªãƒ³ã‚¯
2004å¹´åº¦ æƒ…å ±ç†è«–è¬›ç¾©ãƒŽãƒ¼ãƒˆ : HUSCAP
2004å¹´åº¦ã«å·¥å¦éƒ¨æƒ…å ±å·¥å¦ç§‘2å¹´ç”Ÿã‚’å¯¾è±¡ã«é–‹è¬›ã•ã‚ŒãŸã€Œæƒ…å ±ç†è«–ã€ã®è¬›ç¾©ãƒŽãƒ¼ãƒˆã§ã™ã€‚ã“ã®ç§‘ç›®ã®ç›®çš„ã¯æˆ‘ã€…ãŒæ™®æ®µä½•æ°—ãªãå£ã«ã—ã¦ã„ã‚‹ã€Œæƒ…å ±ã€ã‚’æ•°å¼ã‚’ç”¨ã„ã¦å®šé‡åŒ–ã—ã€ãã‚Œã«åŸºã¥ãç†è«–ãŒå±•é–‹ã•ã‚Œã‚‹ã€Œæƒ…å ±ç†è«–ã€ã¨ã„ã†ä½“ç³»ã‚’å¦ã¶ã“ã¨ã§ã‚ã‚Šã€ ã“ã“ã§å¦ã¶äº‹æŸ„ã€ ã¨ã‚Šã‚ã‘ã€Œã‚¨ãƒ³ãƒˆãƒãƒ”ãƒ¼ã€ã‚„ã€Œç›¸äº’æƒ…å ±é‡ã€ãªã©ã¯ç¾åœ¨ã®æƒ…å ±é€šä¿¡æŠ€è¡“ã®æ ¹å¹¹ã‚’æˆã™ã®ã¿ãªã‚‰ãšã€ ãƒ‘ã‚¿ãƒ¼ãƒ³èªè˜ã‚„äººå·¥çŸ¥èƒ½ã€ã‚ã‚‹ã„ã¯çµ±è¨ˆç‰©ç†ã€éºä¼æƒ…å ±å¦ãªã©ã€å¤šãã®ç•°ãªã‚‹åˆ†é‡Žã«ãŠã„ã¦å…±æœ‰ã•ã‚Œã‚‹æ¥µã‚ã¦é‡è¦ã‹ã¤æœ‰ç”¨ãªæ¦‚å¿µã¨ãªã£ã¦ã„ã‚‹äº‹å®Ÿã‚’è€ƒãˆã‚‹ã¨ã€æƒ…å ±å·¥å¦ç§‘ã®å¦éƒ¨å¦ç”Ÿã®ã¿ãªã‚‰ãšã€ã‹ãªã‚ŠåºƒåŸŸãªå°‚é–€èª²ç¨‹ã®å¦ç”Ÿã«å¯¾ã—æœ‰ç›Šãªã®ã§ã¯ãªã„ã‹ã¨è€ƒãˆã¾ã™ã€‚ å½“è¬›ç¾©ã§ã¯ã“ã®ç†è«–ã®åŸºç¤Žã‚’ä½“ç³»ãŸã¦ã¦ç†è§£ã™ã‚‹ã“ã¨ã«é‡ç‚¹ã‚’ç½®ã„ã¦ã‚ã‚Šã¾ã™ã€‚ãªãŠã€ä»Šå¹´åº¦ç‰ˆã¯æ‹…å½“1å¹´ç›®ã¨ã„ã†ã“ã¨ã‚‚ã‚ã‚Šã€ã“ã®ç‰ˆã®è¬›ç¾©ãƒŽãƒ¼ãƒˆã®å®Œæˆåº¦ã¯é«˜ãã¯ãªã„ã§ã™ãŒã€2005å¹´åº¦ä»¥é™ã€è¨ˆç®—æ©Ÿã‚·ãƒŸãƒ¥ãƒ¬ãƒ¼ã‚·ãƒ§ãƒ³ãªã©ã€ç›´è¦³çš„ç†è§£ã‚’
motemen 2008/07/16
lecture
ãƒªãƒ³ã‚¯
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 transf ormers, distributive laws, the c
motemen 2008/07/10
category

lecture
ãƒªãƒ³ã‚¯
CS 540: Introduction to Artificial Intelligence, University of Wisconsin - Madison
motemen 2008/07/08
ai

lecture
ãƒªãƒ³ã‚¯
Index of /~sheard/course/AdvancedFP
motemen 2008/07/06
category

haskell

lecture
ãƒªãƒ³ã‚¯
OpenStax | Free Textbooks Online with No Catch
motemen 2008/07/03
lecture

logic

math

read_later
ãƒªãƒ³ã‚¯
è¨ˆç®—ã¨è«–ç†Computation and Logic - ä½è—¤é›…å½¦(äº¬éƒ½å¤§å¦å·¥å¦éƒ¨æƒ…å ±å¦ç§‘)
è¨ˆç®—ã¨è«–ç† äº¬éƒ½å¤§å¦å·¥å¦éƒ¨æƒ…å ±å¦ç§‘ é–‹è¨è¬›ç¾© æ‹…å½“æ•™å®˜: ä½è—¤é›…å½¦ ç›®æ¬¡ å·¥å¦éƒ¨ã‚µãƒ¼ãƒã«ãŠã‘ã‚‹ Syllabus ã®æƒ…å ± å—è¬›å¦ç”Ÿã¸ã®é€£çµ¡äº‹é …: ãã®1 (10æœˆ07æ—¥) è¬›ç¾©è³‡æ–™: ä»Šå¾Œã“ã®å ´æ‰€ã«ç½®ãã¾ã™ï¼Ž ç¬¬1ç« , ç¬¬2ç« ( PDF file) ç¬¬3ç« , ç¬¬4ç« , ç¬¬5ç« ( PDF file) ä½è—¤ãƒ»äº”ååµç ”ãƒ›ãƒ¼ãƒ ãƒšãƒ¼ã‚¸ ä½è—¤ é›…å½¦ è³ªå•ãªã©ã®å®›å…ˆ: [email protected]uis.kyoto-u.ac.jp
motemen 2008/07/03
lecture

compsci

logic
ãƒªãƒ³ã‚¯
Kursused - Arvutiteaduse instituut
motemen 2008/07/03
compsci

math

lecture
ãƒªãƒ³ã‚¯
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
motemen 2008/07/03
compsci

lecture
ãƒªãƒ³ã‚¯
15-851 Computation and Deduction
motemen 2008/07/03
compsci

lecture
ãƒªãƒ³ã‚¯
Study Plan | The Elements of Computing Systems / Nisan & Schocken
motemen 2008/07/03
lecture
ãƒªãƒ³ã‚¯
http://video.google.co.uk/videoplay?docid=370317485066035666
motemen 2008/07/03
haskell

lecture

read_later
ãƒªãƒ³ã‚¯
1