計算
計算(calculation)
計算とは、ある規則に基づいて機械的に実行される手続き
抽象的な計算モデルとして
チューリングマシン
がある
計算可能性
確認用
Q. 計算とは
参考
https://www.youtube.com/watch?v=edRU9O-VAxs
関連
definitional equality
tagless final
メモ
計算の理論
https://www.kurims.kyoto-u.ac.jp/~kawamura/t/is-keisannoriron/R030427.pdf
調査用
/pogi-log/Google.icon
計算
/pogi-log/Google.icon
calculation
/pogi-log/Wikipedia.icon
計算 - Wikipedia(日)
計算(検索) - Wikipedia(日)
/pogi-log/Wikipedia.icon
calculation - Wikipedia(英)
calculation(検索) - Wikipedia(英)