リンク

• PPDP2000
  Submission: March 1, 2000
• CL2000
  Submission: February 1 2000
• JavaTMに関する技術・応用・表現大賞 '99
  事前登録締切(9月26日), 作品提出締切(10月3日 午前0時), 予選通過作品決定/通知(10月25日)
• Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages
  Submission: August 20, 1999, Notification of Acceptance: September 30, 1999
• ICLP'99:
  Submission (abstract, May 4, 1999), Submission (full paper,May 10, 1999) Notification(July 13, 1999)
• IDL'99:
  PPDP'99 International Workshop on Implementation of Declarative Languages
  Submissions(July 1, 1999), Notification(August 1, 1999)
• 情報処理学会 プログラミング研究会 特集「プログラミング言語の設計と実装」
  平成11年6月17日(木)・18日(金)， 情報処理学会 会議室 (芝浦)
  発表論文原稿提出締切 平成11年5月27日(木)

1999年12月10日(金)

海外出張(ICLP99での発表、Hodas先生の訪問)から無事帰国。 今回は 両親と 妹に豪華な(?)お土産を購入

1999年11月28日(土) -- 12月8日(水)

論理プログラミング国際会議 ICLP'99 への参加、及び ワークショップでの発表のため、アメリカ合州国ニューメキシコ州 ラス・クルーサスへ出張..... 砂漠だーーー！

1999年11月25日(木)

JavaによるPrologインタプリタ JLog のWebページを発見！ それにしても数が増えたな〜

1999年11月15日(月)

ICLP99の ワークショップの最終原稿を提出!

1999年11月11日(水)

Prolog Cafe バージョン 0.44をリリース！ バージョン0.43との違いは

• SunOS 5.6/Solaris 2.6で起こるスレッド関係の不具合を解消
• 新しい組込述語url_source/2を追加し、 それを使った簡単なHTMLパーザー(HTML --> term structure)を作成
  このプログラムは、Manuel Hermenegildoさんらによって開発された PiLLoW (public domain HTML/HTTP conectivity package for Logic Programming and Constraint Programming systems) に含まれるHTMLパーザーをほんの少し書き換えたものです。

1999年11月4日(木)

ICLP99の ワークショップに出したProlog Cafeの論文がアクセプトされた。 評判はイマイチ......

1999年10月29日(金) -- 10月30日(土)

情報処理学会プログラミング研究会特集「理論」(静岡県伊豆)に出席

1999年10月18日(日)

生まれて初めて「あわび」を食った!

1999年10月17日(土)

最近何かと忙しい.....

1999年10月14日(木)

クリスとポールの歓迎会

1999年10月1日(金)

207号室に新しくボストンからの留学生クリスがやってきた。 それにしても、印鑑、通帳、外国人登録、入学手続などなど書類だらけだーー！ もう少し何とかならないものか......

1999年9月30日(木)

情報数理講座の歓迎会の幹事をやることになった。

1999年9月24日(金)

今日は台風18号の影響で天気は大荒れである。というわけで(???)
Prolog Cafeで簡単なHTMLパーサー(HTML --> term structure)を作成、 出来はいまいち.....

1999年9月19日(日)

夏休み終了

1999年8月29日(日)

ブレントル さん宅でのホームパーティにおじゃまする。

1999年8月20日(金)

ICLP99のワークショップの論文を何とか提出......
Prolog Cafeはバージョン0.43をリリースし、そして封印(?!)

1999年8月10日(火)

ICLP99の ワークショップ に挑戦することを決意!
これが終ったらProlog Cafeの方は一時中断し、8月20日からはピーマンの研究をスタートするぞ！

1999年8月5日(木)

情報処理学会の論文をなんとか提出した後、 出張前日にも関わらず、何年かぶりにホームページの トップページ を新しくした。 四井君 ありがとう！

1999年7月29日(木)

• comp.lang.prologを読んでいると、jPrologがjava1.1でうまく動かないという記事が あった。やはり使用するJavaによってはうまく動かないのかな？ Vine Linux with JDK1.1.7では、インタプリタのreadルーチンが少しおかしいが、 なんとか実行可能である。
• comp.lang.prologでPaul TarauさんがProlog Cafeのことを紹介して くれてのがとても嬉しかった。 しかし、Jinni が他のすべてのJava Prologより早いと書いてあったのは本当だろうか？

