List of Dissertation Abstract (Department of Information Environment)
Name
Matsusaki Taichi

Ishikawa Yuya

Supervisor

Title

Abstract

OkajimaDevelopment of MR character input

Katsunoriinterface with both fingers

Tomoharu

Visualization and Analysis of the

Nagao

Condition Transition of CKD Patients

In Mixed Reality (MR) using HMD, character input using avirtual keyboard has become the mainstream. However, there
are various problems such as limitation of the field of view andarm fatigue. The purpose of this study is to solve suchproblems, to develop an interface for hiragana input that iseasier to use, and to examine the usefulness of this interface.
This interface enables hiragana input by touching the fingertipsof the right hand with the fingertips and finger joints of the left
hand. We compared the usability of the interface we developedwith that of a virtual keyboard in an experiment assuming asituation requiring forward attention. The results showed thatthe interface developed in this study has higher usability thanthat of a virtual keyboard.
Recently, the number of patients with chronic kidney disease(CKD) has been increasing, and there is a need to elucidate theprogression of symptoms and predict future severity of thedisease. Conventional studies that analyze symptoms byclustering patients are not suitable for detailed analysis ofindividual patients because the analysis is performed on acluster basis. In this paper, we propose a method forvisualization of the progression of a patient's condition basedon changes in eGFR, a severity index of chronic kidneydisease, and a method for evaluation of the progression of thatcondition. Experiments were conducted to verify theeffectiveness of the proposed method and the accuracy of theprediction of eGFR after one year.

Based on the Fluctuation of eGFR

Ishida Masaki

Mori Tatsunori Collecting and Detecting Verbal Irony

Utterances on microblogs such as Twitter often lack context.

for Generating Sarcastic Contexts

We collected conversation data, considering verbal irony with

Focusing on Conversation Threadironic intent within the utterance itself and its context asappearing in a series of conversations. Further improvements
were found in the collection method, such as how to specify
queries. Additionally, we created a classifier to detect verbal
irony from the collected conversation data. While theclassification results were generally good, analysis of
misclassified data revealed issues with unconscious humancontext completion affecting labeling. In order to extract
higher-quality verbal irony, it is deemed essential to interpretthe meaning solely from the literal information.

Inazawa Tomoya

Yoshioka

An Empirical Study on the Usefulness

For a few years now, many consumer IoT devices have been

Katsunariof Security Diagnostic Service for IoT

exposed to the Internet and regularly get infected by malware.

DevicesThus, the owners' engagement in mitigating IoT-malwarerelated risks has become a critical challenge, but they may lackinformation about what they need to do. In February 2022, welaunched a web service that allows users to diagnose theirdevices and check measures as necessary, and we haveprovided it to 100K general consumers. This paper reveals thehigh usefulness of the service through user studies and data
analysis.

Iwahashi Akira

Tsutomu

Construction of Clone-Resistant Nano

Artifact metrics is a technology that authenticates artifacts

Matsumoto

Artifact Metric Systems

using their unique physical features, and is expected to be"clone-resistant," meaning that it is extremely difficult to create
another object (clone) whose values are measured to beequivalent to those of the real thing. In this paper, we propose a
new matching method and image preprocessing for "nanoartifact metrics" that use nanometer-scale features, andconstruct the most clone-resistant nano-artifact metric system.

Iwayama Daiki

Mori Tatsunori Study of methods for verifying the

There is a great demand for fact-checking secondary

veracity of secondary information in

information from assembly minutes. In this study, we examine

Japanese assembly minutes

a method for verifying the veracity of answer summary basedon the question summary, the original answers and related
information from the question-and-answer sessions in theminutes. We conducted experiments using Large Language
Model (LLM), focusing on the format of prompts and therelated information utilized. In the experiments, a method that
integrated the results of the two tasks demonstrated
effectiveness: Recognizing text entailment task between theanswer summary and the original answers, and another for
determining the relationship task between the answer summary
and the question summary.

Uchikoshi

Tsumomu

A Study on Authenticating Avatar

Metaverse services are provided by various providers. There

Amane

MatsumotoOperator and World in Metaverse

have been problems with cases where avatars controlled byusers have been stolen by third parties in metaverse services,and cases where fake worlds of user-created worlds have beencreated to deceive visitors. In this paper, we propose a methodthat uses biometric authentication to authenticate users andtheir avatars, and a method that allows world visitors to verify
the legitimacy of worlds, while taking into consideration thepsychological burden on users who use the metaverse service.

