数学 – 集合の濃度 - 濃度の演算(可算集合の可算部分集合全体の集合の濃度)

集合・位相入門
(岩波書店)
松坂 和夫 (著)

学習環境

• 数式入力ソフト(TeX, MathML): MathType
• MathML対応ブラウザ: Firefox、Safari
• MathML非対応ブラウザ(Internet Explorer, Google Chrome...)用JavaScript Library: MathJax

集合・位相入門(松坂 和夫(著)、岩波書店)の第2章(集合の濃度)、3(濃度の演算)、問題9.を解いてみる。

数学 – 数学の威力を発揮する - 方程式 – 等式の証明(整数の恒等式2)

数学読本〈1〉
数・方程式/方程式/不等式
(岩波書店)
松坂 和夫 (著)

学習環境

• 数式入力ソフト(TeX, MathML): MathType
• MathML対応ブラウザ: Firefox、Safari
• MathML非対応ブラウザ(Internet Explorer, Google Chrome...)用JavaScript Library: MathJax

数学読本〈1〉数・方程式/方程式/不等式 (松坂 和夫(著)、岩波書店)の第3章(数学の威力を発揮する - 方程式)、3.4(等式の証明)、整数の恒等式の問43.を解いてみる。

英語 - Why is an HIV prevention breakthrough so difficult to get in Australia? - 7.30 29/05/2015 英語は絶対、勉強するな!

Advanced Learner's
English Dictionary with CD-ROM
Collins Cobuild (編集)

参考書籍

1. 英語は絶対、勉強するな!―学校行かない・お金かけない・だけどペラペラ 鄭 讃容 (著, 原著), 金 淳鎬 (原著, 翻訳)

数学 – 集合の濃度 - 濃度の演算(有限部分集合全体の集合)

集合・位相入門
(岩波書店)
松坂 和夫 (著)

学習環境

• 数式入力ソフト(TeX, MathML): MathType
• MathML対応ブラウザ: Firefox、Safari
• MathML非対応ブラウザ(Internet Explorer, Google Chrome...)用JavaScript Library: MathJax

集合・位相入門(松坂 和夫(著)、岩波書店)の第2章(集合の濃度)、3(濃度の演算)、問題8.を解いてみる。

C - プロセスとシステムサービス: 限界を超える(システムサービス, 外部スクリプトの実行, loop と fork 関数, 親プロセスと子プロセス)

Head First C ―頭とからだで覚えるCの基本
(オライリージャパン)
David Griffiths (著) Dawn Griffiths (著)
中田 秀基(監訳)(翻訳) 木下 哲也 (翻訳)

開発環境

• OS X Yosemite - Apple (OS)
• Emacs (CUI)、BBEdit - Bare Bones Software, Inc. (GUI) (Text Editor)
• C (プログラミング言語)
• LLVM/Clang (コンパイラ, Xcode - Apple)

Head First C ―頭とからだで覚えるCの基本(David Griffiths (著)、Dawn Griffiths (著) 中田 秀基(監訳)(翻訳)、木下 哲也 (翻訳)、オライリージャパン)の9章(プロセスとシステムサービス: 限界を超える)、コードマグネット(p.422)を解いてみる。

その他参考書籍

• 21st Century C: C Tips from the New School
• プログラミング言語C 第2版 ANSI規格準拠 (B.W. カーニハン D.M. リッチー (著)、 石田 晴久 (翻訳)、共立出版)
• プログラミング言語Cアンサー・ブック 第2版 (クロビス・L．トンド、スコット・E．ギンペル(著)、矢吹 道郎(翻訳))
• C実践プログラミング 第3版 (Steve Oualline (著)、 望月 康司 (監訳) (翻訳)、 谷口 功 (翻訳)、 オライリージャパン)

Scheme - データによる抽象の構築(記号データ(例: 集合の表現(集合と情報探索, 二進木)))

計算機プログラムの構造と解釈[第2版]
(翔泳社)
ハロルド エイブルソン (著) ジュリー サスマン (著)
ジェラルド・ジェイ サスマン (著)
Harold Abelson (原著) Julie Sussman (原著)
Gerald Jay Sussman (原著) 和田 英一 (翻訳)

