11月24日(木) 午前 CAS1
座長: 越田俊介（東北大）
10:00 - 11:40 |
(1)
CAS |
10:00-10:25 |
センサトリガを用いたハードウェアトロイの実装と評価 |
○岩瀬貴都・野崎佑典・吉川雅弥（名城大） |
(2)
CAS |
10:25-10:50 |
エリア内部で充電するUAVの2回飛行による正方格子グラフ探索 |
○金子美博・可児丈輝（岐阜大）・間瀬憲一（新潟大） |
(3)
CAS |
10:50-11:15 |
ポインタ付与によるRun-Based Trie探索の高速化 |
○原田崇司・田中 賢（神奈川大）・三河賢治（新潟大） |
(4)
CAS |
11:15-11:40 |
A Traffic Load Balancing with Tie-sets in a Dispersion-managed Network |
○Masashi Yamada・Norihiko Shinomiya（Soka Univ.） |
| |
11:40-13:00 |
昼食 （ 80分 ） |
11月24日(木) 午後 MSS1
座長: 金城秀樹（沖縄大）
13:00 - 14:40 |
(5)
MSS |
13:00-13:25 |
非決定離散事象システムの模倣制御におけるノンブロッキングスーパバイザの存在性 |
○山田悠貴・高井重昌（阪大） |
(6)
MSS |
13:25-13:50 |
ペトリネット検証ツールHiPS向けon-the-flyモデル検査器の実現と評価 |
○張江洋次朗・和﨑克己（信州大） |
(7)
MSS |
13:50-14:15 |
プログラムグラフによるCソースコードの表現と解析 |
○大久保建男（岩手県立大）・福原和哉（i-MOS）・猪股俊光・杉野栄二・新井義和・今井信太郎（岩手県立大） |
(8)
MSS |
14:15-14:40 |
探索時間制約下における複数粒子群最適化のための変動パラメータ設定手法 |
○安里祐哉（琉球大）・天願 健（名桜大）・名嘉村盛和（琉球大） |
| |
14:40-14:55 |
休憩 （ 15分 ） |
11月24日(木) 午後 IPSJ-AL
14:55 - 16:10 |
| (9) |
14:55-15:20 |
対称差に対する劣モジュラ関数の基準集合発見問題
○中島淳平・山内由紀子・来嶋秀治・山下雅史（九大） |
| (10) |
15:20-15:45 |
シュタイナー森問題に対する近似アルゴリズムの性能評価
○浅野孝夫（中央大） |
| (11) |
15:45-16:10 |
分枝限定法による最大辺重みクリーク抽出法
○清水悟司・山口一章・増田澄男（神戸大） |
| |
16:10-16:25 |
休憩 （ 15分 ） |
11月24日(木) 午後 【招待講演】 CAS1
座長: 越田俊介（東北大）
16:25 - 17:05 |
(12)
CAS |
16:25-17:05 |
［招待講演］“交流”を主眼とする科学コミュニケーション活動の記録・分析 ～ いわきにおける放射線に関する対話 ～ |
○相田 慎（豊橋技科大） |
| |
17:05-17:15 |
休憩 （ 10分 ） |
11月24日(木) 午後 【招待講演】 MSS
座長: 山根智（金沢大）
17:15 - 18:05 |
(13)
MSS |
17:15-18:05 |
［招待講演］映像検索の過去・現在・未来:既知から未知の検索対象へ |
○劉 健全・西村祥治・荒木拓也・中村祐一（NEC） |
11月25日(金) 午前 CAS2
座長: 高橋俊彦（新潟大）
09:00 - 10:40 |
(14)
CAS |
09:00-09:25 |
高位合成における信頼性を考慮したクロックスキュー調整に関する一検討 |
○井上恵介（金沢高専） |
(15)
CAS |
09:25-09:50 |
A Note on the Spanning Subgraph Isomorphism Problem |
○Satoshi Tayu・Kenji Ichikawa・Shuichi Ueno（Tokyo Tech） |
(16)
CAS |
09:50-10:15 |
On the Complexity of Finding a Largest Common Subtree of Trees |
○Hiroki Katsumata・Satoshi Tayu・Shuichi Ueno（Tokyo Tech） |
(17)
CAS |
10:15-10:40 |
A 3/2-Approximation Algorithm for the Bipartite Dense Subgraph Problem on Bipartite Permutation Graphs |
○Yuta Inaba・Satoshi Tayu・Shuichi Ueno（Tokyo Tech） |
| |
10:40-10:55 |
休憩 （ 15分 ） |
11月25日(金) 午前 【招待講演】 CAS2
座長: 越田俊介（東北大）
10:55 - 11:35 |
(18)
CAS |
10:55-11:35 |
［招待講演］トークン整列問題への誘い ～ あみだくじをグラフへ一般化 ～ |
○山中克久（岩手大） |
| |
11:35-12:55 |
昼食 （ 80分 ） |
11月25日(金) 午後 MSS2
座長: 宮本俊幸（阪大）
12:55 - 14:35 |
(19)
MSS |
12:55-13:20 |
同期回路の機能的定義による同期概念の形式化 |
○西村俊二・尼崎太樹・末吉敏則（熊本大） |
(20)
MSS |
13:20-13:45 |
戦略の更新間隔の違いを考慮した模倣ダイナミクス |
○町田真直・金澤尚史（阪大） |
(21)
MSS |
13:45-14:10 |
時間情報をもつユーザモデルを用いた人間機械系におけるモードコンフュージョンの検出 |
○前田佳樹・潮 俊光（阪大） |
(22)
MSS |
14:10-14:35 |
利得関数が未知の集団ゲームにおける補助金を用いた任意目標状態の安定化 |
○木下雅也・金澤尚史（阪大） |
gu
-u
: m
si
ecei
