Similar to Communicating_Sequential_Processes
Science and Technology of Advanced Materials
Science and Technology of Advanced Materials
Science, Technology & Human Values
Science, Technology, & Human ValuesSecurity Content Automation Protocol
Security Content Automation ProtocolSecurity information and event management
Security information and event managementSecurity Orchestration, Automation and Response
Security orchestrationSecurity Support Provider Interface
Security Support Provider Interface
SHOOT BOXING 2018 YOUNG CEASER CUP CENTRAL ＃23
SHOOT BOXING 2019 YOUNG CEASAR CUP CENTRAL ＃25
-SHOOT BOXING BATTLE SUMMIT- GROUND ZERO TOKYO 2017
計算モデル
Model of computationOISC
One-instruction set computer
オートマトン
Automata theoryオペランドスタック
可逆計算
Reversible computing
拡張階層化状態遷移表
確率的チューリング機械
Probabilistic Turing machine
決定性有限オートマトン
Deterministic finite automaton
交替性チューリング機械
Alternating Turing machine
自動微分
Automatic differentiation
状態遷移系
Transition system
状態遷移図
State diagram状態遷移表
State-transition table
神託機械
Oracle machine
スタックマシン
Stack machine
ゼノン機械
Zeno machine
線形拘束オートマトン
Linear bounded automaton
タグシステム
Tag system
抽象機械
Abstract machine
