3 papers
cs.SE2025
Toward Automated Test Generation for Dockerfiles Based on Analysis of Docker Image Layers
Yuki Goto, Shinsuke Matsumoto, Shinji Kusumoto
Docker has gained attention as a lightweight container-based virtualization platform. The process for building a Docker image is defined in a text file called a Dockerfile. A Docke…
math.NT2024
On factorizations of certain Kummer characters associated to once-punctured elliptic curves with complex multiplication
Shun Ishii, Yuki Goto
In this paper, we study certain Kummer characters, which we call the elliptic Soulé characters, arising from Galois actions on the pro- fundamental groups of once-punctured elli…
math.RA2020
Explicit construction of cofree precoalgebras and coalgebras
Yuki Goto
In this paper, we will explicitly construct cofree coalgebras, by first constructing cofree precoalgebras (namely those not necessarily coassociative or counital). Our approach doe…