社会 | 国際 | 経済 | 政治 | スポーツ | 文化・芸能 | 科学・技術 | 話題のニュース | 国名別ニュース | 直リンク集1000件 | 検索されたキーワード
- Prologで学ぶAIプログラミング: ホットコーナーの舞台裏
Prologで学ぶAIプログラミング―「論理プログラミング」「Prolog」の入門か ら「人工知能」の基礎まで (I/O BOOKS) (単行本) 赤間 世紀 (著) ざっと読み終わりました。 目次は、 http://www.kohgakusha.co.jp/books/detail/978-4-7775-1402-1 ...
- 藤原博文さんの制約プログラミング記事、ＳＡTソルバ - Yet Another Diary
制約論理プログラミング・CHR(Constraint Handling Rules)とかだと、コルーチン・並行処理的に探索動作を制御することは可能だったりするけど、SATではまったくのブラックボックスの中で解を見つけてもらうことになる。これは機械語の中に制御用コードを ...
- 【メモ】Scalaの宣教師 - Yet Another Diary
そしてもちろんPrologも（なんといっても、“論理”プログラミングだし）。 一応、最近Scalaを積極的に"布教"してる者ですが、さすがにそれは偏見かなと思います。Scalaに限らず、HaskellやOCamlな人でも上のScala開眼みたいな妙な書き方している人は ...
- [Think IT] 第3回：宣言型プログラミングの可能性と限界 (1/3)
（純粋な）関数プログラミングや論理プログラミング、制約プログラミングなど、いろいろな理論に根ざしたプログラミングモデルが存在しますが、ここではそれらを総称して、宣言型プログラミングと呼ぶことにします。 宣言型プログラミングは、問題の ...
- Lisp, Prologネタその２: ホットコーナーの舞台裏
とかなんとかってもね、この前、書いたように日本でも、いまでもPrologと. AIの本が出たといった、 http://www.amazon.co.jp/exec/obidos/ASIN/4777514021/showshotcorne-22/ Prologで学ぶAIプログラミング―「論理プログラミング」「Prolog」の入門か ...
- Makeはルールベースな並行制約処理 - Yet Another Diary
だから、論理プログラミングで足りないものを補う、制約（論理）プログラミングの範疇に入ってしまうのだね。そして、この動作は極めて並行な概念となる。実際、制約処理記述を行うことができる言語であるCHR(Constraint Handling Rules - Wikipedia, ...
- 「パソコンで見る動く分子事典」の著者からコメントあり！＼(^O ...
Prologで学ぶAIプログラミング―「論理プログラミング」「Prolog」の入門か ら「人工知能」の基礎まで (I/O BOOKS) (単行本) 赤間 世紀 (著) と、 http://iiyu.asablo.jp/blog/2008/11/24/3972714 洋書の値段って不思議 で紹介した ...
- 論理プログラミングと、Webアプリケーション 【VISH+サイトマスター.jp ...
Webシステム開発・構築/CMS/Webデザイン/サイト制作 VISH+サイトマスター.jp Blog,[愛知県、名古屋市]
- 就職活動してない～～ - K5の雑記帖
得られたデータにデータマイニング手法を適用することによって分節化、記号化を行い、論理プログラミング(帰納論理プログラミングや発想論理プログラミング)の枠組みの中で扱える状態にしてシミュレーションを行う。人がタスクと向かい合う時に行っている ...
- ホワット・ア・ワンダフル・ワールド 宣言型計算モデル
のオブジェクト空間により，関数型・論理型・項書き換えシステム・制約論理プログラミングなどを特徴付けることができる （実例付き） ・ （Specialization Structure 上の）宣言的プログラム 『プログラムというのは，普通は，「実際に動く」ことを前提 ...
- ホワット・ア・ワンダフル・ワールド セマンティクス
公理的意味論は，論理プログラミングという，証明=計算というパラダイムと強く結びついているので，わりとそのまんまです．プログラムは公理であり，そこから演繹できる全ての項が意味であると．んで，与えられたクエリ項が，その中に含まれていれば真． ...
- ホワット・ア・ワンダフル・ワールド Prolog の思い出
もちろん論理プログラミングや関数プログラミングという枠組みでも，まだまだ面白い研究はできると思います．しかし，もうそういう狭いパラダイムの区別や慣習自体が古いんじゃないかなぁと．まだ黎明期には，他の研究分野との区別のための意味があったと ...
- Haskell, Erlang の次、あるいは、次の LL - ふにょい日記
計算機科学関係での税金の無駄遣いに見える「第五世代コンピュータ」という名前の並列論理プログラミング言語とその実行環境の開発プロジェクトを本当の税金の無駄遣いにするな！(だから論理型言語屋は、今こそガンバろう！) ...
- ホワット・ア・ワンダフル・ワールド 「PrologでまったりPart 2」は良スレ
Prolog 自体はとっくの昔に終わっていながらも，少し前に微妙に流行った CLP (制約論理プログラミング) にせよ，ILP (帰納論理プログラミング) にせよ，けっこう昔のテーマながらも，非常に高度かつ味わい深い領域だと思います． ...
- Erlang, Oz/Mozart, Prolog, 単一化: ホットコーナーの舞台裏
しかし、学事やコンピュータ・サイエンスに無理解な他の先生から「論理プログラミング」の授業を止めろ、と言われたりするそうです。変な話です。 とある先輩の話では、4-5年前まで湘南藤沢キャンパスにはProgolという帰納論理プログラミングをサポート ...
- ホワット・ア・ワンダフル・ワールド はじめてのかたちぇっか
また，「ET の理論体系内の用語」 という側面を強調するために，わざと既存の用語とは異なる用語を用いている，という側面もあると思います (そもそも，私が名付けたわけでは無いので (^-^;） ET の理論は，論理プログラミング （これもまたバズワード ...
- 本借りた - satzz online 2.0
tupple関係論理表現とdomain関係論理表現の詳しい説明; RDBだけじゃなく論理プログラミング、演繹データベース、プログラム意味論にまで軽く立ち入っているのがマニアックで好感がもてる. データベースシステムとデータモデル (図解 コンピュータシリーズ ...
- ホワット・ア・ワンダフル・ワールド てか，そもそも Mercury ってなん ...
既存の論理プログラミングシステムを超え，古典的なプログラミング言語に近い処理効率を生み出す，強力な実行アルゴリズムの最適化を行います．Mercury は，大規模プログラム開発における諸問題に対して，モジュール性，分割コンパイル，そして数々の最適 ...
- オープン系Java+DBプログラマの覚書: PrologCafeの使い方
そこで注目しているのが、帰納論理プログラミング。定義を人の手で記述するのではなく、多くのデータの特徴をとにかく入力して、システムが帰納的にパターンやプロトタイプを発見し、分類や推論に応用しようとするアプローチです。SFCの古川先生が出して ...
- SOCCER UNDERGROUND BLOG: ここ数年の日程くんは神がかり的な凄い能力 ...
ILOG CPは、「制約論理プログラミング」と呼ばれる手法をベースにしたアイログの最適化ソフトウェアだ。 日程くん、おフランス製の最新制約論理プログラミングで動いていたとは！！ なんだかよくわからないけど凄いぜ日程くん！ ...
- 満足せる豚。眠たげなポチ。:Asianux Road Show 2007 まつもとゆきひろ ...
論理プログラミング: Prolog; 関数プログラミング: FP (functional programming/ジョンバッカス), huskell, erlang, ... オブジェクト指向: Simula (Entity のデータ構造をADTで表現), Java, C++, Smalltalk, 各種Lisp, Perl, Python . ...
- sicpstudygroup @ ウィキ - iwk
並列論理型言語GHC. 概観. 並行論理プログラミング言語 GHC / KL1. 処理系. 並列論理型言語処理系 KLIC · フレーゲ構造と命題、真理、集合の概念 Peter Aczel についてのメモ. 概要. フレーゲ構造という概念を導入し、これがフレーゲによる論理的集合間の ...
- The Reasoned SchemerとLisp, AI本: ホットコーナーの舞台裏
ましたが、さらに続編で、さらに高度なPrologなどの論理プログラミングを. Schemeでやる話のようです。 なお、以上３冊は、いずれもぼくは持っていません。(1)はさすがに昔読ん だことがありますが、(2), (3)はamazon.comで目次をみただけです。 ...
- 鐘の声 ブログ: 慶応大学 大岩元教授と古川康一教授の最終講義&公演 ...
若い頃の研究はタイムシェアリングシステムのコントローラの開発に始まって、続いては論理プログラミングという分野ということで、第五世代コンピュータプロジェクトのリーダになるべくしてなったというべき方である。第五世代コンピュータプロジェクトは ...
- ホワット・ア・ワンダフル・ワールド やっぱりハードウェア方面の人々 ...
もともとうちの研究室のボスは，同じように混沌としてきて進歩が停滞してしまった論理プログラミング (Logic Programming） や制約プログラミング (Constraint Programming) の世界をなんとかしようとして，今の汎用的な等価変換計算モデル (Equivalent ...
- ホワット・ア・ワンダフル・ワールド shinh さんのところにいろいろ書いた
制約論理プログラミングは，結局問題領域ごとにいろいろなソルバーを持つ言語が林立した果てに発展が停滞し，もうかなり廃れていて，一応現在の最先端は，CHR (Constraint Handling Rules) という，名前からしてそうですが，極めて ET の N ルールに似た ...
- テクノロジーの創生と進化 研究の日々: 潜在構造（２）
帰納論理プログラミングにおける構成的帰納学習は、既存の属性を組み合わせ、普遍性の高い有効な属性を創出する手法です。L. S. Shafti, and E. P. Perez: Constructive induction and genetic algorithms for learning concepts with complex ...
- ホワット・ア・ワンダフル・ワールド ET のあるくらし
C++ でユニフィケーションがいつでも書けることと論理プログラミングに精通しているとは関係がありませんね。Prolog を5年も粘っていれば 誰でも論理式が日常的なものになりますが、どんなに優秀な C++ のプログラマでも論理式は別物です。 ...
- 数学って面白い！？ : アルフレッド・タルスキ - livedoor Blog（ブログ）
たとえば、論理プログラミングの基礎理論はエルブラン解釈の空間にタルスキーの不動点定理を適用したものです。 地味なところで、タルスキーによるユークリッド幾何の公理化があります。ヒルベルトのものよりも使い易いです。 ...
- 相澤研究室 » (2008.1) 研究会の開催と参加
相澤彰子, 高久雅生, 大山敬三：「書誌リンケージエンジンの開発と著者マッチング問題への適用」; 高久雅生, 相澤彰子, 大山敬三, 馬場康維：「統計分野における研究者の氏名同定と応用」; 金城敬太，古川康一，相澤彰子：「帰納論理プログラミングによる ...
- [研究] 二値ベクトルを入力とする識別問題
... 論理プログラミングについてはほとんど知識がないのですが、きっとこういう問題を扱っているのだろうと思います。 離散値用のカーネルも勉強しないとな～。。 ■ [ 研究 ] 経験的有効性 vs 理論的妥当性 18:12 一昨日博論発表だったのですが ...
- [constraint]【メモ】藤原博文さんの制約プログラミング記事 ...
... 制約 論理 プログラミング ・CHR(Constraint Handling Rules)とかだと、コルーチン・並行処理的に探索動作を制御することは可能だったりするけど ... 制約 論理 プログラミング で解くのを比較してみよう。手続き型で解く場合には ...
- [etc]【メモ】Scalaの宣教師
etc 【追記】 この エントリ 内容はちょっと軽率でした。本文で示した サイト の独特な性質は、まったく「 サイト 主特有」なことです。 Scala Wiki とか、他 サイト の チュートリアル は普通に分かりやすいみたいので、まずはこちらから。 ...
- Prologで学ぶAIプログラミング
... 名前を出した Prologで学ぶAIプログラミング―「論理プログラミング」「Prolog」の入門か ら「人工知能」の基礎まで (I/O BOOKS) (単行本) 赤間 世紀 (著) ざっと読み終わりました。 ...
- 「パソコンで見る動く分子事典」の著者からコメントあり！＼ ...
... iiyu.asablo.jp/blog/2008/11/26/3975922 Lisp, Prologネタその２ で紹介した Prologで学ぶAIプログラミング―「論理プログラミング」「Prolog」の入門か ら「人工知能」の基礎まで (I/O BOOKS) (単行本) 赤間 世紀 (著) と ...
- Lisp, Prologネタその２
... この前、書いたように日本でも、いまでもPrologと AIの本が出たといった、 Prologで学ぶAIプログラミング―「論理プログラミング」「Prolog」の入門か ら「人工知能」の基礎まで (I/O BOOKS) (単行本) 赤間 世紀 (著) の目次がありました。 ...
- Lisp, Prologネタ
... あ、いま、アマゾン調べたら、 Prologで学ぶAIプログラミング―「論理プログラミング」「Prolog」の入門か ら「人工知能」の基礎まで (I/O BOOKS) (単行本) 赤間 世紀 (著) なんて本がある。2008年11月発行だって。 ...
- [CS]【メモ】第五世代
... これも元々は 論理 プログラミング 方面だったけど、結果としては 関数プログラミング 言語 の一種になってしまった。 ... の GHC /KL1・並行 論理 プログラミング となる。ちなみに、実際に「並行制約 プログラミング 」とし ...
- 積ん読
... 上下 十五少年漂流記 指輪物語 1-7 境界線上のホライゾン 計算機と数学 強化学習 一般システム理論 知識と推論 制約論理プログラミング プログラム変換 ゲーデル・エッシャー・バッハ Advanced Compiler Design and Implementation 解析教程 上下 計算 ...
- Prolog
の時代が来ると聞いたので、早速 図書館 で Prolog の技法なる 絶版 の本を借りてきました。 まぁ誇張しましたが、 論理 プログラミング とかは知らんので良いかなと。 取りあえずこいつを読んだり。 コメント h_sakurai 2008/09/04 18:31 G-machine ...
- 宣言型計算モデル
... Structure (現在の特殊化システムか ?) のオブジェクト空間により，関数型・論理型・項書き換えシステム・制約論理プログラミングなどを特徴付けることができる （実例付き） ・ （Specialization Structure 上の）宣言的プログラム 『プログラムという ...
- [rdb]本借りた
... 堂出版 発売日: 2001/09 メディア: 単行本 tupple関係論理表現とdomain関係論理表現の詳しい説明 RDB だけじゃなく論理 プログラミング 、 演繹 データベース 、 プログラム 意味論にまで軽く立ち入っているのがマニアックで好感がもて ...
- [本] HoareのCSP理論
... 訳者あとがきによるとHoareという人はなんとあの クイックソート の発明者なのだそうだ。 (追記) ホーア論理のホーアさんでもある！そうだ。（論理プログラミングの分野で知らぬものはいない。）
- [本] 「ソフトウェア考現学」という 23 年前の本を読んだ
... 4 新しいプログラミング・スタイルについて 関数的プログラミング、論理プログラミング、 オブジェクト指向 プログラミングについて。構造化プログラミングに代わり プログラマの思考過程の変革までも要求する新しいプログラミング が ...
- [.NET]【^】パターンマッチ【$】
.NET パターンマッチ話の続き． パターンマッチと単一化 複合代入 (多重代入) という見方もあれば，一方向単一化という見方もあって，つまりは Prolog ぐらい知っておけということっすか． この辺には値モデルと名札モデル，実装と理論， ボトムアップ と ...
- RとCは如何にして決まるか、または、いからし説は正しかったのか
... 制約論理プログラミングだな。＼(^O^)／ ああ、いからしのおとっつあんも、亡くなって、もう１年経った？ いつか、みんなで、墓参り、行く？ その前に、みんなが、墓に行っちゃうか。 ...
- セマンティクス
... 意味論を与えているのと同じこと（かもしれません）． 公理的意味論は，論理プログラミングという，証明=計算というパラダイムと強く結びつい ... 例えば，論理プログラミングにおける単一化は，特殊化というより一般的な概念のインスタンス ...
- prologで数独
... 制約論理 プログラミング というのだそうだ。 N氏は アイログ： BRMS、最適化、可視化のソフトウェア・コンポーネントとサービス という製品を使いこなせるのだとか。 修論 で Prolog を使ってた僕としては闘争心に火がつき 「そんな制約ナントカなんて ...
- 2008-05-24
... via constraint handling rules FunDepsを伴う型クラスの解決には， Constraint Handling Rules(CHR) という制約 論理 プログラミング の意味が用いられる．詳細は， Understanding functional dependencies via constraint handling rules を ...
- [思考の流れメモ][読書]メタ・エレガンス
... 構造化（分割統治） 論理 プログラミング オブジェクト指向 （分割→ カプセル化 の単位を オブジェクト に求めた） デザインパターン （再利用の効率化） テストファースト 、テストドリブン、、、とか いずれも ...
- [研究] 人工知能学会学会誌2008年5月号：「国際会議に通すた ...
... 機械学習と論理プログラミングの総合会議 ILP 2008 (18th International Conference on Inductive Logic Programming) Web WWW2008 (17th International World Wide Web Conference) ISWC (International Semantic Web Conference) データマイニング KDD2008 ...
- GNU Prolog
... Prolog と一口に言っても，古典的な純 Prolog ってのは現在ではほとんど無くて，CLP(FD) （有限領域上の制約論理プログラミング言語) とか CHR とか，いろんな制約(データ構造) を対象とした言語やライブラリの複合体みたいな感じの言語族になってるのが ...
- [読書]PRESIDENT (プレジデント) 2008年 3/31号 [雑誌] (雑誌)
... ラムダ計算 と 関数型プログラミング 、 オブジェクト指向 プログラミング 、 人工知能 や論理 プログラミング など、およそ必要な ソフトウェア工学 の基本が明確に解説されており、おしまいには CPU の設計までを扱っている。 ...
- Prolog の思い出
... 論理プログラミングにも面白い話はまだまだ沢山あるように思う。 もちろん論理プログラミングや関数プログラミングという枠組みでも，まだまだ面白い研究はできると思います．しかし，もうそういう狭いパラダイムの区別や慣習自体が古いんじゃないかなぁと ...
- 或るダメ学生さんから
... ダメ学生さんから教わった 2004年度 論理プログラミング http://web.sfc.keio.ac.jp/~mukai/mathcgi/ CGI in Prolog の２つのリンク。 どっちもすごいよね。 「2004年度 論理プログラミング」の内容をみると、素晴らしいじゃないで すか。 ...
- データフロー変数(論理変数)
... ラミングの概念・技法・モデル」 では、データフロー変数と呼んでいますが、並列・並行論理型言語の研究のほ うでは、論理変数というのがフツーですね。 並行論理プログラミングとは あと、 http://ja.wikipedia.org/wiki/Future http://ja ...
- [記事より]
大事な話があるんだ 論理 思考の破棄が気になってその前の記事も読んでみた。 プログラミング の スピード を上げる方法３ 元ネタがあったので、それも読んでみた。 論理 的思考の放棄 http://d.hatena.ne.jp/softether/20070324 なんつーか コメント欄 が ...
- ベビーコロール12color
... ラムダ計算と関数型プログラミング、オブジェクト指向プログラミング、人工知能や論理プログラミングなど、およそ必要なソフトウェア工学の基本が明確に解説されており、おしまいにはCPUの設計までを扱っている。 ...
- 慶応大学 大岩元教授と古川康一教授の最終講義公演パーティ- ...
... 若い頃の研究はタイムシェアリングシステムのコントローラの開発に始まって、続いては論理プログラミングという分野ということで、第五世代コンピュータプロジェクトのリーダになるべくしてなったというべき方である。 ...
- The Reasoned SchemerとLisp, AI本
... 初めて知り ましたが、さらに続編で、さらに高度なPrologなどの論理プログラミングを Schemeでやる話のようです。 なお、以上３冊は、いずれもぼくは持っていません。(1)はさすがに昔読ん だことがありますが ...
論理プログラミング プログラミング 知識 問題 カーネル 勉強 有効 博論発表 コルーチン 並行処理 探索動作 制御 可能 比較 手続き 場合 軽率 本文 独特 性質 特有 普通 AIプログラミング Prolog 入門 人工 基礎 コーナー 紹介 日本 目次 アマゾン 発行 一種 漂流 エッシャー 時代 技法 誇張 特殊 オブジェクト 関数 論理 項書き換え 制約 付き 宣言 関係 表現 domain関係 マニアック 好感 発明 ホーア 分野 技術 的プログラミング 構造 思考 変革 要求 マッチ話 続き マッチ 見方 単一化 名札 実装