Ryo Tanaka

dblp:138/8420 · DBLP profile ↗
← Back
7ranked-venue papers
1as first author
3since 2021 · last 2025
—ORCID · conflict

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 4 · 2 since 2021Theory of computation · 2Databases, data management, data science and information retrieval · 1 · 1 first-author · 1 since 2021Applied, interdisciplinary, general and emerging computing · 1 · 1 first-author · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
1 paper
Logic in computer science · 100%
Software engineering, system software, and programming languages
1 paper
Concurrent programming · 100%

Topics — the 4 heaviest of 5, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Concurrent programming › concurrency theory
process calculi
0.312017
The geometry of concurrent interaction: Handling multiple ports by way of multiple tokens · LICS 2017
Logic in computer science › proof theory › proof semantics
geometry of interaction
0.312017
The geometry of concurrent interaction: Handling multiple ports by way of multiple tokens · LICS 2017
Logic in computer science
program semantics
0.312017
The geometry of concurrent interaction: Handling multiple ports by way of multiple tokens · LICS 2017
Concurrent programming › concurrency theory › process calculi
pi-calculus
0.112017
The geometry of concurrent interaction: Handling multiple ports by way of multiple tokens · LICS 2017

Methods — techniques the papers use, named apart from their topics

token machines · 0.6soundness and adequacy · 0.6
YearPublicationVenuePosition
2025 Automated Instruction Generation via Alternating Evaluation and Creation with LLMs
Ryo Tanaka, Yu Suzuki 0001
iiWAS1
2022 Knowledge Learning of Early Adopters Using Word-of-Mouth Data
abstract
The global market for bone-conduction headphones is expected to continue to grow, as the COVID-19 pandemic has increased opportunities for telecommunicating, or working from home, as opposed to going to the office every day. Increased teleworking opportunities have led to more online conferencing, and as a result, the market for bone-conduction headphones is growing even more rapidly. Early adopters are very important in today's marketing. They are very sensitive to public trends and tend to adopt new products quickly. Many early adopters gather information on their own, make their own decisions based on the information they gather, and purchase products. And they tend to spread the word about how good the product is and what makes it different from others from a consumer perspective. During a period of market expansion, the diffusion of the word-of-mouth they transmit is key to the diffusion of the product. In this study, we use online word-of-mouth data to study early adopeters’ knowledge of new products.
Yuko Taniguchi, Ryo Tanaka, Masanari Kageyuki, Kazuhiko Tsuda
KES2
2021 Knowledge Learning of Replacement Judgment Using Word-of-mouth Data
abstract
The pandemic caused by COVID-19 has also affected the camera industry, and various events have been cancelled. In addition, the recent improvement in the performance of cameras installed in smartphones has reduced the demand for replacement cameras, as it is easy to take pictures without carrying a camera. For customers, online word-of-mouth is what they refer to when purchasing a product. This data is important not only for customers, but also for companies. In this research, we will use online word-of-mouth data and focus not only on numerical data but also on textual data and use text mining to learn knowledge about the decision to replace a camera.
Yuko Taniguchi, Ryo Tanaka, Daisuke Kobayakawa, Kazuhiko Tsuda
KES2
2020 Effectful applicative similarity for call-by-name lambda calculi
Ugo Dal Lago, Francesco Gavazzo, Ryo Tanaka
Theor. Comput. Sci.3
2019 Neuro-inspired System with Crossbar Array of Amorphous Metal-Oxide-Semiconductor Thin-Film Devices as Self-plastic Synapse Units
Mutsumi Kimura, Kenta Umeda, Keisuke Ikushima, Toshimasa Hori, Ryo Tanaka, Tokiyoshi Matsuda, Tomoya Kameda, Yasuhiko Nakashima
ICONIP (2)5
2018 Hopfield Neural Network with Double-Layer Amorphous Metal-Oxide Semiconductor Thin-Film Devices as Crosspoint-Type Synapse Elements and Working Confirmation of Letter Recognition
Mutsumi Kimura, Kenta Umeda, Keisuke Ikushima, Toshimasa Hori, Ryo Tanaka, Tokiyoshi Matsuda, Tomoya Kameda, Yasuhiko Nakashima
ICONIP (7)5
2017 The geometry of concurrent interaction: Handling multiple ports by way of multiple tokens
abstract
We introduce a geometry of interaction model for Mazza's multiport interaction combinators, a graph-theoretic formalism which is able to faithfully capture concurrent computation as embodied by process algebras like the π-calculus. The introduced model is based on token machines in which not one but multiple tokens are allowed to traverse the underlying net at the same time. We prove soundness and adequacy of the introduced model. The former is proved as a simulation result between the token machines one obtains along any reduction sequence. The latter is obtained by a fine analysis of convergence, both in nets and in token machines.
Ugo Dal Lago, Ryo Tanaka, Akira Yoshimizu
LICS2