takuhiro matsuyama
(takumat_)

Usage start date: 10/28/2014

制御ソフト屋ですが、制御理論とかに一切触れることなく来てしまいました。
算数と理科がダメすぎて泣きそうな今日この頃です。

主な経験:C/C++
少し経験:C#, VB.net, OMRON-PLC
最近の興味:Python, 統計

2020

10/20

(Tue)

13:00〜

Attending

2020

04/11

(Sat)

12:10〜

Attending

プログラムの正しさを数学的に証明する形式検証への招待 中止

PRINCIPIA

プログラムの正しさを数学的に証明する形式検証への招待

hatsugai hatsugai

東京都千代田区神田神保町2-13-1 西遊ビル4F

9/9

2020

03/29

(Sun)

15:00〜

Attending

形式手法の紹介 Ended

PRINCIPIA

形式手法の紹介

hatsugai hatsugai

オンライン

31/35

2020

03/28

(Sat)

12:10〜

Attending

並行システムの設計検証入門セミナー 中止

PRINCIPIA

並行システムの設計検証入門セミナー

hatsugai hatsugai

東京都千代田区神田神保町2-13-1 西遊ビル4F

6/6

2020

02/29

(Sat)

12:15〜

Attending

トレース比較器を作って学ぶマルチスレッドプログラミング Ended

PRINCIPIA

トレース比較器を作って学ぶマルチスレッドプログラミング

hatsugai hatsugai

東京都千代田区神田神保町2-13-1 西遊ビル4F

12/16

2020

02/17

(Mon)

19:30〜

Attending

QAエンジニアのためのOSSコントリビュートハンズオン Ended

QAエンジニアのためのOSSコントリビュートハンズオン

tsuemura tsuemura

東京都千代田区神田三崎町3丁目1−16 神保町北東急ビル 9F

8/10

2020

01/18

(Sat)

2019

09/29

(Sun)

14:00〜

Cancel

2017

10/28

(Sat)

13:00〜

Cancel

ちっちゃく数学勉強会 Ended

数学がんばろっ

ちっちゃく数学勉強会

acha acha

神奈川県川崎市幸区堀川町66番地20

7/15