新機能 イベントメッセージの予約機能を追加しました。イベント主催者様は、参加者へのメッセージ送信を事前に予約できます。詳しくはこちらをご確認ください。

新機能 イベント詳細画面に「参加者への情報」欄を追加しました。イベント管理者、発表者、参加者(抽選中や補欠は除く)だけに表示されるフィールドです。詳しくはこちら

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

Jul

27

証明ドリル (2) プログラムの証明練習 in Isabelle

Organizing : 株式会社 PRINCIPIA

Hashtag :#Isabelle
Registration info

一般

1000 (Pre-pay)

FCFS
0/10

About Prepayment

About Prepayment Contact Info:

(Only shown to attendees.)

Cancel/Refund Policy:

お申込み後のキャンセルはできません.セミナーについての説明をよくお読みいただき,十分ご検討の上お申し込みください.CONNPASS上でキャンセルしても,セミナー当日に不参加であったとしても参加費用は返却されません.

Print receipt data:

発行しない (詳しくはこちら)

Description

証明ドリル (2) プログラムの証明練習 in Isabelle

数を数えるプログラムをもう1つ紹介します.

答えの解説を聞きたい人はイベントに申し込んでください.

問題

配列 v には 0 または 1 が入っているとします.

card {(i, j). i < j ∧ j < length v ∧ v ! i < v ! j} を求める命令型のプログラムを書いて正当性を証明してください.

出典: A Method of Programming, E. W. Dikstra, 1988

Media View all Media

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

Ended

2020/07/27(Mon)

20:30
22:00

Registration Period
2020/07/22(Wed) 00:00 〜
2020/07/27(Mon) 18:00

Location

Zoom

オンライン

Zoom

Organizer

Attendees(0)

No attendees yet.

Attendees (0)