情報・システム-ソフトウェアサイエンス(開催日:2018/01/18)

タイトル/著者/発表日/資料番号
東洋医学に基づく五臓六腑および十二正経のペトリネットモデルの構築

甘 泉(山口大),  高橋 柚有(山口大),  呉 靭(山口短大),  中田 充(山口大),  葛 崎偉(山口大),  

[発表日]2018-01-18
[資料番号]MSS2017-59,SS2017-46
シグネチャ情報と入出力情報を用いたJavaメソッドの生成

下仲 健斗(阪大),  肥後 芳樹(阪大),  松本 淳之介(阪大),  内藤 圭吾(阪大),  楠本 真二(阪大),  

[発表日]2018-01-18
[資料番号]MSS2017-48,SS2017-35
ソースコードの「自然さ」を利用した自動生成ファイルの特定

土居 真之(阪大),  肥後 芳樹(阪大),  有馬 諒(阪大),  下仲 健斗(阪大),  楠本 真二(阪大),  

[発表日]2018-01-18
[資料番号]MSS2017-50,SS2017-37
グラフの決定セットの判定法に関する検証

田中 香貴(山口大),  後藤 隆文(山口大),  中田 充(山口大),  Chiranut Sa-ngiamsak(Khon Kaen Univ.),  葛 崎偉(山口大),  

[発表日]2018-01-18
[資料番号]MSS2017-51,SS2017-38
複数集団アクセスポイント選択ゲームにおける重み付きポテンシャル

小寺 雄貴(阪大),  金澤 尚史(阪大),  

[発表日]2018-01-18
[資料番号]MSS2017-52,SS2017-39
汎用性を考慮した人体経絡のペトリネットモデルの構築およびシミュレーションデータの集計

グェン ティ トゥイ(山口大),  高橋 柚有(山口大),  呉 靭(山口短大),  中田 充(山口大),  葛 崎偉(山口大),  

[発表日]2018-01-18
[資料番号]MSS2017-60,SS2017-47
組合せ回路用テストパターン生成への計算機代数システムの利用に関する調査

稲元 勉(愛媛大),  樋上 喜信(愛媛大),  

[発表日]2018-01-18
[資料番号]MSS2017-57,SS2017-44
レジスタ付き文脈自由文法に関する所属問題と空問題の計算複雑さ

仙田 涼摩(名大),  関 浩之(名大),  

[発表日]2018-01-18
[資料番号]MSS2017-54,SS2017-41
A Proposal of Generating Paths of Program Net and Its Application to Software Testing

呉 彪(山口大),  包 曉安(浙江理工大),  張 娜(浙江理工大),  中田 充(山口大),  葛 崎偉(山口大),  

[発表日]2018-01-18
[資料番号]MSS2017-58,SS2017-45
[招待講演]プログラミング言語Rubyの開発動向紹介

遠藤 侑介(クックパッド),  

[発表日]2018-01-18
[資料番号]MSS2017-61,SS2017-48
継続渡しスタイルの関数型プログラミング言語のインタプリタによる並行処理の設計

小島 渚(広島市大),  島 和之(広島市大),  

[発表日]2018-01-18
[資料番号]MSS2017-55,SS2017-42
企業におけるソフトウェア開発に対する自動プログラム修正技術

内藤 圭吾(阪大),  谷門 照斗(阪大),  ?本 真佑(阪大),  肥後 芳樹(阪大),  楠本 真二(阪大),  切貫 弘之(NTT),  倉林 利行(NTT),  丹野 治門(NTT),  

[発表日]2018-01-18
[資料番号]MSS2017-49,SS2017-36
EDFスケジューリングでプロセッサ共有する実時間マルチタスク分散システムに対する拡張時間ペトリネットを用いたデッドライン割り当て最適化手法

松岡 伶音(広島市大),  中田 明夫(広島市大),  

[発表日]2018-01-18
[資料番号]MSS2017-56,SS2017-43
グラフのスタック数によるスタックキューミックスレイアウト

宮内 美樹(NTT),  

[発表日]2018-01-18
[資料番号]MSS2017-53,SS2017-40
名前変更リファクタリングが行われた識別子間の関係性に関する実証的調査

梅川 尚孝(東工大),  林 晋平(東工大),  佐伯 元司(東工大),  

[発表日]2018-01-18
[資料番号]MSS2017-47,SS2017-34
オブザーバを用いた非決定離散事象システムの分散型模倣制御

大久保 樹(阪大),  高井 重昌(阪大),  

[発表日]2018-01-19
[資料番号]MSS2017-70,SS2017-57
分散事象駆動型制御による複合システムの安定化へのM行列の応用

福田 健一(阪大),  潮 俊光(阪大),  

[発表日]2018-01-19
[資料番号]MSS2017-71,SS2017-58
開発標準プロセスを用いた不完全なソフトウェア要求に対する問題検出の分類法

宮村 純真(奈良先端大),  川口 真司(JAXA),  石濱 直樹(JAXA),  柿本 和希(JAXA),  飯田 元(奈良先端大),  片平 真史(JAXA),  

[発表日]2018-01-19
[資料番号]MSS2017-66,SS2017-53
Javaプログラミング学習支援システムのテストコード学習のためのコード修正問題の提案

何 賽(岡山大),  舩曵 信生(岡山大),  栗林 稔(岡山大),  石原 信也(岡山大),  

[発表日]2018-01-19
[資料番号]MSS2017-75,SS2017-62
Javaプログラミング学習支援システムJPLASへのソースコード管理システムの導入

松本 慎平(岡山大),  舩曵 信生(岡山大),  栗林 稔(岡山大),  石原 信也(岡山大),  

[発表日]2018-01-19
[資料番号]MSS2017-76,SS2017-63
12>> 1-20hit(30hit)