アンダースタンディング・コンピュテーション
電気通信大学情報理工学域I類 (情報系)
2019年度前学期
情報工学工房
金曜5限 (16:15-17:45)
岡本 吉央
スクーリング資料
プログラム意味論 (
スライド
)
有限オートマトン (
スライド
)
プッシュダウン・オートマトン (
スライド
)
チューリングマシン (
スライド
)
ラムダ計算 (
スライド
)
万能性 (
スライド
)
Super Mario Makerの万能性
(YouTube)
決定可能性 (
スライド
)
抽象解釈／静的意味論 (
スライド
)
[Teaching Top]
[Top]
okamotoy@uec.ac.jp