UchidaYoshihideMori Tatsunori A Study of Learning Data

In recent years, the importance of descriptive form

Augmentation methods for Automatedexaminations has increased, drawing attention to automatic

Short Answer Scoringscoring. However, securing learning data has been difficult,and research using a small amount of data has not yet achieved
high-precision scoring. We have tried a method of generating
new answers through back translation and rearranging andcombining phrases from existing datasets. Training with data
generated by the proposed method has confirmed
improvements in scoring accuracy, and it also suggests thepotential to solve the issue of overfitting, where the model
learns the position of sentences rather than their meaning.

Endo Yuki

YoshiokaAnalyzing the activities of attackers

In recent years, cyberattacks by IoT botnets have become a

Katsunaricontrolling IoT botnets

major threat, and it is important to understand the behavior of
the attackers operating them in order to take countermeasures.
In this study, we propose a method to identify C&C servers
using machine learning from communication during dynamic
analysis of IoT malware. We will also analyze the attack
infrastructure and attack activities of IoT botnets based on
information obtained from continuous C&C server monitoring,honeypots, and dynamic analysis results.

Ohashi Shunsuke

Matsui kazumi Fatigue Damage Estimation of Curtain
Wall by Frequency Domain Method

In order to quantitatively evaluate the fatigue strength ofcurtain walls, a structural analysis was conducted using
variable wind pressure as an external force to obtain local
stresses and fatigue estimation. In the case of random vibrationsuch as wind, the fatigue evaluation in the time domain may
show a more dangerous side than the actual one unless a
sufficiently long time series is used as an input. In this study,
the stress time series were converted to stress power spectral
density and fatigue estimation in frequency domain method
was performed to investigate the trend of the method and its
dependence on the selection range of the time series.

Ohara Hirotsugu

Mori Tatsunori Comparison Study of Performance inAppropriate control of the response dialect of a chatbot system

Dialect Translation Task Using

can help the system achieve more natural and friendly

Unsupervised Text Style Transfer

conversations. We focused on unsupervised text style transfer

Methods

and examined several methods, including a supervised method,for generating dialect translation models from text data with a
specific dialect by deep learning, comparing the kind andamount of data used. Experimental results showed that themethod of generating pseudo parallel data using backtranslation showed high performance comparable to thesupervised method, and Few-shot learning using ChatGPT is
the most effective when the amount of data is limited.

Ogasawara

ShushiSuperspecial Genus-4 Double Covers

We study genus-4 curves obtained as double covers of elliptic

Takumi

Harashita

of Elliptic Curves

curves, called DCEC’s for abbreviation. Firstly we provide
explicit defining equations of such curves with explicit
criterion for whether it is nonsingular. Secondly we enumerate
the isomorphism classes of superspecial genus-4 DCEC’s insmall characteristic p (more precisely p is less than or equal to23). We accomplish this by implementing our algorithm in thecomputer algebra system Magma and executing it. Superspecial
curves are also expected of the application for cryptography
and coding theory, as well as moduli space of polarized abelianvarieties in algebraic geometry.

Kashiwagi Keigo

KatsunoriComputational model of color

Okajimaconstancy based on color transparency
and color adaptation

Kaneko Takumi

Nakamoto

Orthogonal partitions of an annulus

Atsuhiro

and their graph representation

Color constancy is a phenomenon in which the color of thesame object can be perceived as the same color under white
illumination even if the illumination changes. Althoughadaptive models exist that predict color constancy when color
adaptation is activated, these models cannot explain
instantaneous color constancy. In this study, instantaneouscolor constancy was tested using two different color matching
methods. The results show that partial color constancy isobserved in surface color matching under instantaneous color
adaptation conditions. We also measured color constancy undercolor adaptation conditions, and found that color constancy
also occurred in Appearance color match, while color
constancy was improved in Surface color match. These results
can be predicted quantitatively by a computational model basedon color transparency.
An orthogonal plane partition R is a partition of a square byparallel and vertical segments such that for any segment s, eachof the two ends of s coincides with an inner point of anothersegment or that of a boundary edge of the square. The contact
relation of the segments in R and the four edges of the square S
can be represented as an oriented planar quadrangulation witheach inner vertex having out-degree 2. On the other hand, it is
known that each of such oriented planar quadrangulations has arealization as an orthogonal plane partition. In this paper, weconsider an analogy for a rectangular partition of an annulus,
and investigate a relation between the contact relation of its
segments and oriented planar quadrangulations with a certain
out-degree condition.

