佐野勝彦准教授(北海道大学文学研究院)をお招きし、社会科学実験研究センター(CERSS)コロキウムを開催します
佐野勝彦准教授(北海道大学文学研究院)をお招きし、社会科学実験研究センター(CERSS)コロキウムを開催します。
日時:2019年11月28日 (木) 16:30-18:00
場所:文学研究院・文学部E棟3階 E304号室
スピーカー:佐野勝彦 (北海道大学文学研究院・准教授)
タイトル:From Turing Machines to Kripke Models
お知らせ
佐野勝彦准教授(北海道大学文学研究院)をお招きし、社会科学実験研究センター(CERSS)コロキウムを開催します。
日時:2019年11月28日 (木) 16:30-18:00
場所:文学研究院・文学部E棟3階 E304号室
スピーカー:佐野勝彦 (北海道大学文学研究院・准教授)
タイトル:From Turing Machines to Kripke Models