List of Dissertation Abstract (Department of Information Environment)
NameSupervisor

Nao AKAHORIAtsushi NOMA

Title

Abstract

The relation between Newton

We hypothesized that the resolution graph of the plane

plane curve singularities.

polynomial also coincides with the polynomial having

polygon and resolution graph of thecurve singularities defined by the set of zeros of thesame Newton polygon and studied whether it holds forany polynomial. Newton polygon has only one face, andtwo complex coefficient polynomials with Newton
polygon whose face is defined only at the two end

points have the same resolution graph of the plane

curve singularities defined by their zero set. Similar

results were obtained when there were multiple faces
and each face was defined by two endpoints.

EiichiASAKAWA

Shinichi

SHIRAKAWA

Text-to-Gesture Generation with
Deep LearningThis study develops a method of gesture generationfrom utterance texts, which is applicable to human-

agent interaction, including both humanoid robots andvirtual agents. The proposed model takes an utterance
text as the input and generates a sequence of 2D joint
coordinates as the output representing the gesture. In

the experimental evaluation, based on the deep learningtechnique, the gesture generation models are trainedusing utterance-gesture datasets of nine speakers. To
evaluate the generated gestures by the proposed

method, we evaluate the generated gestures by theaccuracy and variance of the joint coordinates and thequalitative evaluation. From the experimental result, wefind that the proposed method can generate natural

gestures from text information, and the quality of thegenerated gestures is competitive with the existing
speech-to-gesture generation method.

Jotaro ABE

Tatsunori
MORI

Improvement of method for

A curation map is an information complex thatcuration-map generationgrouped by viewpoint. we improved the division-by-organizing documents in automated efficiently presents to users texts in a set of documents
viewpoint F-measure which is a task in a method forautomatically generating a curation map by introducing
three processes: sentence unitization, merging by

pinching and merging text fragments link-ing to thesame document. In addition, we proposed a UI thatallows users to browse a curation map. In comparison
with a search engine, it was found that the UI was

superior in that various information could be presented
in detail.

Hideyuki ANJO

Tomohiro FUJII On the Relationship Between the

My work is the psycho-linguistic experiment on the

Availability of Null Adjunctanalysis about the Japanese phenomenon about object

Morphology in Japanese

I concretely verified the following generalizations.

Readings and Predicate

ellipsis with adjunct.

(1) Funakoshi's (2016) generalization

Null adjuncts are possible only when clause-mateobjects are omitted.

(2) Hayashi & Fujii s' (2015) generalization

In verbal noun clause, null adjuncts are possible only

when verbal nouns as well as clause-mate objects areomitted.

As a reault, I found the above generalizations are true.

Hayao ANDO

Tatsunori
MORI

A study on a Multi-agent Chat

The purpose of this study is to reduce users’ load of

Load of Utterance

dialogue systems, in which one on one dialogues were

Dialogue System Reducing Users'

utterance by solving the problem that conventional chatthe mainstream, cannot continue conversation unlessthe user actively speaking. For that purpose, we

examined a Multi-agent chat dialogue system andaimed to obtain the feeling of being in the circle ofconversation without the user actively speaking. It was

confirmed that the proposed system reduced the users'
load and contributed to the improvement ofsatisfaction.

Takuya ISHIDA Takashi TOMII

Demonstration experiment of EV

As a previous study, we proposed a "dynamic charging /using energy life log DB

charge and charging / discharging timing of an EV in a

dynamic charge / discharge plandischarging plan" that dynamically changes the starting
smart grid every day. In this study, a smart grid isconstructed in a real environment, and a demonstration
experiment of a dynamic charge / discharge plan is

performed. The environment of one room and one EV
was implemented as the micro cell of the smallest

constituent unit of the grid, and the experimental

results showed the difference between the simulationand the real environment, and the usefulness of the

dynamic charge / discharge plan from the viewpoint ofenergy balance showed that.

Ryota ITAGAKI Kazumi

MATSUI

Automatic generation of geometric

Currently, surgical simulators are being developed.

organs by differential equations

CT image in a surgical simulator, tissues likemodels of membrane-containing

When we generate an organ model of a patient from amembranes are not detected from the CT and wecannot generate them automatically. In this paper, we

