3月9日(月) 午前 NLP1
09:00 - 10:40 |
(1)
NLP |
09:00-09:25 |
非線形格子系での断熱変化を用いた非線形局在モードの移動操作に関する一検討 |
○荒木裕貴・引原隆士（京大） |
(2)
NLP |
09:25-09:50 |
Mathematical Analysis of Two Dimensional Swarm Flocking Formation in Time-Invariant External Potential |
○Yanran Wang・Takashi Hikihara（Kyoto Univ.） |
(3)
NLP |
09:50-10:15 |
凸2次関数の逐次最小化に基づくSandberg-Willson方程式の分散解法 |
○武内雅章・右田剛史・高橋規一（岡山大） |
(4)
NLP |
10:15-10:40 |
射影合意に基づく非負制約付き連立一次方程式の最大誤差最小化アルゴリズム |
○川嶌康輔・右田剛史・高橋規一（岡山大） |
| |
10:40-10:50 |
休憩 （ 10分 ） |
3月9日(月) 午前 NLP2
10:50 - 12:05 |
(5)
NLP |
10:50-11:15 |
解糖系を含む膵β細胞モデルのベクトル場の遅速分解と分岐解析に基づく解析 ～ 外部入力と血糖値の影響に注目して ～ |
○杉浦知基・土居伸二（京大） |
(6)
NLP |
11:15-11:40 |
定常パターンを擁する3状態面心立方セルオートマトンにおける伝播パターンの衝突実験 |
○蜷川 繁（金沢工大） |
(7)
NLP |
11:40-12:05 |
多目的最適化に基づくスイッチング電源の解析 |
○藤川龍太郎・外川智之・斎藤利通（法政大） |
| |
12:05-13:05 |
昼食 （ 60分 ） |
3月9日(月) 午後 MSS1 WIP1
13:05 - 14:20 |
(8)
MSS |
13:05-13:30 |
集団を区別しない成功の模倣に対するPI制御法 |
○梶山虎宇・金澤尚史（阪大） |
(9)
MSS |
13:30-13:55 |
アミノ酸配列と構造情報に基づくタンパク質の諸性質を対象とした形式概念分析の試み |
○尾﨑裕樹・山碕達己・土屋勇貴・次田 凌・中村正樹・榊原一紀・篠田 優・浅野泰久（富山県立大） |
(10)
MSS |
13:55-14:20 |
迷惑メールフィルタリングにおける未学習語利用の効果 |
○中谷和哉・天満誠也・杉井 学・松野浩嗣（山口大） |
| |
14:20-14:30 |
休憩 （ 10分 ） |
3月9日(月) 午後 NLP3
14:30 - 16:10 |
(11)
NLP |
14:30-14:55 |
進化計算に基づく簡素なスパイキングニューロンの解析 |
○川口弘太郎・加藤皓也・沖津怜直・斎藤利通（法政大） |
(12)
NLP |
14:55-15:20 |
デジタルスパイクマップ：進化的合成とFPGA実装 |
○原田朋樹・大石侑弥・斎藤利通（法政大） |
(13)
NLP |
15:20-15:45 |
スピントロニクスデバイスに基づくシナプスの数理モデル |
○佐藤 拓・菊池優志・アレクサンダー クレンコフ・堀尾喜彦・深見俊輔（東北大） |
(14)
NLP |
15:45-16:10 |
Co-teachingを用いて学習した2つの畳み込みニューラルネットワークの相補的役割 |
○佐村俊和・多田村克己（山口大） |
| |
16:10-16:20 |
休憩 （ 10分 ） |
3月9日(月) 午後 NLP招待講演
16:20 - 17:20 |
| (15) |
16:20-17:20 |
［招待講演］ ベルヌーイシフトカオスの実装について
○池口徹（東京理科大学） |
| |
17:20-17:25 |
休憩 （ 5分 ） |
3月9日(月) 午後 MSS2
17:25 - 18:40 |
(16)
MSS |
17:25-17:50 |
迷惑メール分類のための辞書にない単語の特徴解析 |
○天満誠也・中谷和哉・杉井 学・松野浩嗣（山口大） |
(17)
MSS |
17:50-18:15 |
言語特徴化を目的としたFillmoreの格文法の法性形式化 |
○原添修司（山口大）・呉 靭（山口短大）・松野浩嗣（山口大） |
(18)
MSS |
18:15-18:40 |
OTS/CafeOBJ法によるマルチタスク実時間システムの形式的検証 |
東 周輝・○中村正樹・榊原一紀（富山県立大）・緒方和博（北陸先端大） |
3月10日(火) 午前 MSS3 WIP2
09:00 - 09:50 |
(19)
MSS |
09:00-09:25 |
2目的Min-Max集合多重被覆問題に対する貪欲解法 |
○孫 綺蔚・宮本俊幸（阪大）・北村聖一・松岡綾子・内藤健人・森 一之（三菱電機）・泉井良夫（金沢工大） |
(20)
MSS |
09:25-09:50 |
整数計画自動生成に基づく分散計算環境における最適資源割り当て |
○喜屋武将也・内原朝也・名嘉村盛和（琉球大） |
| |
09:50-09:55 |
休憩 （ 5分 ） |
3月10日(火) 午前 NLP4
09:55 - 11:35 |
(21)
NLP |
09:55-10:20 |
複数データを用いた遺伝子制御ネットワークの推定手法に関する検討 |
○常 峰閣・島田 裕・重原孝臣（埼玉大） |
(22)
NLP |
10:20-10:45 |
時系列データを用いたネットワーク構造推定における未観測頂点の検出とその結合推定に関する検討 |
○榊原有貴・島田 裕・重原孝臣（埼玉大） |
(23)
NLP |
10:45-11:10 |
日本語訳と英語訳の新約聖書を対象にした言語ネットワークの解析 |
○眞岸祈平・松本朋子（東京理科大）・島田 裕（埼玉大）・池口 徹（東京理科大） |
(24)
NLP |
11:10-11:35 |
ネットワーク中心性とコミュニティ性を考慮した情報拡散モデル |
○ジョ ロエン・澤田和弥（東京理科大）・島田 裕（埼玉大）・池口 徹（東京理科大） |
| |
11:35-12:35 |
昼食 （ 60分 ） |
3月10日(火) 午後 DES
12:35 - 13:25 |
| (25) |
12:35-13:00 |
DES1 |
| (26) |
13:00-13:25 |
DES2 |
| |
13:25-13:30 |
休憩 （ 5分 ） |
3月10日(火) 午後 NLP5
13:30 - 14:45 |
(27)
NLP |
13:30-13:55 |
時系列データの解像度が因果性検出に及ぼす影響 |
○澤田和弥（東京理科大）・島田 裕（埼玉大）・池口 徹（東京理科大） |
(28)
NLP |
13:55-14:20 |
ネットワーク頂点間距離を考慮した経路制御手法の性能調査 |
○海老沢大樹・吉田章統・木村貴幸（日本工大） |
(29)
NLP |
14:20-14:45 |
現実性を考慮したネットワークトポロジーにおける経路制御手法の性能調査 |
○雪田翔大・内野與也・木村貴幸（日本工大） |
| |
14:45-14:55 |
休憩 （ 10分 ） |
3月10日(火) 午後 MSS4
14:55 - 16:35 |
(30)
MSS |
14:55-15:20 |
メタヒューリスティクスの制約なし二次形式二値変数最適化問題への適用 |
○多和田雅師・戸川 望（早大） |
(31)
MSS |
15:20-15:45 |
一様終局有界性に基づく事象駆動型量子化状態フィードバックの設計 |
吉川峻平・○小林孝一・山下 裕（北大） |
(32)
MSS |
15:45-16:10 |
Simulinkモデルに対するChainerRLを用いたハイブリッド頑健性に基づく時相理論仕様の不具合導出 |
○大脇亮太・結縁祥治（名大） |
(33)
MSS |
16:10-16:35 |
Reinforcement learning in goods transportation for an autonomous vehicle with co-safe temporal logic specifications |
○Jian Mi・Toshimitsu Ushio（Osaka Univ.） |
| |
16:35-16:45 |
休憩 （ 10分 ） |
3月10日(火) 午後 NLP6
16:45 - 18:00 |
(34)
NLP |
16:45-17:10 |
トラッキング制御を導入した強化学習ベース多船航路探索法 |
○木村拓貴・冨原崇寛・神尾武司（広島市大）・田中隆博（海上保安大）・三堀邦彦（拓殖大）・藤坂尚登（広島市大） |
(35)
NLP |
17:10-17:35 |
通信チャネル制約のあるネットワーク化制御への深層強化学習の応用 |
○狐塚崇大・橋本和宗・潮 俊光（阪大） |
(36)
NLP |
17:35-18:00 |
経路依存場所情報を符号化するスパイキングニューラルネットワークを用いた行動選択学習 |
○立野勝巳・髙田健介（九工大） |
3月10日(火) 午後 MSS WIP優秀論文賞 授賞式
18:00 - 18:05 |
| |
- |
MSS WIP優秀論文賞 授賞式 |
: t
t
es
-u