suharahiromichi
(suharahiromichi)

利用開始日: 2012/10/28

プログラマです。ここにはPrologとCoq、Mathematicaの類を主に書きます。最近はGEBを何回目かに読み直しています。
古い計算機のことも好きです。

2018

09/02

(日)

11:00〜

申込済

Proof Summit 2018 開催前

Proof Summit

Proof Summit 2018

tmiya_ tmiya_

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

54/100

2018

06/16

(土)

14:30〜

主催

申込済

第76回 ProofCafe 終了

ProofCafe

第76回 ProofCafe

yoshihiro503 yoshihiro503

名古屋市千種区不老町

4

2018

04/21

(土)

14:30〜

主催

申込済

第75回 ProofCafe 終了

ProofCafe

第75回 ProofCafe

yoshihiro503 yoshihiro503

名古屋市千種区不老町

7

2018

03/17

(土)

14:30〜

主催

申込済

第74回 ProofCafe 終了

ProofCafe

第74回 ProofCafe

yoshihiro503 yoshihiro503

名古屋市千種区不老町

5

2018

02/17

(土)

14:30〜

主催

申込済

第73回 ProofCafe 終了

ProofCafe

第73回 ProofCafe

yoshihiro503 yoshihiro503

名古屋市千種区不老町

7

2018

01/20

(土)

14:30〜

主催

申込済

第72回 ProofCafe 終了

ProofCafe

第72回 ProofCafe

yoshihiro503 yoshihiro503

名古屋市千種区不老町

6

2017

12/30

(土)

14:30〜

主催

申込済

第71回 ProofCafe 終了

ProofCafe

第71回 ProofCafe

yoshihiro503 yoshihiro503

名古屋市千種区不老町

5

2017

11/25

(土)

14:30〜

主催

申込済

第70回 ProofCafe 終了

ProofCafe

第70回 ProofCafe

yoshihiro503 yoshihiro503

名古屋市千種区不老町

4

2017

10/21

(土)

14:30〜

主催

申込済

第69回 ProofCafe 終了

ProofCafe

第69回 ProofCafe

yoshihiro503 yoshihiro503

名古屋市千種区不老町

4

2017

09/16

(土)

14:30〜

主催

申込済

第68回 ProofCafe 終了

ProofCafe

第68回 ProofCafe

yoshihiro503 yoshihiro503

名古屋市千種区不老町

4