近況報告

リンク


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との違いは
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日(木)
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日(日)
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)のトランスレート方式は一番頭が痛い、少なくとも などが考えられるが、実行スピードはどれも大差ないような気がする。 あ〜、なんかいい方法ないかな .....
1999年6月17日(木)
情報処理学会 プログラミング研究会 特集「プログラミング言語の設計と実装」(東京芝浦)において、 LLP --> Javaトランスレータについて発表する。 発表はいつもイマイチ、何時になったら上達するのか...
午後から田村先生と一緒に、 慶應大学の渕先生、飯島先生の研究室にお邪魔し(感激!!)、 「夜なべ」プログラミングの成果であるProlog Cafeのデモをする。 渕先生、飯島先生、お時間をとって頂きありがとうございました。
1999年5月31日(月)
Joelのお別れパーティの時の写真を公開! 遅くなってすいません...
1999年5月30日(日)
Prolog Cafe 0.4 (beta version)のホームページを作った。 言語をLLPに拡張するために、シンボル表のエントリにゴチャゴチャ ものを加えたせいで、今のところLLPプログラムをアプレット化できない。 (Prologプログラムは問題無くアプレット化できる)。 シンボル表を1つのLLPエンジン(スレッド)ごとに管理すれば、解決できるのだが、 コードを書き換えるのにかなり時間がかかりそう....
1999年5月26日(水)
明日は仕事(会議...)がいっぱいなので、 LLPj(LLP-->Java)の日本語論文を今日投稿した。 理由はどうあれ、〆切当日前に提出したのは初めてだ! 今日は、Kくちさんと飲みに行く予定... 姜さんはバイトがんばって:-)
1999年5月24日(月)
「今回は前もって準備を」といつも思ってはいるものの、 また今回も〆切ギリギリ...(〆切まで後3日)... 終ったら飲みに行くぞー!(これもいつもと変わらない???)
1999年5月19日(水)
1999年5月17日(月)
後10日でまた〆切が.... 今週は仕事がメチャメチャ忙しいので、 また週末に研究室で"合宿"するしかないか..... 逃避活動には、 幾つか組込み述語を作って、田村先生の書いた llprover.pl (線形論理のtheorem prover)をjavaに変換し、 アプレット化するのなんかが楽しそう!
1999年5月16日(日)
今年も科研はダメだったみたい....悲しい
1999年5月11日(火) 近況報告解禁(誰も待ってないか...)
この期間中にProlog Cafe 0.4(未公開)を完成した。 完成度はボチボチだが、実行速度に関しては、 作成当初の「SICStusの10倍以内」という目標に 少なからず近づいたので満足。 ベンチマーク結果は こちら(前のベンチマークとは違うN-Queenプログラム使用)
1999年5月10日(月)
LLP/Prolog-->Javaトランスレータについての論文を無事(?)投稿した。英語キライ
1999年4月20日(月) -- 5月10日(月) 近況報告更新禁止期間(?)
1999年4月19日(月)
1999年4月18日(日)
最近メチャメチャ忙しい... はやくプラスαを考えなければ、ああ〆切が目の前に...
1999年4月15日(木)
Linux上で の実行速度を比較してみた。 N=8で同じくらい、N=10で1.2倍、N=11で1.43倍くらいLLPjの 方が速かった。
1999年4月14日(水)
Linux上で の実行速度を比較してみた。 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上で の実行速度を比較してみた。 はじめてのJITに、(微かな)期待を抱きながら計った結果は... こちら 当分の間、スピードを計るのはやめ、(5月27日以降に)設計を根本的に考え直すことにする。
1999年4月2日(金)
Prolog Cafeバージョン0.3がリリース。 これをベースに線形論理型言語LLPのJavaトランスレータを作成する。 目標は今月の18日まで!
1999年4月1日(水)
姜ちゃん誕生日おめでとう!、あまりうれしくないか...
1999年3月31日(火)
情報処理学会 プログラミング研究会 特集「プログラミングの設計と実装」 に参加申込をした。
1999年3月30日(火)
IF ComputerMINERVA(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日(土)
おかあさん誕生日おめでとう。


Mutsunori Banbara