Kishimoto

ShirakawaExpressive Local Explanation Method

Local interpretable model-agnostic explanations (LIME) is a

Yasutoshi

Shinichiwith Neural Additive Models

local explanation method that explains the reason behind theprediction of black-box models for a given data. LIME
employs a linear model as the interpretable model for locallyapproximating the prediction of black-box models. However,the linear model used in LIME limits the expressive ability forthe explanation. We propose a higher expressive local
explanation method using neural additive models (NAM) and
its improved model with feature selection as the interpretablenon-linear models.

Kojima Masahiro Takahiro
YamadaAnalysis of turbulent structures formed

In this study, turbulent structures formed inside and outside theinside and outside the urban canopy

urban canopy was analyzed using proper orthogonalusing modal analysis

decomposition (POD), which splits the data into a lowdimensional basis, for the flow velocity field in a uniformly
arranged group of block that reproduces the urban canopy.
Flow structures caused by coherent vortices of the turbulent
boundary layer and urban canopy were examined. Five reducedorder models (ROMs) were generated from the POD modes
and the reproducibility of the original flow field by ROMs wasevaluated.

Saino Akihide

Katsunari

Analysis of inducements to fakeIn this study, by analysing the web access logs of real users, we

Yoshioka

shopping sites via web searches

investigate how users are redirected to fake shopping sites fromweb searches.
As a result, approximately 5% of the search result pages
contained the URL of a springboard site that redirected to a
fake shopping site.
Furthermore, the user behavior before reaching fake shoppingsites and after reaching the sites shows that the user was trying
to obtain the product and its information and accessed various
sites.

Sakata Genki

Shirakawa

Gesture Generation Model with

Gesture generation models take speech information, such as

ShinichiInformation about Environment

speech audio and speech text, and information about theSurrounding Speakerspeaker as input and output gestures. Human gestures are
considered to be influenced by the environment surrounding
the speaker, such as the position of the monitor. However,
because existing gesture generation models do not take suchenvironmental information into account, it is difficult togenerate gestures that are appropriate to the environment. This
study proposes the gesture generation model that reflects
information about the speaker's surrounding environment inaddition to speech information.

Shiraishi

Shikata Junji

KazumaA Research on Homomorphic

In a homomorphic signature scheme, a signer can sign a set of

Signatures with Designated Evaluator

messages so that anyone can later compute a function of thesigned messages and obtain a signature that certifies thecorrectness of the results. In this thesis, we show that it ispossible to construct a homomorphic signature with designatedevaluators based on a linear homomorphic signature and afunctional commitment with designated openers. We also
propose an extension to multi-key signatures. Through ourconstructions, we obtain a homomorphic signature scheme that
supports arbitrary operations based on lattices, and it is shownthat the proposed scheme is secure against quantum computers.

Suzuki Yuta

ShirakawaApplication of Machine Learning to

Neurotoxicity assessment using human iPS cell-derived

Shinichi

Neurotoxicity Assessment ofneurons holds great promise as an alternative method to animal

Compounds Using Human iPS Cell-

testing. It uses features detected from electrical signals for the

Derived Neurons

assessment. This study proposes a feature extraction methodfrom the electrical signals of neurons. We then assess theneurotoxicity of compounds by machine learning using the
proposed features. We analyze the accuracy of each compoundand explain the output of the machine-learning model.

Soga Sayoko

Tomii Takashi

Estimation of Energy Conversion

In this paper, we collected and accumulated internal data

Efficiency in Electric Vehicles Using

during the operation of electric vehicles (EVs) as a life log for

EV Life-Logs

EVs. Using this data, we estimated the comprehensive
efficiency map of the motor and inverter. Furthermore, we
utilized the estimated map to perform energy consumption
estimation and conducted an accuracy evaluation. This map
reveals a breakdown of factors influencing energy
consumption, proving to be valuable as a decision-making toolfor driving improvements, such as assessing driving speed andacceleration/deceleration methods.

Sogabe Ryo

Morí Tatsunori Research on Improving Repetition

Since the Scaling Law was proposed, language models have

Issues in Generative Task Using

become larger in scale, but in social implementations,

Language Model

