1999年1月のコンピュテーション研究会
研究会名 コンピュテーション研究会(COMP)
専門委員長 五十嵐善英 副委員長 平田富夫
幹事 中野眞一・藤戸敏弘
日時 1月 23日(土) 9:30 〜 17:00
（一人 30分発表 + 5分質疑の予定）
ソフトウェアサイエンス研究会および情報処理学会プログラミング研究会と連続
開催．http://www.momo.it.okayama-u.ac.jp/~murakami/conf/pro99.html参照.
会場 岡山大学大学院 情報工学科棟 2階 10番講義室
(PRO研は同3階共同研究室、 SS研は同2階11番講義室)
(岡山市津島中 3-1-1)
会場地図
交通 JR岡山駅西口より岡電バス
妙善寺行き(朝 8:30頃まで)8分岡大西門下車徒歩5分。
又は理大口行き(日中)12分岡大東門下車徒歩0.5分。
繁華街方面に宿泊された場合
岡山駅東口バスターミナル等より岡電バス妙善寺行き
岡大東門下車徒歩0.5分。
詳細は: http://www.it.okayama-u.ac.jp/koutuusyudan.html 参照
連絡先 村上昌己 (岡山大学工学部)
murakami@momo.it.okayama-u.ac.jp
Tel: (086) 251-8180 Fax. (086) 251-8256
宿泊情報
岡山駅から会場までの交通情報
議題
午前 9:30 - 11:50 [並列・分散特集] 座長 藤原暁宏(九工大)
1. 分散メモリ型並列計算機の通信特性を考慮したスケジューリングアルゴリズムの
開発とその評価
○馬場大樹・橋本貴至・藤本典幸・萩原兼一(阪大)
2. 線形化可能性を保証する共有オブジェクトの無待機な実現
◯須田克朗・守屋宣・井上美智子・増澤利光・藤原秀雄(奈良先端大)
3. 分散移動システムにおける全域チェックポイントについて
◯寺田雅人・井上美智子・増澤利光・藤原秀雄(奈良先端大)
4. ハイパーキューブの二分割コストについて
○神保秀司・橋口攻三郎(岡山大)
午後 12:45 - 17:00 (14:30-14:40休憩)[一般] 座長 中野眞一(東北大)
5. ネットワークを同定するアルゴリズムのプロセス代数による記述とその形式的検証
○鍵本聡・高田喜朗・関浩之(奈良先端大)
6. ３値アブダクション枠組の意味論
○黒瀬義則・山崎進(岡山大)
7. ３値アブダクティブ証明手続き
○黒瀬義則・山崎進（岡山大）
8. 自己生成ニューラルネットワークの学習特性に関する研究
○井上浩孝・古橋秀樹・成久洋之 (岡山理科大)
9. New Iterated Local Search Algorithms using Genetic Transformation
for the Traveling Salesman Problem
○Kengo Katayama・Hiroyuki Narihisa(岡山理科大)
10. 類似データ検索のためのデータ構造とアルゴリズム
○山口一章(神戸大)・田中栄一(武庫川女子大)
11. 通信プロセスに対する文脈変換手法を用いたモデル検査
○木川泰夫・結縁祥治・坂部俊樹(名大）
★ 今後のコンピュテーション研究会の予定 ( )内発表申込締切日
2月 休会
3月24日(水) 電通大( 1月20日)
4月 名大 ( 2月20日)
5月 中央大( 3月20日)
6月 奈良先端大( 4月15日)
7月 静岡大( 5月20日)
8月 休会
9月 北大 ( 6月20日)
10月 東北大( 8月20日)
11月 阪大 ( 9月20日)
12月 広島大(10月20日)
1月 琉球大(11月15日)
【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
でも結構ですが、締切日までに到着するようお願い致します。)