Prologで学ぶAI手法 – AZ-Prolog
「Prologで学ぶAI手法」の著者の高野真です。 本書はパソコンワールド誌に連載されたものの前半部分をまとめて啓学出版から出版したものですが、パソコンワールド誌の発行元、啓学出版が共に倒産したため、長いこと絶版となっていました。 本書のプログラムは当時のPC-9800シリーズで動作する処理系であるProlog-KABAで動作するものでしたがこのたびソフネック株式会社のAZ-Prolog上にプログラムを移植すると同時に本書の原稿を変換したものをソフネック株式会社のサーバーに掲載する運びとなりました。 同時に書籍化できなかった単一化文法HPSGを使った機械翻訳システムの連載記事も掲載いたします。 高野真はペンネームで本名は斎藤孝信です。 現在経営する会社は異分野の画像認識専業となっているため、ソフネック株式会社のサーバーに載せるのが最適であろうと判断して今回の掲載を許諾いたしました。 高野真
Agda ハンズオン活動報告
こんにちは、@trigottです。この記事では、社内で行っている Agda ハンズオンの紹介をします。 はじめに Agda とは、依存型の使える関数型プログラミング言語、あるいは定理証明支援系です。Coq などとは違いタクティックは使わず証明項を直接記述するスタイルですが、Emacs 上で対話的に証明を進めるためのインタフェースが用意されているため、効率的に証明を進めることができます。Agda で n * 2 と n + n が等しいことを証明する動画を撮影してみました。雰囲気がつかめれば幸いです。 KLab では月に１回 ALM(All Layers Meeting)という社内勉強会を開催しています。学生のころから Agda が好きで触っていたこともあって、Agda に関する発表をしたところ、先輩からハンズオンを開いてほしいということを言われました。ハンズオンとかやったことないし、Agd
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
