このノートでは、個人で携帯可能な情報操作機器の出現と、子供たちと大人たちがその利用によって受ける影響についての考察を行ないます。まるで空想科学小説のようだと思われるでしょうけれど、現在の世の中の小型化と低価格化の趨勢を思えば、ここで議論される多くの概念が近いうちに現実化することは、ほぼ確実なことです。 長年にわたり、技術を活用して社会問題を救おうとするのがひとつの伝統でした:「スラムが問題？ならば低コストの住宅を作りましょう！」「テレビを買う余裕がない？では欲しい時に買えるように、安価なものを作りましょう。たとえ支払いが済む前に壊れるとしてもね！」「子供たちは学んでいないし、教育コストも高すぎる？では、あなたの子供たちがテストに合格するのを保証する、教育メカを作りましょう！」 残念ながら、これらの「救い」のほとんどは、単にサビの上にペンキを塗っているだけです。最初の問題の原因は残されたまま

Andrew Binstock and Donald Knuth converse on the success of open source, the problem with multicore architecture, the disappointing lack of interest in literate programming, the menace of reusable code, and that urban legend about winning a programming contest with a single compilation. Andrew Binstock: You are one of the fathers of the open-source revolution, even if you aren’t widely heralded as

2011-05-28 Scala界の関数型プログラミング一派を代表する論客の一人、@djspiewak が 2010年に書いた “Monads Are Not Metaphors” を翻訳しました。翻訳の公開は本人より許諾済みです。翻訳の間違い等があれば遠慮なくご指摘ください。 2010年12月27日 Daniel Spiewak 著 2011年5月29日 e.e d3si9n 訳 僕は今、約束を破るところだ。およそ三年前、僕は絶対にモナドの記事だけは書かないと自分に約束した。既にモナドに関する記事は有り余っている。記事の数が多すぎてその多さだけで多くの人は混乱している。しかも全員がモナドに対して異なる扱い方をしているため、モナドの概念を初めて学ぼうとする者は、ブリトー、宇宙服、象、砂漠のベドウィン (訳注: アラブ系遊牧民) の共通項を探す努力をするハメになっている。 僕は、この混乱した

Constraint Handling Rules（CHR）は1991年にThom Frühwirthが発表した、ユーザ定義の制約が書けるように設計された宣言型プログラミング言語である[1] [2]。 多重集合の書き換え規則に基づく制約処理モデルを特徴とし、ルールにより制約をより単純な制約に書き換えることで、様々な制約下での解を求める。CHRはチューリング完全だが[3]、 独立した言語としてではなく既存言語の拡張機能として、主にPrologなどのホスト言語上に実装されたライブラリとして提供される。 CHRの典型的な応用分野はアブダクションなどの推論サービス、マルチエージェントシステム、自然言語処理、スケジューリング、型システム、ソフトウェアのテストと診断、セマンティックウェブなどである。 概要[編集] Constraint Handling Rules（CHR）はコミッテッドチョイス（co

2005年度「計算機科学実験及演習4(記号処理)」 実験資料 関数型プログラミング言語とインタプリタ 五十嵐 淳 京都大学 工学部情報学科計算機科学コース 大学院情報学研究科知能情報学専攻 工学部10号館1階142号室 e-mail: igarashi@kuis.kyoto-u.ac.jp

ju11net九州体育(科技)有限公司 404 Not Found nginx

JOS JOS is an operating system I have developed while reading MIT's operating system course material, which is available on the web by MIT OpenCourseWare (OCW). JOS is very small, but it is complete and features the following: Exokernel design i386 support Virtual memory Preemptive multitasking Simple IPC mechanism Kernel debuger and monitor Simple FS (supports file creation, writting and removal)

Xv6 is a teaching operating system developed in the summer of 2006 for MIT's operating systems course, “6.828: Operating Systems Engineering.” We used it for 6.828 in Fall 2006 and Fall 2007 and are using it this semester (Fall 2008). We hope that xv6 will be useful in other courses too. This page collects resources to aid the use of xv6 in other courses. History and Background For many years, MIT

What Is MINIX 3? MINIX 3 is a free, open-source, operating system designed to be highly reliable, flexible, and secure. It is based on a tiny microkernel running in kernel mode with the rest of the operating system running as a number of isolated, protected, processes in user mode. It runs on x86 and ARM CPUs, is compatible with NetBSD, and runs thousands of NetBSD packages. Get MINIX 3 now and jo

Welcome to the web site of the Computer History Museum's Software Preservation Group (formerly Software Collection Committee, or SCC)! The Software Preservation Group (SPG) of the Computer History Museum is an early exploration of how to collect software in support of the museum's overall mission. The work of the SPG includes: Preserving and collecting software Identifying and working with other p

In 1983, David H. D. Warren designed an abstract machine for the execution of Prolog consisting of a memory architecture and an instruction set.[1][2][3] This design became known as the Warren Abstract Machine (WAM) and has become the de facto standard target for Prolog compilers. Purpose[edit] The purpose of compiling Prolog code to the more low-level WAM code is to make subsequent interpretation

Syntax and Semantics of Programming Languages Chapter 1 Chapter 2 Chapter 3 Chapter 4 Chapter 5 Chapter 6 Chapter 7 Chapter 8 Chapter 9 Chapter 10 Chapter 11 Chapter 12 Chapter 13 Appendix A Appendix B Title Pages Preface Table of Contents Bibliography Index Acrobat (pdf) viewers To Ken Slonneger's Home Page