萩原研の大学院生が幹事となり
定理証明支援系 Lean の勉強会を開催することになりました。
以下、スケジュールと（おおまかな）開催場所を掲示します。
内容は 定理証明支援系 Lean のチュートリアルの輪読です。
参加希望者は連絡ください。
ただし、原則、１回以上スピーカーをして頂きます。
開催地、千葉大学大学院理学研究科
２０１５年
１２月１７日（木）１０：３０－１７：３０
以下、
２０１６年
１月１５日（金）１０：３０－１７：３０
２月 ５日（金）１０：３０－１７：３０
２月１９日（金）１０：３０－１７：３０
３月１０日（木）１０：３０－１７：３０
３月２４日（木）１０：３０－１７：３０
アイキャッチ画像は
新幹線の車窓から眺めた富士山。
