萩原研の大学院生が幹事となり
定理証明支援系 Lean の勉強会を開催することになりました。
以下、スケジュールと(おおまかな)開催場所を掲示します。
内容は 定理証明支援系 Lean のチュートリアルの輪読です。
参加希望者は連絡ください。
ただし、原則、1回以上スピーカーをして頂きます。
開催地、千葉大学大学院理学研究科
2015年
12月17日(木)10:30-17:30
以下、
2016年
1月15日(金)10:30-17:30
2月 5日(金)10:30-17:30
2月19日(金)10:30-17:30
3月10日(木)10:30-17:30
3月24日(木)10:30-17:30
アイキャッチ画像は
新幹線の車窓から眺めた富士山。