Beerworksの缶ビール3種類。2019年3月のハワイクラフトビール。一般の方々は、まだ知らない人も多いのでは。SSReflectとは証明言語の1つです。数学の定理の証明を表現できる、コンピュータ上の言語です。一般の方々には、ほとんど知られていないはず。日本での独自の地位を築いてきました。SSReflectのように、数学と情報数理学をまたがる最先端の話題が大学で議論できるわけです。千葉大学生の恵まれている点です。最先端の話題をみんなで学ぼう!新しい話題なので、学生も教員も一緒になって勉強しよう!という意図で、勉強会を企画しました。3日間、毎日約3時間ずつ。気力も体力も使います。理学部内に勉強会開催の告知を掲示。いろいろな人たちが参加くださいました。M1は、集中講義が重なってしまい、不参加になってしまったという。SSReflectの基本的な使い方。数学の論文をSSReflectで書き換えていくという話。あちきは2日目を担当。演習問題として出したのは、一般的な命題に関する性質。1.三段論法を証明せよ。2.命題の(真偽の)可換性を証明せよ。3.命題の結合法則を証明せよ。4.命題A,B,Cについて、「AかつBかつC」と「CかつBかつA」の同値性を証明せよ。1問目はこんな感じで証明されます。見ると5通りの異なる証明が書かれています。数学の証明は1つじゃない!!と実感できますな。夏休みが明けたら、また何か企画しようかな。学生が幹事になって運営するような仕組みを作りたいな。