lightweight and high-performance language models are in highdemand from the viewpoint of cost-effectiveness. In thegeneration task using such language models, there is aphenomenon in which the same words and sequences arerepeatedly generated. In this study, we approached this problem
from the aspect of label balance of training data, and were able
to show results that improved the repetition problem ingenerative summarization.

Takagi Yuma

Nagao

Proposal of melody arrangement

In automatic composition, there is still room for research on

Tomoharu

method through latent space by VAE

how to control the music generated. In this paper, we propose amethod to change the tune of a piece of music. In this study,
the rst target is time signatures, and the goal is to arrange a 4beat song into a 3-beat song. The proposed method rst
acquires a 2-class classi er that determines whether a song is in
3 or 4 beats, and then performs ne tuning of the learned VAE
to generate a melody that the classi er determines to be in 3
beats. Subjective evaluation con rmed that the arrangement to 3
beats was achieved while maintaining the original tune.

Takayasu Masato Nagao
Tomoharu

Construction Music-Evaluation-

Recently, the copyright of data used for training generative

Function Optimized by Usermodels becomes an issue. In addition, it is concern that thePreference

spread of generative models increases the amount of content
and demand for recommendation systems. However, existing
recommendation methods have the ”cold start” challenge.
Therefore, in this paper, we propose a music evaluation
function optimized by user evaluations as a method to mimicuser preference information and to learn models using featuresthat cannot recover the original data. In experiments verify theeffectiveness of the music evaluation function in terms of four
aspects: lightness, ease of learning, prediction accuracy, anddata unrecoverability.

Takiyama Hikaru Yamada

Development of experimental methods

An experimental method was developed to quantitatively

Takahiroin the mechanical evaluation of sutureevaluate suture technique from mechanical data. Experiments

procedures

were conducted using simulated organs instead of organs tosimulate actual suturing procedures. We focused on the
deformation state of the organ surface as the evaluation index
mechanical data, and measured the surface strain of thesimulated organ during suture by experiment. In addition, we
compared the deformation state when suturing was performed
under different conditions to consider the influence of eachcondition on the deformation state and to evaluate thetechnique.

TanizakiKatsunari

Evaluating the Behavior Detection

Double extortion ransomware poses a significant threat to bothShunsuke

Yoshioka

Functionality of Endpoint Security

organizations and individuals. This ransomware not only

Solutions against Double Extortion

encrypts or deletes files but also exfiltrates them. This study

Ransomware

investigates the effectiveness of seven antivirus software andone EDR against double extortion ransomware. We executedransomware test samples on a machine where the products
were installed, and few products were able to detect the
behavior of the test samples and prevent them from running.

Chikano Masaki

Tsutomu

A Study on Laser Detection Sensor

Digital sensors have been proposed for detecting laser fault

MatsumotoImplemented on FPGA

attacks, and one of the digital sensors using a ring oscillator has
been proposed. In this study, I show that the laser detection
sensor using a ring oscillator proposed in a previous study does
not sufficiently detect lasers, and that it does not detect lasers
sufficiently when the pulse width and power of the laser are
reduced. I also propose an improvement plan and show its
effectiveness.

Chiku Sohto

Junji Shikata

A Study on Improving Security of

Identity-based matchmaking encryption (IB-ME) is an

Identity-based Matchmaking

encryption scheme that both the sender and the receiver can

Encryption

mutually specify their identities. In IB-ME setting, a third party
called a key generation center generates a secret key for eachuser, which is called the key escrow problem. In addition,
almost IB-ME schemes do not satisfy the security requirements
for general encryption and signature schemes. In this work, weconstructed an IB-ME scheme that handles the key escrowproblem and some IB-ME schemes that satisfy strong security.

Tomei Kota

Mori Tatsunori Construction of a System to Structure
and Visualize Accident Cases

for

Automated Response Generation

In industries such as manufacturing, responding to inquiries
about accidents on-site is currently done manually, which isinefficient. Consequently, there is a significant demand forautomated response systems. This research aims to clarify thecauses of accidents by visualizing and presenting the structured
flow of accidents when the system responds. We developed anannotation framework to structure the flow of accidents fromplain text and applied it to some cases in the "Failure
Knowledge Database" to organize a text corpus. Additionally,
we built a system for structuring using GPT-4. Evaluation
experiments to measure the system's performance showed that
there is room for improvement.

Nakada Yuki

ShushiClassification of sextic models of

