1999年7月のコンピュテーション研究会
研究会名 コンピュテーション研究会(COMP)
専門委員長 五十嵐善英 副委員長 平田富夫
幹事 藤戸敏弘・中野眞一
日時 7月 21日(水) 10:00 〜 16:40
（一人 30分発表 + 5分質疑の予定）
会場 静岡大学情報学部CAI教室 (浜松市)
〒432-8011 浜松市城北3-5-1
交通 JR(新幹線)浜松駅下車;
バス15分(15番乗り場または16番乗り場からのバス(41,16,48));
徒歩5分. http://www.cs.inf.shizuoka.ac.jp/
連絡先 富樫 敦（静岡大学 情報学部情報科学科）
〒432-8011 浜松市城北３丁目５-１
Tel.: 053(478)1463（直通・兼ファックス）
Fax.: 053(478)1499（学科共通）
E-mail: togashi@cs.inf.shizuoka.ac.jp
研究室 053(412)0347（直通・兼ファックス）
議題
午前 10:00 - 11:45 座長 藤戸敏弘(名古屋大)
1. 情報セキュリティの実現に関する一考察
○小澤卓也・西垣正勝(静岡大学)・曽我正和(岩手県立大学)
・田窪昭夫（三菱電機）
2. 故障発生の診断が可能な耐故障回路
○仲野聖人・西垣正勝(静岡大学)・曽我正和(岩手県立大学)
3. 一般化詰め将棋問題の計算複雑さ
---小駒図式、成駒無し、還元玉、都詰の考慮
○伊藤大雄、藤井愼二、上原秀幸、横山光雄（豊橋技術科学大学）
午後I 13:00 - 14:45 座長 中野眞一(群馬大)
4. 上昇型プッシュダウン木オートマトンと文脈自由木文法の関係
山崎克典，○袖嶋嘉哉（東京理科大学理工学部情報科学科）
5. On the Negation-Limited Circuit Complexity of Merging
○Kazuyuki Amano, Akira Maruoka (Tohoku Univ.),
Jun Tarui (Univ. of Electro-Communications)
6. On Permutations with Limited Independence
伊東 利哉(東工大), ○ 武井 由智(東工大), 垂井 淳(電通大)
(休憩 14:45 - 14:55)
午後II 14:55 - 16:40 座長 富樫敦(静岡大)
7. 一方向性関数の平均時間計算量解析
○相田 慎, 築地立家 (名古屋大学)
8. M-pi計算：モジュール記述をもつ計算体系
○塚崎 悟，金指 文明，富樫 敦 (静岡大学)
9. Specification and verification of hierarchical reactive systems
○吉山 章,包 卿，陸 暁松，富樫 敦 (静岡大学)
★ 今後のコンピュテーション研究会の予定 ( )内発表申込締切日
8月 休会
9月 3日(金) 北大 ( 6月20日)
10月25日(月) 東北大( 8月20日)
11月 阪大 ( 9月20日)
12月10日(金) 広島大(10月20日)
1月 琉球大(11月15日)
2月 休会
1月 琉球大(11月15日)
3月 早稲田大(1月20日)
4月 群馬大(2月20日)
5月 京都大(3月20日)
【WWW】今後の予定等につきましては、
http://www.nuee.nagoya-u.ac.jp/institute/Comp/
も御参照下さい。
【発表申込・問合先】
藤戸敏弘
〒464-8603 名古屋市千種区不老町
名古屋大学大学院工学研究科電子工学専攻
TEL & FAX 052-789-5337
Email: fujito@nuee.nagoya-u.ac.jp
お申し込みは, 次の要領でお願い致します。
・論文タイトル、著者名(所属)、当日の発表者名、原稿用紙送付先
(氏名，住所，所属)、電子メールアドレス、分野名やキーワード
をお知らせ下さい。
・分野名やキーワードはプログラム作成の参考にさせて頂きます。
・お申し込みは、なるべく電子メールでお願いします。(郵便・FAX
でも結構ですが、締切日までに到着するようお願い致します。)