プログラミング言語リンク集論理型言語リンク集Picatリンク集

Picatリンク集

目次

言語仕様
処理系
書籍
論文
チュートリアル
フォーラム
日本国内での動向

言語仕様

A User's Guide to Picat [PDF]
http://picat-lang.org/download/picat_guide.pdf
Picatの公式サイトの中にあるPicatのユーザーズ・ガイド。

処理系

Download
http://picat-lang.org/download.html
Picatの公式サイトの中にある処理系のダウンロードのページ。

書籍

Constraint Solving and Planning with Picat
http://www.springer.com/gp/book/9783319258812
Springerから刊行されている、Neng-Fa Zhouさん、 Håkan Kjellerstrandさん、Jonathan Fruhmanさんによる、 Constraint Solving and Planning with Picatという書籍のページ。

論文

Combinatorial Search With Picat [PDF]
https://arxiv.org/pdf/1405.2538.pdf
Neng-Fa Zhouさんによる、 組み合わせ探索へのPicatの応用に関する論文。

チュートリアル

Picat Tutorial [PDF]
http://picat-lang.org/download/picat_tutorial.pdf
Picatの公式サイトの中にある、 Picatの設計者であるNeng-Fa ZhouさんとJonathan FruhmanさんによるPicatのチュートリアル。
An Introduction to Tabled Logic Programming with Picat
http://www.linuxjournal.com/content/introduction-tabled-logic-programming-picat
Linux Journalに掲載された、 Sergii DymchenkoさんによるPicatのチュートリアル。
My First Look At Picat as a Modeling Language for Constraint Solving and Planning [PDF]
http://www.hakank.org/picat/a_first_look_at_picat.pdf
Håkan KjellerstrandさんによるPicatのチュートリアル。
picat tutorial flops16 1
picat tutorial flops16 2
picat tutorial flops16 3
https://www.youtube.com/watch?v=XLLxwnKtx78
https://www.youtube.com/watch?v=dfJebzh62Jg
https://www.youtube.com/watch?v=cj1QBcHZWdk
2016年3月に高知工科大学で実施されたFLOPS2016でのNeng-Fa ZhouさんによるPicatについての講演の動画。
Picat実習マニュアル[PDF]
http://tutorial.jp/prog/picat/picatman.pdf
新北野一丁目の 大黒学 によるPicatのチュートリアル。 LaTeXのソース もある。

フォーラム

Picat
https://groups.google.com/forum/#!forum/picat-lang
Picatについて話し合うためのGoogleグループ

日本国内での動向

Prof. Neng-Fa Zhou特別講義のご案内(情報工学実践セミナー認定)
http://mi.el.kyutech.ac.jp/calendar/view.php?view=day&time=1456758000
九州工業大学開催されたNeng-Fa Zhouさんによる特別講義に関する告知。
平成27年度第7回情報科学研究所講演会開催のご案内
https://www.fit.ac.jp/cro/cslab/news/5314
福岡工業大学開催されたNeng-Fa Zhouさんによる講演会に関する告知。
プログラミング言語リンク集論理型言語リンク集Picatリンク集

Last modified: Tuesday, 30 May 2017
Copyright (C) 2016-2017 Daikoku Manabu