スポンサーリンク
Department of Computer Science, The University of Tokyo | 論文
- DS-1-11 Reconstructing Strings from Substrings with Quantum Query
- A Sketch-Based Interface for Modeling Myocardial Fiber Orientation that Considers the Layered Structure of the Ventricles
- A Procedural Method for Modeling the Purkinje Fibers of the Heart
- TOWARDS OBJECT ORIENTED CONCURRENT PROGRAMMING(Software Science and Engineering)
- A Complete Type Inference System for Subtyped Recursive Types
- Concurrent Programming in Linear Logic
- Verification of Concurrent Programs Using the Coq Proof Assistant : A Case Study
- Reconstructing Strings from Substrings with Quantum Queries
- Verification of Concurrent Programs Using the Coq Proof Assistant: A Case Study