新機能 イベント予約公開機能を追加しました！詳しくはこちらをご覧ください

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

May

15

 Agda入門会 in ie #3

自然数を定義して遊び倒す会 #3
Registration info

参加枠1

Free

FCFS
6/10

Description

Agda入門会 in ie

テキトーに自然数の性質を証明していきます

事前準備

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

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

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

場所は当日ノリで決めます

Media View all Media

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

Feed

zeronosu77108

zeronosu77108 published Agda入門会 in ie #3.

05/11/2019 18:24

Agda入門会 in ie #3 を公開しました！

Group

ie-functional

Number of events 7

Members 18

Ended

2019/05/15(Wed)

13:00 〜 16:00
Google Calendar iCal

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

Registration Period
2019/05/11(Sat) 18:24 〜
2019/05/15(Wed) 16:00

Event Organizer Contact

Location

琉球大学工学部

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

Organizer

Attendees（6）

りゃま

りゃま

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

たーりょう

たーりょう

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

かねこう

かねこう

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

zeronosu77108

zeronosu77108

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

わっしょい

わっしょい

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

りょっか

りょっか

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

Attendees (6)