論理学では、モーダスポネンスのような形式的に妥当な推論を研究する。 論理学 (ろんりがく、英語: logic) は、正しい推論の研究である。形式論理学および非形式論理学が含まれる。形式論理学は、演繹的に妥当な推論あるいは論理的真理の研究である。論証の議題や内容とは無関係に、論証の構造のみにより、前提からどのように結論が導かれるかを研究する。非形式論理学は、非形式的誤謬、批判的思考、議論学と関わりがある。非形式論理学は自然言語で記述される論証を研究する一方、形式論理学は形式言語を用いる。各形式論理体系は、証明系(英語版)を表現する。論理学は、哲学、数学、計算機科学、言語学を含む多くの分野で中核をなす。 論理学は、前提の集合および結論からなる論証を研究する。論証の例には、前提「今日は日曜日である」および「今日が日曜日であれば、私は働かなくて良い」から結論「私は働かなくて良い」を導くものがある[
可逆ANDゲートの実装例 ビリヤードボール・コンピュータ(英: Billiard-ball computer)は、ボールの力学的な運動を基にした可逆計算モデルである。エドワード・フレドキンとトマソ・トフォリによって1982年に提案された[1]。エレクトロニクスによるコンピュータが電流電圧により情報を伝達し、またいわゆる能動素子[2]を利用して論理演算を行うのに対し、ビリヤードボール・コンピュータでは摩擦のない理想的なビリヤードボールの慣性による等速直線運動と完全弾性衝突による反発が情報を運び論理演算を行う。可逆計算を考察する上で有用なモデルのひとつである。 ビリヤードボール・コンピュータは、摩擦のない理想的なビリヤードボールの慣性による等速直線運動と完全弾性衝突による反発が情報を運び論理演算を行う。 論理回路は次のように構成する。ボールの通る道筋が回路にあたり、回線上の信号はボールがその場
最近、ゲーム界隈ではプロシージャルテクスチャー生成だとか、プロシージャルマップ生成だとか、手続き的にゲーム上で必要なデータを生成してしまおうというのが流行りであるが、その起源はどこにあるのだろうか。 メガデモでは初期のころから少ないデータでなるべくど派手な演出をするためにプロシージャルな生成は活用されてきたが、ゲームの世界でプロシージャル生成が初めて導入されたのは、もしかするとドルアーガの塔(1984年/ナムコ)の迷路の自動生成かも知れない。 なぜ私が迷路のことを突然思い出したのかと言うと、最近、Twitterで「30年前、父が7年と数ヶ月の歳月をかけて描いたA1サイズの迷路を、誰かゴールさせませんか。」というツイートが話題になっていたからである。 この迷路を見て「ああ、俺様も迷路のことを書かねば!俺様しか知らない(?)自動迷路生成のことを後世に書き残さねば!」と誰も求めちゃいない使命感が
2020年8月31日(月)をもちまして、nanapiに関わるすべてのサービスは終了いたしました。 nanapiは、2009年のサービス開始より「みんなで作る暮らしのレシピ」という考えのもと、ユーザーの皆さまに生活に関する様々な「ハウツー」を投稿していただく投稿型ハウツーサービスとして運営してまいりました。 約11年間にわたって皆さまからご支援をいただきサービスを継続できたこと、nanapi編集部一同、心より御礼申し上げます。 掲載されていたコンテンツなどのnanapiについてのお問い合わせは、nanapi@supership.jp までお願いいたします。 長きに渡りnanapiを応援してくださり、本当にありがとうございました。
知ってる? クレジットカード番号の意味と暗算認証術2011.01.24 12:0029,016 satomi 暗算で偽造カード見分けられるなんて...知らなかった! 毎日のように使うクレジットカード。丸暗記して時間セーブしてる人も、あの数字16桁の意味までは知らないんじゃ? 16個の数字にはそれぞれ意味があるんですよ。米国で人気のオンライン資産管理サービス「Mint」がズバリ図解してくれました! (図の訳) 1)最初の1桁:主要産業識別子 (MII:Major industry identifier)。カード発行者の業界を表します。 0 予備 1、2 航空 3 旅行・娯楽 4、5 銀行・金融 6 商品輸送・銀行 7 石油 8 通信 9 国ごとの割り当て分 2)MIIを含む最初6桁:発行者識別番号(IIN:Issuer Identifier Number)。カード発行者の身元を表します。 [
↓こちらに続編あります↓ 論争に絶対負けない議論ハック(心構え編) - 女教師ブログ ====== 常々「ダメな論証方法」に関する話が好きで、自分でも色々考えたりしていたのだけれど、先日、ウィキペディアでまさにそれがリスト化されているページを見つけ、とても嬉しくなってしまった。誤謬 - WikipediaList of fallacies - Wikipedia, the free encyclopediaというわけで、以下は、wikiのページから13個の「間違った論証方法」を抜粋・再構成して、勝手に自分で例を考えてみたものです。こういうのを俗に、人の海パンで水泳をする、と言うんですね。 論理ルールの違反1. 後件肯定: 「PならばQだ」という論理を改変し、逆に「Qだ」から出発して「Pだ」を導く 例「瀧沢の彼女・奈々子は『もし浮気したら、別れるから!』と言っていた。最近、彼らは別れたらしい
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く