進化的プログラミング - Wikipedia
進化的プログラミング（しんかてきプログラミング、Evolutionary Programming）は、4つの主要な進化的アルゴリズム方法論の1つである。 人工知能の生成を意図した学習過程として、シミュレーションされた進化を使った Lawrence J. Fogel が1960年に最初に使った用語である。Fogel は予測機として有限状態機械を使い、それを発展させた。 その後、彼の息子の David B. Fogelにより実数関数の最適化問題を探索する手法に拡張され、進化的戦略と類似した方法に発展した。 進化的プログラミングの中心となるのは突然変異である。親ベクトルに対してランダムな変化を加えて子ベクトルを生成し、それらを評価して、ランダムに個体を選んで適用度を比較する。これによって次の世代を選び、解が収束するまでこれを繰り返していく。 現在、進化的プログラミングは他の3つの方法論に比べると
遺伝的プログラミング - Wikipedia
遺伝的プログラミング（いでんてきプログラミング、英: Genetic Programming, GP）は、メタヒューリスティックなアルゴリズムである遺伝的アルゴリズムを拡張したもので、進化的アルゴリズムの四つの主要な方法論の内の一つでもある。 遺伝的プログラミングは1990年にジョン・コザ（John Koza）によって提案された。他の進化的アルゴリズムの主要な方法論が同時期に提案され独立して研究が進められていたのに対し、遺伝的プログラミングは最初から遺伝的アルゴリズムの拡張として提案されており、他の三つの方法とは大きく立場を異にする。具体的な内容としては、遺伝的アルゴリズムにおける遺伝子型の表現が主に配列であるのに対し、遺伝的プログラミングでは木構造を用いる。このため、遺伝的アルゴリズムでは表現できなかった数式やプログラムのコードなど、構造を持ったデータを表現することができる。大きな違いと
意味論 - Wikipedia
意味論 (言語学) - 言語学における意味論。 意味論 (論理学) - 論理学・哲学における意味論。 意味 (哲学)（英語版） - 哲学における「意味の理論」(theories of meaning) プログラム意味論 - コンピュータ科学での意味論。 オントロジー (情報科学) セマンティック・ウェブ OWL 公理的意味論 操作的意味論 意味ネットワーク 意味論 (心理学)（英語版） 一般意味論 - A.コージブスキーが提唱した。 このページは曖昧さ回避のためのページです。一つの語句が複数の意味・職能を有する場合の水先案内のために、異なる用法を一覧にしてあります。お探しの用語に一番近い記事を選んで下さい。このページへリンクしているページを見つけたら、リンクを適切な項目に張り替えて下さい。
モンタギュー文法 - Wikipedia
出典は列挙するだけでなく、脚注などを用いてどの記述の情報源であるかを明記してください。 記事の信頼性向上にご協力をお願いいたします。（2024年11月） モンタギュー文法（モンタギューぶんぽう、英語: Montague grammar）は、自然言語の意味論へのアプローチの一つ。アメリカ合衆国の論理学者リチャード・モンタギューの名を採って名付けられた。 モンタギュー文法は形式論理学、特にラムダ計算と集合論にもとづき、内包論理とタイプ理論も利用している。モンタギューはこのアプローチを1960年代から1970年代の初頭にかけて率先した。 モンタギューによれば（英語のような）自然言語の意味論と（述語論理のような）形式言語のそれとの間に本質的な違いはない。モンタギュー文法の中心的な概念は論文 "The Proper Treatment of Quantification in Ordinary En
ランダウアーの原理 - Wikipedia
ランダウアーの原理（ランダウアーのげんり、英: Landauer's Principle）とは、情報の消去など論理的に非可逆な計算は熱力学的にも非可逆であり、環境での相応する熱力学的エントロピーの上昇を必要とすることを主張する原理である。1961年にIBMのロルフ・ランダウアー（英語版）によって始めに議論された。 定量的には、情報処理過程において1ビット（=1シャノン）の情報を失うとき、環境での熱力学的エントロピーの上昇も最低でも1ビットとなる。通常の物理的単位で表すならこれは k ln 2 であり、よって環境に放出される熱は最低でも kT ln 2 となる（ただし、k はボルツマン定数、T は絶対温度）。この限界値は、ランダウアーの限界 (Landauer's limit) もしくはフォン・ノイマン＝ランダウアーの限界と呼ばれる。 ランダウアーの原理は熱力学第二法則の理論的帰結として理解
モナド: お前はもう知っている | Webシステム開発／教育ソリューションのタイムインターメディア
はじめに 過去に私がHaskellを学び始めた時、 真っ先に疑問に思ったことはモナドの存在だった。 当時は全くと言っていいほど理解できなかったが、 最近Haskellを学び直して ようやく理解することができた(と思う)。 という訳で、現時点での私のモナドへの理解を示すためにこの記事を書く。 ここではモナドの本質が何なのか概要を示す。 正確な説明は数多あるモナドについてのチュートリアルを参照されたい。 Hellow World問題: IO, Monad, fail 新しい言語を学ぶ時、まず間違いなくHello Worldを書くだろう。 HaskellでHello Worldを書くとこうなる: この1行だけを見ると普通の命令型言語と大して変わらないように思える。 ところでHaskellには強力な型推論がある。 そのため型宣言を省略しても処理系がよしなに解釈してくれる。 ただ普通はコードの意図す
圏論とオブジェクト指向 - 檜山正幸のキマイラ飼育記 (はてなBlog)
あっ、そういえば http://d.hatena.ne.jp/m-hiyama/20051124/c/ ： 圏論とオブジェクト指向の関係は、というとね …… コメントじゃ場所が窮屈だな、いずれまた本文で なんて書いたことがある、だいぶ前に。発端は、http://d.hatena.ne.jp/bonotake/20051127/1133025173 とか http://www.tom.sfc.keio.ac.jp/~sakai/d/?date=20051112#p01 あたり。 「圏論とオブジェクト指向は別に関係ないっす」と言うのが、とりあえずは無難で妥当な答えだと思いますよ（身も蓋もない）。 僕はオブジェクト指向ってよくわからない。なんか小難しくて。経験豊富な人がある主張をしますね、別な経験豊富な人が反対の主張をしたりしまして、僕には何がホントのことか判断できない。恣意的な党派対立なのか、
圏論とオブジェクト指向：資料編 - 檜山正幸のキマイラ飼育記 (はてなBlog)
圏論とオブジェクト指向で： 以下は、説明は全部省略して、単に僕が見ている“景色”を述べるだけです、あしからず。 と書いたのですが、参考になりそうなURLだけ記しておきます。 インスティチューションの中心人物はGoguen（http://www.cs.ucsd.edu/users/goguen/）です。彼のインスティチューション・ページ（http://www.cs.ucsd.edu/~goguen/projs/inst.html）をハブに使えます。 抽象モデル論という発想はバーワイズ（Barwise）が先のようですが、文（sentence、命題、制約）の集合を天下りに“単なる集合SenΣ”にしてしまったところが、Goguen/Burstallの割り切り。バーワイズもGoguenも、分野横断的に精力的な活動をしていて、現代のプチ“ダ・ビンチ”という感じですね。 Maude（http://mau
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Google Objective-Cスタイルガイド 日本語訳
福岡大学研究者情報 ( 理学部 応用数学科 助教 濱田 龍義 )
数理科学的バグ撲滅方法論のすすめ---目次 | 日経 xTECH（クロステック）