1999年7月28日(水)

プログラミング研究会(情報処理学会)の論文の最終版を作成するために、 Prolog Cafeを使って、よく使われるPrologベンチマークの実行速度を測ってみた (結果は こちら)。悔しいがMINERVAは、Prolog Cafeより平均で2倍強はやい。

1999年7月21日(水)

ここ2,3日、Box Modelに基づいたPrologからJavaへの トランスレート方式を考えている。とりあえずリストのappendとN-queenを手で書いてみた。 N-Queenは、Prolog Cafeと比べて約1.5倍速かった。 この方式はとてもシンプル！( choice pointをtry命令などで作る必要がなく、 trailも各述語オブジェクトごとで管理でき、 indexingなどの最適化も結構簡単)
欠点は、大きなプログラムだと、switch文がめちゃくちゃ大きくなる点である..... やはりいいことばかりではないな〜

1999年7月19日(月)

プログラミング研究会(情報処理学会)に投稿した論文が採録された。

1999年7月15日(木)

JavaTMに関する技術・応用・表現大賞 '99---今年こそ予選突破したい！

1999年7月14日(水)

Prolog Cafe version 0.42をリリース！

1999年7月12日(月)

ICLPに投稿した論文が落選した。あまり期待はしていなかったが実際メールが来てみると かなり悲しい..... 今日は早く寝て、明日からワークショップに向けて頑張ろう！

1999年7月11日(日)

PrologからJavaメソッドを呼び出す部分のバグを修正し、簡単なお絵書きプログラムを書いた。 今のところ再描画はしくれないが、turtle graphicsの様なものも簡単に作れそう！

1999年7月4日(日)

Prolog Cafeのインタプリタ改良して、cut(!)を処理できるようにした。\(^o^)/
簡単なデバッガも作ったが、途中で中断できないのが難点。 後もう少しなのだが、明日も保護者懇談会があるので止めとこかな.....

1999年7月3日(土)

ICLPの結果発表(13日)までにProlog Cafe新版0.42を完成して、 それからピーマン(linear logic prover)の勉強を開始することを決意!

1999年7月2日(金)

姜さん、中田君と207号室の模様替えをする。

1999年6月29日(火)

明日でもう6月も終ってしまう、そろそろ夏休みの研究計画を考えなくては.....

1999年6月27日(日)

• Knight Tour (8x8)がProlog Cafeで解けた！ 僕のノートで27分かかる、ウーン遅い...
• Prolog Cafeのホームページのディレクトリ構成を整理し、ついでに タイトルページを新しくしてみた。

1999年6月26日(土)

LLPプログラムがアプレット化可能になったので、 Knight Tourアプレットを作ってみた。N=7までなら何とか我慢できる範囲で答えが 得られる。

1999年6月22日(火)

いつものように何気なくニュース(comp.lang.prolog)を見ると、 Prolog Cafeについての質問が投稿されていた。 嬉しいような、そうでないような複雑な心境である。 もっと完成度を高めてから、ニュースにアナウンスしようと思っていたのに.....

1999年6月20日(日)

今日はいい天気、朝から友人のバーベキューパーティに行く、 鉄板の上にはピーマンだらけ、僕には違うもの見えて仕方がない ... (内輪ネタです)

1999年6月18日(金)

帰りの新幹線でProlog Cafeの今後の展開について、田村先生と雑談する。

(1)汚くてもいいから、Javaの機能をフルに取り込める言語に拡張

(2)現行のトランスレート方式では、 スピードの大きな上積みはあまり期待できないので、完成度の高さで勝負

(1)はProlog Cafeが生き残るただ1つの道だろう、 指定したURLからHTML(XML)のソースを取ってきて、DCGを使ってパージング などできたら、喜んでくれる人がいるかも ...
(2)のトランスレート方式は一番頭が痛い、少なくとも

• 述語 --> クラスの集合 (現行の方式)
• 述語 --> メソッドの集合 + Javaリフレクション使用
• 述語 --> 1つのクラス + state分けにswitch文を使用

