A. モデル・アルゴリズム・プログラミング

9月7日(水) 9:00〜12:00 6号館3階 6317教室
 1Jセッション [アルゴリズム(1)] 座長  中野眞一 (群馬大)
A-001 Balanced C20-Bowtie Decomposition Algorithm of Complete Graphs
○潮 和彦・藤本英昭(近畿大)
A-002 Balanced C20-Trefoil Decomposition Algorithm of Complete Graphs
○藤本英昭・潮 和彦(近畿大)
A-003 DNA計算における乗算および除算アルゴリズム
◎深川宏樹・藤原暁宏(九工大)
A-004 重み付けを用いた分散型アクセスポイント選択アルゴリズム
◎伊豆田 慎(九工大)・三ツ汐 圭(アイ・システム)・藤原暁宏(九工大)
A-005 DNA計算によるMAX-SATの解法
◎徳丸雄一郎・藤原暁宏(九工大)
A-006 局所探索を用いた集中型アクセスポイント選択アルゴリズム
◎中村允彦・藤原暁宏(九工大)
A-007 (講演取消)
A-008 欠損値推定による協調フィルタリング手法
◎高島秀佳・山岸英貴・平澤茂一(早大)

9月7日(水) 13:00〜15:00 6号館3階 6317教室
 2Jセッション [コンピュテーション] 座長  草刈圭一朗 (名大)
A-009 総頂点間経路長を最小にする完全K分木型組織構造のリエゾン配置モデル
○澤田 清(流通科学大)
A-010 DNA分子を利用したリレーショナルデータベースの開発
◎北 豊・柏村 聡(北大)・山本雅人(北大/CREST, JST)・亀田充史(CREST, JST)・大内 東(北大/CREST, JST)
LA-001 関数プログラムの再帰構造解析と強計算性に基づく十分完全性の証明法
◎櫻井敬大・草刈圭一郎・西田直樹・酒井正彦・坂部俊樹(名大)
A-011 An Improved Recursive Decomposition Ordering for Term Rewriting Systems Revisited
○岩見宗弘(島根大)
A-012 SATはNP完全か?: Part2
○山口人生(International Intelligent Information)

9月7日(水) 15:30〜17:30 6号館3階 6317教室
 3Jセッション [プログラミング(1)] 座長  富樫 敦 (宮城大)
A-013 (講演取消)
LA-002 パターンに基づくプログラム変換における列変数の導入
◎千葉勇輝・青戸等人・外山芳人(東北大)
A-014 LMNtalコンパイラにおける並び替えとグループ化を用いた命令列の最適化
◎櫻井 健(早大)
LA-003 LMNtal処理系におけるグラフ構造の操作機能の設計と実装
◎工藤晋太郎(早大)
A-015 動的な接続関係を持つJavaプログラムの一記述法とΠ計算式への変換
◎山口将志・加藤 暢・樋口昌宏(近畿大)
A-016 変数宣言機能を付与したRuby処理系の作成
◎大垣 聡・野木兼六・五百蔵重典(神奈川工科大)

9月8日(木) 9:00〜12:00 6号館3階 6317教室
 4Jセッション [アルゴリズム(2)] 座長  渋谷哲朗 (東大)
A-017 WDM光ネットワークにおける波長変換器配置問題
◎田中貴章・山田敏規(埼玉大)
A-018 多品種フローゲームのコアの要素を求める多項式時間アルゴリズム
◎唐澤一寛・山田敏規(埼玉大)
A-019 2×n双行列ゲームのナッシュ均衡点を求める高速アルゴリズム
◎石井宏幸・山田敏規(埼玉大)
A-020 遺伝的プログラミングによる巡回セールスマン問題の解法について
◎原 裕一・山内 仁・金川明弘・高橋浩光(岡山県大)
A-021 凹最小化問題に対するFalk-Solandの分枝限定法に関するー考察
◎斉藤恵一(北大)・施 建明(室蘭工大)・田中 章・河口万由香・宮腰政明(北大)
A-022 数式処理システムMathematica上における再帰除去システム
◎市川祐輔(早大)・二村良彦(Futamura Institute, Inc.)・上田和紀(早大)
A-023 GRID環境を用いたボロノイ図の作成アルゴリズムに関する検討
◎水江真登・小林孝史・上島紳一(関西大)
A-024 遺伝的アルゴリズムによる看護師勤務表の最適化
◎森本章雄・三宅宏典(鳥取大)・高ノ瀬文明(静岡大)・大北正昭・大木 誠(鳥取大)

