識者のご教示を乞う：専修大学生田キャンパス

向ケ丘遊園と生田。生田キャンパス９号館にいくにはどっちの駅のほうが近いですか。

日課：統計

Exercise S

本日は2-3「平均・偏差・分散」。

■メモ

偏差：平均値との差
分散の定義式 $s^2 = \frac1{(n-1)}{S} = \frac1{(n-1)}{\Bigsum_{i=1}^n (x_i-\bar{x})^2}$ に登場する（n-1）は、偏差の自由度

■メモ２

「偏差の総和」が 0になってないミステリー。

Exercise O

テキスト選定。購入したテキストふたつをざっくりと読み比べ。
二つのうち一つは屑本だったので（泣）、自動的にテキストが確定。

Exercise E

第４章「市場の逆襲」。今日は、競争市場における政府の介入（規制）について勉強したよ。

介入のやり方には、価格統制（上限価格規制／下限価格規制）と数量統制（＝割当）がある。
これらのどれもが──非効率性や違法行為（の惹起）などといった── 予想可能な望ましくない効果 をもたらすよ。
- 非効率性の例：　（消費者への／売り手間での販売機会の）非効率な配分。資源の浪費。非効率に低い／高い品質。
需要-供給曲線モデルを使うと、これらの効果について検討することができるよ。［←本章の主内容］

数量統制（＝割当）についての議論が、そのまま税金についての議論にも使える、というのが面白い。が──価格統制のほうがほぼトリヴィアルな議論であるのと比べて── 数量統制における「割当レント」あたりの議論はちょっと難しかった。ここは明日もう一度読むよ。

噂の翻訳、出たようです。

たまには本も買う。

Exercise L

今日は『論理学をつくる』第４章。タブローの方法をつかって、妥当性・矛盾・トートロジーを機械的に判定するやりかたを勉強したよ。

■メモ

昔から不思議に思ってたんだが、なぜフランス語ですか。＞識者

ほんとは table って言いたかったんだけど、既に予約語になってたから。　......というわけじゃないよな？

スマリヤンの『First-order Logic』をみると──「ヒンティカのタブロー法」という表現が前書きに出てくるので──ヒンティカがすでに「タブロー」という言葉を使っていた、と言っているように読める。でもヒンティカはフィンランド人──フォン・ヴリクトの弟子──だし。

15頁には「ベスやヒンティカのタブロー法」という表現が。あがっている文献は、

Beth, E.W. The foundations of Mathematics. North Holland 1959.　http://books.google.co.jp/books?id=A9JLAAAAMAAJ
Hintikka, K. J. J. Form and content in quantification theory. Acta Philosochica Fennica. 8, 7-55 (1955)

本日は北欧な一日であった。