Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2016] | [2017] | [2018] | [2019] | [2020] | [2021] | [2022] | [Japanese] / [English]
MSS2019-57
集団を区別しない成功の模倣に対するPI制御法
○梶山虎宇・金澤尚史（阪大）
pp. 1 - 4
MSS2019-58
アミノ酸配列と構造情報に基づくタンパク質の諸性質を対象とした形式概念分析の試み
○尾﨑裕樹・山碕達己・土屋勇貴・次田 凌・中村正樹・榊原一紀・篠田 優・浅野泰久（富山県立大）
pp. 5 - 8
MSS2019-59
迷惑メールフィルタリングにおける未学習語利用の効果
○中谷和哉・天満誠也・杉井 学・松野浩嗣（山口大）
pp. 9 - 12
MSS2019-60
迷惑メール分類のための辞書にない単語の特徴解析
○天満誠也・中谷和哉・杉井 学・松野浩嗣（山口大）
pp. 13 - 18
MSS2019-61
言語特徴化を目的としたFillmoreの格文法の法性形式化
○原添修司（山口大）・呉 靭（山口短大）・松野浩嗣（山口大）
pp. 19 - 24
MSS2019-62
OTS/CafeOBJ法によるマルチタスク実時間システムの形式的検証
東 周輝・○中村正樹・榊原一紀（富山県立大）・緒方和博（北陸先端大）
pp. 25 - 30
MSS2019-63
2目的Min-Max集合多重被覆問題に対する貪欲解法
○孫 綺蔚・宮本俊幸（阪大）・北村聖一・松岡綾子・内藤健人・森 一之（三菱電機）・泉井良夫（金沢工大）
pp. 31 - 36
MSS2019-64
整数計画自動生成に基づく分散計算環境における最適資源割り当て
○喜屋武将也・内原朝也・名嘉村盛和（琉球大）
pp. 37 - 42
MSS2019-65
メタヒューリスティクスの制約なし二次形式二値変数最適化問題への適用
○多和田雅師・戸川 望（早大）
pp. 43 - 48
MSS2019-66
一様終局有界性に基づく事象駆動型量子化状態フィードバックの設計
吉川峻平・○小林孝一・山下 裕（北大）
pp. 49 - 52
MSS2019-67
Simulinkモデルに対するChainerRLを用いたハイブリッド頑健性に基づく時相理論仕様の不具合導出
○大脇亮太・結縁祥治（名大）
pp. 53 - 58
MSS2019-68
Reinforcement learning in goods transportation for an autonomous vehicle with co-safe temporal logic specifications
○Jian Mi・Toshimitsu Ushio（Osaka Univ.）
pp. 59 - 64
注： 本技術報告は査読を経ていない技術報告であり，推敲を加えられていずれかの場に発表されることがあります．