Available on
JapaneseClass.jp
Login
Forgot password
MAIN
Social Feeds
LEARN
Practice
Lessons
Readings
Notes
COMMUNITY
Rankings
Forum
Discord
MISCELLANEOUS
Topics
Matome
Dictionary
Donate
Category:形式手法
不変条件
Invariant (computer science)
仕様記述言語
Specification language
形式体系
Formal system
論理プログラミング
Logic programming
ペトリネット
Petri net
有限オートマトン
Finite-state machine
チューリングマシン
Turing machine
prev
1
2
3
Categories
日本のアニメ映画
日本の文化
日本の祭り
日本の世界遺産
日本のアイドル
Share
Twitter
