放浪猫さんの読書日記[公開中]

2014年06月09日
ゲーデルと20世紀の論理学(ロジック)〈2〉完全性定理とモデル理論を50ページまで読みました。
命題論理のタブロー規則
2014/06/09 23:57:37
2014年06月04日
ゲーデルと20世紀の論理学(ロジック)〈2〉完全性定理とモデル理論を32ページまで読みました。
1階述語論理の完全性定理の証明
2014/06/04 22:14:00
2014年06月03日
ゲーデルと20世紀の論理学(ロジック)〈1〉ゲーデルの20世紀を46ページまで読みました。
ブールからゲーデルまで。挿絵で見る限りデデキントとヒルベルトは似ている。
2014/06/03 01:29:09
2014年05月28日
プログラム意味論 (情報数学講座)を38ページまで読みました。
とりあえずラムダ計算の基礎を流し読み。推論規則の記法に馴染みがない。
2014/05/28 23:25:28
2013年11月09日
日本の“地霊”(ゲニウス・ロキ) (講談社現代新書)を27ページまで読みました。
2013/11/09 11:10:09
日本の“地霊”(ゲニウス・ロキ) (講談社現代新書)を27ページまで読みました。
国会議事堂の意匠と伊藤博文の関係について
2013/11/09 11:09:49
2013年07月20日
時間と自由 (イデー選書)を22ページまで読みました。
外延的なものと内包的なもの
2013/07/20 01:34:02
2013年07月08日
暇と退屈の倫理学を読み終えました。
2013/07/08 23:39:11
2013年07月03日
暇と退屈の倫理学を284ページまで読みました。
2013/07/03 23:30:23
2013年06月29日
暇と退屈の倫理学を97ページまで読みました。
定住革命について。定住生活により退屈が生まれた。
2013/06/29 02:07:01
2013年06月26日
暇と退屈の倫理学を76ページまで読みました。
ラッセルの結論「幸福であるとは熱意をもった生活を送れること」
2013/06/26 01:36:18
2013年06月22日
絵地図の世界像 (岩波新書)を50ページまで読みました。
2013/06/22 03:06:55
絵地図の世界像 (岩波新書)を50ページまで読みました。
中世絵地図に記された羅刹国と雁道の由来について
2013/06/22 03:06:45
絵地図の世界像 (岩波新書)を50ページまで読みました。
中世絵地図に記された羅刹国と雁道の由来について
2013/06/22 03:06:22
絵地図の世界像 (岩波新書)を50ページまで読みました。
中世絵地図に記された羅刹国と雁道の由来について
2013/06/22 03:06:08
2013年05月31日
穢れと神国の中世 (講談社選書メチエ)を60ページまで読みました。
とても興味深いテーマ。日本人の深層に埋め込まれた強いmemeの由来について。
2013/05/31 23:01:05
2013年05月12日
代数学1　群論入門 (代数学シリーズ)を59ページまで読みました。
正規部分群と剰余群まで
2013/05/12 00:27:40
2013年04月14日
代数学1　群論入門 (代数学シリーズ)を54ページまで読みました。
ラグランジュの定理を使ってフェルマーの小定理を証明してるんだが１週間以上かかっても解らない所がある。棚上げして先に進む。
2013/04/14 01:08:59
代数学1　群論入門 (代数学シリーズ)を53ページまで読みました。
ラグランジュの定理の証明で選択公理を使った。初めての選択公理。
2013/04/14 01:03:58
2013年03月27日
代数学1　群論入門 (代数学シリーズ)を52ページまで読みました。
同値類と剰余類の定義まで
2013/03/27 01:56:44