日課:統計

本日は「度数分布」。
離散量および連続量の度数分布それぞれについて平均や分散を計算するやりかたを勉強しました。
http://spreadsheets.google.com/pub?key=pHYfsCXIXZ3TOub_wjLvRKA&output=html&gid=1&single=true

「STDEV」で求めた値とぜんぜん違う(^_^; なにかを決定的に間違えたようです。あしたやり直し。


■リンク

お買いもの:大内『どこまでやったらクビになるか』

本もたまには買う。

どこまでやったらクビになるか―サラリーマンのための労働法入門 (新潮新書)

どこまでやったらクビになるか―サラリーマンのための労働法入門 (新潮新書)

ご唱和ください。

黒木玄復活ッッ!黒木玄復活ッッ!黒木玄復活ッッ!AA略

2008年9月20日 7年ぶりに更新!!! [...] ここ7年で色々ありました。結婚しました。現在約10ヶ月の娘を育てています。

http://www.math.tohoku.ac.jp/~kuroki/index-j.html#new

via econthought

日課:論理

今日は『論理学をつくる』第5章「論理学の対象言語を拡張する」。
述語論理への旅、ステップ1/3。

■メモ

  • 命題関数は個体の集合から命題の集合への関数


■リンク


せっかくなのでド・モルガン則を書いてみる。

\forall x \neg Px \Leftrightarrow \neg \exists xPx  (\forall x \neg Px \Leftrightarrow \neg \exists xPx)
\neg \forall xPx \Leftrightarrow \exists x \neg Px  (\neg \forall xPx \Leftrightarrow \exists x \neg Px)

「Turnstile」は無いのかな? \Turnstile

画像のURIはこんなことになってるんだね:http://d.hatena.ne.jp/cgi-bin/mimetex.cgi?\forall~x~\neg~Px~\Leftrightarrow~\neg~\exists~xPx

涜書:ヒューズ&シャロック『社会研究の哲学』

あすはひさびさに読書会に出ようと思ってます(寝坊しなければ

The Philosophy of Social Research (Longman Social Research Series)

The Philosophy of Social Research (Longman Social Research Series)