1月26日(木) 午前
09:30 - 12:15 |
| (1) |
09:30-10:00 |
音声つぶやきによる看護・介護の時空間コミュニケーション ～ 情報スーパーバイザ制御の提案 ～ |
○内平直志・鳥居健太郎（東芝）・平石邦彦・崔 舜星・知野哲朗（北陸先端大）・平林裕治（清水建設）・杉原太郎（北陸先端大） |
| (2) |
10:00-10:30 |
フィジカルコンピューティングのためのスマートフォンを用いた開発環境の提案 |
○上村祐加・高田喜朗（高知工科大） |
| (3) |
10:30-11:00 |
コスト予測における対数変換すべき変数の判別手法の評価 |
○三好健太（香川高専）・生方克馬（野村総研）・柿元 健（香川高専）・楠本真二（阪大） |
| |
11:00-11:15 |
休憩 （ 15分 ） |
| (4) |
11:15-11:45 |
アーキテクチャ点写像による設計・コード間の双方向追跡 |
○鵜林尚靖・亀井靖高（九大） |
| (5) |
11:45-12:15 |
SMTソルバーを用いたUML状態機械の有界モデル検査に関する一考察 |
○新村勇人・宮本俊幸（阪大） |
| |
12:15-13:15 |
昼食 （ 60分 ） |
1月26日(木) 午後
13:15 - 18:15 |
| (6) |
13:15-13:45 |
cbUMLのコミュニケーション図から状態機械への変換およびそれらの形式的意味について |
○長谷川泰央・宮本俊幸（阪大） |
| (7) |
13:45-14:15 |
拡張自由選択ワークフローネットとそのサブネット間のProtocol継承の多項式時間判定について |
○平川智悠・山口真悟（山口大） |
| (8) |
14:15-14:45 |
関数呼び出しを持つプログラムの非線形ループ不変式の自動生成 |
○鈴木英一・坂部俊樹・酒井正彦・草刈圭一朗・西田直樹（名大） |
| (9) |
14:45-15:15 |
語問題を基底等式集合の語問題に帰着可能な等式集合のクラスについて |
○坂井利光・酒井正彦・坂部俊樹・西田直樹・草刈圭一朗（名大） |
| |
15:15-15:30 |
休憩 （ 15分 ） |
| (10) |
15:30-16:00 |
単純型付き項書換え系における書換え帰納法について |
○尾関 朗・草刈圭一朗・坂田 翼・西田直樹・酒井正彦・坂部俊樹（名大） |
| (11) |
16:00-16:30 |
高階書換え系における引数切り落とし関数の下での実効規則について |
○大井一展・草刈圭一朗・酒井正彦・坂部俊樹・西田直樹（名大） |
| (12) |
16:30-17:00 |
分解法に基づく2目的巡回セールスマン問題の解法とその評価 |
○稲本浩也・橋爪 悟・矢嶌智之・橋爪 進・小野木克明（名大） |
| |
17:00-17:15 |
休憩 （ 15分 ） |
| (13) |
17:15-18:15 |
［招待講演］サイバーフィジカルシステムの数理 |
○田崎勇一（名大） |
1月27日(金) 午前
09:00 - 12:15 |
| (14) |
09:00-10:00 |
［招待講演］区間制約プログラミングの研究事例 ～ Under-constrained問題のための射影手法とハイブリッドシステムの高精度シミュレーション手法 ～ |
○石井大輔（NII） |
| |
10:00-10:15 |
休憩 （ 15分 ） |
| (15) |
10:15-10:45 |
2台のエレベーターにおけるピーク電力抑制と利便性を両立する制御手法 |
○高橋宏治（東工大） |
| (16) |
10:45-11:15 |
複数の確率的遅延を有するネットワーク化システムの制御 |
○小林孝一・平石邦彦（北陸先端大） |
| (17) |
11:15-11:45 |
顧客要求を基に要求仕様書を自動生成する仕組み |
○村山修平・飯塚寛晃・廣瀬史典（芝浦工大）・山中隆敏（富士通研）・古宮誠一（芝浦工大） |
| (18) |
11:45-12:15 |
離散事象システムの分散型故障診断における冗長性解析 |
○中田修平・高井重昌（阪大） |
: 
-n
pu-
a
-