suharahiromichi
(suharahiromichi)

利用開始日: 2012/10/28

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

2017

08/19

(土)

14:30〜

主催

申込済

第67回 ProofCafe 終了

ProofCafe

第67回 ProofCafe

yoshihiro503 yoshihiro503

名古屋市千種区不老町

4

2017

07/23

(日)

11:00〜

申込済

Proof Summit 2017 終了

Proof Summit

Proof Summit 2017

tmiya_ tmiya_

東京都中央区築地1-13-1(銀座松竹スクエア13F)

64/108

2017

06/19

(月)

19:00〜

申込済

名古屋PFDS読書会 終了

SML名古屋

名古屋PFDS読書会

keita44_f4 keita44_f4

名古屋市中村区名駅2丁目35番22号メビウス名古屋ビル2階

15/20

2017

06/17

(土)

14:30〜

主催

申込済

第66回 ProofCafe 終了

ProofCafe

第66回 ProofCafe

yoshihiro503 yoshihiro503

名古屋市千種区不老町

3

2017

05/20

(土)

14:30〜

主催

申込済

第65回 ProofCafe 終了

ProofCafe

第65回 ProofCafe

yoshihiro503 yoshihiro503

名古屋市千種区不老町

5

2017

04/15

(土)

13:30〜

主催

申込済

第64回 ProofCafe 終了

ProofCafe

第64回 ProofCafe

yoshihiro503 yoshihiro503

名古屋市千種区不老町

6

2017

03/18

(土)

18:00〜

申込済

よしひろさん壮行会 終了

よしひろさん壮行会

keigoi keigoi

名古屋市千種区東山通1-33

23/25

2017

03/18

(土)

14:30〜

主催

申込済

第63回 ProofCafe 終了

ProofCafe

第63回 ProofCafe

yoshihiro503 yoshihiro503

名古屋市千種区不老町

12

2017

02/18

(土)

14:30〜

申込済

第62回 ProofCafe 終了

ProofCafe

第62回 ProofCafe

yoshihiro503 yoshihiro503

名古屋市千種区不老町

5

2017

01/28

(土)

14:30〜

申込済

第61回 ProofCafe 終了

ProofCafe

第61回 ProofCafe

yoshihiro503 yoshihiro503

名古屋大学

6