組ã¿åˆã‚ã›æœ€é©åŒ–å•é¡Œã«å¯¾ã™ã‚‹å®Ÿç”¨çš„ãªã‚¢ãƒ«ã‚´ãƒªã‚ºãƒ ã¨ãã®å¿œç”¨ - Speaker Deck
産æ¥ã‚„å¦è¡“ã®å¹…広ã„分野ã«ãŠã‘ã‚‹ç¾å®Ÿå•é¡Œã®è§£æ±ºã«æ•°ç†æœ€é©åŒ–を活用ã™ã‚‹ãŸã‚ã®å®Ÿè·µçš„ãªæž 組ã¿ã‚’紹介ã—ã¾ã™ï¼Žæœ¬è¬›æ¼”ã§ã¯ãƒ¡ã‚¿ãƒ’ューリスティクスをä¸å¿ƒã¨ã™ã‚‹ã‚¢ãƒ—ãƒãƒ¼ãƒã‚’紹介ã—ã¦ã„ã¾ã™ãŒï¼Œå®Ÿéš›ã«ã¯ã“ã‚Œã«é™ã‚‰ãšä»–ã®æœ€é©åŒ–手法ã«ã‚ˆã‚‹ã‚¢ãƒ—ãƒãƒ¼ãƒã‚’検討・é©ç”¨ã™ã‚‹äº‹ä¾‹ã‚‚å°‘ãªãã‚ã‚Šã¾ã›ã‚“．
翻訳：ãƒãƒœãƒƒãƒˆã§ã‚ã‚‹ã¨ã¯ã©ã®ã‚ˆã†ãªã“ã¨ã‹ï¼Ÿ (ãƒãƒ‰ãƒ‹ãƒ¼ãƒ»ãƒ–ルックス) - Qiita
ã“ã®è¨˜äº‹ã¯ã€MITäººå·¥çŸ¥èƒ½ç ”ç©¶æ‰€ã®å…ƒæ‰€é•·ã§ã‚ã‚Šã€ãƒ«ãƒ³ãƒãªã©ã®è£½é€ ã§çŸ¥ã‚‰ã‚Œã‚‹iRobot社ã®å…±åŒå‰µæ¥è€…ã€ãƒãƒ‰ãƒ‹ãƒ¼ãƒ»ãƒ–ルックスæ°ã®ãƒ–ãƒã‚°è¨˜äº‹ "What Is It Like to Be a Robot?" ã®ç¿»è¨³ã§ã™ã€‚ What Is It Like to Be a Robot? ã“ã®è¨˜äº‹ã¯ã€äººå·¥çŸ¥èƒ½ã®èƒ½åŠ›ã«é–¢ã™ã‚‹ç¾åœ¨ã®çŠ¶æ³ã€ãŠã‚ˆã³æ¯”較的çŸæœŸã®é–“ã«æœŸå¾…ã§ãる発展ã«ã¤ã„ã¦èª¬æ˜Žã™ã‚‹ã‚‚ã®ã§ã€é€£è¼‰è¨˜äº‹ã®åˆå›žã¨ã™ã‚‹ã¤ã‚‚ã‚Šã§ã‚る。ç§ã¯ã€ãƒ¡ãƒ‡ã‚£ã‚¢ã®ä¸ã§æµè¡Œã—ã¦ã„る奇妙ãªä¸»å¼µã€ãŠã‚ˆã³AI分野内外ã®äººã€…ã‚’å«ã‚€AIè¦å‘Šè€…ã®ã‚°ãƒ«ãƒ¼ãƒ—ã«å¯¾ã—ã¦ç•°è°ã‚’å”±ãˆã‚‹ã¤ã‚‚ã‚Šã 。ã“ã®è¨˜äº‹ã§ã¯ã€ä»Šå¾Œã®è°è«–ã®ä¸»è¦ãªè¦ç´ ã®ã„ãã¤ã‹ã‚’紹介ã—ã€ã¾ãŸåŒæ™‚ã«AIシステムãŒäººé–“ã¨ã©ã®ã‚ˆã†ã«ç•°ãªã£ã¦ã„ã‚‹ã®ã‹ã‚’示ã™ã“ã¨ã‹ã‚‰å§‹ã‚よã†ã€‚ 記事ã®ã‚¿ã‚¤ãƒˆãƒ«ã‚’見ã¦ã€ã“ã‚Œã¯ãƒˆãƒžã‚¹ãƒ»ãƒãƒ¼ã‚²ãƒ«ã«ã‚ˆã‚‹1974å¹´ã®è«–æ–‡ã€ã€Œã‚³ã‚¦ãƒ¢ãƒªã§ã‚ã‚‹ã¨ã¯ã©ã®ã‚ˆã†ãªã“ã¨ã‹ï¼Ÿã€1 ã¸ã®ã‚ª
オンラインã§å…¥æ‰‹ã§ãã‚‹æ•°ç†è«–ç†å¦ãƒ»æ•°å¦åŸºç¤Žè«–ã®ãƒ†ã‚スト
オンラインã§å…¥æ‰‹ã§ãã‚‹æ•°ç†è«–ç†å¦ãƒ»æ•°å¦åŸºç¤Žè«–ã®ãƒ†ã‚スト æ•°ç†è«–ç†å¦ã€æ•°å¦åŸºç¤Žè«–ã®æ•™ç§‘書的ã«ä½¿ãˆã‚‹ãƒ†ã‚スト（講義ノートã€ã‚µãƒ¼ãƒ´ã‚§ã‚¤ã€ãƒ¢ãƒŽã‚°ãƒ©ãƒ•ç‰ï¼‰ã®ã†ã¡ã€ã‚ªãƒ³ãƒ©ã‚¤ãƒ³ã§å…¥æ‰‹ã§ãã‚‹ã‚‚ã®ã‚’集ã‚ã¾ã—ãŸã€‚ 入門的概説 è«–ç†ä¸€èˆ¬ 高階論ç†ã¨åž‹ç†è«– ç›´è¦³ä¸»ç¾©è«–ç† ã‚³ãƒ³ãƒ“ãƒãƒ¼ã‚¿ã¨ãƒ©ãƒ ダ計算 時相論ç†ãŠã‚ˆã³æ™‚åˆ¶è«–ç† æ§˜ç›¸è«–ç† é©åˆ‡ã•ã®è«–ç† è‡ªç„¶è¨€èªžã®è«–ç† ç©ºé–“è«–ç† ãƒ¢ãƒ‡ãƒ«ç†è«– 安定性ç†è«– ç„¡é™è«–ç† è¨ˆç®—å¯èƒ½æ€§ç†è«–ãŠã‚ˆã³å†å¸°ç†è«– 集åˆè«– pcfç†è«– 記述集åˆè«– 実数ã®é›†åˆè«– é¸æŠžå…¬ç† 強制法ã¨å†…部モデル 連続体仮説 NF 証明論ã¨æ§‹æˆçš„æ•°å¦ é †åºæ•°è§£æž ç®—è¡“ã®ä½“ç³»ã¨ä¸å®Œå…¨æ€§ 証明å¯èƒ½æ€§è«–ç† ç·šå½¢è«–ç† æ§‹æˆçš„æ•°å¦ ä»£æ•°çš„è«–ç†ã¨åœè«– ブール代数 æ™®é代数 é‡åè«–ç† åœè«– æ´å² 入門的概説 [â–²] åŠ èŒ‚é™å¤«ï¼Œã€Œæ•°ç†è«–ç†å¦ï¼ˆå‘½é¡Œè«–ç†ã¨è¿°èªžè«–ç†ï¼‰ã€ï¼Ž[PDF] 嘉田å‹ï¼Œã€Œæ•°ç†è«–ç†å¦ 講義ノート（2013年度版）ã€ï¼Ž St
プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã¨å“²å¦ - Ryusei’s Notes (a.k.a. M59ã®ãƒ–ãƒã‚°)
プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã¨å“²å¦ã®é–“ã«ã¯æ·±ã„関係ãŒã‚る。プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ãŒæ˜”ãªãŒã‚‰ã®å“²å¦ã¨å˜ç´”ã«å¯¾å¿œã™ã‚‹ã¨ã„ã†ã‚ã‘ã§ã¯ãªã„ã‘ã‚Œã©ã‚‚ã€ã ã‹ã‚‰ã¨ã„ã£ã¦å…¨ãã®ç„¡é–¢ä¿‚ã¨ã„ã†ã‚ã‘ã§ã‚‚ãªã„。ãã®ç†ç”±ã¨ã—ã¦ã€ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®æ–¹æ³•è«–ã®ã²ã¨ã¤ã«ã€ä¸–界を分æžã—ã€ãれを記述ã™ã‚‹ã¨ã„ã†æ–¹æ³•ã§ãƒ—ãƒã‚°ãƒ©ãƒ を書ãã¨ã„ã†è€ƒãˆãŒã‚ã‚‹ã“ã¨ãŒæŒ™ã’られる。 ãã‚Œã¯ã¾ã•ã«ã‚ªãƒ–ジェクト指å‘ã®ç†å¿µã§ã‚ã‚‹ã€ã¨è€ƒãˆã‚‹äººã¯ã€ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®ã“ã¨ã‚‚哲å¦ã®ã“ã¨ã‚‚よã知らãªã„。世界ã®æ§˜åを記述ã™ã‚‹ã¨ã„ã†æ€§è³ªã¯ã‚ªãƒ–ジェクト指å‘ã®å°‚売特許ãªã©ã§ã¯ãªãã€å¹³å™åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°*1ã«å…±é€šã—ã¦è¦‹ã‚‰ã‚Œã‚‹è€ƒãˆã 。ã™ãªã‚ã¡ã€é–¢æ•°åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã‚„è«–ç†åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã‚‚ã¾ãŸã€ä¸–ç•Œã®æ§˜åを記述ã™ã‚‹å´é¢ã‚’æŒã£ã¦ã„る。 「世界を分æžã—ã¦è¨˜è¿°ã™ã‚‹æ–¹æ³•ã€ã¨ã„ã†ã®ã¯ã€å¤æ¥å“²å¦ãŒå¯¾è±¡ã¨ã—ã¦ããŸã“ã¨ã®ã²ã¨ã¤ã 。ãã‚Œãªã‚‰ã€å“²å¦ãªã‚“ã¦ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã¨é–¢ä¿‚ãªã„ã¨ã™ã‚‹ã»ã†ãŒã€ä¼çµ±ã«å‰‡ã‚‰ãªã„考ãˆã ã¨ã„ã†ã¹
Sendai Logic Group - ãƒã‚¸ãƒƒã‚¯ãŠã™ã™ã‚本ã®ç´¹ä»‹
ãƒã‚¸ãƒƒã‚¯ãŠã™ã™ã‚本ã®ç´¹ä»‹ ãŠçŸ¥ã‚‰ã› ç¾åœ¨, ãŠã™ã™ã‚本ã®ç´¹ä»‹ã‚’募集ã—ã¦ã„ã¾ã™. ã”å”力ãã ã•ã‚‹æ–¹ã¯, 連絡先ã¸ãŠé¡˜ã„致ã—ã¾ã™. æ¦‚è¦ ã¯ã˜ã‚ã« ã“ã®ãƒšãƒ¼ã‚¸ã¯, ãŠãらã独å¦ã®äººãŒå¤šã„ã§ã‚ã‚ã†, ãƒã‚¸ãƒƒã‚¯(æ•°å¦åŸºç¤Žè«–, æ•°ç†è«–ç†å¦. 当ページã§ã¯ãƒã‚¸ãƒƒã‚¯ã«çµ±ä¸€ã—ã¾ã™)åˆå¿ƒè€…ã®æ–¹ã®ãŸã‚ã«, ç ”ç©¶è€…ã¾ãŸã¯å¤§å¦é™¢ç”Ÿã«ã‚ˆã‚‹ãŠã™ã™ã‚本ã®ç´¹ä»‹ã‚’集ã‚ã¦ã„ã¾ã™. ãƒã‚¸ãƒƒã‚¯ã‚’å¦ã³ãŸã„ãŒ, ã©ã‚“ãªæœ¬ã‚’èªã‚“ã ら良ã„ã‹ã‚ã‹ã‚‰ãªã„. 興味ã¯å®šã¾ã£ãŸãŒ, ã©ã‚“ãªæœ¬ãŒã‚ã‚‹ã®ã‹ã‚ˆã知らãªã„. 1冊èªã¿çµ‚ã‚ã£ãŸãŒ, ã©ã‚“ãªæœ¬ã‚’èªã‚ã°æ¬¡ã®ã‚¹ãƒ†ãƒƒãƒ—ã¨ã—ã¦è‰¯ã„ã®ã‹ã‚ã‹ã‚‰ãªã„. ã¨ã„ã†äººã‚’主ãªå¯¾è±¡ã¨ã—ã¦ã„ã¾ã™ãŒ, ãれ以外ã®äººã«ã‚‚ãã£ã¨å½¹ã«ç«‹ã¤ã¨æ€ã„ã¾ã™. 分類 ãƒã‚¸ãƒƒã‚¯ã«ã¯, 証明論, モデルç†è«–, 計算ç†è«–, 集åˆè«–ã®4大分野ãŒã‚ã‚Šã¾ã™. 当ページã¯ãã‚Œã«å¾“ã„, 分野毎ã®ç´¹ä»‹ã¨ã—ã¦ã¾ã¨ã‚ã¦ã„ã¾ã™. ã¾ãŸ, ã©ã‚Œã«ã‚‚当ã¦ã¯ã¾ã‚‰ãªã„
(æƒ…å ±ç³»ã®)大å¦ã®å¦ç”Ÿã¯ã¨ã¦ã‚‚è²´é‡ãªçµŒé¨“ã‚’ã—ã¦ã„ã‚‹ã“ã¨ã«æ°—ã¥ã‹ãšã€æƒ…å ±ç³»ã§ãªã„プãƒã‚°ãƒ©ãƒžãƒ¼(僕)ã¯æƒ…å ±ç³»ã®å¦å•çš„知è˜ã‚’ã€ã„ã¤ã‹æ±‚ã‚ã‚‹ã¨ã„ã†ã“㨠- nobkzã®ãƒ–ãƒã‚°
ã©ã‚‚ã§ã™ã€nobkzã§ã™ã€‚昔ã‹ã‚‰ãšã£ã¨è€ƒãˆã¦ã„ã‚‹ã“ã¨ã‚’ã€ã†ã ã†ã 書ãã¾ã™ã€‚ 「Prologãªã‚“ã¦ä½•ã§ã‚„ã‚‹ã‚“ã !!!〠ã¨ã‚ã‚‹æƒ…å ±ç³»ã®å¦ç”Ÿã®ã¤ã¶ã‚„ãã§ã—ãŸã€‚僕ã¯è¡æ’ƒã‚’å—ã‘ã¾ã—ãŸã€‚ æƒ…å ±ç³»ã®äººé–“ã˜ã‚ƒãªã„僕 ã¼ãã¯ã€ç¦å²¡ã®ITç³»ã®å‹‰å¼·ä¼šã«è¶³ã‚’よãé‹ã³ã€ã¾ãŸä¸»å‚¬ã¨ã—ã¦é–‹å‚¬ã—ãŸã‚Šã—ã¦ã„ã¾ã™ã€‚Technical Rockstarsã«CTOã¨ã—ã¦å°±ä»»ã—ã€FLOWer言語をTechnical Rockstarsã§é–‹ç™ºã—ã¦ã„ã¾ã™ã€‚ãã—ã¦ã„ã¾ã§ã¯è¿‘æ—¥ä¸ã«å…¬é–‹äºˆå®šã®BaaSを開発ä¸ã§ã‚ã£ã¦ã€Lispã‚„Haskellã€Prologãªã©ã‚’書ã„ã¦ãŸã‚Šã—ã¦ã„ã¾ã™ã€‚一日ä¸ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®äº‹ã‚’考ãˆã¦ç”Ÿæ´»ã—ã¦ã„ã¾ã™ã€‚ ãã®ã›ã„ã‹ã€ä»–人ã«ã¯ã©ã†ã‚‚僕ãŒå®Œå…¨ã«æƒ…å ±ç³»ã®äººé–“ã®æ§˜ã«è¦‹ã‚‰ã‚Œã‚‹ã‚ˆã†ã§ã™ã€‚ãã—ã¦ã€å¤§å¦ã§ã¯æƒ…å ±ç³»ã®å¦éƒ¨ãªã‚“ã ã‚ã†ã¨ã€å°ã•ã„ã“ã‚ã‹ã‚‰ã‚„ã£ã¦æ¥ãŸã®ã ã‚ã†ã¨ã€‚ ã—ã‹ã—ã€å®Ÿéš›ã¯é•ã†ã®ã§ã™ã€‚僕ã¯ä¹å·žå¤§å¦èŠ¸è¡“å·¥å¦éƒ¨éŸ³éŸ¿è¨è¨ˆå¦
Computer Laboratory – Course pages 2014–15: Advanced Functional Programming – Course materials
Mailing list There is a mailing list for the course: [email protected]. Announcements, questions and discussion. Feel free to post! Have a question but feeling shy? Mail a lecturer instead and we'll anonymise and post your question: jerem[email protected] or leo.whit[email protected]. Preparation If you haven't used a typed functional language before then it would be wise to familiarize y
リージョンã«ã¤ã„㦠| κeenã®Happy Hacκing Blog
ã“ã®ã‚¨ãƒ³ãƒˆãƒªã¯è¨€èªžå®Ÿè£…Advent Calendar 2015 10日目ã®è¨˜äº‹ã§ã™ κeenã§ã™ã€‚今日ã¯ã‚る程度gcã«é ¼ã‚‰ãšãƒ¡ãƒ¢ãƒªã‚’管ç†ã™ã‚‹æ‰‹æ³•ã€ãƒªãƒ¼ã‚¸ãƒ§ãƒ³ã«ã¤ã„ã¦è©±ãã†ã¨æ€ã„ã¾ã™ã€‚ リージョン推論ã¨ãã®ã‚¢ãƒ«ã‚´ãƒªã‚ºãƒ ã¾ã§è©±ã›ã‚Œã°ã‚ˆã‹ã£ãŸã®ã§ã™ãŒã‚µãƒ¼ãƒ™ã‚¤ãŒé–“ã«åˆã‚ãšâ€¦ スタックベースã®ãƒ¡ãƒ¢ãƒªç®¡ç† gcã®ãªã„言語ã€ä¾‹ãˆã°cã§ã‚‚自動ã§è§£æ”¾ã•ã‚Œã‚‹é¡žã®ãƒ¡ãƒ¢ãƒªãŒã‚ã‚Šã¾ã™ã€‚ãƒãƒ¼ã‚«ãƒ«å¤‰æ•°ã§ã™ã€‚ ãƒãƒ¼ã‚«ãƒ«å¤‰æ•°ã®ãƒ¡ãƒ¢ãƒªç¢ºä¿/解放戦略ã¯å˜ç´”ã§ã™ã€‚ブãƒãƒƒã‚¯ã®é–‹å§‹ã«ç¢ºä¿ã•ã‚Œã€ãƒ–ãƒãƒƒã‚¯ã®çµ‚ã‚ã‚Šã«è§£æ”¾ã•ã‚Œã¾ã™ã€‚ { int x; // <- xãŒç¢ºä¿ã•ã‚Œã‚‹ { int y = 2; // <- yãŒç¢ºä¿ã•ã‚Œã‚‹ { int z = 3; // <- zãŒç¢ºä¿ã•ã‚Œã‚‹ x = y + z; } // <- zãŒè§£æ”¾ã•ã‚Œã‚‹ } // <- yãŒè§£æ”¾ã•ã‚Œã‚‹ } // <- xãŒè§£æ”¾ã•ã‚Œã‚‹ ブãƒãƒƒã‚¯ã¯ãƒã‚¹ãƒˆæ§‹é€ ã‚’ã¨ã‚‹ã®ã§ãƒ¡ãƒ¢ãƒªç®¡ç†
Category Theory for Programmers: The Preface
Category Theory for Programmers: The Preface Posted by Bartosz Milewski under C++, Category Theory, Functional Programming, Haskell, Programming [184] Comments Table of Contents Part One Category: The Essence of Composition Types and Functions Categories Great and Small Kleisli Categories Products and Coproducts Simple Algebraic Data Types Functors Functoriality Function Types Natural Transformati
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
http://heather.cs.ucdavis.edu/parprocbook
{{#tags}}- {{label}}
{{/tags}}