「真」とは，ただの記号．意味はなくて良い．別名 True 又は T 「偽」とは，真ではないこと．別名 False 又は F 「命題」(proposition)とは，真か偽のいずれかである主張 「公理」(axiom)とは，真である決められた命題 「証明」(proof)とは，真とされる命題に推論規則を有限回適用して，別の真の命題を導くこと 「定理」(theorem)とは，公理から証明される命題 「言葉」によって真理に到る方法． 「AはBかCである．」という言葉と，「AはBではない．」という言葉から 「AはCである．」という真実を知ることができるのはなぜかを追求する学問．命題の中に変数を含まない．例えば 「整数x は奇数である。」のような命題は述語論理で扱われる． Hilbertの命題論理公理系 System of axioms ■１．計算に用いる全記号のカタログ(記号倉)の制定 記号倉={命題
Oracleライセンス「SE2」検証 CPUスレッド数制限はどんな仕組みで制御されるのか （2017/7/26） データベース管理システムの運用でトラブルが発生したらどうするか。DBサポートスペシャリストが現場目線の解決Tipsをお届けします。今回は、Oracle SE2の「CPUスレッド数制限」がどんな仕組みで行われるのかを検証します ドメイン参加後、SQL Serverが起動しなくなった （2017/7/24） 本連載では、「SQL Server」で発生するトラブルを「どんな方法で」「どのように」解決していくか、正しい対処のためのノウハウを紹介します。今回は、「ドメイン参加後にSQL Serverが起動しなくなった場合の対処方法」を解説します さらに高度なSQL実行計画の取得」のために理解しておくべきこと （2017/7/21） 日本オラクルのデータベーススペシャリストが「DBAがすぐ
編集部注：「順守」の記述は一般に『遵守』と記されることも多いですが、 ここでは用字用語基準に沿って『順守』としています。ご了承ください。 OSSライセンス順守の第一歩 連載：企業技術者のためのOSSライセンス入門（最終回） 企業として、OSSライセンス違反を犯さないようにするには、どのような手順が必要か、いくつかアドバイスします
＠IT > Insider.NET > 業務アプリInsider > 事例で学ぶWindows Azure実用ポイント > 業務システムでWindows Azureを使うための42の覚え書き 2010年1月4日のWindows Azure正式リリースに伴い、クラウド・プラットフォームWindows Azureに関する話題や実例も、より身近、より具体的になってきた。また、Windows Azure開発に関する情報の公開も活発になってきており、実際に開発を行う機が熟してきた感がある。そういった中で、実際に導入を判断するユーザーサイドに対する説明情報や、事例に関しては不足しており、「実際にどう始めたらよいのか？」「何がこれまでと異なるのか？」と思われている方も少なくないであろう。 そこで本稿では、業務システムをWindows Azureで運用することの可能性や事例および注意事項について説明する。
Perl5でのオブジェクトの基礎を解説したいと思います。 Perlでのオブジェクト指向と言えば、モダンPerl系ではMooseモジュール等なのですが、今回は、あくまでも基礎編です。 Perlで最速にオブジェクトをマスターするには、まず、「リファレンス」と「use宣言」と「bless」の３つが理解できていないとなりません。 なぜかと言うと、Perlでのオブジェクトはblessされたリファレンスなのです。また、Perlでのクラスはモジュールなのです。そのモジュールでの一番の謎は、use宣言なのです。 なので、はじめにこの３つを理解してから、そのあと「オブジェクト」と「オブジェクト指向」について解説していきます。 つまり、以下の順番です。 リファレンスについて use宣言について blessについて Perlでのオブジェクトについて Perlでのオブジェクト指向について ■リファレンスについて
シューカツに染まって自分を見失っていく行くあいつに。自分に自信が持てず身動きの取れないあなたに。自己規定から抜けられないあの人に。視野が広がり、変わることを恐れているあの子に。 人間は変わることができるのか、それともどうあがいても変わることは不可能なのか。そういったことについて僕の考えを書いてみたい。これは決してオリジナルのものではないし、僕自身が完全に習得しているわけでもないが*1、現在の僕が「こうなんじゃないか」と考えるイメージを言語化してここに残すものである。 けだし、性格というものは「変える」「直す」よりも「追加する」という認識で見た方がいい。...これが僕の言いたいことの全てであり、この時点で「ああ、なるほど」と思った人はこれ以降の文章は読む必要はないんじゃないかと思う。 こんてんつ 設問の不完全。 抽象化の必要性とその罠。 「レッテル」デジタル変化の不可能。 性格を追加するとい
運営元のロゴ Copyright © 2007-2024 All Rights Reserved by Gijutsu-Hyoron Co., Ltd. ページ内容の全部あるいは一部を無断で利用することを禁止します。個別にライセンスが設定されている記事等はそのライセンスに従います。
運営元のロゴ Copyright © 2007-2024 All Rights Reserved by Gijutsu-Hyoron Co., Ltd. ページ内容の全部あるいは一部を無断で利用することを禁止します。個別にライセンスが設定されている記事等はそのライセンスに従います。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く