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

お知らせ connpassをご利用いただく全ユーザーにおいて健全で円滑なイベントの開催や参加いただけるよう、イベント参加者向け・イベント管理者向けのガイドラインページを公開しました。内容をご理解の上、イベント内での違反行為に対応する参考としていただきますようお願いいたします。

このエントリーをはてなブックマークに追加

Apr

2

Isabelle チュートリアル 第1回 論理

Organizing : 株式会社 PRINCIPIA

Isabelle チュートリアル 第1回 論理
Hashtag :#Isabelle
Registration info

一般

3000 (Pre-pay)

FCFS
4/10

Attendees
josh_kwt
tori3ocean
tomooda
ryotarok
View Attendee List
Start Date
2023/04/02(Sun) 13:00 ~ 17:00
Registration Period

2023/03/18(Sat) 00:00 〜
2023/04/02(Sun) 13:00まで

Location

Zoom

オンライン

About Prepayment

About Prepayment Contact Info:

(Only shown to attendees.)

Cancel/Refund Policy:

お申し込み後のキャンセルはできません.セミナーについての説明をよくお読みいただき,十分ご検討の上お申し込みください.

Print receipt data:

発行しない (詳しくはこちら)
参加者への情報
(参加者と発表者のみに公開されます)

Description

セミナーの内容

定理証明支援ツール Isabelle のチュートリアルです.数学や計算機科学の教科書に出てくる証明を確かめたり,プログラムの正しさを証明したりできるようになることを目指します.

第1回は論理がテーマです.推論規則を使って命題を証明できるようになることがゴールです.数理論理学の基礎を理解するために,あえて自動証明機能を使わずに推論規則をひとつひとつ使って証明します.この技術は自動ではできない大きな証明を書くときに必要になります.

率直にいって文書を読んで自力で使えるようになる人は参加する必要はありません.しかし新しいツールの使い方を学ぶのはそれなりに苦労があります.定理証明支援ツールのように複雑なツールではなおさらです.大量の文書を読まなければなりません.うまく動かないときには何が悪いのかわかりません.些細なことで多くの時間を失います.使い方に慣れた人に手ほどきを受けた方が効率よく学ぶことができます.疑問があれば質問できます.自分で調べて解決するのはたいへんです.そう考える人に参加してもらえればいいと思います.

シリーズ構成

  • 第1回 論理
  • 第2回 型と関数の定義・数学的帰納法
  • 第3回 集合・関数・関係
  • 第4回 集合の帰納的定義

第1回プログラム

1. Isabelle の使い方

  • 理論ファイルの構成
  • 構文
  • メソッド
  • 定理

2. 演習

論理学の各演算子について例題を使って定理と使い方の解説を行います.そのあと練習問題をやっていただきます.

3. チャレンジ問題と質疑応答

残りの時間はチャレンジ問題と質疑応答にあてます. 問題を解きたい人は問題をやってください.質問がある人は質問してください. あとで受ける人のために答えを公表することも避けてください.これはお願いです.

講師について

株式会社 PRINCIPIA 代表取締役 初谷 久史

CSP 理論に基づいたモデリング・検査ツール SyncStitch 開発者

国立情報学研究所トップエスイープロジェクト「並行システムの設計検証」講師

セミナー参加の前提条件

前提知識

  • 高校の数学で習う程度の論理の知識

必要なもの

注意事項

  • 配布スライド資料と理論ファイルの公開は禁止です。
  • 不測の事態が生じセミナーを開催または完遂できなかった場合は、日を改めて再開催することで対処させていただきます。
  • 都合により申し込み後に参加できなくなった場合は、同等のセミナーを再演する際にご参加いただけるよう配慮しますのでご連絡ください。

連絡先

ご質問等がありましたら isaac@principia-m.com までお気軽にご連絡ください。

Media View all Media

If you add event media, up to 3 items will be shown here.

Ended

2023/04/02(Sun)

13:00
17:00

Registration Period
2023/03/18(Sat) 00:00 〜
2023/04/02(Sun) 13:00

Location

Zoom

オンライン

Zoom

Organizer

Attendees(4)

josh_kwt

josh_kwt

Isabelle チュートリアル 第1回 論理 に参加を申し込みました!

tori3ocean

tori3ocean

Isabelle チュートリアル 第1回 論理 に参加を申し込みました!

tomooda

tomooda

Isabelle チュートリアル 第1回 論理 に参加を申し込みました!

ryotarok

ryotarok

Isabelle チュートリアル 第1回 論理 に参加を申し込みました!

Attendees (4)