https://github.com/alstamber/habomai_morph/blob/master/result.txt
論理学 - Wikipedia
論理学（ろんりがく、英: logic、ロジック）とは、「論理」を成り立たせる論証の構成やその体系を研究する学問である。 現代においては、アリストテレス的な論理学#伝統的論理学、古典論理学、直観主義の論理学などに分かれており、古典論理以降は数理論理学として扱われる。これ以外に、応用分野で多岐に分類されている（ファジィ論理など） 概要[編集] ここでいう論理とは、思考の形式及び法則である。これに加えて、思考のつながり、推理の仕方や論証のつながりを指す。よく言われる「論理的に話す、書く」という言葉は、つながりを明確にし、論証を過不足なく行うということである。 論理学は、伝統的には哲学の一分野である[1]。数学的演算の導入により、数理論理学（記号論理学）という分野ができた。現在では、数理論理学は数学と論理学のどちらかであると（時にどちらでもないと）される。現在の論理学は、（それを論理学であるとする
カミナギ／ハヅキ - 人工無能 - うさだBlog / ls@usada's Workshop
# およそ1時間に1回程度喋ります。内容は各サービスごとにバラバラです。いくつかのモデルはReplyを送ると反応します。 形態素解析エンジンはMecabを使用。開発言語はPHP。データベースはMySQL。 - カミナギ（神無） / Kaminagi 01 http://h.hatena.ne.jp/kaminagi/ http://twitter.com/kaminagi/ http://wassr.jp/user/kaminagi カオス担当。 - ハヅキ（葉月）/ Hadzuki 02 http://h.hatena.ne.jp/ha_dzu_ki/ http://twitter.com/hadzuki/ http://wassr.jp/user/hadzuki 実務担当。 - Undecimber 13 http://h.hatena.ne.jp/undecimber/ メンヘル担当
チューリング完全 - Wikipedia
チューリング完全（チューリングかんぜん、英語: Turing-complete）とは、計算理論において、ある計算のメカニズムが万能チューリングマシンと同じ計算能力をもつとき、その計算モデルはチューリング完全あるいは計算完備であるという。 チャーチ＝チューリングのテーゼによれば「計算可能関数」は、それを計算しようとする計算モデルがチューリング完全であれば計算できる。 一般的なプログラミング言語の背景にある計算モデルの多くはチューリング完全である。一見単純な機能しか持たない言語がチューリング完全な例としては、Lazy K、Brainfuckなどがある。究極的に単純な計算モデルとしては「ウルフラムの2状態3記号チューリングマシン（英語版）がチューリング完全であると証明されている。 チューリング完全かどうかという事は、計算可能性理論の問題である。計算複雑性の分野の問題である時間や記憶容量の消費量に
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