It is known that a curve of genus-5 determined by three 5-

Harashita

curves of genus 5 with gonality 4variable quadratic equations is birational to a plane curve ofdegree 6. In this study, we attempted to classify the
singularities of that plane degree-6 curve using theoretical andcomputational methods. Specifically, we used a computer
program to calculate the dimension of the space of curves foreach type of classified singularity. As a result, we succeeded indetermining the dimensions for all seven types of singularities
in characteristic 0. Future works would include the calculationof the dimensions for other characteristics.

Nakanishi Ryo

Tomoharu

Optimization of Cultivation Conditions Artificial light type plant factories can precisely control various

Nagao

in a Plant Factory Based on Human

cultivation conditions and stably grow plants. However, theKnowledge

cost is high and the profit is low compared to the cost. In thispaper, we propose a method for finding cultivation conditions
that increase the growth rate of plants to improve profitability.
The proposed method compensates for the small number ofcultivation data by using constraints based on humanknowledge that has been collected and analyzed in advance. As
a result of applying the proposed method to cultivation data, wefound cultivation conditions that are expected to be a higher
growth rate than before.

Nishimura Rei

Nagao

Enhancing characteristics of 3D

Today, human 3D models and 3D motion are being studied andTomoharu

motion with text

utilized in various fields. Many AI models are also studied thatenable users to easily generate 3D motion from a small amountof input, without the need for advanced technology or
expensive equipment. For them, I propose a method of creatinga text dataset that acts on the training of models that generate
3D motion from natural language text as input and enhances
the motion characteristics of the generated motion.

Ninomiya Sota

Fujii

Model construction and comparison of

We constructed a Bayesian model for hypothesis acquisition of

Tomohirocompeting hypotheses for the English

the English interrogative sentence formation rule andinterrogative sentence formation rule:quantitatively verified hypothesis acquisition. This model

A Bayesian approachevaluates the trade-off between simplicity of transformation
rules and goodness of fit to the corpus of mostly child-directedutterances that we used. Transformation rules can fall into two
categories: “linear” or “structural,” depending on the type ofrepresentation they are built on. Experimental results showedthat linear rules are superior in terms of simplicity.
Furthermore, it has been suggested that by using adultutterances from the real corpus, children can learn the structural
hypothesis according to which the main-clause auxiliary verb
must be fronted, which is actually used by English speakers.

Hashimoto

OkajimaSimulation of DoF blur considering

When the vergence distance is measured from the viewpoint

Shunki

Katsunorivergence characteristics of HMD

position during VR observation, there is a "gap" between thewearing and its application

distance to the gazing point and vergence distance. In thisstudy, we developed a method to obtain the distance to thegazing point in the virtual space by correcting the vergence
distance, and developed a VR system that adds appropriate
DoF blur. To confirm the usefulness of this calibration system,
we conducted experiments in a VR environment and a realenvironment. The proposed vergence distance correction
system reproduced a view closer to reality than theconventional VR environment without DoF blur.

Hiroi Tatsuki

Tomii Takashi

Multi-Faceted Quantifying for the

In this study, we conducted database design and simulations to

Introduction Effect of a Smartgrid

evaluate VGI (Vehicle Grid Integration), which represents a

Using Load Leveling Oriented VGIDB

new approach to integrating PV (photovoltaic) and EV (electric

Integrating PV and EV

vehicle) systems into a smart grid .
In the simulations, parameters such as the number of EVs andthe amount of PV installation were considered, and the results
were stored in a database for query processing to quantify the
introduction effects.
By setting multiple evaluation metrics, we demonstrated thatthe effectiveness increases significantly as both PV and EV
increase simultaneously.

fukutani yuki

YamadaEstablishment and assessment ofThis study assesses credibility by quantifying epistemic

Takahirocredibility for simulation models

uncertainty of material models and material parameters
identified from material tests, based on the concept ofevaluating the credibility of simulation models presented in
ASME V&V-40. Using 4-point bending tests on wood as an
example, the credibility of the Calibrated material model will
be evaluated for those that have only identified the parameters
and those that have confirmed the reproducibility of other
responses. Validation activities using the credibility-assessedmaterial model were conducted to demonstrate the usefulnessof the proposed credibility factor.

Fujimoto Haruki

Junji Shikata

A study on constructing Proxy Re-

We propose a proxy re-encryption (PRE) scheme based on theencryption based on LPN Problem