などが考えられるが、実行スピードはどれも大差ないような気がする。 あ〜、なんかいい方法ないかな .....

1999年6月17日(木)

情報処理学会 プログラミング研究会 特集「プログラミング言語の設計と実装」(東京芝浦)において、 LLP --> Javaトランスレータについて発表する。 発表はいつもイマイチ、何時になったら上達するのか...
午後から田村先生と一緒に、 慶應大学の渕先生、飯島先生の研究室にお邪魔し(感激!!)、 「夜なべ」プログラミングの成果であるProlog Cafeのデモをする。 渕先生、飯島先生、お時間をとって頂きありがとうございました。

1999年5月31日(月)

Joelのお別れパーティの時の写真を公開！ 遅くなってすいません...

1999年5月30日(日)

Prolog Cafe 0.4 (beta version)のホームページを作った。 言語をLLPに拡張するために、シンボル表のエントリにゴチャゴチャ ものを加えたせいで、今のところLLPプログラムをアプレット化できない。 (Prologプログラムは問題無くアプレット化できる)。 シンボル表を１つのLLPエンジン(スレッド)ごとに管理すれば、解決できるのだが、 コードを書き換えるのにかなり時間がかかりそう....

1999年5月26日(水)

明日は仕事(会議...)がいっぱいなので、 LLPj(LLP-->Java)の日本語論文を今日投稿した。 理由はどうあれ、〆切当日前に提出したのは初めてだ！ 今日は、Kくちさんと飲みに行く予定... 姜さんはバイトがんばって:-)

1999年5月24日(月)

「今回は前もって準備を」といつも思ってはいるものの、 また今回も〆切ギリギリ...(〆切まで後3日)... 終ったら飲みに行くぞー！(これもいつもと変わらない???)

1999年5月19日(水)

• 論文作成用に、Prolog Cafe0.4の ベンチマーク結果 にSWI-Prolog3.2.6も加えてみた。 LLPプログラム(N-Queen)だとSWIと同定度のパフォーマンスであった。 しかし、Prologプログラム(N-Queen)だと、SWIに比べ3.9倍くらい遅かった。
• 論文とは関係ないが、Linux上のjdk1.1.7を使って、Minerva2.0(評価版)と比べると、 N-Queen(Prolog program)に限ってはProlog Cafeの方が早かった。 何故か(実は、だいたい分っているが)、N-Queenは早い！ その他のプログラムも試してはみたが、負けていた(最大で3倍くらい遅いものもあった)。 悲しいので、結果は載せない。

1999年5月17日(月)

後10日でまた〆切が.... 今週は仕事がメチャメチャ忙しいので、 また週末に研究室で"合宿"するしかないか..... 逃避活動には、 幾つか組込み述語を作って、田村先生の書いた llprover.pl (線形論理のtheorem prover)をjavaに変換し、 アプレット化するのなんかが楽しそう!

1999年5月16日(日)

今年も科研はダメだったみたい....悲しい

1999年5月11日(火) 近況報告解禁(誰も待ってないか...)

この期間中にProlog Cafe 0.4(未公開)を完成した。 完成度はボチボチだが、実行速度に関しては、 作成当初の「SICStusの10倍以内」という目標に 少なからず近づいたので満足。 ベンチマーク結果は こちら(前のベンチマークとは違うN-Queenプログラム使用)

• 言語を線形論理型言語 LLPに拡張
• LLPプログラム(N-Queen)の実行速度は、N>=10で、 Prologプログラム(N-Queen)のSICStus(WAM-code)での実行速度 に比べて、3倍遅い程度
• Prologプログラム(N-Queen)の実行速度は jProlog(既存のProlog-->Javaトランスレータ)より4倍早く、 SICStus(WAM-code)より11倍遅い程度
• 逃避活動の一つとして、LLP/PrologからJavaを呼び出す簡単な述語を作成。 例えば

  | ?- java_constructor('java.awt.Frame', X), 
       java_method(X, setSize(100,100), _),
       java_method(X, show, _).
  

  を実行するとカラッポのFrameが画面に現れます。

1999年5月10日(月)

