#静的コード解析の会第6回 - Attendee List - connpass

#静的コード解析の会第6回

Attendee List

Event Participants

Organizer4 people
masterq 寄付はこちらから https://www.patreon.com/metasepi
eldesh アレゲを目指すC++, ML, VeriFastプログラマ
久保秋真アマゴイマイスター、くみこまー、技術研修の開発、講師など。日本雨女雨男協会会員（IT本部長）。...
hatsugai 並行システムのモデル化・検査ツール SyncStitch を開発しています．プロセス代数 CS...

Event Attendees

Attendee List

ホモ・サピエンス Attendees 12 people
ホモ・サピエンス Attendees masterq 寄付はこちらから https://www.patreon.com/metasepi #静的コード解析の会第6回に参加を申し込みました！
ホモ・サピエンス Attendees nanbuwks Nanbu works Inc. / OpenForce / Yoshimasa Kawano #静的コード解析の会第6回に参加を申し込みました！
ホモ・サピエンス Attendees t_niimura #静的コード解析の会第6回に参加を申し込みました！
ホモ・サピエンス Attendees tos #静的コード解析の会第6回に参加を申し込みました！
ホモ・サピエンス Attendees 久保秋真アマゴイマイスター、くみこまー、技術研修の開発、講師など。日本雨女雨男協会会員（IT本部長）。... #静的コード解析の会第6回に参加を申し込みました！
ホモ・サピエンス Attendees eldesh アレゲを目指すC++, ML, VeriFastプログラマ I joined #静的コード解析の会第6回!
ホモ・サピエンス Attendees shi-ma ブロックチェーンと機械学習に興味があるPythonエンジニアです。 #静的コード解析の会第6回に参加を申し込みました！
ホモ・サピエンス Attendees ftake An openSUSE developer #静的コード解析の会第6回に参加を申し込みました！
ホモ・サピエンス Attendees khibino 仕事でも趣味でも主に Haskell でプログラムを書いています。関数プログラミング、定理証明... #静的コード解析の会第6回に参加を申し込みました！
ホモ・サピエンス Attendees hatsugai 並行システムのモデル化・検査ツール SyncStitch を開発しています．プロセス代数 CS... #静的コード解析の会第6回に参加を申し込みました！
ホモ・サピエンス Attendees tanaka_akr #静的コード解析の会第6回に参加を申し込みました！
ホモ・サピエンス Attendees oganao #静的コード解析の会第6回に参加を申し込みました！

Canceled Attendees

ホモ・サピエンス Cancel 5 people
ホモ・サピエンス Cancel tomo0976
ホモ・サピエンス Cancel (退会ユーザー) 業務が入ってしまったのでキャンセル致します。
ホモ・サピエンス Cancel Naotoshi Tominaga 数値計算やってます。 https://nicktominaga.github.io/ 申し訳ございませんが、業務が入ってしまったのでキャンセルします。
ホモ・サピエンス Cancel KSaka
ホモ・サピエンス Cancel AraiKouki

Group Information

組み込み/関数型プログラミング/コード検証などの話題を扱うコミュニティです

Members	160 people
Number of events	19

Past Event

Connecting with Other Attendees

設定ページからX(Twitter)やFacebookと連携してみましょう！

You can get notifications about events that your friends attend or organize via email or the highlight page.

Learn More (Japanese)