201211

『オンラインで入手できる数理論理学・数学基礎論のテキスト』，数理論理学、数学基礎論の教科書的に使えるテキスト（講義ノート、サーヴェイ、モノグラフ等）のうち、オンラインで入手できるものを集めました。

『毎週かあさん (2)』(西原 理恵子. 小学館, 2012)を購入した…

『2014年、チョコレートの危機が訪れる』(WIRED.jp)，危機の主要な原因は、10年から11年にコートジボワールで起きた内戦にある。その影響は、世界のサステイナブルな在庫の総計の40％を生み出している地域のカカオ産業を麻痺させてしまった。 (snip) 第2の要因には、需要と供給のダイナミズムが関係している。11年11月、世界のチョコレート製品の売り上げは、初めて1,000億ドルを超えた。カカオの消費は常に増加していて、すぐに世界の生産能力を超えて貯蔵を消費し尽くすだろう。 (snip) カカオの生産を促進して、需要を満たすことのできるようにする唯一の方法は、研究と発展に資金を投資して、最良の栽培方法を普及させ、利害に関心をもつ労働者を育成していくとだ。これによって植物をしっかり保護して、長期にわたって減少していくのではなく増加していくようなかたちで利益を生み出すようにする。

『和解金1億円、証拠保全手続きを経てサーバー運用会社と初の和解』(コンピュータソフトウェア著作権協会)，ACCS会員企業の日本マイクロソフト株式会社によると、多数のコミュニティサイト運営事業者等から受託したサーバーの管理運用を行うため米国マイクロソフトコーポレーションが著作権を持つデータベース管理ソフト「MS SQL Server」を不正にインストール（不正コピー）していたサーバー運用会社（東京都港区）との間で和解交渉を続けていたところ、和解金1億円を支払うことなどを内容とする和解が10月30日に成立したとの報告がありました。 (snip) この問題は、ACCS不正コピー情報窓口に寄せられた情報に基づき、会員企業が代理人弁護士を通じて対応したところ、発覚しました。