ゲーデルと20世紀の論理学 4 集合論とプラトニズム 作者: 田中一之出版社/メーカー: 東京大学出版会発売日: 2007/07/24メディア: 単行本購入: 9人 クリック: 135回この商品を含むブログ (14件) を見る というわけで書評書きます。集合論者としてのバイアスがかかることはご了承ください。 まず最初に言わないといけないことは、「（特に最近の）集合論に興味がある非専門家の人は、自分が日本語を読めることに感謝しつつこの本を読むべきである」ということ。松原先生による第II部は、英語で書かれたものでもここまでのものはないだろうというくらいに、深いところまで簡潔にしかし手を抜かずに書いてあります。この短さの基礎知識を前提としないサーベイに、プレシピタス性とか飽和性とかウディン基数とかの定義が入っているというのはすごいとしか言いようがありません。 その前にある渕野先生による第I部では

ohnosakiko http://d.hatena.ne.jp/ohnosakiko/20070320/1195502271←これにウザいという不快感を示していた記憶がある 2010/12/19 おお、これは懐かしいyuki19762が書いたアレじゃないデスカwww 私も、売春は「恥ずべき行為」「卑しい職業」という刷り込みの中で育ってきた。 ここではないなw 映画や小説で描かれる売春婦を見て少しその認識を改め、「セックス・ワーカー論」や「性の自己決定権」という概念に触れて、また少し考えを改めた。 ここだなwww しかし同時に「女はみな売春婦である」という言葉にも、悲しいが深く同意する。実際に売春している女性のようなリスクを払ってはいないのに。私は分裂している。分裂しながら「なぜ売春婦差別をするのか」について考えてみる。 駄目押しｸｿﾜﾛﾀwww ダメっスよ大野さんwww 芸大での元あああ

dakuryu @dakuryu DotWars の基礎知識。Titleに戻ってHelpを見れば各色のステータスを見ることが出来ます。ただし色は絶対的ではありません。肉眼で緑っぽく見えても水色アイコンの働きしてたりするので最終的には動きで判断。 (#DotWar http://dw.sipo.jp/ ) dakuryu @dakuryu DotWars は水（速攻）、青（足止め）、赤（アンチ水＆攻）、紫（防）から数色選んで配置するのが最強パターン。水色メイン半面＞水色メイン精鋭＞赤メイン半面＞水色メイン半面 の基本的強弱関係がある。　(#DotWar http://dw.sipo.jp/ )

id:AntiSepticはあまりぼくを見損なわない方がいい。消毒するなら相手を選ぶことだな。きみの指摘は大間違いだ。見当違いもはなはだしい。 ぎゃははwww怒った怒ったwwwこれはアレだな、「私が傷ついていないと思ったら大間違いだ」の新バージョンだなwwよっしゃ、それなら輪をかけてdisってやろう、などと思いつつ読み進めていくと、 ぼくが、あのエントリーで実現しようとした真の狙い。 それは、「アフィリエイト」である。 ショーバイです、と切り替えしてきたwww そう来ましたかw ナイスw

私は 子どもは居ないし、未婚だし、 正社員で、好きな仕事をして、週休二日で、残業代も出るし、 両親祖父母は皆健康で長生きで、子どもの手が離れたのに従って家族は仲良くなってきたし、 これまで生きていて一番のんびりしているお幸せな身分だと思いました。

もちろん http://d.hatena.ne.jp/aureliano/20090326/1238077815 元ネタはこちらのエントリな訳ですが、個人的には 「うーむ、もったいない」 などと思ったりします。それは私がコメント欄とコメントというものを結構大事に思っているところがあるからです。ブコメについては未だにどう振る舞ったらいいものか分からないのでこのエントリでは触れませんが。 まず第一に ぼくはいつでも意見はウエルカムだが、それはコメントではなくトラックバックでもらうことを想定している。 という部分が私の考え方と違う部分ですかね。トラックバックは確かに便利な機能だけれども、それでは「トラックバックを飛ばせる人だけ」からしか意見をもらえないじゃない？　という風に思うからです。 実際にWebを使っている人は年々増えているのだろうけど、自分のブログを持っていて、かつ書かれているエントリに

オードリー春日が不遇時代、「K-1」のトライアウト*1に参加していた。 この頃のことを「ゴング格闘技 09年03月号 」のインタビューで振り返っている。 きっかけは『Qさま』の「芸能界潜水選手権」での活躍だった。 そこで「体力系いけるんじゃない？」と事務所の人に言われ、格闘技にも興味がある、とポロッと口にしたのが全ての始まりだった。 「お前、M-1でもR-1でもダメだったら次はK-1しかないだろ！」と断れない語気で迫られ参加することになった。 しかし、会場に足を踏み入れた瞬間、自分が場違いな存在だと気付いた、という。 そこにいたのは、現役のプロ格闘家だったり、格闘技未経験者でもアスリートたちばかりだったのだ。 しかし、そこは「黒魔術」谷川貞治が主催するイベントである。 ある意味当然のごとく準合格という形で合宿に参加することになった。 その事実を相方若林が知ったのは「ラジかる」の芸能ニュース

ライダーマンだと戦闘員から助けられた時なんか恥ずかしいｗｗ 口もと見ちゃうしｗｗ 仮面ライダーにはせめてバイクの外見は改造して欲しい・・・ パワーアームとかで助けにこられたら・・・・もう最悪ｗｗ せめて普通にライドルスティックやリボルケインぐらいは使って欲しい。 常識的に考えて欲しいだけなんです！ 右腕しか改造されてない恥ずかしさとか分かる？ あのね？たとえば特番は10人ぐらいでバダン倒しにとか行くでしょ？ それぞれ大切断とか電ショックとかで戦うわけじゃない？ みんな普通に水木一郎や子門真人や宮内タカユキやISSAが主題歌を歌ってるわけでしょ？ コロムビアゆりかご会だけでほがらかに歌われたら大恥かくでしょうがｗｗ http://anond.hatelabo.jp/20081111000645

「COBOLは現役バリバリだ。“COBOLは化石”などと口にするのはITとエンタープライズシステムが何たるかをわかっていない証拠」。東京海上日動システムズの稲葉茂 取締役 抜本改革推進第1本部長（写真）は“不当な”評価にさらされるCOBOLの評価をこう正した。稲葉取締役は2008年9月4，5日に開催した開発者向けセミナー「XDev2008」で「基幹系インフラを支え続けるCOBOL ～東京海上日動の抜本改革～」と題して講演した。 稲葉取締役がこうした熱いエールを送るのには理由がある。東京海上日動火災が25年ぶりに取り組むシステム全面再構築である「抜本改革」プロジェクトでは，開発言語を多面的に評価した結果，新システムでもCOBOLをビジネスロジックの開発言語として再び採用したためだ。2008年5月に，3年7カ月前に着手した第1次フェーズが終了し，自動車保険システムが新たに生まれ変わった。300