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:プログラミング言語理論
チューリング完全
Turing completeness
第一級関数
First-class function
チューリング陥穽
Turing tarpit
副作用 (プログラム)
Side effect (computer science)
抽象構文
Abstract syntax
プログラム意味論
Semantics (computer science)
リスコフの置換原則
Liskov substitution principle
参照透過性
Referential transparency
Categories
日本のアニメ映画
日本の文化
日本の祭り
日本の世界遺産
日本のアイドル
Share
Twitter