IEICE Technical Committee

Information and Systems-Software Science(Date:2018/01/18)

Presentation

Construction of a Petri Net Model of Internal Organs and Twelve Principal Meridians Based on Traditional Chinese Medicine

Quan Gan(Yamaguchi Univ.), Yuu Takahashi(Yamaguchi Univ.), Ren Wu(Yamaguchi Junior College), Mitsuru Nakata(Yamaguchi Univ.), Qi-Wei Ge(Yamaguchi Univ.),

[Date]2018-01-18
[Paper #]MSS2017-59,SS2017-46

シグネチャ情報と入出力情報を用いたJavaメソッドの生成

Kento Shimonaka(Osaka Univ.), Yoshiki Higo(Osaka Univ.), Junnosuke Matsumoto(Osaka Univ.), Keigo Naito(Osaka Univ.), Shinji Kusumoto(Osaka Univ.),

[Date]2018-01-18
[Paper #]MSS2017-48,SS2017-35

ソースコードの「自然さ」を利用した自動生成ファイルの特定

Masayuki Doi(Osaka Univ.), Yoshiki Higo(Osaka Univ.), Ryo Arima(Osaka Univ.), Kento Shimonaka(Osaka Univ.), Shinji Kusumoto(Osaka Univ.),

[Date]2018-01-18
[Paper #]MSS2017-50,SS2017-37

Verification of an Approach to Find Determiner Set of Graphs

Koki Tanaka(Yamaguchi Univ.), Takafumi Goto(Yamaguchi Univ.), Mituru Nakata(Yamaguchi Univ.), Chiranut Sa-ngiamsak(Khon Kaen Univ.), Qi-Wei Ge(Yamaguchi Univ.),

[Date]2018-01-18
[Paper #]MSS2017-51,SS2017-38

Weighted Potential for Multipopulation Access Point Selection Games

Yuki Kodera(Osaka Univ.), Takafumi Kanazawa(Osaka Univ.),

[Date]2018-01-18
[Paper #]MSS2017-52,SS2017-39

Construction of a Universal Petri Net Model of Human Body and Meridian System and Its Simulation Data Aggregation

Thi-Thuy Nguyen(Yamaguchi Univ.), Yuu Takahashi(Yamaguchi Univ.), Ren Wu(Yamaguchi Junior College), Mitsuru Nakata(Yamaguchi Univ.), Qi-Wei Ge(Yamaguchi Univ.),

[Date]2018-01-18
[Paper #]MSS2017-60,SS2017-47

Study on Deployment of a Computer Algebra System for Generating Random Test Patterns for Combinational Circuits

Tsutomu Inamoto(Ehime Univ.), Yoshinobu Higami(Ehime Univ.),

[Date]2018-01-18
[Paper #]MSS2017-57,SS2017-44

Computational Complexity of Membership and Emptiness Problems for Register Context-Free Grammars

Ryoma Senda(Nagoya Univ.), Hiroyuki Seki(Nagoya Univ.),

[Date]2018-01-18
[Paper #]MSS2017-54,SS2017-41

A Proposal of Generating Paths of Program Net and Its Application to Software Testing

Biao Wu(Yamaguchi Univ.), Xiaoan Bao(ZSTU), Na Zhang(ZSTU), Mitsuru Nakata(Yamaguchi Univ.), Qi-Wei Ge(Yamaguchi Univ.),

[Date]2018-01-18
[Paper #]MSS2017-58,SS2017-45

[Invited Talk] Recent Trends in the Development of Programming Language Ruby

Yusuke Endoh(Cookpad),

[Date]2018-01-18
[Paper #]MSS2017-61,SS2017-48

Design of concurrent processing by an interpreter for the functional programming language in continuation passing style

Nagisa Kojima(HCU), Kazuyuki Shima(HCU),

[Date]2018-01-18
[Paper #]MSS2017-55,SS2017-42

企業におけるソフトウェア開発に対する自動プログラム修正技術

Keigo Naitou(Osaka Univ.), Akito Tanikado(Osaka Univ.), Shinsuke Matsumoto(Osaka Univ.), Yoshiki Higo(Osaka Univ.), Shinji Kusumoto(Osaka Univ.), Kirinuki Hiroyuki(NTT), Kurabayashi Toshiyuki(NTT), Tanno Haruto(NTT),

[Date]2018-01-18
[Paper #]MSS2017-49,SS2017-36

Deadline Assignment Optimization Method Using Extended Time Petri Nets for Real-Time Multitask Distributed Systems Sharing Processors with EDF Scheduling

Reon Matsuoka(Hiroshima City Univ.), Akio Nakata(Hiroshima City Univ.),

[Date]2018-01-18
[Paper #]MSS2017-56,SS2017-43

Stack queue mixed layout of graphs using stack number

Miki Miyauchi(NTT),

[Date]2018-01-18
[Paper #]MSS2017-53,SS2017-40

名前変更リファクタリングが行われた識別子間の関係性に関する実証的調査

Naotaka Umekawa(Tokyo Tech), Shinpei Hayashi(Tokyo Tech), Motoshi Saeki(Tokyo Tech),

[Date]2018-01-18
[Paper #]MSS2017-47,SS2017-34

Decentralized Similarity Control of Nondeterministic Discrete Event Systems using Observers

Itsuki Okubo(Osaka Univ.), Shigemasa Takai(Osaka Univ.),