propose an automatic algorithm to generate geometricmodels of patient-specific organs including membranes.
In this paper, we generate patient-specific models
including membranes automatically by solving anequation representing the interface movement anddeforming the standard models to the shape of thepatient-specific model. The standard models represent
the shape of the organs including the membranes asfunction of the field.

Shunsuke ITO

Tatsunori
MORI

A extraction method of dissatisfied

In recent years, EC sites have become widespread andon expressions of reviewers'

stored on the EC site and can be viewed by anyone.

information in review texts based
evaluation criterion

used by many people. Reviews written in the past areSome review texts have product dissatisfied

information, and they are useful information for those
who use EC sites. Therefore, this study analyzed how
dissatisfied information appears and defineddissatisfied information. Based on this definition, we
examined the extraction method dissatisfied

information and carried out experiments to extract
dissatisfied information.

Yuya INOUE

Tsutomu

A Study on Instrumentation

ToF type ultrasonic range finders are used in various

Finderthe output of the ultrasonic range finder is disturbed or

MATSUMOTO Security of Ultrasonic Range

fields such as automobiles and factory automation. If
an attack that stops the operation is performed, thesystem will not operate properly and there is a risk thata serious accident may occur. Therefore, the research to
improve the measurement security of the ToF

ultrasonic range finder has social significance. In thispaper, we investigate attacks that can be a threat to the
ToF ultrasonic range finder, and examine security

enhancement measures against those attacks, as well asverification experiments.

Shuhei IWATA

Atsuhiro

NAKAMOTO

An improper DP-coloring of planargraphs with large girth

An improper coloring of a graph is an assignment of acolor to each vertex of the graph such that some pairs ofadjacent vertices are allowed to have the same color. An
improper list coloring is an extention of an impropercoloring, and an improper DP-coloring is a further

extention of an improper list coloring. It is known thatevery planar graph with large girth has improper list

colorings with bounded number of colors, where thegirth is the length of the shortest cycle. In this thesis,
we improve those results to improper DP-colorings.

Keisuke

UCHIDA

Katsunari

YOSHIOKA

Discovery of IoT Devices byInternet-wide Scan

In recent years, the introduction of IoT to remotemonitoring and control system of important facilities

has been advanced. It has been reported that the facility
name etc. is displayed on Web management UI of

devices, and anyone can access them. However, it is notclear how many similar devices exist, and investigation

for such devices is urgently needed. In this research, we
propose a method to discover such devices on theInternet semi-automatically using Internet-wide scanand clustering.

Kento UCHIDA Shinichi

SHIRAKAWA

Analysis of Information GeometricIn this study, the information geometric optimization

Distribution Under Finite Samples

algorithms, is theoretically analyzed. We consider the

Optimization with Gaussian(IGO), a unified framework of black-box optimization
algorithms derived from IGO by applying the family of
isotropic Gaussian distributions and the family of
multivariate Gaussian distributions with diagonalcovariance matrixes and analyze their behavior on
convex quadratic functions. Differently from theprevious studies assuming some unrealistic settings
such as an infinite sample size, the expected

improvements of the IGO algorithms with a finite

sample size are analyzed. The numerical simulations
show that our theoretical results coincide with theactual behavior of the IGO algorithms compared to theexisting theoretical result assuming the infinite sample
size.

Kent OGUSHI

Ozeki KENTA

On domination number for k-trees

Let G be a graph. A vertex set S of G is a dominating

set of G if S∪N (S) = V (G), where N (S) denotes theset of vertices adjacent to a vertex of S. The size of theminimum dominating set of G is called the domination
number of G. Campos and Wakabayashi, Tokunaga

proved that the domination number of a maximal outerplanar graph G is at most (n + t) / 4 , where n is thenumber of vertices in G, and t is the number of verticesof degree 2 in G. In this thesis, we extend this result tographs so-called 2-trees, and further proved that thedomination number of a k-tree G is at most (n + t) / (k+ 2) , where n is the number of vertices in G, and t is
the number of vertices of degree k in G.

Ryo OHASHI

Shushi

HARASHITA

Differential forms on the curves

