connpass - The IT meetup platform for building connections

Login/Sign Up

Proof Summit

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

Finished Events View all events (5)

Proof Summit 2019

Ended 2019/09/29(Sun) 11:00〜

Proof Summit 2019

tmiya_ tmiya_

東京都中央区銀座 4-12-15 歌舞伎座タワー21階

66/69

Proof Summit 2018

Ended 2018/09/02(Sun) 11:00〜

Proof Summit 2018

tmiya_ tmiya_

東京都中央区銀座5-15-1(南海東京ビル)

80/100

Proof Summit 2017

Ended 2017/07/23(Sun) 11:00〜

Proof Summit 2017

tmiya_ tmiya_

東京都中央区銀座5-15-1(南海東京ビル)

64/108

Proof Summit 2016

Ended 2016/09/25(Sun) 11:00〜

Proof Summit 2016

tmiya_ tmiya_

35.027611, 135.783778

39/60

Proof Summit 2015

Ended 2015/09/12(Sat) 13:00〜

Proof Summit 2015

tmiya_ tmiya_

東京都中央区銀座 4-12-15 歌舞伎座タワー21階

56/72

Members (268)

Organizer

  • tmiya_
  • yoshihiro503

Other Members

  • tnagao7
  • hiterm
  • hyama
  • t46
  • mokamoto12
  • mnr_u
  • yak_ex
  • tzik
  • ぴくすふぁんく
  • coord_e
  • hiro_nishiyama
  • nekonibox
  • yaza_ta
  • takumi-kato
  • kajiwara
  • saito
  • saitouena
  • YutakaNg
  • Yuji Nomura
  • totomaru

Media(16)

  • proof irrelevance.v · GitHub

    Proof Summit 2019
  • ProofSummit 2019まとめ

    Proof Summit 2019
  • AI for Isabelle/HOL

    Proof Summit 2019
  • Mathcompで文字列を使う

    Proof Summit 2019
  • 300行で作るproof assistant

    Proof Summit 2019
  • Idrisの話とIdris2のウワサ

    Proof Summit 2019
  • 依存型の話

    Proof Summit 2018
  • ニコニコをCoqで証明してみた

    Proof Summit 2018
  • 定理証明 + 機械学習 = ?

    Proof Summit 2017
  • 無条件に仮定にFalseを追加して、どんなサブゴールも消せるtactic作ったよ

    Proof Summit 2017
Proof Summit
Help Terms of Use Legal Privacy Policy Contact connpass
powered by connpass