2ちゃんねる管理人で、株式会社二ワンゴ取締役の西村 博之(ひろゆき)さんよりご意見をいただきました。 以下、全文を掲載いたします。 ・企業としての「ライブドア」について 他の企業と同じことをしている限りは、他の企業と同じようにしか成長できないものです。 今までの会社ががやらないようなことをやることで、今までの会社とは違う成長カーブが描けたりします。 そんなわけで、世間の大人の人たちからは眉を顰められることも多かったんじゃないかと思います。 ・「ライブドア事件」について 東証の判断も含めて、世間ではライブドアは有罪という判断が下されているみたいですが、実際に何をしたことでどういう法律に触れたのかというのを具体的に説明できる人ってどれくらいいるんでしょうか? 印象で物事を決め付けてしまうのは、「なんだかわからないけど、ライブドアってすごい」って持ち上げてた人たちと変わらないような気がします。
... レーヴェンハイム・スコーレムの定理により、 そもそも何らかのモデルが存在するならばその加算モデルが存在する と確信できること、は確かにその通りである。 しかしそのような加算モデルが存在すると信じる直接的理由を、 我々はもたないままである。 なぜ我々がそれらの公理系の無矛盾性、充足可能性を確信するのかと言えば、 その公理系が当初記述しようとしていた非加算モデルが明瞭だ と思われるからなのである。 マイケル・ダメット「プラトニズム」 「意図されなかった」解釈 -- たとえば、非可算と「想定されていた」集合が、 そのなかでは「実際には」可算であるようなモデル -- の存在の意義について、 ある点までは論者のあいだの一致がある。 こうしたモデルの存在が示すことは 「意図された」解釈、もしくはある人々の好む表現では「集合の直観的概念」、 が形式的体系によっては「捉え」られないということだとい
ライブドア<>子会社で中古車買い取り・販売のライブドアオート<>は7日、2006年3月期通期の連結業績予想を下方修正した。 売上高は前回予想より12.8%減の393億4000万円、経常損益は14億2000万円の赤字(前回予想は6億7000万円の赤字)と見込んでいる。ライブドアグループをめぐる証券取引法違反事件の影響で、テレビCMなど広告宣伝の自粛などで顧客数が激減、ブランドイメージの悪化に伴い成約率が低下し、赤字幅が拡大した。 また、システムの更新や、1月付で実施した「ジャックホールディングス」からの社名変更に関連する経費など4億円の費用計上が見込まれることから、最終損益予想は32億2000円の赤字(前回予想は21億2000万円の赤字)とした。【了】
February 24, 2006 21:47 カテゴリ 50ナレバックキャンペーン Posted by knowledge_staff No Trackbacks Tweet いつもlivedoorKnowledgeをご利用いただきありがとうございます。 本日は、たくさんの機能を搭載してみました。 ■50ナレバックキャンペーン 色々あるのですが、まずは50ナレバックキャンペーンを開始しました。 質問した時に質問者へ50ナレをlivedoorからバックします。 この機会に、たくさんの質問を投げてみてください。 ※期間は今のところ設けておりませんが、しばらく様子を見て 判断させていただければと思います。 ※ナレについては今後とも調整していく予定ですので、場合によって ポイントや獲得方法などが変更になる場合があります。 ■ナレ履歴の更新 マイページのナレ履歴に、ベター回答とベスト回答をもらった
米Microsoftのユーザー認証サービスPassportは、オンラインソフトウェアサービスWindows Liveの1つとしてメジャーアップグレードが進められている。 この計画は、Passportの名称をWindows Live IDに変更し、Windows Live、Office Live、Xbox Live、MSNなど、Microsoftの各種オンラインサービス向けの認証システムとして機能させるというもの。 MicrosoftのWindows Live Identity Servicesチームのプログラムマネジャー、トレビン・チョウ氏によるブログの書き込みによれば、現行のPassportの実装は新しいWindows Live IDと互換性を持つことになる。 Microsoftは1999年、個人情報を保管できるワンストップショップを構築し、ショッピングやコンテンツへのアクセスなど、各種
2012年12月3日をもちまして、livedoor ナレッジのサービスは終了いたしました。 livedoor ナレッジを長年ご愛顧いただきまして、誠にありがとうございました。 今後ともLINE株式会社のサービスをよろしくお願いいたします。
仙台ロジック倶楽部 数学基礎論と消えたパラドックス 数学セミナー93年8月号より はじめに ヒルベルトの提起した23問題の筆頭である連続体仮説の独立性をコーエンが証明してからちょうど30年になる.集合論の研究者たちはよく冗談に“コーエン以前”をB.C. (Before Cohen の意)といい、ゲーデル (Goedel) を B.C. の神 (God) であるといったりするが、1960 年代には数学基礎論の各分野でこのような大事件が起きており、まさに基礎論全体の変革期であった. 60年代革命の激しさは、その教科書の変化によく現われている.古き良き時代の教科書(例、文献[1])にはパラドックスから数学基礎論の誕生に至る歴史が悠然と述べられていたが、革命後のもの(例、文献[2])にはパラドックスのパの字の解説もなく、それはもはや禁句になった感すらある.(残念ながら日本では今もB.C. 時代のイ
このドメインは お名前.com から取得されました。 お名前.com は GMOインターネットグループ(株) が運営する国内シェアNo.1のドメイン登録サービスです。 ※表示価格は、全て税込です。 ※サービス品質維持のため、一時的に対象となる料金へ一定割合の「サービス維持調整費」を加算させていただきます。
åäWbNäy qxgÌvO wwZ~i[x2000N 2 æè @@@ßÉLª Á½D@qxg ODqxgÌvOgoÆÍ @PXQONãCwÌ qxgÍCLÌ¢Eɨ¢Äw»ÌàÌÌÍ^C ¡É¢¤Æo[`Èwðn¢µå¤ÆéĽD ÇñÈwÌïâàCL¢EÌwÍ^Ée³¹êÎCLÀÌg¹âèÉÈéD »¤·êÎCñ¾ ªÙ®êéæ¤ÉC
「ゲーデル」 竹内外史著 日本評論社 1998年(新版) この本には思い出話と,ここに挙げたヒルベルト・プログラムに対する解説が含まれている。インフォーマルな解説としては秀逸。 『証明論入門』 竹内外史,八杉満利子共著 共立出版 1988 日本語で読める数少ない証明論の本。この本は完全性定理,不完全性定理は解説されていないが,ヒルベルト以来の証明論の成果がある程度収められた貴重な本。ゲンツェンが証明した一階述語論理のカット消去定理,ゲンツェンの自然数論の無矛盾性証明,ゲーデルの自然数論の無矛盾性の体系Tのそれへの帰着(いわゆる「ディアレクティカ解釈」),より現代的な二階の証明論(実数論など)の導入など,証明論を勉強する上で欠かせない定理が収められている。理論整然としてコンパクトなので読むのは少し大変かもしれない。さらに進んだ本としては最後に挙げる同じ著者の本がよい。 Hilbert's P
このサイトは、『初心者でも安心なレンタルサーバー。200MBで263円から。CGI・SSI・PHPが使えます。』という、ロリポップ!レンタルサーバーを利用させていただいていますが、契約してから2ヶ月が経過しました。 利用させていただいた印象を記録しておきます。 ●引越し前のこと 以前のレンタルサーバーの契約をしたのは2003年8月で、月々の基本使用量は\1000。これにいくつかオプションを付け消費税込みで\2100でした。サーバ容量は50Mで転送量無制限、telnetを使えるというのに魅力を感じて決めました。 実際に利用してみたところ、Web関連ではそれほど不満はなかったのですが、メールで大きな問題がありました。 送信者または受信者のいずれかのメーラがOutlook Expressのときに、添付ファイルがかなりの確率で壊れてしまうのです。 これについては何度か問い合わせをしましたが、結局M
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く