Hiromi Ishii

Computer Algebra in Scientific Computing pdf

Hiromi Ishii, Hiromi Ishii, 2018, Lecture Notes in Computer Science.

Application of Improved U-Net and ResU-Net Based Semantic Segmentation Method for Digitization of Analog Seismograms

Thomas H. Lee, Miaki Ishii, Jiahua Zhao, 2020 .

Freer monads, more extensible effects

Oleg Kiselyov, Hiromi Ishii, O. Kiselyov, 2015, Haskell.

Automatic Differentiation With Higher Infinitesimals, or Computational Smooth Infinitesimal Analysis in Weil Algebra

Hiromi Ishii, Hiromi Ishii, 2021, CASC.

Functional Pearl: Witness Me - Constructive Arguments Must Be Guided with Concrete Witness pdf

Hiromi Ishii, 2021, ArXiv.

A Succinct Multivariate Lazy Multivariate Tower AD for Weil Algebra Computation pdf

Hiromi Ishii, 2021, ArXiv.