「好き」をブチ抜く
id:asc_meta
証明＝プログラム!? 【カリーハワード同型対応】 計算と論理の奥深い関係
この記事の問いと内容 論理と計算との間には深い関係がある。現在のコンピュータサイエンスでは、その応用範囲は広い。 ・計算可能であるとはどういうことか？ →理念 ・具体的には、どのようにして計算は行われるのか？ →計算モデル論 ・計算手順をうまく記述するにはどのような言語が必要か？ →プログラミング言語論 ・課…
