-
[in Japanese]
2017 Volume 34 Issue 3 Pages
3_1
Published: July 25, 2017
Released on J-STAGE: September 25, 2017
JOURNAL
FREE ACCESS
-
[in Japanese], [in Japanese]
2017 Volume 34 Issue 3 Pages
3_2
Published: July 25, 2017
Released on J-STAGE: September 25, 2017
JOURNAL
FREE ACCESS
-
Ryoma SIN'YA
2017 Volume 34 Issue 3 Pages
3_3-3_35
Published: July 25, 2017
Released on J-STAGE: September 25, 2017
JOURNAL
FREE ACCESS
Automata are the simplest mathematical model of computation, so simple that they take forms in various diverse areas. In this survey, we present several theorems, one of which gives a new viewpoint for the classical theory of automata, and one of which shows a deep relation between formal language theory and other mathematical fields.
View full abstract
-
[in Japanese], [in Japanese], [in Japanese], [in Japanese]
2017 Volume 34 Issue 3 Pages
3_36
Published: July 25, 2017
Released on J-STAGE: September 25, 2017
JOURNAL
FREE ACCESS
-
Manabu TSUKADA, Keiko OGAWA, Masahiro IKEDA, Takuro SONE, Kenta NIWA, ...
2017 Volume 34 Issue 3 Pages
3_37-3_58
Published: July 25, 2017
Released on J-STAGE: September 25, 2017
JOURNAL
FREE ACCESS
Internet users come to enjoy various audio-visual services these days. Among these services, object-based audio-visual services are becoming important. We started the Software Defined Media (SDM) consortium to investigate object-based digital media and Internet-by-design audio-visual service. We design the SDM architecture that virtualizes the underlying audio-visual infrastructure installed in the place. We implemented a prototype system based on the architecture and presented in Interop 2015 Tokyo. Moreover, we organised hackathons to investigate the innovative application of the platform. We also study a tangible interface using the SDM prototype. To make a database of object-based audio-visual data, a baroque orchestra was recorded by various methods with 82 channels of microphones in total. We measured the delay of the application on the prototype platform and the result shows that the system has enough real-timeless to support major applications. The experimental evaluation of an interactive SDM application shows that the prototype system allows reflecting the intention of the application developer well.
View full abstract
-
Yuki MANABE
2017 Volume 34 Issue 3 Pages
3_59-3_69
Published: July 25, 2017
Released on J-STAGE: September 25, 2017
JOURNAL
FREE ACCESS
To encourage use of open source software, this paper shows an overview of open source software license related research presented in international conferences or journals in software engineering. These researches are classified into open source license identification, open source software license evolution, and open source license compliance. Based on them, the future are discussed.
View full abstract
-
Yu SUZUKI
2017 Volume 34 Issue 3 Pages
3_70-3_74
Published: July 25, 2017
Released on J-STAGE: September 25, 2017
JOURNAL
FREE ACCESS
-
Hiroyuki NAKAGAWA, Tsutomu KOBAYASHI, Shinpei HAYASHI, Nobukazu YOSHIO ...
2017 Volume 34 Issue 3 Pages
3_75-3_80
Published: July 25, 2017
Released on J-STAGE: September 25, 2017
JOURNAL
FREE ACCESS
-
Tasuku HIRAISHI
2017 Volume 34 Issue 3 Pages
3_81-3_85
Published: July 25, 2017
Released on J-STAGE: September 25, 2017
JOURNAL
FREE ACCESS
-
Kimio KURAMITSU
2017 Volume 34 Issue 3 Pages
3_86-3_89
Published: July 25, 2017
Released on J-STAGE: September 25, 2017
JOURNAL
FREE ACCESS
-
[in Japanese]
2017 Volume 34 Issue 3 Pages
3_92-3_93
Published: July 25, 2017
Released on J-STAGE: September 25, 2017
JOURNAL
FREE ACCESS
-
Takahisa TODA, Toshiki SAITOH, Hiroaki IWASHITA, Jun KAWAHARA, Shin-ic ...
2017 Volume 34 Issue 3 Pages
3_97-3_120
Published: July 25, 2017
Released on J-STAGE: August 09, 2017
JOURNAL
FREE ACCESS
Combinatorial enumeration problems are to find all combinations of items (solutions) that satisfy given constraints. There are many applications to various problems that are closely related to real-life such as power distribution network analysis. Recent researches have paid attention to a generic framework for computing various combinatorial enumeration problems through the method of efficiently constructing the data structure, ZDD, for all solutions of those problems in a top-down fashion, which is thus called top-down ZDD construction. The paper focuses on this subject and provides a comprehensive survey on algorithms that the construction is based on, an extended method for efficiently handling complicated constraints, the basics of the programming tool, TdZdd, that allows us to easily develop top-down construction-based programs, and practical programming examples of some applied problems.
View full abstract
-
Haruto TANNO, Toshiyuki KURABAYASHI, Xiaojing ZHANG, Muneyoshi IYAMA, ...
2017 Volume 34 Issue 3 Pages
3_121-3_147
Published: July 25, 2017
Released on J-STAGE: August 09, 2017
JOURNAL
FREE ACCESS
Test input generation techniques play a key role in improving test design efficiency. We present a survey of these techniques by systematically investigating research papers from five premium international conferences of software engineering and software testing held in the past decade. In this survey we categorize the papers by their purpose and also introduce each paper with a summary.
View full abstract
-
Atsushi KITANI, Takako NAKATANI
2017 Volume 34 Issue 3 Pages
3_148-3_160
Published: July 25, 2017
Released on J-STAGE: August 09, 2017
JOURNAL
FREE ACCESS
Tablet devices have become popular and various note-taking applications are now available. We can manipulate those applications through handwriting inputs. When we use those applications, we want to take notes naturally as if we are using a real pen and paper notebook. Though we have tried several applications, we felt a sense of incongruities with a series of menu manipulations. With regard to natural manipulations, menus on existing note-taking applications have signaled some drawbacks. In order to reveal the drawbacks, first we clarify criteria of menus for note-taking applications. Secondly, we research touch interactions, which we can assign into menu manipulations on tablet devices, and review how we invoke and select menus. Finally, we evaluate current menus and discuss what the suitable menus of note-taking applications are.
View full abstract