Learning Parity with Noise (LPN) problem using errorcorrecting codes. Several lattice-based PRE schemes have been
proposed as post-quantum PRE. Our proposed scheme is thefirst PRE scheme based on LPN.In this paper, we construct a
LPN-based PRE scheme from a LPN-based public key
encryption (PKE) scheme proposed by D"{o}ttling et al.
(ASIACRYPT 2012), so that we can apply techniques used inlattice-based PRE and then prove its correctness and CPA
security.

Maeda Riku

Okajima

Effects of autonomic nervous system

The five senses and the autonomic nervous system play a

Kastunorimodulation on taste perception

significant role in human behavior, emotions, and health, withtaste being particularly crucial in daily life. This study delves
into the interaction between taste and the autonomic nervous
system by examining changes in taste sensation reported after
exercise, exploring the correlation between heart rate and taste
threshold. The findings suggest that modulation of theautonomic nervous system likely influences taste perception,
based on temporal changes in taste thresholds andphysiological responses of the brain and body.

Matsuoka

Junji Shikata

YoshiroA Study on Message Authentication

In this paper, we propose a new cryptographic protocol called

Codes Capable of Key and Dataproxy re-authentication capable of key and data compression.

Compression

In particular, we realize key compression by converting a tag
generated with a sender’s private key into another one so that a
receiver can verify with his own private key through a proxy.
Moreover, regarding this protocol, we show that it is possible
to realize data compression by aggregating tags based on theidea used in aggregate message authentication. Concretely, we
provide two constructions: one is a generic construction using
key homomorphic pseudorandom function and the other isbased on the hardness of the computational Diffie-Hellman
problem.

Matsumoto Yuta

Shinichi

Improvement of Sample Weighting

Distribution shifts are problems in which the distributions of

Shirakawa

Method via Optimal Transport for

the training and test data differ and significantly degrade theComplicated Dataset Shifts

performance of machine learning models. Sample weighting
methods change the impact of each data for updating the modelby assigning weights to data and are effective against
distribution shift by giving appropriate weights. This study
proposes three im-provements to the existing sample weighting
method using optimal transport distance to improve theperformance in a complicated distribution shift with mixedlabel noise and class imbalance.

Matsumoto Ryo

Tomoharu

Building a Model Simulating Vital

Since the recent pandemic of COVID-19, there have been

Nagao

Data of Emerging Infectious Disease

many challenges trying to build a model meeting needs ofoverwhelm medical field in the midst of an epidemic ofemerging infectious diseases. In this paper, we try to build amodel that simulates time-series changes in vital data for eachpatient's prognosis in order to meet every needs with medical
concreteness. We propose building a simulation model thatutilizes data resources efficiently, and this model may meet
every needs relatively well.

Mabuchi Yuki

ShinichiCreation of SNS Dance Dataset and Its

To assist choreographers in creating dances, research on the

ShirakawaApplication to Dance Generation

machine learning-based automatic generation of dance that

Model Training

matches a given music has been conducted. Recently, thedemand for short and catchy dances on social media has been
increasing. However, the dances in the existing datasets forautomatic dance generation models are long and containcomplex movements. Therefore, generating dances suitable forsocial media using such a dataset is difficult. This study createsa dataset of short and catchy choreography and evaluates thetrained dance generation model using that dataset.

Miyata Hiroto

Tsutomu

Implementation and Evaluation of

Pairing cryptography is sometimes used for communication

MatsumotoPairing Calculations in Resource-

between IoT devices, but the core pairing computation isbounded IoT Devices

computationally expensive and can be difficult to implement in
IoT devices with small RAM capacity.
In this study, we propose the use of 128-bit security, based on
the fact that 256-bit security is being considered for long-term
security in the future.
The BLS48-581 curves for 128-bit and 256-bit security,
respectively, are used in this study.
BLS48-581 curves for 256-bit security, and proposed an
implementation for devices with minimal computing resources.
We then clarify the relationship between security level andcomputational cost.

Miyano Kota

Ushikoshi

Asymptotic behavior of the

There are many results about the analysis for the

Erikaeigenfrequencies of a thin elastic rod

eigenfrequencies of homogeneous isotropic elastic body. In thewith a junction in three-dimensional

works, Kerdid(1997) studied eigenfrequencies with a joint of

space