In algebraic geometry and number theory, elliptic

hypergeometric series

study the curves associated to Appell-Lauricellaassociated to Appell-Lauricellacurves are important research objects. In this paper, we
hypergeometric series, which are certain

generalizations of elliptic curves. In the main results,
we succeeded in describing an explicit basis of themodule of regular differential forms on the curves

above. In addition, we consider the desingularizationsof the curves above only at the infinity, and we obtained
a similar result. As an application, we will study thesuperspeciality of the curves above for some special
cases.

Kosuke OYA

Tatsunori
MORI

A new method to find zero

A new method to find zero pronouns referring to entry

and estimate their surface cases ina world history glossary and its descriptions.

pronouns referring to entry words
the context of a world history
glossary and its descriptions

words and estimate their surface cases in the context ofIn this paper, we focus on the usage of a world history

glossary as one of the knowledge sources for automatedanswer generation of essay-type questions.

Kodai OYUAtsushi NOMA

Resolution of Singularities ofResolution of singularities of the surface defined by

Covering

an easier way to calculate the resolution of singularities

Algebraic Surface Using Doublez^n=f(x,y) has been studied. Based on the study, I findof the surface defined by z^2=f(x,y) which is a special
case of z^n=f(x,y) and summarize the algorithm ofcalculation of the resolution. In this algorithm, I only
use blowing up of affine plane and normalization.
Furthermore, I calculate the resolution of Du Val

Singlarities using the algorithm and summarize all theprocess of the calculation of resolution.

Kai OKADA

Shinichi

SHIRAKAWA

Auto-Berthing with HierarchicalReinforcement Learning

Since the amount of ocean transportation is increasing,developing autonomous ships are desired for dealing

with the running short of sailors and troubles caused bya human error. Reinforcement learning, one of themachine learning approach, is promising to realize theautonomous ships. In this study, we attempt to obtain acontrol rule for automatic berthing, a key component torealize the autonomous ships, by applying hierarchicalreinforcement learning. The hierarchical reinforcement
learning is suitable for tasks which need to obtain theaction rule achieving a long-term goal. The numericalexperiments show that the control rule obtained by the

proposed method can smoothly navigate the ship to thespot from the various starting positions.

Shinji KATO

Nagao

TOMOHARU

Improvement Mehtod using

Genetic programming (GP) has been applied in various

Programming

proposed. In GP, one of the meta-heuristic methods, it

Transfer Learning in Genetic

problems, and many derived methods have beenis necessary to follow the No Free Lunch (NFL)theorem in order to improve accuracy. NFL theorem

states the importance of using problem knowledge. The
knowledge available is Transfer Learning, but Transfer
Learning requires source problem selection. In thispaper, we propose a method of extracting knowledge
from multiple source problems and selecting

appropriate knowledge. This method uses an islandmodel to extract and select knowledge. The advantageof this approach is that it does not require souce
problem selection because it automatically uses

knowledge. In addition, proposal method is an end-toend method, consisting of three independent steps. In
the experiment, the proposed method higher theaccuracy of the test data by 12.7% than simple GP in
average of 70 regression problems.

Jun

KAWAKITA

TakashiNISHIMURA

A study on isoperimetric inequality

Isoperimetric inequality is the inequality which wasoften learned about from the past

which showed arelation between the area it's possible to surround withthe rope with the fixed length and the length of therope. And various proof method is found by present.

There is previous study about isoperimetric inequality
which expanded an original inequality by adding theconcept of a new figure that is born from a plane closed

curve. In my study,I aimed about 2 previous studies to
get novelty about isoperimetric inequality.

Daishi KUDO

Takahiro

YAMADA

Bifurcation Analysis for Thin Plate
by change of supporting state

If peripheral parts of thin plate are supported at several
points, unstable mode may be occurred. However, themechanism of this phenomenon has not been

elucidated yet. In this study, based on the hypothesisthat this phenomenon is bifurcation of thin plate,instead of conventional bifurcation analysis which theincremental load is perturbed, we suggest a method
what extract a bifurcation point by applying a

perturbation load in a different direction against
fundamental path.

Fuki KOIKE

Takashi TOMIIMatching simulation of renewable

