平成１１年度第１回全体会議プログラム

	       新しいパラダイムとしてのアルゴリズム工学
			     研究集会

京都大学数理解析研究所の共同研究事業として、
下記のように研究集会を催しますので、ご案内申し上げます。

					 研究代表者： 永持　仁　
					（京都大学・情報学研究科）

				記


  日時：1999年10月27日(水) 午後 〜 10月29日(金) 

  場所：京都大学数理解析研究所4階420号室


			    プログラム 

10月27日(水) 

10:45 -- 12:00  総括班会議(数理解析研420号室)

(60分昼休み)

13:00 -- 13:30  宇野 毅明 (東京工業大・経営工学)
		列挙アルゴリズムの高速化技法とその応用

13:30 -- 14:00  S. Iwata (大阪大・基礎工学), L. Fleischer (Columbia U.), 
                ○S. Fujishige (大阪大・基礎工学)
		A Strongly Polynomial-Time Algorithm for 
		Minimizing Submodular Functions

(15分休憩)

14:15 -- 14:45  Sayaka Nagai, ○Shin-ichi Nakano (群馬大・情報工学科)
		A Linear-Time Algorithm to Find  Independent Spanning Trees
		in Maximal Planar Graphs

14:45 -- 15:15  周 暁 (東北大・情報科学)
		部分ｋ木を全彩色する線形時間アルゴリズム

(15分休憩)

15:30 -- 16:00  伊藤 大雄 (豊橋技科大・情報工学)
		二次元ハムサンドイッチ定理の一般化とその周辺

16:00 -- 16:30  ○宮崎 修一，岩間 一雄 (京都大・情報学)
		鳩の巣原理に対する木状導出原理の証明サイズの上下限の改良

16:30 -- 17:00  櫻井 幸一 (九州大・情報科学)
		Exact Treatment of Security for Practical Cryptosystems

(18:00 -- 20:00 茨木先生のＡＣＭフェローを祝う会(がんこ二条, 075-223-3456))

10月28日(木) 

 9:45 -- 10:15  山下 雅史 (九州大・情報科学)
		Repetitive Probabilistic Local Majority Polling 
		for the Agreement Problem on Weighted Directed Graphs

10:15 -- 10:45  佐々木 淳 (NTTコミュニケーション) 
		線形ネットワークにおける逐次・並列ソーティングの概念に基づいた
		分散ソーティング

(15分休憩)

11:00 -- 11:30  ◯井上 美智子，須田 克朗，守屋 宣，増澤 利光，藤原 秀雄(奈良先端大)
		Wait-Free Linearizable Implementation 
		of a Distributed Shared Memory

11:30 -- 12:00  野々部 宏司 (京都大・情報学)
		資源制約付きスケジューリング問題の定式化と近似解法

(90分休憩)

13:30 -- 14:10  ○品野 勇治(東京農工大), 藤江 哲也(神戸商大)
		PUBBによるPCクラスタ環境における並列分枝限定法

(10分休憩)

14:20 -- 14:50  ○徳永 裕己，今井 浩(東京大・理・情報科学）
		量子計算機シミュレーションシステム

14:50 -- 15:20  ○今井 浩，関根 京子(東京大・理・情報科学）
		グラフのTutte多項式計算システム

(10分休憩)

15:30 -- 16:00  ○日吉 久礎, 杉原 厚吉 (東京大・計数工学)
		Voronoi 図を用いた多次元データの補間

16:00 -- 16:30  浅野 哲夫 (北陸先端大・情報科学)
		計算複雑度から見たディジタルハーフトーニング

16:30 -- 17:00  T.Asano (北陸先端大・情報科学), M. de Berg (Utrecht), 
		O. Cheong (HKUST), L. Guibas (Stanford), J. Snoeyink (UBC),
		○H. Tamaki (明治大・理工)
		Spanning Trees Crossing Few Barriers


10月29日(金) 

10:00 -- 10:30  永持 仁 (京都大・情報学)
		Approximating a Smallest 2-Edge-Connected
		Subgraph Containing a Specified Spanning Tree
 
10:30 -- 11:00  藤戸 敏弘 (名古屋大・電子工学)
		Approximating Edge Dominating Sets in Weighted Graphs

11:00 -- 11:30  ○加藤 直樹 (京都大・工学研究科), F. Aurenhammer 
		(Technical Univ. of Graz), 大崎 純 (京都大・工学研究科), 
		Yin-feng Xu (西安管理学院)
		Approximating Uniform Triangular Meshes in Polygons



13:20 -- 13:50  山崎 浩一 (群馬大・情報工学科)
		矩形によるインターセクショングラフに関する近似アルゴリズムについて

13:50 -- 14:20　Magnus M. Halldorsson (京都大・情報学・客員)
		Coloring Squares of Graphs

(10分休憩)

14:30 -- 15:20　土村 展之 (ログオプト)
		アルゴリズムの可視化について - Webブラウザ上で動くデモの作り方 - 

(10分休憩)

15:30 -- 16:30  アルゴリズムデータベース班会議　(数理解析研420号室)