開発環境

• OS X Yosemite - Apple (OS)
• Emacs(Text Editor)
• Scheme (プログラミング言語)
• kscheme, Gauche (処理系)

計算機プログラムの構造と解釈[第2版](ハロルド エイブルソン (著)、ジュリー サスマン (著)、ジェラルド・ジェイ サスマン (著)、Harold Abelson (原著)、Julie Sussman (原著)、Gerald Jay Sussman (原著)、和田 英一 (翻訳)、翔泳社、原書: Structure and Interpretation of Computer Programs (MIT Electrical Engineering and Computer Science)(SICP))の2(データによる抽象の構築)、2.3(記号データ)、2.3.3(例: 集合の表現)、問題2.66.を解いてみる。

その他参考書籍

• Instructor's Manual to Accompany Structure & Interpretation of Computer Programs
• プログラミングGauche (Kahuaプロジェクト (著), 川合 史朗 (監修), オライリージャパン)
• Scheme手習い

英語 - FIFA chief faces calls to stand down as investigators describe 'systemic corruption' - 7.30 29/05/2015 英語は絶対、勉強するな!

Advanced Learner's
English Dictionary with CD-ROM
Collins Cobuild (編集)

参考書籍

1. 英語は絶対、勉強するな!―学校行かない・お金かけない・だけどペラペラ 鄭 讃容 (著, 原著), 金 淳鎬 (原著, 翻訳)

JavaScript - Arrays(object, function, string)

