佐野勝彦准教授(北海道大学文学研究院)をお招きし、社会科学実験研究センター(CERSS)コロキウムを開催しました。

日時:2019年11月28日 (木) 16:30-18:00

場所:文学研究院・文学部E棟3階 E304号室

スピーカー:佐野勝彦 (北海道大学文学研究院・准教授)

タイトル:From Turing Machines to Kripke Models

詳細はこちらからご覧下さい。

TOP