Amazon.co.jp: コンピュータã®æ§‹æˆã¨è¨è¨ˆ~ãƒãƒ¼ãƒ‰ã‚¦ã‚¨ã‚¢ã¨ã‚½ãƒ•ãƒˆã‚¦ã‚¨ã‚¢ã®ã‚¤ãƒ³ã‚¿ãƒ•ã‚§ãƒ¼ã‚¹ 第3版 (上): デイビッド A.パターソン (è‘—), ジョン L.ヘãƒã‚·ãƒ¼ (è‘—), æˆç”°å…‰å½° (翻訳): 本
シーモア・パパート - Wikipedia
シーモア・パパート（Seymour Aubrey Papertï¼›[ˈpæpÉ™rt]ã€1928å¹´2月29æ—¥ - 2016å¹´7月31日）ã¯ã€å—アフリカ出身ã®ã‚¢ãƒ¡ãƒªã‚«ã®æ•°å¦è€…ã€è¨ˆç®—機科å¦è€…ã€æ•™è‚²è€…。マサãƒãƒ¥ãƒ¼ã‚»ãƒƒãƒ„工科大å¦ï¼ˆMIT）教授。 構築主義å¦ç¿’（英語版）をæå”±ã—ã€ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžLOGOã‚’è¨è¨ˆã™ã‚‹ãªã©ã€ãƒ†ã‚¯ãƒŽãƒã‚¸ãƒ¼ã‚’æ´»ã‹ã—ãŸä½“験å¦ç¿’ã€æƒ…å ±æ•™è‚²ã®ç¤Žã‚’築ã„ãŸã€‚発é”心ç†å¦è€…ジャン・ピアジェや人工知能ã®çˆ¶ãƒžãƒ¼ãƒ“ン・ミンスã‚ーã¨ã®å…±åŒç ”究ã§ã‚‚知られる。 1980年代ã€ã‚¿ãƒ¼ãƒˆãƒ«ãƒãƒœãƒƒãƒˆã¨å…±ã« 1960年代ã«ç™ºé”心ç†å¦è€…ジャン・ピアジェã¨å…±åŒç ”究ã—ã€å½¼ã®ç™ºç”Ÿçš„èªè˜è«–（英語版）ã«å¤§ããªå½±éŸ¿ã‚’å—ã‘ãŸã€‚パパートã¯ãƒ”アジェã®å¼Ÿåã®ä¸ã§æœ€ã‚‚æ´»èºãƒ»æˆåŠŸã—ãŸäººç‰©ã¨ã•ã‚Œã€ãƒ”アジェ自身も「パパートã»ã©ç§ã®è€ƒãˆã‚’ç†è§£ã—ã¦ãれる者ã¯ã„ãªã„ã€ã¨è¿°ã¹ã¦ã„る。 ピアジェã®æ§‹æˆä¸»ç¾©ï¼ˆã‚³ãƒ³ã‚¹ãƒˆãƒ©ã‚¯ãƒ†ã‚£ãƒ“ズム）を発展ã•ã›ãŸâ€œä½œã‚‹ã“ã¨
モãƒã‚¤ãƒ«ã‚²ãƒ¼ãƒ ã®æ´å²ã‚’年代別ã«ã”紹介ã—ã¾ã™ã€‚モãƒã‚¤ãƒ«ã‚²ãƒ¼ãƒ ã®æˆé•·ã¨ä»Šå¾Œã«ã¤ã„ã¦è©³ã—ã解説ã—ã¦ã„ãã¾ã™ã€‚
モãƒã‚¤ãƒ«ã‚²ãƒ¼ãƒ 物凄ã„å‹¢ã„ã§å‹ƒèˆˆã—ãŸãƒ¢ãƒã‚¤ãƒ«ã‚²ãƒ¼ãƒ æ¥ç•Œã¯ã€ã„ã‚ã„ã‚ãªèª²é¡Œã‚„å•é¡Œã«ç›´é¢ã—ãªãŒã‚‰ã‚‚巨大化ã—ã€ä»Šæ—¥ã®æ™‚点ã§ã®ã‚¹ãƒžãƒ¼ãƒˆãƒ•ã‚©ãƒ³å‘ã‘ゲームã®å¸‚å ´ã¸ã¨ç¶™æ‰¿ã•ã‚Œã¦ã„ãã¾ã™ã€‚ モãƒã‚¤ãƒ«ã‚²ãƒ¼ãƒ ã®æ´å² 2001 Javaアプリã¨3Dゲームã®ç™»å ´ JavaãŒåˆ©ç”¨ã§ãるよã†ã«ãªã£ãŸã“ã¨ã«ã‚ˆã‚Šã€ãƒ€ã‚¦ãƒ³ãƒãƒ¼ãƒ‰åž‹ã®ã‚²ãƒ¼ãƒ ãŒä¾›çµ¦ã§ãるよã†ã«ãªã‚Šã¾ã—ãŸã€‚ 2002 æºå¸¯é›»è©±ç«¯æœ«ã®å¤§å®¹é‡åŒ–・3D化競争 Javaæ載æºå¸¯é›»è©±ç«¯æœ«ãŒç™»å ´ã—ã¦ã‹ã‚‰ã”ã僅ã‹1å¹´ã®é–“ã«ã€ã‚¢ãƒ—リã®ã‚µã‚¤ã‚ºã«é–¢ã—ã¦ã¯10å€ã«åºƒå¤§åŒ–ã—ã€è¡¨ç¾æ–¹æ³•ã‚‚2Dã‹ã‚‰3Dã«ã‚·ãƒ•ãƒˆã—始ã‚ã¾ã—ãŸã€‚J-PHONEã¯ã€Žã‚¼ãƒ“ウスã€ã‚„『スペースãƒãƒªã‚¢ãƒ¼ã€ãªã©ã¨ã„ã£ãŸæ˜”ã®ã‚¢ãƒ¼ã‚±ãƒ¼ãƒ‰ã‚²ãƒ¼ãƒ ã‚’ã€ãƒ‰ã‚³ãƒ¢ã¯SIMCITYãªã©ãƒ‘ソコンã§ä¸–界的è¦æ¨¡ã®ãƒ’ットを飛ã°ã—ãŸã‚²ãƒ¼ãƒ を主力商å“ã¨ã—ã¦ã„ã¾ã—ãŸã€‚ 2003 モãƒã‚¤ãƒ«ã‚²ãƒ¼ãƒ ã®ä¸€èˆ¬åŒ– メモリã®åˆ¶é™ãŒåŽ³ã—ã„Java仮想マシン上ã§ã¯ãªãã€OS
Masato_Takeichi
ミニコンãƒãƒ³ãƒ‰ãƒ–ック(システム工å¦ä¼šç·¨): 3.4言語プãƒã‚»ãƒƒã‚µ, 3.5ユーティリティプãƒã‚°ãƒ©ãƒ . pp.93-101, æœå€‰æ›¸åº—, æ˜å’Œ50å¹´(1975). M.Takeichi. Pascal--- Implementation and Experience.  Journal of Faculty of Eng., University of Tokyo, B-34 (1), pp.129-136, 1977.
Church numerals and Lambda Calculus
Church Numerals 㨠Lambda Calculus アルゴリズムã¨ãƒ‡ãƒ¼ã‚¿æ§‹é€ 入門 補足 後åŠã¯ä½è—¤é›…彦先生ã«æ•™ãˆã¦ã‚‚らã„ã¾ã—ãŸ. SICP Exercise 2.4 〜 Exercise 2.6 誤解をæã‚Œãšã«å¤§é›‘把ã«ã„ã†ã¨, λ計算ã§ã¯åå‰ã¤ãã®ã‚·ãƒ³ãƒœãƒ« (åå‰ä»˜ãã®æ‰‹ç¶šã) ã«ã‚ˆã‚‹å†å¸°å‘¼å‡ºã—ã‚„ special form ãŒä½¿ãˆãªã„ã¨ã“ã‚㌠Scheme ã¨é•ã†ã¨ã“ã‚ã§ã™. ãã®ãŸã‚, λ計算を Scheme ã§è¡Œã†ãŸã‚ã«ã¯ã„ã‚ã„ã‚ãªå·¥å¤«ãŒå¿…è¦ã¨ãªã‚Šã¾ã™. ãã®ãƒã‚¤ãƒ³ãƒˆã¯ closure (閉包) ã¨å‘¼ã°ã‚Œã‚‹æ§‹é€ ã§ã™. 自然数 n ã® Church numeral ã‚’ c(n) ã¨ã™ã‚‹ã¨, c(n) f x = (f ... (f x)), ãŸã ã—, f 㯠n 回出ç¾. ã¨ãªã‚‹ã“ã¨ã‚’利用ã—ã¾ã™. ã¾ãš, c0 㨠successor を定義ã—ã¾ã™. (SICP Ex.
Eijiro Sumii / ä½äº• 英二郎
About myself: Tohoku University researchers directory (æ±åŒ—大å¦ç ”究者紹介), researchmap, ç•¥æ´ãƒ»ä¸»è¦æ¥ç¸¾(PDF) Our lab's Web site (ç ”ç©¶å®¤ãƒ›ãƒ¼ãƒ ãƒšãƒ¼ã‚¸) About student application: We receive many spam-like e-mails which are often too general and naive, like "I want to study programming/software engineering/computer science" or "I am good at C/C++/Java" for example. If you are interested in joining our research group, please r
λ計算 1 ' & $ % λ計算 胡振江 æ±äº¬å¤§å¦è¨ˆæ•°å·¥å¦ç§‘ 2006 年度 λ計算 2 ' & $ % 復習: 3 å¹´ã®ã€Œãƒ—ãƒã‚°ãƒ©ãƒ ã®æ•°ç†ã€ • å¼ï¼šãƒ—ãƒã‚°ãƒ©ãƒ • 値（å¼ã®æ£è¦å½¢ï¼‰ï¼šè¨ˆç®—ã®çµæžœ • 簡約：計算 ãã®ç†è«–背��
λ計算 1 ' & $ % λ計算 胡振江 æ±äº¬å¤§å¦è¨ˆæ•°å·¥å¦ç§‘ 2006 年度 λ計算 2 ' & $ % 復習: 3 å¹´ã®ã€Œãƒ—ãƒã‚°ãƒ©ãƒ ã®æ•°ç†ã€ • å¼ï¼šãƒ—ãƒã‚°ãƒ©ãƒ • 値（å¼ã®æ£è¦å½¢ï¼‰ï¼šè¨ˆç®—ã®çµæžœ • 簡約：計算 ãã®ç†è«–背景ã¯ï¼Ÿ λ計算 3 ' & $ % æ•™æ 井田哲雄ã€ã€Œè¨ˆç®—モデルã®åŸºç¤Žç†è«–ã€ï¼ˆç¬¬ï¼”ç« ï¼‰ã€å²©æ³¢è¬›åº§ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ç§‘å¦ï¼‘ ï¼’ã€å²©æ³¢æ›¸åº—ã€ï¼‘９９１年ã€3700 円. (ISBN4-00-010352-0) λ計算 4 ' & $ % å‚考資料 • H.P.Barendregt, â€The lambda calculus: its syntax and semanticsâ€, Studies in logic and the foundations of mathematics, v.103, North-Holland, 1984. (ISBN 044487 5085).
Yukiyoshi Kameyama's Lectures
亀山ã®è¬›ç¾© å¦éƒ¨ï¼š ç‘æ³¢å¤§å¦ æƒ…å ±å¦ç¾¤æƒ…å ±ç§‘å¦é¡ž (シラãƒã‚¹) 大å¦é™¢ï¼š ç‘æ³¢å¤§å¦ å¤§å¦é™¢ã‚·ã‚¹ãƒ†ãƒ æƒ…å ±å·¥å¦ç ”究科 コンピュータサイエンス専攻 2019年度ã®æŽˆæ¥ 春å¦æœŸ: プãƒã‚°ãƒ©ãƒ 言語論I (3-4年次å‘ã‘, 春AB) ソフトウェア技法 (2年次å‘ã‘, 春C) プãƒã‚°ãƒ©ãƒ 言語特論 (åšå£«å‰æœŸèª²ç¨‹å‘ã‘, 春AB) ã‚³ãƒ³ãƒ”ãƒ¥ãƒ¼ã‚¿ã‚µã‚¤ã‚¨ãƒ³ã‚¹ç ”ç©¶ã‚»ãƒŸãƒŠãƒ¼ (åšå£«å¾ŒæœŸèª²ç¨‹å‘ã‘, 春AB) 秋å¦æœŸ: オートマトンã¨å½¢å¼è¨€èªž (3-4年次å‘ã‘, 秋AB) ソフトウェアサイエンス実験B『関数プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã€ (3年次å‘ã‘, 秋A-C，水3-4+金5-6ã€ä¸»æ‹…当ã¯æµ·é‡Žå…ˆç”Ÿ) 世話人: 計算モデル論 (3-4年次å‘ã‘, 秋AB月5-6, 井田先生) 2018年度ã®æŽˆæ¥ 春å¦æœŸ: プãƒã‚°ãƒ©ãƒ 言語論I (3-4年次å‘ã‘, 春AB，木3) æƒ…å ±ç§‘å¦æ¦‚è«–I (1年次å‘ã‘, 春C，2コマ分担) ソフトウェア技法 (2
ラムダ計算 λ...
► 2022 (2) ► 10月 (1) ► 2月 (1) ► 2021 (51) ► 11月 (2) ► 10月 (2) ► 9月 (4) ► 8月 (4) ► 7月 (4) ► 6月 (4) ► 5月 (3) ► 4月 (10) ► 3月 (7) ► 2月 (4) ► 1月 (7) ► 2020 (155) ► 12月 (7) ► 11月 (10) ► 10月 (8) ► 9月 (8) ► 8月 (11) ► 7月 (21) ► 6月 (19) ► 5月 (14) ► 4月 (20) ► 3月 (13) ► 2月 (10) ► 1月 (14) ► 2019 (293) ► 12月 (11) ► 11月 (12) ► 10月 (24) ► 9月 (29) ► 8月 (27) ► 7月 (36) ► 6月 (40) ► 5月 (24) ► 4月 (35) ► 3月 (42) ► 2月 (6
Wada, Eiiti
(ã‚ã 　ãˆã„ã„ã¡ Eiiti Wada)) IIJイノベーションインスティテュート æŠ€è¡“ç ”ç©¶æ‰€ã€€ç ”ç©¶é¡§å• æ±äº¬å¤§å¦ã€€å誉教授　工å¦åšå£« 〒101-0051 åƒä»£ç”°åŒºç¥žç”°ç¥žä¿ç”º1-105 神ä¿ç”ºä¸‰äº•ãƒ“ルディング phone (03)5205-6464 fax (03)5205-6451 å’Œç”°ç ”ãƒ•ã‚©ãƒ³ãƒˆ → http://gps.tanaka.ecc.u-tokyo.ac.jp/wadalabfont/ Happy Hacking Keyboard → http://www.pfu.co.jp/HHkeyboard/ 計算機プãƒã‚°ãƒ©ãƒ ã®æ§‹é€ ã¨è§£é‡ˆ → http://sicp.iijlab.net/ パラメトãƒãƒ³è¨ˆç®—æ©ŸPC-1 → http://www.iijlab.net/~ew/pc1/ パラメトãƒãƒ³ã‚¢ãƒ¼ã‚«ã‚¤ãƒ–ス → http://parametronarchives.iijlab.net
1
ランã‚ング
ランã‚ング
ãŠçŸ¥ã‚‰ã›
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
地çƒã‚·ãƒŸãƒ¥ãƒ¬ãƒ¼ã‚¿é–‹ç™ºå²
fam.cx
CODE コードã‹ã‚‰è¦‹ãŸã‚³ãƒ³ãƒ”ュータã®ã‹ã‚‰ãã‚Š: 本
{{#tags}}- {{label}}
{{/tags}}