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
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ページを開く
地球シミュレータ開発史
Masato_Takeichi
fam.cx
CODE コードから見たコンピュータのからくり: 本