About
Software developer living in Tokyo, Japan
Interest: Server-side Develop, Database, and Software Engineering
Programming Languages: C, Go, PHP, JavaScript (Node.js) , and OCaml
Publication
- D. Ishii, T. Yabu, Computer-assisted verification of four interval arithmetic operators, 2020.
- T. Yabu, D. Ishii. Machine-Aided Verification of Four Interval Arithmetic Operators. In International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN), pages 176–177, 2018.
- 薮智仁, 石井大輔. Why3 を用いた区間演算ライブラリの検証. 日本ソフトウェア科学会第34回大会, 2017.