2021-05-15から1日間の記事一覧
ものすごく久しぶりの第三弾。このテーマはそのまま修論になる可能性があるので継続していきたい所存。 サムソン・アブラムスキー先生の1994年の"Proofs as Processes"(リンクはPDFです)という短い論文を読んだのでその記録である。 内容は"相互作用として…
ものすごく久しぶりの第三弾。このテーマはそのまま修論になる可能性があるので継続していきたい所存。 サムソン・アブラムスキー先生の1994年の"Proofs as Processes"(リンクはPDFです)という短い論文を読んだのでその記録である。 内容は"相互作用として…