専門書を読む #20

■コンピュータの数学 5 二項係数 pp.51-59

専門書を買う

Prologへの入門(PrologとAI)
プログラミングコンテストチャレンジブック

専門書を買う

Prologの技芸

専門書を買う

物理学とは何だろうか
コンパイラ (新コンピュータサイエンス講座)

専門書を読む #19

・Prologの技芸
第8章まで

専門書を読む #18

・アルゴリズムイントロダクション
第12章まで

専門書を読む #17

ここ最近の記録．
・アルゴリズムイントロダクション第1巻
第11章まで
・Prologの技芸
3.5節まで

専門書を読む #16

プログラミングのための線形代数
~p147

専門書を読む #15

最近溜めていたので更新．

プログラミングのための線形代数
~p57

専門書を読む #14

集合・位相入門
~p69

ちまちまと．

専門書を読む #13

集合・位相入門
~p65

専門書を読む #12

集合・位相入門
~p62

能動的なノードの濃度．

専門書を読む #11

集合・位相入門
~p60

やっと集合の濃度に入ります．

専門書を読む #10

集合・位相入門

~p55

専門書を読む #9

集合・位相入門
~p48

進みませんねぇ．

専門書を読む #8

集合・位相入門
p39

p40~の問題が非常に多いです．

専門書を読む #7

集合・位相入門
p37

中々残念な状態です．

専門書を読む #6

今月中にどこまで進むでしょうか．

集合・位相入門
p34

只今写像合成中…．

専門書を読む #5

こんばんは，中々進みません．

集合・位相入門
現在p25

演習問題を終え，'対応`にまで来ました．
この先の演習問題もやけに量が多いので大変です．

専門書を読む #4

こんばんは，なかなか思うように進みませんが，報告．

集合・位相入門
p19~p21

再読です．
（・∀・）←これの真ん中

∀x∃y(p(x,y))
と
∃y∀x(p(x,y))
とは，意味が違うです．

前者は，xに応じて，yが変わってもいい．
後者は，まずyが1つ存在して，そのyと全てのxについてp(x,y)が成立するという意味．

例えば，
∀x∈R ∃y∈R (x+y=0)
（このとき，xに対しy=-x）

∃y∈R ∀x∈R (x*y=0)
（このとき，y=0．xがどんな実数でも，x・0=0だから）

と，こんなもんです．