two rectangular solids and in recent years, Jimbo-Rodriguez
Mulet(2020) analyzed it for an elastic rod with non-uniform
cross-section. The purpose of our study is to build thefoundation of mathematical analysis for eigenfrequencies of anelastic body with a junction of more general shapes, and we
succeeded to obtain the derivation of asymptotic order of
eigenvalues.

Murata Motoki

OkajimaDeveloped food appearance changing

Coaxial projector-camera systems are mainly used for dynamic

katsunori

system using a non-coaxial projection

projection mapping that can track three dimensions. However,camera system that enables 3Dsuch a system requires delicate optical axis adjustment. In thistracking and verification of cross-study, we developed a dynamic projection mapping system

modal effects

using a non-coaxial projector-camera system that is easy to
implement and enables high-precision three-dimensional
tracking. Cross-modal effects were verified by manipulating
the appearance of food products, by using our system expecting
an improved eating experience.

Mori Yuta

Takahiro

Assessment of Modeling Credibility by In this study, an identification method using a minimally

YamadaIndentation of a Simulated Organinvasive indentation test and inverse analysis is developed toobtain the physical properties of inhomogeneous organs.
Validation of the property identification method is performed at
the homogeneous body level. Indentation test is carried out ona simulated organ made of homogeneous material, and thereaction force and deformation are measured. The material
parameter of the simulated organ is identified from the tensile
test and forward analysis is performed. The validity of theproperty identification method is confirmed at thehomogeneous material level by comparing the responses
between the experimental and analytical results.

Morii Yudai

YoshiokaAnalysis of IoT device manufacturers’

In this study, we applied a Software Composition Analysis

Katsunarihandling of OSS vulnerabilities

tool, which has recently attracted attention as one of thevulnerability management methods, to the firmware of IoT
devices, and analyzed IoT manufacturers' handling ofvulnerabilities in Open Source Software. As a result, we
confirmed that there are differences among IoT manufacturers
in their handling of known vulnerabilities at the time offirmware release, and that there are cases in which
vulnerabilities increase due to firmware updates.

Yasui Hiroki

Katsunari

Research on Understanding IoTRecent IoT malware has sophisticated functions and the

Yoshioka

Malware Activities through Attack

realities cannot be clarified only by dynamic analysis in a

Observation with Bare Metal Devices

virtual environment. In this study, we operated observation
systems using actual IoT devices and investigated the actual
situation of IoT ransomware and the survival competition of
IoT bots. In the former case, we clarified that the operation of
the attack infrastructure is automated to maximize profits, andin the latter case, we clarified that the infection status ofvulnerable devices varies greatly depending on the time ofobservation and the characteristics of the devices due to thebattle for control by the attackers.

Yoshida Yosei

Nagao

Concept-conditional Synthetic Image

In recent years, the international expansion of the Koi culture

Tomoharu

Generation with Diffusion Model forhas led to the necessity for online appraisal competitions.

Koi Evaluation System

While online competitions anticipate fair evaluations throughmachine learning, there is a challenge in securing thesubstantial amount of image data required for such learning. In
this paper, we propose a method to generate realistic and highquality synthetic image data by learning Koi-specific concepts
from known individuals and providing them as conditions. The
experiments include qualitative comparisons of generated
images and a perceptual quantitative assessment to verify
effectiveness and identify useful conditions.

Yoshiya Kazuya

Takahiro

Splitting Time Integrator for Mixed

In this work, the mixed finite element method, in which one or

YamadaFinite Element Method in Dynamic

both of the transverse shear stress and the axial normal stress

Analysis of Beam and Plate

are taken as independent variables, is applied to dynamic
problems of the Timoshenko beam and the Mindlin-Reissner
plate. The splitting time integrator designed for the mixed
method, which works as an explicit method for bending
deformation and as an implicit method for the others, isadopted. Therefore, the time interval can be determined by thewave velocity of the bending deformation and its restriction isrelaxed. The numerical properties of the proposed approach areevaluated by numerical experiments.

Washizu

Katsunori

Dynamic auditory induced visual

The audiovisual linkage illusion, in which two synchronized

TADAAKI

Okajimaimage illusion mechanism using color

lights appear to be three by three consecutive sounds, is anand shape perception

illusion produced by posterior prediction due to cross-modal
effects. However, it has been unclear whether this illusion also
occurs when the first and second visual stimuli are different incolor or shape. In this study, we show that the audiovisuallinked illusion does occur even when the color and shape of thefront and rear optical illusions are different, and that which of
the two illusions is dominant depends on the individual
observers.

