意図せずチューリング完全になったもの - mrsekut-p

意図せずチューリング完全になったもの

意図せずチューリング完全になったもの

https://www.youtube.com/watch?v=Ak_sWZyHi3E

HTML, CSS単体では無理？

animation-iteration-count

https://stackoverflow.com/questions/2497146/is-css-turing-complete

not チューリング完全、らしい？

https://gist.github.com/xl1/8651716

https://dt.hateblo.jp/entry/20120614/1339681745

https://www.youtube.com/watch?feature=player_embedded&v=eSRcvrVs5ug

Common Table Expression

window機能

http://wiki.postgresql.org/wiki/Mandelbrot_set

https://www.sqlite.org/lang_with.html

Cプリプロセッサー

Excel

VimのNormal Mode

Power Point

型システム

TypeScriptの型

https://github.com/microsoft/TypeScript/issues/14833

https://gist.github.com/hediet/63f4844acf5ac330804801084f87a6d4

http://www.treblig.org/daveG/rust-mand.html

https://github.com/doctorn/trait-eval

https://michid.wordpress.com/2010/01/29/scala-type-level-encoding-of-the-ski-calculus/

https://tarao.hatenablog.com/entry/lambda-scala3

JavaのGenerics

チューリング完全であることの弊害

「意図せず」の真意

停止しないことがある

PDFはあえてチューリング完全にならないように設計することで必ず有限時間で処理できるようになっている

https://www.informit.com/articles/article.aspx?p=661370&seqNum=3

参考

Accidentally Turing-Complete

2020/4の記事。新しい

本の虫: うっかりチューリング完全になっちゃったもの

https://www.cs.odu.edu/~zeil/cs390/latest/Public/turing-complete/index.html#:~:text=With%20no%20recursion%20and%20no,power%20in%20favor%20of%20predictability.