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

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

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

Apr

29

Agda入門会 in ie #1

自然数を定義して遊び倒す会

Registration info

参加枠1

Free

FCFS
6/10

Description

Agda入門会 in ie

Agda の入門会です.
今回は,自然数を定義するところから始まり,加法,減法,乗法などを定義します.
その後,可換則(交換律)などが成り立つことを証明していきます.

事前準備

Agda を実行できるようにして下さい. Emacs の agda-mode を使うと幸せになれます.

brew が入っている場合,以下の手順で準備終わると思います(emacs も新しい物が入っている方が良いです).

brew install agda --HEAD

インストール完了時に表示される以下のコマンドを実行します.

mkdir -p ~/.agda
echo /usr/local/lib/agda/standard-library.agda-lib >>~/.agda/libraries
echo standard-library >>~/.agda/defaults

その後

agda-mode setup

とかすれば環境できると思います.

※ 環境が作れなくても当日フォローします

場所はおさえ次第更新します

Presenter

Feed

zeronosu77108

zeronosu77108さんが資料をアップしました。

04/29/2019 19:06

zeronosu77108

zeronosu77108 published Agda入門会 in ie #1.

04/13/2019 13:13

Agda入門会 in ie #1 を公開しました!

zeronosu77108

zeronosu77108 published Agda入門会 in ie #1.

04/13/2019 13:12

Agda入門会 in ie #1 を公開しました!

Group

ie-functional

Number of events 7

Members 18

Ended

2019/04/29(Mon)

13:00
18:00

You cannot RSVP if you are already participating in another event at the same date.

Registration Period
2019/04/13(Sat) 13:13 〜
2019/04/25(Thu) 18:00

Location

琉球大学工学部

沖縄県中頭郡西原町千原(工学部)

Attendees(6)

zeronosu77108

zeronosu77108

Agda入門会 in ie #1 に参加を申し込みました!

りゃま

りゃま

Agda入門会 in ie #1に参加を申し込みました!

わっしょい

わっしょい

Agda入門会 in ie #1に参加を申し込みました!

ponyonyon

ponyonyon

Agda入門会 in ie #1に参加を申し込みました!

kanekou

kanekou

I joined Agda入門会 in ie #1!

たーりょう

たーりょう

Agda入門会 in ie #1 に参加を申し込みました!

Attendees (6)

Canceled (2)