1998年 11月のコンピュテーション研究会
日時 11月 20日 (金) 9:30 〜 16:45
（一人 25分発表 + 5分質疑の予定）
会場 九州工業大学 情報工学部 (飯塚キャンパス)
共通教育研究棟１Ｆ ＡＶ講演室
福岡県飯塚市大字川津 680-4
九工大のホームページ
飯塚市の位置
九工大へのアクセス方法
交通 ＪＲ博多駅(福岡市)よりＪＲ篠栗線にて新飯塚駅で下車(４５〜６０分),
西鉄バス行先２番線の二瀬支所経由便にて二瀬支所または九工大前で下車(１５分)
ＪＲ博多駅バスセンター発の西鉄バス特急飯塚・田川ゆきにて飯塚バスセンターで
下車(４５〜６０分)のりかえ，西鉄バス行先２番線にて二瀬支所または九工大前で下車(１０分)
福岡空港より西鉄バス急行飯塚行きにて二瀬支所にて下車(５０分),または福岡市営
地下鉄で天神にて下車(１０〜１５分)し,バスセンターにて上記路線にのりかえ
連絡先 下園真一
九州工業大学情報工学部 知能情報工学科
〒820-8502 飯塚市大字川津 680-4
電話：0948-29-7642 ＦＡＸ：0948-29-7601
Email：sin@ai.kyutech.ac.jp
-------------------------------------------------------
議題
20日(金)午前 9:30-12:00 座長 下園真一
1. 古典的証明に基づく関数型言語の構築
○野島歓之・平田耕一・藤田憲悦(九工大)
2. K語近接相関パターンの高速発見アルゴリズム
下薗真一(九工大),○有村博紀・有川節夫(九大）
3. 3種のオブジェクト演算子とインスタンスを取り扱えるフレーム構造論理
○小松香爾・西原典孝・横山晶一(山形大)
4. Unique Solution Instance Generation for the 3-Satisfiability (3SAT) Problem
○元木光雄(東工大),上原隆平(駒沢大)
5. 条件を緩和した安定結婚問題のNP完全性について
◯宮崎修一・岩間一雄(京大）
20日(金)午後I 13:00-14:30 座長 原尾政輝(九工大)
6. スキーママッチングにおける計算の複雑さ
○山田 敬三・平田耕一・原尾政輝(九工大)
7. On Proving Termination of Term Rewriting Systems by Pruning Method
○Keiichirou Kusakari・Yoshihito Toyama(JAIST)
8. 消去法による項書換え系の停止性判定について
○中村正樹・外山芳人(北陸先端大)
(14:30-14:45休憩)
20日(金)午後II 14:45-16:45 座長 宮野英次(九州芸工大)
9. 潜在帰納法と書換え帰納法の比較
○小池広高・外山芳人(北陸先端大)
10. Closure Properties of the Classes of Sets Recognized by
Space-bounded Two-dimensional Probabilistic Turing Machines
○岡崎世雄(山口東京理科大)，井上克司・伊藤 暁・王 躍(山口大)
11. Leaf-size Hierarchy of Alternating Rebound Turing Machines
○張 嵐・井上克司・伊藤 暁・王 躍(山口大)
12. An Optimal Construction of Exactly Min-Wise Independent Permutations
○Yoshinori Takei・Toshiya Itoh・Takahiro Shinozaki
(Tokyo Institute of Technology)
★ 今後のコンピュテーション研究会の予定 ( )内発表申込締切日
12月 4日(金) 東洋大(10月20日)
1月23日(土) 岡山大(11月15日)
2月 休会
3月24日(水) 電通大( 1月20日)
4月 名大 ( 2月20日)
5月 中央大( 3月20日)
6月 奈良先端大( 4月15日)
7月 静岡大( 5月20日)
8月 休会
【WWW】今後の予定等につきましては、
http://www.nishizeki.ecei.tohoku.ac.jp/nszk/nakano/Comp/comp.html
も御参照下さい。
【発表申込・問合先】中野眞一 (東北大学大学院工学研究科電気・通信工学専攻)
〒980-8579 仙台市青葉区荒巻字青葉05
TEL & FAX 022-263-9170
Email: nakano@ecei.tohoku.ac.jp
お申し込みは, 次の要領でお願い致します。
・論文タイトル、著者名(所属)、当日の発表者名、原稿用紙送付先
(氏名，住所，所属)、電子メールアドレス、分野名やキーワード
をお知らせ下さい。
・分野名やキーワードはプログラム作成の参考にさせて頂きます。
・お申し込みは、なるべく電子メールでお願いします。(郵便・FAX
でも結構ですが、締切日までに到着するようお願い致します。)