スポンサーリンク
Department of Information Science, Tokyo Institute of Technology | 論文
- Fixed Point Theory in Weak Second-Order Arithmetic
- CONVERGENCE OF APPROXIMATED SEQUENCES FOR NONEXPANSIVE MAPPINGS(Nonlinear Analysis and Convex Analysis)
- On the Semantics of Infinite Computations in Logic Programs(Mathematical Foundations of Computer Science and Their Applications)
- The Greatest Fixed-Points and Rational Omega-Tree Languages : Extended abstract(Algorithms : Mathematical Foundations and Applications)
- Design and Implementation of a Multipass-Compiler Generator (Mathematical Methods in Software Science and Engineering)
- Nonlinear Ergodic Theorems for Semigroups of Nonexpansive Mappings and Left Ideals(Nonlinear Analysis and Convex Analysis)
- A Fixed Point Theorem for Noncommutative Families of Nonexpansive Mappings in Banach spaces(Nonlinear Analysis and Convex Analysis)
- Paddable Sets in Number Theory(Complexity Theory and Related Topics)
- A Double-Layered Text Editor
- FIXED POINT PROPERTIES FOR SEMIGROUP OF NONEXPANSIVE MAPPINGS ON BI-TOPOLOGICAL VECTOR SPACES(Nonlinear Analysis and Convex Analysis)
- Approximating solutions of nonlinear variational inequality problems (モデリングと最適化の理論--RIMS研究集会報告集)
- Normal proofs and their grammar