With the development of IoT technology, it has become

actual data

life log) such as renewable energy power generationenergy using EV and evaluation bypossible to easily obtain energy-related records (energylogs, building power demand, and automobile drivinglogs. In this study, we construct an energy life log
database that stores these life logs, and perform arenewable energy matching simulation by charging anddischarging an electric vehicle (EV). In addition, asimulation is performed in the same way, assuming theuse of a stationary battery as an EV assistance. By using
real data for evaluation, detailed analysis on a daily or
yearly basis was made possible. As a result, it was

shown that charging and feeding of EVs contributed toload leveling.
Masakazu

KOBAYASHI

Katsunori

OKAJIMA

Evaluation of In-car Interface

We developed a drive simulator using a head mounted

Visibility

visibility of both in-car interface and external

Considering External Environment

display, and conducted experiments to evaluate theenvironment while driving. Based on the results of theexperiments, we discussed the safety of in-car interface

in terms of compatibility between the recognition of invehicle information and external environment.

Akio GOHDA

TamuraNAOYOSHI

Detection and Correction of error

Error sentence correction is one of the tasks incomposition focusing on caseis to detect and correct error sentences. In thesentences in Elementary school
consistency.

elementary school guidance. The purpose of this study
detection, an error sentence could be detected at an Fvalue of 0.86. The correction yielded almost the samesentence as the original sentence. In terms of detecting
and correcting error sentences in student composition,
it can be said that it is important in essay guidance.

Miori SAITO

Katsunari

YOSHIOKA

A study on finding contact points
for security notification

With the evolving threat of cyber attacks, theimportance of security notifications is increasing. In
general, information provided by services such as

WHOIS are used as contact points for notification.

However, in some services, contact information may
not be updated frequently. In this study, we propose
collecting contact points for notification via various

sources besides WHOIS. We conducted a classificationand notification experiment on the collected contacts,
and showed that they were appropriate as notification
destinations.

Kazuhiro

SAHODA

Nagao

TOMOHARU

Sensibility Evaluation of Virtual

Reality Space by Walking Device

The head-mounted display is a common device when
we experience Virtual Reality (VR). In recent years,

some devices have been developed that allow users toexperience the actual movement in the VR space bytaking action such as walking. These devices give theuser a sense of reality and enable advanced simulations.
However, the effect of the type of simulation on VR
sickness and immersion has not been clarified. This

paper evaluates the usefulness and the VR sickness andimmersion by performing a simulation using a walking
device.

Tatsunori

SHIOMOTO

Shinichi

SHIRAKAWA

Improvement of Binary Hashing-

Binary hashing is a method that transforms data into

Information

content-based image retrieval because it can reduce theBased Image Retrieval Using Classbinary hash codes and is applicable to large-scaledata size and accelerate the distance calculation

between data. Particularly, various machine learningbased binary hashing methods that learn the binary

hash function from data have been proposed. In thecase that the class information of data is given, thebinary hash function should assign the same hash codes
for the data in the same class and the different hashcodes for the data in the different classes. In this study,
we define representative points for each class based on
the class information and develop a loss function tolearn the appropriate binary hash function using therepresentative points. The experimental result using

the face image dataset shows that the proposed method
can achieve higher recall values than the existing
methods.

Wataru

SHIBAYAMA

Shinichi

SHIRAKAWA

Efficient Redirected Walking in

Redirected walking (RDW) is a locomotion techniqueReinforcement Learning

virtual environment in a small real environment. This

Virtual Environment Using

used in virtual reality. It enables users to explore a large
study develops a method for improving RDW efficiency
using reinforcement learning. In the experiments, weevaluate the proposed method on the real environmentsof the four-meter square with obstacle and the two-

meter square. The experimental results on simulation
show that the proposed method can achieve higher

performance than the existing method in terms of theevaluation measures that cause irritation or VR sickness
in all real environment settings. Also, in the user

experiment, the proposed method can improve theefficiency of RDW in the two-meter square setting.

Hiroaki SHIMA

Atsuhiro

NAKAMOTO

Book embedding of toroidal regulargraphs

A book embedding of a graph is an arrangement of thevertices along the spine of a book and each edge on asingle page (a half-plane with the spine as its boundary)so that no two edges intersect transversely in the same

page. The pagenumber of a graph G is the minimum ksuch that G is k-page embeddable and so we areinterested in bounding the pagenumber. In this thesis,

we prove that every toroidal 4-regular quadrangulation
has a book embedding with at most four pages and thepagenumber of toroidal 3-regular triangulation is four.

Kazuki SHIRAI

Matsumoto

TSUTOMU

Detailed Analysis of Real-Time

Recently, IT technology has been actively used in

Vehicle Networks and Its Security

been attracting attention. On the other hand, theElectrical Data Forgery in InCountermeasureautomobiles, and automatic driving technology has
danger of automobiles being subject to cyber attacks isincreasing, and the need for information security

technologies for automobiles is increasing. In thispaper, we point out the threat of electrical data

tampering, which is an attack in the physical layer ofthe in-vehicle network. We also consider a method toprotect cars from this attack.

Nagi SONOBE

MinoruSHIRAZAKI

Large-scale CFD analysis of motion

Large-scale CFD analysis of motion of a soap bubble byinterfaces

analysis was performed to discuss the effects of viscousof liquid film with two freeblowing air has been performed. Non-dimensional

force and surface tension for its motion more

systematically. It was found that the shape change ofthe liquid film was dependent on the effect of thesurface tension. On the other hand, it was found thatthe larger the effect of viscous force, the shorter theperiod of the soap bubble expanding alternately in the
inflow direction and the perpendicular direction, andthe smaller the difference between the two directions.

Kazuki

TAKAISHI

Tomoharu
NAGAO

Understanding Reasons for Time
Series Prediction

In the prediction of time-series data using a machinelearning model, it is important to present the prediction
basis in order to use the prediction results for decision
making. In this paper, we propose a trend-based

method for presenting prediction basis by combining a
local approximation method, SHAP, with a trend filter
for an arbitrary time-series prediction model. In the

proposed method, the input value is multiplied by theabsolute value of the contribution obtained by applying

SHAP to the original prediction model, and the result is
applied to a trend filter to present a trend-based basisof prediction that considers the contribution. In

experiments, it was confirmed that the proposed

method was applied to the shipping index and oil priceprediction problems, and that the prediction basis
reflecting actual trends was presented.

Yuta

TAKANASHI

Tomoharu
NAGAO

Pruning Optimization of Deep

It is necessary to compress in order to use deep learning

Computation

however it is difficult to maintain high accuracy with

Learning Model Using Evolutionary model on devices with less computer resources directly,
previous pruning method under a high compression

ratio. In this paper, we propose a method for optimizing
parameters removed by pruning using GA. In the

proposed method, we modified the GA operation to fix
the compression ratio of the individual, and used thesurrogate model to predict the test accuracy after finetuning in order to reduce the computation cost, andoptimized the pruning using GA. In experiments, weapplied proposed method to CNN trained on CIFAR10 dataset and confirmed that the test accuracy was
improved compared to the previous method.

Takayoshi

TAMURA

Junji SHIKATA

Key Dependent Message security of Several transformations have been suggested that turnweakly secure scheme into strongly secure PKE or
hybrid encryption
KEM. HHK transformation is one of these, and it isused for many NIST’s post-quantum cryptographies.
Meanwhile KDM security which guarantees conﬁ

dentiality even in the situation of encrypting secret keys
has been studied. In this thesis, I analyzed KDM
security of hybrid encryptions which use HHKtransformation and proved these satisfy KDM security.
Takuya DAIYO

Katsunori

OKAJIMA

Taste of modulation and its

First, we quantitatively verified a crossmodal effecteffect in augmented reality

appearances with Augmented Reality. As a result,quantification using crossmodal

which can modulate saltiness by changing foodsaltiness can be enhanced and we converted this effectthe amount of salt. Next, we verified whether different
haptic information could modulate umami by giving
them, and it was found that some participants wereaffected. We expressed the haptic information inphysical quantities and formulated the relationship withumami. In addition, the results of verifying how

participants felt by converting the appearance of foodto other types of food was that only some of theparticipants were affected.

Yutaro DOYO

Atsushi NOMAThe Computer Program of

Resolutions of singularities is one of the most important

Algebraic Curves only withand information science. In this research, we develop

Resolution of Singularities of
Blowing-ups

issues not only in algebraic geometry but also statistics
computer algorithms to reduce the amount of time tocalculate a blowing-up, a way of resolution. This

program outputs the results of calculation of blowingups as translation of polynomials so that is easy tounderstand even for beginners of algebraic geometry
and we can apply the theory of resolutions to various
field with this program.

Shoji

NAGAYAMA

Tatsunori
MORI

Strategies for an Autonomous

In this paper, we research with the aim of "constructing

game''

In particular, we considered the werewolf tactics andAgent Playing the ``Werewolf

a werewolf agent considering strategy and tactics".

analyzed the actual dialogues between the humans in
the werewolf game to realize the tactics.

Although there are several analyzed viewpoints, inorder to realize the “wolf stealth wolf” and “linecutting”, We focused on “utterance and winning rate”,“cooperation between werewolf” and “utterance andaction “.

Yuki HAYASHI

Fujii

TOMOHIRO

Where wh-phrase are base-generated in child Japanese:

Evidence from natural speech data

This study investigates how frequently wh-phrases co-occur with negative words in Japanese children’snaturalistic speech and their mothers’ by using

statistical analysis. Speech corpora of four child-motherpairs were studied. Each speaker’s wh-questions wereclassified in terms of two factors: whether a given whquestion contains ‘why’ and whether a given wh-question involves negation. The analysis revealed thatthe distribution of ‘why’ and negation in a child’s

corpus is almost always similar to that in her mother’s

corpus. Therefore, this study shows the possibility thatchildren haven’t acquired the grammar, but just imitate
the patterns found in their mothers’ speech.

Taichiro

HAYASE

Nakamoto

ATSUHIRO

Signed chromatic number andProper coloring is an operation of coloring all vertices

graphscolors. It is known that proper coloring of a planar

modulo chromatic number of planeof the graph so that adjacent vertices have different

graph requires a maximum of 4 colors. The number ofcolors increases in the coloring which generalizes theproper coloring. For example, a list coloring of a planargraph may require a maximum of 5 colors, but by

performing an appropriate operation on the graph, thenumber of colors can be reduced to 4. I showed asimilar theorem with a more generalized version of list
coloring.

Takuya

FUKANOTomii

TAKASHI

Redefining Energy Life-Log

In our previous research, we have built an energy life

presentation for peak shaving

information on life logs related to energy use, and have

Database and information

log DB (ELLDB), a database system that can searchaccumulated many applications. In this paper, we

redefined ELLDB as a database system that can provide
information for peak shaving to suppress sudden

fluctuations in power demand. Then, it was shown thatpeak shaving was achieved by power consumption
management and battery management.

Yui FUJITA

Kazumi

MATSUI

Modeling and Simulation of sutures

surgical techniques quantitatively need to be developed.
In this study, we focus on the sutures, and assume that
there is no friction between suture thread and soft

tissue when modeling the sutures. the purpose of thisstudy is to visualize the mechanical state of the suturefrom engineering knowledge.

In our approach, soft tissue and suture thread areapproximately by solid and rod elements respectively,
and a method was proposed in which sutures wererepresented as contact problems.

DaikiMUNETO

Tomoharu
NAGAO

Tsume-Shogi problem composition
using evolutionary computation

With the development of artificial intelligence, theability to solve various logic puzzle problems without

human knowledge is improving year by year. However,creating puzzle problems is a more difficult task thananswering because there is no single solution and it isdifficult to evaluate the created problem. In this paper,
we focus on the chess shogi, which is thought to bedifficult to create due to the nature of the puzzles

problem. The expert uses the information on shorter-

move mates or incomplete mates in composition. Basedon this idea, we propose a method to compose longermove mates by optimizing the board conversion byusing a genetic algorithm, which is one of theevolutionary computation methods. As a result of theexperiment, it was confirmed that 33-move mate can begenerated.

Shun

MORISHITA

Katsunari

YOSHIOKA

Threat analysis based on a survey of Recently, cyber-attacks targeting devices operated ontarget devices for cyber attacks

the Internet have been increasing. In order toinvestigate the prevalence of the devices, Internet-wide

scanning has been developed. In this research, weinvestigate the prevalence of honeypots based on the

difference between the response of the honeypot andthe actual device. Also, we investigate the prevalence of
IoT devices based on the state of Telnet and IoT
malware infection.

TeppeiYAMAOKA

Kenta OZEKI

Hamiltonian number for connectedcubic graphs

The Hamiltonian number of a connected graph is thelength of a shortest spanning closed walk. A graph withall vertices of degree k is said to be k-regular. Some

researchers gave upper bounds for the Hamiltonian

number of connected 3-regular graphs with assuming
high edge connectivity. However, those without

assuming edge connectivity were unknown, except fortrivial ones. In this thesis, we give the best possible

upper bound for the Hamiltonian number of connected
3-regular graphs. Furthermore, we characterize allgraphs that attain the bound with equality.

Yota OKUAKITsutomu

A Study on FPGA Implementation

MATSUMOTO of Pairing-Based Cryptography

with Pipelined Modular Multiplier

Expectations for "Advanced Cryptography" areincreasing in order to enhance the security of cyber
physical systems and cloud computing. "Searchable
encryption", which can perform database search while
encrypted, and "Aggregate signature", which canperform signature verification on multiple messages
collectively, are specific examples of Advanced
Cryptography. A major component to realize Advanced
Cryptography is pairing calculations. A high-speed
hardware-based pairing implementation using apipelined Montgomery modular multiplier is available.
This paper shows that the record latency 61.0 µs and153 µs on FPGA board VCU118 and ML605 forcalculation of Optimal Ate pairing over BN curve on
254 bit prime field was achieved by improving thepairing implementation, respectively.
In addition to pairing, it is also essential to speed up the
implementation of MapToPoint function, which maps
arbitrary data to points on elliptic curves. This study
shows verification process for aggregate signature canbe executed faster than software implementation by
calculating MapToPoint function on multiple input
signed messages on FPGA using pipelined modular
multiplier.

Chuwei XU

Katsunori

OKAJIMAA study on crowd guidance method

In this study, a virtual crowd system is generated using

simulationof Yokohama, where real experiment participants

using immersive people flow

the agent-based model in the simulated shopping mallentered the virtual space and become one of thecrowds. This experiment is designed to evaluate thebehavior contagion phenomenon in virtual space andinvestigate whether a virtual crowd can consciously

guide the gaze of the experiment participants immersedin the virtual reality. As a result, it shows that the gazeof the participant can be guided by the virtual crowd
and the guidance effect can be influenced by the

number of people of the virtual crowd. By using thevirtual crowd system, different behavior guidance

methods and scenarios can be examined and verified.

Lu CAO

Junji SHIKATA

Implementation and Analysis of

In this paper, we provide consideration from various

Codes with Improved Memory-size

authentication code with detecting functionality

Aggregate Message Authentication

angles for improving an aggregate message(AMAD). In particular, we consider improvements ofAMAD so that AMAD can be used for a real situationof networks where IoT devices are dynamicallyincreased or decreased. We show the compression of
disjunct matrices by tensor products present

matricesstore with improved memory-size. That makes
AMAD especially suited for resource-constrained

devices.

Lu LUO

TamuraNAOYOSHI

Chinese POP Song Lyrics

In order to make users quickly select their favorite

Neural Network combined withdifferent perspectives, such as emotion, theme and so

Sentiment Analysis

Chorus Information

based onmusic, these websites usually classify the music fromon. But these music websites provide a large variety ofmusic, so automatically classifying music is necessary.

Compared to other music content, classifying the music

sentiment by lyrics is convenient，the lyrics data is richand the size of it is small. Chinese pop song’s structure

is verse-chorus, chorus expresses the emotion of a song,

it is the most emotional part of a song. In this research,a chorus information combined neural network method

is proposed. Extracting the chorus by the self -similarity

matrix, and construct the chorus embedding after the

extraction. Then use the chorus embedding combined
word2vec and neural network to do the sentimentclassification. In the experiment, the result of the

proposed method has improved 4%-6% than the resultof a simple neural network model.