電気通信大学 情報システム学研究科棟 (東京都調布市調布ケ丘1-5-1) 大会議室 (2階233室) ゼミ室 (3階309室) マルチメディア提示室(3階)
新宿駅より京王線調布駅下車(特急・急行・快速にて約20分)、 調布駅北口を出て徒歩約10分
23日(月) 並列・分散特集 (COMP,SS,PROの共催) ●セッションA (午前) 9:00-12:00 (1) 動的負荷分散を用いたDPマッチングの並列処理 ○酒井 秀宣,松尾 啓志,岩田 彰(名古屋工業大学) (2) 超並列項書換えシステムの実装と評価 ○平田 寛道,五百蔵 重典,緒方 和博,二木 厚吉(北陸先端大) (3) A Process Algebra Debugger for Testing Equivalences with Visual LTS Manipulation ○平手 孝,結縁 祥治,坂部 俊樹,稲垣 康善 (名古屋大学大学院工学研究科) (4) オブジェクト指向HDLに向けた自律再構成可能アーキテクチャ ○ 小西 隆介,小栗 清,永見 康一, 塩澤 恒道,伊藤 秀之(NTT光ネット研) ●セッションA (午後) 13:00-16:40 (5) 準弱双模倣性をもとにした仕様の段階的合成方法 ○ 磯部 祥尚, 佐藤 豊, 大蒔 和仁 (電子技術総合研究所) (6) Mobile Ambients --- Coordination for Mobile Agents ○佐藤一郎 (お茶の水女子大学) (7) BDIアーキテクチャを用いた分散協調戦略選択機構 ○山崎 賢治, 楢崎 修二, 牛島 和夫 (九大) (8) Alpha-chipマシン上のPHL処理系について ○佐藤 圭史, 青木 徹, 寺島 元章 (電通大) (9) Javaにおける分散開発環境の研究 ○小池 誠, 岩澤 京子 (東京農工大学) ●セッションB (午前) 9:00-12:00 (1) 通信プロトコルの回復処理における設計誤りの Real-Time Temporal Logic を用いた検出 ○長野 伸一,角田 良明,菊野 亨 (大阪大学) (2) 命題論理に基づいた並行システムの仕様記述 ○菅原 佳菜,高橋 薫 (仙台電波高専) (3) ATMスイッチにおける三段階スケジューリング法の提案とその評価 ○西尾 嘉晃,藤田 聡,山下 雅史 (広島大学) (4) 問題のサイズより小さい再構成メッシュ上でのソーティングアルゴリズム ○松前進, 笹田良治, 都倉信樹 (大阪大学) ●セッションB (午後) 13:00-17:20 (5) 固定サイズの再構成メッシュ上で凸包を求めるアルゴリズム ○笹田良治, 松前進, 都倉信樹 (大阪大学) (6) リングネットワーク上での排他制御問題に対する故障封じ込め自己安定 アルゴリズム ○千星 裕, 桝田 秀夫, 辻野 嘉宏, 都倉 信樹 (大阪大学大学院基礎工学研究科) (7) 日本語: $n$ 次元立方体の線形配置のコストについて 橋口 攻三郎,○神保 秀司,山本 治(岡山大学工学部情報工学科) (8) Parallel selection algorithms for CGM and BSP with application to sorting ○藤原 暁宏(九工大), 石水 隆(奈良先端大), 井上 美智子(奈良先端大), 増澤 利光(奈良先端大) (9) 並行オブジェクト指向言語における再帰にともなう デッドロックの回避機構の設計と実装 ○柳川 和久, 佐藤 直人, 大澤 範高, 弓場 敏嗣 (電通大) (10) ページのプリフェッチングにおける動的調整機構 ○小野 貴寛, 大澤 範高, 弓場 敏嗣(電通大) 24日 一般 (COMP単独) 9:00〜17:00 (予定) (1) 隣接遺伝子間結合強度を用いたマルチエージェントの行動最適化 ○桝永慎哉、長尾智晴 (東京工業大学工学部像情報工学研究施設) (2) 部品の内部状態ごとに適用する規則を変える形態発生モデル ○梶田 睦,長尾智晴 (東京工業大学工学部像情報工学研究施設) (3) クラス階層構造の再構成におけるメソッドの扱い ○朝倉義晴, 都倉信樹 (大阪大学大学院基礎工学研究科) (4) グラフ彩色問題における確率アルゴリズムとハイブリッドアルゴリズム ○菊池 淳、富田 悦次、若月 光夫 (電気通信大学) (5) 節点と節点部分集合間の2および3点連結化問題 伊藤大雄、○伊藤資泰、上原秀幸、横山光雄 (豊橋技術科学大学情報工学系) (6) 複数指定点集合のk辺連結化問題に対する解法 ○土屋 憲蔵 (広島大学大学院工学研究科), 田岡 智志, 渡辺 敏正 (広島大学工学部) (7) On Proving AC-Termination by Dependency Pairs ○Keiichirou Kusakari, Yoshihito Toyama (School of Information Science, JAIST) (8) ハッシュ関数の認証プロトコルへの応用 ○中原 修,渡辺 治(東京工業大学 大学院情報理工学研究科) (9) NMR 量子計算の定式化 ○西野哲朗、志摩孝夫、芝田浩 (電気通信大学・電子情報学科) (10) NP最適化問題の近似可能性について ○竹内光一、佐藤裕、守屋悦朗 (早稲田大学) (11) LOGCFGのある部分クラスについて ○大木由紀子、守屋悦朗 (早稲田大学) (12) 3充足可能性判定問題 3SAT の単一解を持つ正例題生成手法の解析 ○元木 光雄(東京工業大学 情報理工学研究科 計算工学専攻), 上原 隆平(東京女子大学 情報処理センター) (13) On Sensitivity, Block Sensitivity and Certificate Complexity of Boolean Functions ○天羽 健策, 垂井 淳 (電気通信大学) (14) マージ関数とソート関数の否定数限定複雑さ ○天野 一幸,丸岡 章(東北大学) (15) 連数限定入力に対する否定数限定ソーティング回路 ○佐藤 貴之,天野 一幸,丸岡 章(東北大学)