Data Structures and Algorithms With Javascript
(O'Reilly Media)
Michael McMillan(著)

開発環境

• OS X Yosemite - Apple (OS)
• Emacs (Text Editor)
• JavaScript (プログラミング言語)
• SpiderMonkey (JavaScript engine)

Data Structures and Algorithms With Javascript (Michael McMillan(著)、O'Reilly Media)のChapter 2(Arrays)、Exercises 4.(No. 1820)を解いてみる。

数学 - 群論 - 写像(全射, 合成写像)

代数系入門
(岩波書店)
松坂 和夫 (著)

学習環境

• 数式入力ソフト(TeX, MathML): MathType
• MathML対応ブラウザ: Firefox、Safari
• MathML非対応ブラウザ(Internet Explorer, Google Chrome...)用JavaScript Library: MathJax

代数系入門 (松坂 和夫(著)、岩波書店)の第2章(群論)、1(写像)、問4.を解いてみる。

数学 – 数学の威力を発揮する - 方程式 – 等式の証明(整数の恒等式)

数学読本〈1〉
数・方程式/方程式/不等式
(岩波書店)
松坂 和夫 (著)

学習環境

• 数式入力ソフト(TeX, MathML): MathType
• MathML対応ブラウザ: Firefox、Safari
• MathML非対応ブラウザ(Internet Explorer, Google Chrome...)用JavaScript Library: MathJax

数学読本〈1〉数・方程式/方程式/不等式 (松坂 和夫(著)、岩波書店)の第3章(数学の威力を発揮する - 方程式)、3.4(等式の証明)、整数の恒等式の問42.を解いてみる。

Scheme - データによる抽象の構築(記号データ(例: 集合の表現(二進木としての集合、釣り合った二進木, 和集合, 共通部分)))

計算機プログラムの構造と解釈[第2版]
(翔泳社)
ハロルド エイブルソン (著) ジュリー サスマン (著)
ジェラルド・ジェイ サスマン (著)
Harold Abelson (原著) Julie Sussman (原著)
Gerald Jay Sussman (原著) 和田 英一 (翻訳)

開発環境

• OS X Yosemite - Apple (OS)
• Emacs(Text Editor)
• Scheme (プログラミング言語)
• kscheme, Gauche (処理系)

計算機プログラムの構造と解釈[第2版](ハロルド エイブルソン (著)、ジュリー サスマン (著)、ジェラルド・ジェイ サスマン (著)、Harold Abelson (原著)、Julie Sussman (原著)、Gerald Jay Sussman (原著)、和田 英一 (翻訳)、翔泳社、原書: Structure and Interpretation of Computer Programs (MIT Electrical Engineering and Computer Science)(SICP))の2(データによる抽象の構築)、2.3(記号データ)、2.3.3(例: 集合の表現)、問題2.65.を解いてみる。

その他参考書籍

• Instructor's Manual to Accompany Structure & Interpretation of Computer Programs
• プログラミングGauche (Kahuaプロジェクト (著), 川合 史朗 (監修), オライリージャパン)
• Scheme手習い

英語 - Number of prisoners across Australia rising at unprecedented, unsustainable level - 7.30 28/05/2015 英語は絶対、勉強するな!

Advanced Learner's
English Dictionary with CD-ROM
Collins Cobuild (編集)

参考書籍

1. 英語は絶対、勉強するな!―学校行かない・お金かけない・だけどペラペラ 鄭 讃容 (著, 原著), 金 淳鎬 (原著, 翻訳)

JavaScript - Arrays(two-dimensional array, for loop, nesting)

Data Structures and Algorithms With Javascript
(O'Reilly Media)
Michael McMillan(著)

開発環境

• OS X Yosemite - Apple (OS)
• Emacs (Text Editor)
• JavaScript (プログラミング言語)
• SpiderMonkey (JavaScript engine)

Data Structures and Algorithms With Javascript (Michael McMillan(著)、O'Reilly Media)のChapter 2(Arrays)、Exercises 3.(No. 1820)を解いてみる。

数学 - 群論 - 写像(像と逆像, 包含関係, 全射, 等号)

代数系入門
(岩波書店)
松坂 和夫 (著)

学習環境

• 数式入力ソフト(TeX, MathML): MathType
• MathML対応ブラウザ: Firefox、Safari
• MathML非対応ブラウザ(Internet Explorer, Google Chrome...)用JavaScript Library: MathJax

代数系入門 (松坂 和夫(著)、岩波書店)の第2章(群論)、1(写像)、問3.を解いてみる。

Scheme - C言語による Scheme の interpreter (kscheme) - (除算の商(quotient 手続き)と剰余(remainder 手続き), リストの長さ(length 手続き))

開発環境

• OS X Yosemite - Apple, Ubuntu (OS)
• Emacs (CUI)、BBEdit - Bare Bones Software, Inc. (GUI) (Text Editor)
• C (プログラミング言語)
• Clang/LLVM (コンパイラ, Xcode - Apple)

Schemeの処理系(解釈系、評価器、レジスタ計算機を翻訳した命令列中心のより、もう少しC言語の特性を使った書き方をしたもの(label, gotoではなく、関数を呼び出すとか))を少しずつ書き進めてめていくことに。

SICPで必要になった, 除算の商を得る quotient 手続き、リストの長さを得る length 手続き、また、除算の剰余を得る remainder 手続き等を追加、実装。(GMPを利用)

参考書籍等

• 計算機プログラムの構造と解釈[第2版]
• Structure and Interpretation of Computer Programs (原書)
• R7RSHomePage – Scheme Working Groups
• Head First C ―頭とからだで覚えるCの基本
• 21st Century C: C Tips from the New School
• プログラミング言語C 第2版 ANSI規格準拠
• プログラミング言語Cアンサー・ブック 第2版
• C実践プログラミング 第3版

Scheme - データによる抽象の構築(記号データ(例: 集合の表現(二進木としての集合、順序付けられたリストを釣り合っている二進木へ変換, 補助手続き, ステップ数)))

計算機プログラムの構造と解釈[第2版]
(翔泳社)
ハロルド エイブルソン (著) ジュリー サスマン (著)
ジェラルド・ジェイ サスマン (著)
Harold Abelson (原著) Julie Sussman (原著)
Gerald Jay Sussman (原著) 和田 英一 (翻訳)

開発環境

• OS X Yosemite - Apple (OS)
• Emacs(Text Editor)
• Scheme (プログラミング言語)
• kscheme, Gauche (処理系)

計算機プログラムの構造と解釈[第2版](ハロルド エイブルソン (著)、ジュリー サスマン (著)、ジェラルド・ジェイ サスマン (著)、Harold Abelson (原著)、Julie Sussman (原著)、Gerald Jay Sussman (原著)、和田 英一 (翻訳)、翔泳社、原書: Structure and Interpretation of Computer Programs (MIT Electrical Engineering and Computer Science)(SICP))の2(データによる抽象の構築)、2.3(記号データ)、2.3.3(例: 集合の表現)、問題2.64-a, b.を解いてみる。

その他参考書籍

• Instructor's Manual to Accompany Structure & Interpretation of Computer Programs
• プログラミングGauche (Kahuaプロジェクト (著), 川合 史朗 (監修), オライリージャパン)
• Scheme手習い

英語 - Is it cricket? An Aussie named new England coach - 7.30 27/05/2015 英語は絶対、勉強するな!

Advanced Learner's
English Dictionary with CD-ROM
Collins Cobuild (編集)

参考書籍

1. 英語は絶対、勉強するな!―学校行かない・お金かけない・だけどペラペラ 鄭 讃容 (著, 原著), 金 淳鎬 (原著, 翻訳)

JavaScript - Arrays(for loop)

Data Structures and Algorithms With Javascript
(O'Reilly Media)
Michael McMillan(著)

開発環境

• OS X Yosemite - Apple (OS)
• Emacs (Text Editor)
• JavaScript (プログラミング言語)
• SpiderMonkey (JavaScript engine)

Data Structures and Algorithms With Javascript (Michael McMillan(著)、O'Reilly Media)のChapter 2(Arrays)、Exercises 2.(No. 1820)を解いてみる。

数学 - 群論 - 写像(像と逆像, 共通部分, 包含関係, 単射, 等号)

代数系入門
(岩波書店)
松坂 和夫 (著)

学習環境

• 数式入力ソフト(TeX, MathML): MathType
• MathML対応ブラウザ: Firefox、Safari
• MathML非対応ブラウザ(Internet Explorer, Google Chrome...)用JavaScript Library: MathJax

代数系入門 (松坂 和夫(著)、岩波書店)の第2章(群論)、1(写像)、問2.を解いてみる。

数学 – 数学の威力を発揮する - 方程式 – 等式の証明(恒等式)

数学読本〈1〉
数・方程式/方程式/不等式
(岩波書店)
松坂 和夫 (著)

学習環境

• 数式入力ソフト(TeX, MathML): MathType
• MathML対応ブラウザ: Firefox、Safari
• MathML非対応ブラウザ(Internet Explorer, Google Chrome...)用JavaScript Library: MathJax

数学読本〈1〉数・方程式/方程式/不等式 (松坂 和夫(著)、岩波書店)の第3章(数学の威力を発揮する - 方程式)、3.4(等式の証明)、恒等式の問41.を解いてみる。

Oz - 一般的計算モデル(宣言的並列性(スレッドのスケジューリング))

コンピュータプログラミングの概念・技法・モデル
(IT Architect' Archive
クラシックモダン・コンピューティング6)
(IT Architects’Archive CLASSIC MODER)
(翔泳社)
セイフ・ハリディ (著), ピーター・ヴァン・ロイ (著)
Peter Van-Roy (著), Seif Haridi (著), 羽永 洋 (翻訳)
原書: Concepts, Techniques,
and Models of Computer Programming

開発環境

• OS X Yosemite - Apple, Microsoft Windows 8.1 Pro (OS)
• Emacs (Text Editor)
• Oz (プログラミング言語)
• Mozartプログラミングシステム(Mozart 2) (実装)

コンピュータプログラミングの概念・技法・モデル(IT Architect' Archiveクラシックモダン・コンピューティング6) (IT Architects’Archive CLASSIC MODER)(セイフ・ハリディ (著)、ピーター・ヴァン・ロイ (著)、Peter Van-Roy (著)、 Seif Haridi (著)、羽永 洋　(翻訳)、翔泳社、原書: Concepts, Techniques, and Models of Computer Programming(CTM))の第部(一般的計算モデル)、第4章(宣言的並列性)、4.11(練習問題)、6.(スレッドのスケジューリング)を解いてみる。

C - プロセスとシステムサービス: 限界を超える(システムサービス, 外部スクリプトの実行, execle関数, 環境変数)

Head First C ―頭とからだで覚えるCの基本
(オライリージャパン)
David Griffiths (著) Dawn Griffiths (著)
中田 秀基(監訳)(翻訳) 木下 哲也 (翻訳)

開発環境

• OS X Yosemite - Apple (OS)
• Emacs (CUI)、BBEdit - Bare Bones Software, Inc. (GUI) (Text Editor)
• C (プログラミング言語)
• LLVM/Clang (コンパイラ, Xcode - Apple)

Head First C ―頭とからだで覚えるCの基本(David Griffiths (著)、Dawn Griffiths (著) 中田 秀基(監訳)(翻訳)、木下 哲也 (翻訳)、オライリージャパン)の9章(プロセスとシステムサービス: 限界を超える)、エクササイズ(p.417)を解いてみる。

その他参考書籍

• 21st Century C: C Tips from the New School
• プログラミング言語C 第2版 ANSI規格準拠 (B.W. カーニハン D.M. リッチー (著)、 石田 晴久 (翻訳)、共立出版)
• プログラミング言語Cアンサー・ブック 第2版 (クロビス・L．トンド、スコット・E．ギンペル(著)、矢吹 道郎(翻訳))
• C実践プログラミング 第3版 (Steve Oualline (著)、 望月 康司 (監訳) (翻訳)、 谷口 功 (翻訳)、 オライリージャパン)

Scheme - データによる抽象の構築(記号データ(例: 集合の表現(二進木としての集合、二進木をリストに変換, ステップ数, 増加の程度, 再帰的プロセス, 反復的プロセス, 釣り合い)))

計算機プログラムの構造と解釈[第2版]
(翔泳社)
ハロルド エイブルソン (著) ジュリー サスマン (著)
ジェラルド・ジェイ サスマン (著)
Harold Abelson (原著) Julie Sussman (原著)
Gerald Jay Sussman (原著) 和田 英一 (翻訳)

開発環境

• OS X Yosemite - Apple (OS)
• Emacs(Text Editor)
• Scheme (プログラミング言語)
• kscheme, Gauche (処理系)

計算機プログラムの構造と解釈[第2版](ハロルド エイブルソン (著)、ジュリー サスマン (著)、ジェラルド・ジェイ サスマン (著)、Harold Abelson (原著)、Julie Sussman (原著)、Gerald Jay Sussman (原著)、和田 英一 (翻訳)、翔泳社、原書: Structure and Interpretation of Computer Programs (MIT Electrical Engineering and Computer Science)(SICP))の2(データによる抽象の構築)、2.3(記号データ)、2.3.3(例: 集合の表現)、問題2.63-a, b.を解いてみる。

その他参考書籍

• Instructor's Manual to Accompany Structure & Interpretation of Computer Programs
• プログラミングGauche (Kahuaプロジェクト (著), 川合 史朗 (監修), オライリージャパン)
• Scheme手習い

英語 - Queen of Australian musical theatre Caroline O'Connor explains why late success made her - 7.30 26/05/2015 英語は絶対、勉強するな!

Advanced Learner's
English Dictionary with CD-ROM
Collins Cobuild (編集)

参考書籍

1. 英語は絶対、勉強するな!―学校行かない・お金かけない・だけどペラペラ 鄭 讃容 (著, 原著), 金 淳鎬 (原著, 翻訳)

数学 - 群論 - 写像(像と逆像, 包含関係)

代数系入門
(岩波書店)
松坂 和夫 (著)

学習環境

• 数式入力ソフト(TeX, MathML): MathType
• MathML対応ブラウザ: Firefox、Safari
• MathML非対応ブラウザ(Internet Explorer, Google Chrome...)用JavaScript Library: MathJax

代数系入門 (松坂 和夫(著)、岩波書店)の第2章(群論)、1(写像)、問1-d.を解いてみる。

JavaScript - Arrays(Objects, functions)

Data Structures and Algorithms With Javascript
(O'Reilly Media)
Michael McMillan(著)

開発環境

• OS X Yosemite - Apple (OS)
• Emacs (Text Editor)
• JavaScript (プログラミング言語)
• SpiderMonkey (JavaScript engine)

Data Structures and Algorithms With Javascript (Michael McMillan(著)、O'Reilly Media)のChapter 2(Arrays)、Exercises 1.(No. 1820)を解いてみる。

数学 - 群論 - 写像(像と逆像)

代数系入門
(岩波書店)
松坂 和夫 (著)

学習環境

• 数式入力ソフト(TeX, MathML): MathType
• MathML対応ブラウザ: Firefox、Safari
• MathML非対応ブラウザ(Internet Explorer, Google Chrome...)用JavaScript Library: MathJax

代数系入門 (松坂 和夫(著)、岩波書店)の第2章(群論)、1(写像)、問1-c.を解いてみる。

数学 – 数学の威力を発揮する - 方程式 – 高次方程式(3元以上の連立2次方程式)

数学読本〈1〉
数・方程式/方程式/不等式
(岩波書店)
松坂 和夫 (著)

学習環境

• 数式入力ソフト(TeX, MathML): MathType
• MathML対応ブラウザ: Firefox、Safari
• MathML非対応ブラウザ(Internet Explorer, Google Chrome...)用JavaScript Library: MathJax

数学読本〈1〉数・方程式/方程式/不等式 (松坂 和夫(著)、岩波書店)の第3章(数学の威力を発揮する - 方程式)、3.3(高次方程式)、連立2次方程式の問38.を解いてみる。

Oz - 一般的計算モデル(宣言的並列性(順序一定並列性))

コンピュータプログラミングの概念・技法・モデル
(IT Architect' Archive
クラシックモダン・コンピューティング6)
(IT Architects’Archive CLASSIC MODER)
(翔泳社)
セイフ・ハリディ (著), ピーター・ヴァン・ロイ (著)
Peter Van-Roy (著), Seif Haridi (著), 羽永 洋 (翻訳)
原書: Concepts, Techniques,
and Models of Computer Programming

開発環境

• OS X Yosemite - Apple, Microsoft Windows 8.1 Pro (OS)
• Emacs (Text Editor)
• Oz (プログラミング言語)
• Mozartプログラミングシステム(Mozart 2) (実装)

コンピュータプログラミングの概念・技法・モデル(IT Architect' Archiveクラシックモダン・コンピューティング6) (IT Architects’Archive CLASSIC MODER)(セイフ・ハリディ (著)、ピーター・ヴァン・ロイ (著)、Peter Van-Roy (著)、 Seif Haridi (著)、羽永 洋　(翻訳)、翔泳社、原書: Concepts, Techniques, and Models of Computer Programming(CTM))の第部(一般的計算モデル)、第4章(宣言的並列性)、4.11(練習問題)、4.(順序一定並列性)を解いてみる。

C - プロセスとシステムサービス: 限界を超える(失敗, エラー番号(errno), エラーメッセージ(strerror 関数))

Head First C ―頭とからだで覚えるCの基本
(オライリージャパン)
David Griffiths (著) Dawn Griffiths (著)
中田 秀基(監訳)(翻訳) 木下 哲也 (翻訳)

開発環境

• OS X Yosemite - Apple (OS)
• Emacs (CUI)、BBEdit - Bare Bones Software, Inc. (GUI) (Text Editor)
• C (プログラミング言語)
• LLVM/Clang (コンパイラ, Xcode - Apple)

Head First C ―頭とからだで覚えるCの基本(David Griffiths (著)、Dawn Griffiths (著) 中田 秀基(監訳)(翻訳)、木下 哲也 (翻訳)、オライリージャパン)の9章(プロセスとシステムサービス: 限界を超える)、エクササイズ(p.409)を解いてみる。

その他参考書籍

• 21st Century C: C Tips from the New School
• プログラミング言語C 第2版 ANSI規格準拠 (B.W. カーニハン D.M. リッチー (著)、 石田 晴久 (翻訳)、共立出版)
• プログラミング言語Cアンサー・ブック 第2版 (クロビス・L．トンド、スコット・E．ギンペル(著)、矢吹 道郎(翻訳))
• C実践プログラミング 第3版 (Steve Oualline (著)、 望月 康司 (監訳) (翻訳)、 谷口 功 (翻訳)、 オライリージャパン)