HE ZHENYANG Matsui kazumi Stochastic evaluation for

At present, the destruction caused by the techniques used to

Stiffness/Strength of Polycrystalline

elucidate the internal structure of ceramic material is

Structures

irreversible, making it impossible to verify the original
experimental specimen. Therefore, this study applies Voronoi
partitioning and infers the internal structure based on
information obtained from the top surface of microcantilevers
using electron backscatter diffraction. Additionally, efforts are
made to develop acceleration techniques (conjugate gradientmethod) necessary for conducting stiffness and strength
evaluations for polycrystalline models.

KHANG MINJE

Shikata Junji

A Study on Improving Efficiency of

Recent years have seen technological advancements in

Searchable Encryption by Using Fast

quantum computers, indicating that many cryptographic

Fourier Transform or Hybrid Sampler

algorithms could be vulnerable to attacks by quantum
computers. Consequently, cryptographic research intoquantum-resistant cryptography has been extensively pursued.
For Public Key Encryption with Keyword Search (PEKS) as
well, research based on lattice-based cryptography, one ofwhich is the NTRU cryptosystem known for its quantum
resistance, has been advancing. However, existing NTRUbased PEKS schemes use a Gaussian sampler for trapdoor
generation, which requires O(n^2). This thesis proposes a
structure that applies the fast Fourier sampler from FALCON
and the hybrid sampler from ANTRAG to improve the trapdoor
generation time to O(n log n) in PEKS. Furthermore, itevaluates and compares the efficiency of these two schemes.

HUANG BEN

Katsunori

Real Image Substitution for Avatars in

To enhance the authenticity of communication in virtual reality

OKAJIMA

Virtual Space Communication Systemsystems, we propose a new method of transforming avatars into
real image by using three cameras. Avatars are rendered
realistically, and the new virtual space communication systemdoes not require HMDs. Performance measurements show thatthe proposed model is capable of real-time processing.
Furthermore, the results of evaluation experiments demonstratethat our system provides higher authenticity and immersion
compared to traditional communication systems.

XIE NINUO

Nagao

Improving Accuracy in Adverse Image

In image classification with Convolutional Neural Networks,

Tomoharu

Detection for Image Classification

the necessity for extensive training data and the complexity of

Utilizing Human Rationale

interpreting the model’s decision-making process are
significant challenges. This paper introduces a methodology
aimed at identifying images that could potentially hinder model
performance by leveraging annotations related to humandecision-making and heatmap analyses. The primary objective
is to enhance the model’s precision by pinpointing images thatevoke divergent opinions among humans, as indicated throughannotations, and by identifying images featuring multiple
instances of the same object, as revealed through heatmap
analysis. This selective removal aims to streamline the training
dataset, leading to enhanced model precision and accuracy.

CHEN

ShirakawaArchitecture Search of Neural

Split inference is a technique that divides an AI model and

YEN ｰ HSIU

Shinnichi

Networks Using Discrete Embedding

deploys it separately on edge devices and server-side for

Representations for Split Inference

inference. This approach addresses privacy concerns in cloudcomputing and reduces high latency caused by transferringlarge amounts of data. Besides, the data transmission volume
and the model’s computational cost depend on the modelarchitecture and splitting point.
Meanwhile, not all existing models are suitable for split
inference. To facilitate the effective use of split inference
across various models, this research proposes an automaticarchitecture search method for split inference, reducing datatransmission and the overall latency of model inference.

Liu Yi

Takashi Tomii

Design of Electric Vehicles' Energy

In our previous study, we proposed electric vehicles' (EVs')

Baseline Maps with Wind Conditions

Energy Baseline Maps (EBM) that visualize the essential

and Accuracy Verification Using

energy consumption explained by road gradients. However, theLong-Term Driving Data

EBM did not consider the influence of wind.
In this paper, we propose an improved version of the EBM,
called Energy Baseline Map-Correction of Airspeed (EBMCA), by enhancing the calculation of air resistance using
meteorological open data to calculate the effect of wind.
Utilizing long-term accumulated real driving data of EVs, we
compared the EBM-CA with the EBM and confirmed theimproved evaluation accuracy of the EBM-CA. Furthermore,by visualizing the EBM-CA on a location basis, wedemonstrated the impact of seasonal wind on EV energy
consumption.