お知らせ connpassではさらなる価値のあるデータを提供するため、2024年5月23日(木)を以ちましてイベントサーチAPIの無料での提供の廃止を決定いたしました。
2024年5月23日(木)以降より開始予定の「connpass 有料API」の料金プランにつきましてはこちらをご覧ください。
なお有料の対象となるのはAPIのみであり、connpassのサービスにつきましては今後も無料でご利用いただけます。

4月

4
等式論理と関数7個で作る証明検査器

主催 : PRINCIPIA Limited

ハッシュタグ：#形式手法

募集内容	一般無料先着順 9/30人
申込者	申込者一覧を見る
開催日時	2020/04/04(土) 16:00 ～ 18:00 Googleカレンダー icsファイル
募集期間	2020/04/04(土) 00:00 〜 15:45まで
会場	Google Hangouts Meet オンライン

イベントの説明

等式論理と関数7個で作る証明検査器

初谷@PRINCIPIAです．衝動的に等式論理の話がしたくなりました．

はじめに等式論理の話をして，そのあと等式論理に基づいて作ったかんたんな証明検査器の話をします．練習問題を用意したので，参加する人は計算用紙を用意するといいかもしれません．やらない人はその時間たいくつするので腕立て伏せかスクワットしてください．自分の答えが正しいかどうかは検査器でチェックしてください．

証明検査器は関数たった7個でできてます．プログラミング言語は Scheme です．コードはここに置きました．