読むことになりました。本を購入する必要はありません。Webで公開されている資料を使って勉強を進めます。主催者は証明器についてまったくの素人なので、基本からしっかり勉強する読書会にしようと思っています。「Coqって何?」という方は以下のリンクが参考になるかもしれません。「レコードとバリアント(Optional)」が積み残し。バリアントができたら発表します。上がるエレベーターにのってください。うちのだれかに頼んで登録してもらってください。こちらのイベント情報は、外部サイトから取得した情報を掲載しています。掲載タイミングや更新頻度によっては、情報提供元ページの内容と差異が発生しますので予めご了承ください。最新情報の確認や参加申込手続き、イベントに関するお問い合わせ等は情報提供元ページにてお願いします。ここは、イノベーションの実験場だ。