• 1006 引用
  • 12 h指数
19992019
Pureに変更を加えた場合、すぐここに表示されます。

Fingerprint Tachio Terauchiが取り組む研究トピックをご確認ください。これらのトピックラベルは、この人物の研究に基づいています。これらを共に使用することで、固有の認識が可能になります。

Mathematics

Attack
Buffer
Calculus
Casting
Cell
Communication Channels
Compositionality
Concurrency
Concurrent
Confluence
Constraint Solving
Counterexample
Deductive System
Dependent
Determinism
Fixpoint
Formal Analysis
Fractional
Hardness
Heuristics
Higher Order
Horn clause
Information Flow
Intersection
Leakage
Linear programming
Liveness
Logic
Noninterference
Partial
Polynomial time
Predicate
Program Verification
Prototype
Ranking Function
Reachability
Reachability Analysis
Reasoning
Recursion
Refinement
Safety
Shannon Entropy
Static Analysis
Stratification
Synthesis
Temporal Reasoning
Termination
Timing
Type Systems
Undecidability

Engineering & Materials Science

Acoustic waves
Adaptive systems
Augmented reality
Automation
Casting
Channel capacity
Chemical analysis
Communication
Computer programming languages
Context free languages
Data storage equipment
Decomposition
Display devices
Entropy
Experiments
Hardness
Interpolation
Joining
Linear programming
Linux
Model checking
Polymorphism
Polynomials
Recursive functions
Sampling
Semantics
Specifications
Static analysis
Surface mount technology
Synchronization
Temporal logic
Testbeds
Turing machines
User interfaces