9月8日(木) 15:00〜17:30 6号館3階 6317教室
 5Jセッション [プログラミング(2)] 座長  岩崎英哉 (電通大)
A-025 A Solution of Printing Encryption in PS
◎陳 憲(富士ゼロックス)
A-026 プログラム理解のための変数凝集度・結合度の視覚的表現
◎西本一平・戸田真志(はこだて未来大)
A-027 (講演取消)
A-028 Squeakにおけるメソッド配分プロファイラの実装を目的としたVM生成システムの拡張
◎長田 忍・楢崎修二(長崎大)
A-029 J2EEと.NETのサンプルプログラミングに見るアーキテクチャの比較と開発生産性に関する考察
◎中尾信明(富士通九州システムエンジニアリング)
A-030 PCクラスタ上でのJPEGエンコーダ・デコーダの並列化
◎池上広済・山崎勝弘・小柳 滋(立命館大)
LA-004 プロセス情報を用いた計算機負荷長期予測モデル
◎立見博史・菅谷至寛・阿曽弘具(東北大)

9月9日(金) 9:00〜12:00 6号館3階 6317教室
 6Jセッション [アルゴリズム(3)] 座長  築地立家 (電機大)
A-031 柔軟性に富む高速先入れ先出し受け付け機構の提案
○山本 登(日大)
A-032 焦げたパンケーキグラフにおけるコンテナ問題
○澤田直樹・鈴木康斗・金子敬一(農工大)
A-033 (講演取消)
A-034 Application of Genetic Recombination to Genetic Local Search in TSP
○Gang Peng(Oita National College of Technology)・Ichiro Iimura(熊本県大)・Shigeru Nakayama(鹿児島大)
A-035 (講演取消)
LA-005 辺縮約問題の近似困難性
○大月英明(南山大)・平田富夫(名大)
LA-006 大規模P2Pシステムにおける計算資源探索のモデル化と性能評価
◎大川拓郎・滝沢寛之・小林広明(東北大)
LA-007 Arc-annotation付きテキストに対するパターン照合アルゴリズム
◎喜田拓也(北大)

9月9日(金) 13:00〜16:00 6号館3階 6317教室
 7Jセッション [数理モデル化] 座長  古瀬慶博 (三菱スペース・ソフトウェア)
LA-008 間引き,補間を含むフィルタ処理におけるシフト依存性の評価法
◎松尾直志(京都工繊大)・吉田靖夫・中森伸行(京都工繊大)
A-036 高完全性マルチキャストの提案
◎金田直樹・塩見格一(電子航法研)
A-037 効率的な二次元RAIDのための完全二部グラフのorderingの構成法
◎菊池大吾・足立智子(東邦大)
A-038 シミュレーテッドアニーリングプログラミングによるロボット行動の自動獲得-遺伝的プログラミングとの性能比較-
◎藤田佳久・三木光範・橋本雅文・廣安知之(同志社大)
A-039 広域非同期分散対話型遺伝的アルゴリズムにおける複数母集団の影響
◎山元佑輝・三木光範(同志社大)・和氣早苗(同志社女子大)・廣安知之(同志社大)
A-040 ダイヤ乱れ時の乗務員指令伝達支援の検討
○安保徳央(JR東海)