LLP/Prolog-->Javaトランスレータについての論文を無事(?)投稿した。英語キライ

1999年4月20日(月) -- 5月10日(月) 近況報告更新禁止期間(?)

1999年4月19日(月)

• Java環境で利用できるスクリプトインタプリタ Pnuts のホームページを見た、 Prolog Cafeでも同じようなことができたらいいな！
• Java Prolog関連のリンクをまとめてみた、最近いっきに増えたような気がする

1999年4月18日(日)

最近メチャメチャ忙しい... はやくプラスαを考えなければ、ああ〆切が目の前に...

1999年4月15日(木)

Linux上で

• LLPj 0.2 (LLPのN-Queenプログラム)
• Prolog Cafe 0.3 (PrologのN-Queenプログラム)

の実行速度を比較してみた。 N=8で同じくらい、N=10で1.2倍、N=11で1.43倍くらいLLPjの 方が速かった。

1999年4月14日(水)

Linux上で

• LLPj0.2
• LLP

の実行速度を比較してみた。 N-Queenで比べると、悲しいかな50倍遅い... ちなみに、Knight-Tour(5x5)だと55倍、Kirkmanで40倍くらい遅い。 JITを使うと2〜3倍くらい速くなりそうなので、平均でLLPより 20〜25倍くらい遅くなるのかな？ 悲しい....

1999年4月12日(月)

多少バグはあるかもしれないが、新版LLPj(LLP --> Java)が何とか動き始めた。 kirkman, knight5, N-queen, crypt等は正しく動作したが、 しかし、N-queenがProlog Cafeより遅い....(なんでやねん！)

1999年4月10日(土)

ブレンドルさん宅での、赤ちゃん(晴美ちゃん)誕生パーティに行く、 料理もワインもとても美味しかった。

1999年4月9日(金)

Windows 98上で

• SWI-Prolog (Win32 binary)
• Prolog Cafe 0.3 (compiled and executed by Symantec Java JIT compiler for JDK 1.1)

の実行速度を比較してみた。 はじめてのJITに、(微かな)期待を抱きながら計った結果は... こちら 当分の間、スピードを計るのはやめ、(5月27日以降に)設計を根本的に考え直すことにする。

1999年4月2日(金)

Prolog Cafeバージョン0.3がリリース。 これをベースに線形論理型言語LLPのJavaトランスレータを作成する。 目標は今月の18日まで!

1999年4月1日(水)

姜ちゃん誕生日おめでとう！、あまりうれしくないか...

1999年3月31日(火)

情報処理学会 プログラミング研究会 特集「プログラミングの設計と実装」 に参加申込をした。

1999年3月30日(火)

IF Computerの MINERVA(Java Prolog)の バージョン1.3評価版をダウンロードし、実行スピードをPrologCafeと比較してみた。 悲しい....

1999年3月28日(日)

Prolog Cafeで、 Javaオブジェクトの生成(java_constructor/2), javaメソッドの呼び出し(java_method/3), javaフィールドへのアクセス(java_get_field/3, java_set_field/3) が(とりあえず)可能になった。

1999年3月13日(土)

どうにかこうにか、Prolog Cafeのブートストラップが完了、 今のところ正しく動作している。

1999年2月26日(金)--27(土)

慶應義塾大学 で開催された「線形論理とその応用」ワークショップに参加し、 LLPについて 発表する。今回は杉ヤンに会えなかったのが残念。

1999年2月9日(火)

何年かぶりに歯医者にいく、かなり大きな虫歯らしい！ 今になって麻酔が切れてきたらしく、かなり痛い。

1999年2月8日(月)

風邪がなかなか直らない、インフルエンザではないらしい。

1999年2月7日(日)

田村先生のLet's note A44(panasonic)と、 姜さんのDynaBook SS3010(toshiba)にVine Linuxをインストールする。

1999年1月26日(火)

お父さん誕生日おめでと、何歳になったんだっけ？

1999年1月25日(月)

風邪をひく、今流行のインフルエンザかな？ かなりしんどい。

1999年1月3日(日)

新年早々、岡山在住の近藤夫妻の家にオジャマする。

1999年1月2日(土)

おかあさん誕生日おめでとう。

• 1998年