Shunji Nishimura
10
Seguidores
Personal Information
Organização/Local de trabalho
Oita city, Oita prefecture Japan
Cargo
Lecturer
Setor
Education
Marcadores
formal verification
computer hardware
theorem prooving
theorem proving
formal method
hardware description
category theory
state machine
agda
soft constraints
encodings
at-most-k
sat
dependent types
causal functions
sequential circuits
modern learners
markup language
digital material
blackboard writing
lecture
education
api
classroom
line
synchronous circuits
機能モデル
同期概念
同期回路
multi-clock synchronous circuit
様相論理
形式検証
非同期回路
timing constraint
asynchronous circuit
multi-clock
modal logic
formal methods
theorem proo
functional programming
Ver mais
- Apresentações
- Documentos
- Infográficos