PRINCIPIA
ProductsSeminarAbout Us

セミナー

現在予定されているセミナーにつきましては CONNPASS のページ をご覧ください.

セミナー開催のリクエストは isaac@principia-m.com までご連絡ください.

並行システム・プロセス代数 CSP・SyncStitch

定理証明・Isabelle

プログラミング言語

その他・一般