梅崎直也さんのプロフィール（申し込みイベント一覧） - connpass

梅崎直也

(unaoya)

Facebookと連携していません

GitHubを見る

利用開始日: 2016/05/01

https://umezakinaoya.com/

所属グループ

広告

2025

/

06/28

（土）18:00〜

申込済

終了

Proof Summit 2025 懇親会

東京都千代田区神田神保町１ー８ー１０FUNDES神保町

15人

2025

/

06/28

（土）09:00〜

申込済

終了

Proof Summit 2025

東京都千代田区一ツ橋2-1-2

26/30人

2024

/

07/18

（木）19:30〜

申込済

終了

定理証明器を作って学ぶ論理学第3回単一化（全3回）

オンライン

6/10人

2024

/

07/11

（木）19:30〜

申込済

終了

定理証明器を作って学ぶ論理学第2回 1階述語論理（全3回）

オンライン

6/10人

2024

/

07/04

（木）19:30〜

申込済

終了

定理証明器を作って学ぶ論理学第1回命題論理（全3回）

オンライン

9/10人

2019

/

04/28

（日）13:00〜

申込済

終了

数学カフェ

【第26回数学カフェ】Gromov-Witten不変量

オンライン

65/60人

2018

/

11/23

（金）13:00〜

申込済

終了

Egison Workshop 2018

Satoshi Egi 他

東京都文京区本郷7-3-1

23/45人

2018

/

09/16

（日）13:00〜

申込済

終了

インターネットの闇他

東京都中央区銀座5-15-1 南海東京ビルディング3F

80/100人

2018

/

09/02

（日）11:00〜

申込済

終了

Proof Summit 2018

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

80/100人

2018

/

04/14

（土）13:00〜

キャンセル

終了

松森さん歓迎＆数理学院立ち上げ記念セミナー

東京都文京区本郷5丁目24-5

50/48人

広告

梅崎直也さんのフォロー 0

フォローはいません。

梅崎直也さんのフォロワー 9

広告

広告

広告