| 講演抄録/キーワード |
| 講演名 |
2014-09-02 13:30
[招待講演]モデリングとアルゴリズム/計算量理論 ~ 鉄道,AGV(自動搬送車),日本プロ野球試合におけるスケジューリングを例として ~ ○増山 繁(豊橋技科大) COMP2014-19 |
| 抄録 |
(和) |
本稿では現実の問題を定式化する際にアルゴリズム設計論、計算量理論の知識がどのように役立つかを,鉄道,AGV(自動搬送車),日本プロ野球試合におけるスケジューリングを例として説明する.現実のシステムをモデル化する際,対象とするシステムに対して深い知識と洞察をもつとともに,アルゴリズム設計論の知識と計算量理論の知識が有用である.対象とするシステムを厳密に定式化しようとすると,細部にわたって定式化しがちで,結果的に大規模かつ複雑な問題に定式化されてしまい,解を求めることが不可能になってしまう.そのとき,アルゴリズム設計論と計算量理論の知識があればどのように定式化すれば効率よく解くことが出来るかを見極めることが出来る.その際,対象とするシステムをよく理解していることにより,どこが重要で省略できないか,また,どこは重要でなく,定式化において省略可能かの判断が可能となる.例として,我々の研究室でこれまで取り組んできた,鉄道,AGV(自動搬送車),日本プロ野球試合におけるスケジューリングの定式化を紹介する. |
| (英) |
This paper discuss and suggest how knowledge on algorithm design theory and computational complexity theory help to model real-world problems appropriately using scheduling in railroad, AGV(Automated Guided Vehicle) as examples.When we formalize real world problems knowledge on algorithm design theory and computational complexity theory as well as deep knowledge and insight on the system. We tend to pay too much attention on the detail of the system when we formalize a system, which makes the formalized problem prohibitively large and complicated to be solved. If we have sufficient knowdge on algorithm design theory and computational complexity theory, we can judge how to formalize the problem so that it is efficiently solvable. Then, deep understanding of the system to be formalized enables us to judge which part can not be omitted as it is important. We introduce scheduling in railroad, AGV(Automated Guided Vehicle) and NPB League as working examples. |
| キーワード |
(和) |
アルゴリズム設計 / 計算量理論 / モデリング / 離散最適化 / スケジューリング / / / |
| (英) |
algorithm design / computational complexity / modeling / discrete optimization / scheduling / / / |
| 文献情報 |
信学技報, vol. 114, no. 199, COMP2014-19, pp. 29-34, 2014年9月. |
| 資料番号 |
COMP2014-19 |
| 発行日 |
2014-08-26 (COMP) |
| ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
| PDFダウンロード |
COMP2014-19 |
| 研究会情報 |
| 研究会 |
COMP |
| 開催期間 |
2014-09-02 - 2014-09-02 |
| 開催地(和) |
豊橋技術科学大学 |
| 開催地(英) |
Toyohashi University of Technology |
| テーマ(和) |
|
| テーマ(英) |
|
| 講演論文情報の詳細 |
| 申込み研究会 |
COMP |
| 会議コード |
2014-09-COMP |
| 本文の言語 |
日本語 |
| タイトル(和) |
モデリングとアルゴリズム/計算量理論 |
| サブタイトル(和) |
鉄道,AGV(自動搬送車),日本プロ野球試合におけるスケジューリングを例として |
| タイトル(英) |
Modeling and Algorithm/Complexity Theory |
| サブタイトル(英) |
Scheduling in Railroad, AGV(Automated Guided Vehicle) NPB League as Examples |
| キーワード(1)(和/英) |
アルゴリズム設計 / algorithm design |
| キーワード(2)(和/英) |
計算量理論 / computational complexity |
| キーワード(3)(和/英) |
モデリング / modeling |
| キーワード(4)(和/英) |
離散最適化 / discrete optimization |
| キーワード(5)(和/英) |
スケジューリング / scheduling |
| キーワード(6)(和/英) |
/ |
| キーワード(7)(和/英) |
/ |
| キーワード(8)(和/英) |
/ |
| 第1著者 氏名(和/英/ヨミ) |
増山 繁 / Shigeru Masuyama / マスヤマ シゲル |
| 第1著者 所属(和/英) |
豊橋技術科学大学 (略称: 豊橋技科大)
Toyohashi University of Technology (略称: Toyohashi Univ. of Tech.) |
| 第2著者 氏名(和/英/ヨミ) |
/ / |
| 第2著者 所属(和/英) |
(略称: )
(略称: ) |
| 第3著者 氏名(和/英/ヨミ) |
/ / |
| 第3著者 所属(和/英) |
(略称: )
(略称: ) |
| 第4著者 氏名(和/英/ヨミ) |
/ / |
| 第4著者 所属(和/英) |
(略称: )
(略称: ) |
| 第5著者 氏名(和/英/ヨミ) |
/ / |
| 第5著者 所属(和/英) |
(略称: )
(略称: ) |
| 第6著者 氏名(和/英/ヨミ) |
/ / |
| 第6著者 所属(和/英) |
(略称: )
(略称: ) |
| 第7著者 氏名(和/英/ヨミ) |
/ / |
| 第7著者 所属(和/英) |
(略称: )
(略称: ) |
| 第8著者 氏名(和/英/ヨミ) |
/ / |
| 第8著者 所属(和/英) |
(略称: )
(略称: ) |
| 第9著者 氏名(和/英/ヨミ) |
/ / |
| 第9著者 所属(和/英) |
(略称: )
(略称: ) |
| 第10著者 氏名(和/英/ヨミ) |
/ / |
| 第10著者 所属(和/英) |
(略称: )
(略称: ) |
| 第11著者 氏名(和/英/ヨミ) |
/ / |
| 第11著者 所属(和/英) |
(略称: )
(略称: ) |
| 第12著者 氏名(和/英/ヨミ) |
/ / |
| 第12著者 所属(和/英) |
(略称: )
(略称: ) |
| 第13著者 氏名(和/英/ヨミ) |
/ / |
| 第13著者 所属(和/英) |
(略称: )
(略称: ) |
| 第14著者 氏名(和/英/ヨミ) |
/ / |
| 第14著者 所属(和/英) |
(略称: )
(略称: ) |
| 第15著者 氏名(和/英/ヨミ) |
/ / |
| 第15著者 所属(和/英) |
(略称: )
(略称: ) |
| 第16著者 氏名(和/英/ヨミ) |
/ / |
| 第16著者 所属(和/英) |
(略称: )
(略称: ) |
| 第17著者 氏名(和/英/ヨミ) |
/ / |
| 第17著者 所属(和/英) |
(略称: )
(略称: ) |
| 第18著者 氏名(和/英/ヨミ) |
/ / |
| 第18著者 所属(和/英) |
(略称: )
(略称: ) |
| 第19著者 氏名(和/英/ヨミ) |
/ / |
| 第19著者 所属(和/英) |
(略称: )
(略称: ) |
| 第20著者 氏名(和/英/ヨミ) |
/ / |
| 第20著者 所属(和/英) |
(略称: )
(略称: ) |
| 第21著者 氏名(和/英/ヨミ) |
/ / |
| 第21著者 所属(和/英) |
(略称: )
(略称: ) |
| 第22著者 氏名(和/英/ヨミ) |
/ / |
| 第22著者 所属(和/英) |
(略称: )
(略称: ) |
| 第23著者 氏名(和/英/ヨミ) |
/ / |
| 第23著者 所属(和/英) |
(略称: )
(略称: ) |
| 第24著者 氏名(和/英/ヨミ) |
/ / |
| 第24著者 所属(和/英) |
(略称: )
(略称: ) |
| 第25著者 氏名(和/英/ヨミ) |
/ / |
| 第25著者 所属(和/英) |
(略称: )
(略称: ) |
| 第26著者 氏名(和/英/ヨミ) |
/ / |
| 第26著者 所属(和/英) |
(略称: )
(略称: ) |
| 第27著者 氏名(和/英/ヨミ) |
/ / |
| 第27著者 所属(和/英) |
(略称: )
(略称: ) |
| 第28著者 氏名(和/英/ヨミ) |
/ / |
| 第28著者 所属(和/英) |
(略称: )
(略称: ) |
| 第29著者 氏名(和/英/ヨミ) |
/ / |
| 第29著者 所属(和/英) |
(略称: )
(略称: ) |
| 第30著者 氏名(和/英/ヨミ) |
/ / |
| 第30著者 所属(和/英) |
(略称: )
(略称: ) |
| 第31著者 氏名(和/英/ヨミ) |
/ / |
| 第31著者 所属(和/英) |
(略称: )
(略称: ) |
| 第32著者 氏名(和/英/ヨミ) |
/ / |
| 第32著者 所属(和/英) |
(略称: )
(略称: ) |
| 第33著者 氏名(和/英/ヨミ) |
/ / |
| 第33著者 所属(和/英) |
(略称: )
(略称: ) |
| 第34著者 氏名(和/英/ヨミ) |
/ / |
| 第34著者 所属(和/英) |
(略称: )
(略称: ) |
| 第35著者 氏名(和/英/ヨミ) |
/ / |
| 第35著者 所属(和/英) |
(略称: )
(略称: ) |
| 第36著者 氏名(和/英/ヨミ) |
/ / |
| 第36著者 所属(和/英) |
(略称: )
(略称: ) |
| 講演者 |
第1著者 |
| 発表日時 |
2014-09-02 13:30:00 |
| 発表時間 |
60分 |
| 申込先研究会 |
COMP |
| 資料番号 |
COMP2014-19 |
| 巻番号(vol) |
vol.114 |
| 号番号(no) |
no.199 |
| ページ範囲 |
pp.29-34 |
| ページ数 |
6 |
| 発行日 |
2014-08-26 (COMP) |