2020-01-01から1年間の記事一覧
私は、普段の開発はほぼLinuxで行っています。 その際に、「コマンドのオプションなんだっけ?」とか、「関数の引数なんだっけ?」と思うことがあります。インターネットで調べるのも有りですが、ぱっと調べられるので使えるようになっていると便利です。 man…
Twitter APIを使ってみようと思ったのですが、認証やら何やらが必要になりそうでした。これまでWebAPIは使ったことがなかったので、ひつまず手に届きそうな天気情報を取得するものから試してみました。 お天気Webサービス仕様 手に届きそうなものを探してい…
gprologのFDの練習として、SPINで以前に書いた3x3の魔法陣の解を求めてみます。gprologのソースファイルにはサンプルが含まれています。その中にmagsq.plがあり、魔法陣のサイズを指定できるものがあります。 ソース ms.pl /* 魔法陣 */ ms(MS) :- MS = [ V1…
gprologのマニュアルを見ていると「9 Finite domain solver and built-in predicates」という章がありました。「9.1 introduction」にも「constraint solver」という記述があるので、何らかの制約問題を解いてくれるのかと思い試して見ました。簡単そうなサ…
基本情報技術者試験で出てくるアローダイヤグラムでクリティカルパスを求める問題ですが、prologを使うとスッキリかけるのではないかと思い挑戦してみました。使用したprologの処理系はgprologとなります。問題は以下のようなものでした。問題のダイアグラム…