suharahiromichi
(suharahiromichi)

利用開始日: 2012/10/28

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

2018

11/17

(土)

14:30〜

主催

申込済

第81回 ProofCafe 終了

ProofCafe

第81回 ProofCafe

yoshihiro503 yoshihiro503

名古屋市千種区不老町

3

2018

10/20

(土)

14:30〜

主催

申込済

第80回 ProofCafe 終了

ProofCafe

第80回 ProofCafe

yoshihiro503 yoshihiro503

名古屋市千種区不老町

4

2018

09/15

(土)

14:30〜

主催

申込済

第79回 ProofCafe 終了

ProofCafe

第79回 ProofCafe

yoshihiro503 yoshihiro503

名古屋市千種区不老町

3

2018

09/02

(日)

11:00〜

申込済

Proof Summit 2018 終了

Proof Summit

Proof Summit 2018

tmiya_ tmiya_

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

80/100

2018

08/18

(土)

14:30〜

主催

申込済

第78回 ProofCafe 終了

ProofCafe

第78回 ProofCafe

yoshihiro503 yoshihiro503

名古屋市千種区不老町

5

2018

07/21

(土)

14:30〜

主催

申込済

第77回 ProofCafe 終了

ProofCafe

第77回 ProofCafe

yoshihiro503 yoshihiro503

名古屋市千種区不老町

4

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