Personal Information
Organization / Workplace
Yokohama-shi, Kanagawa, Japan
Occupation
富士ゼロックス
About
人工知能学会
ソフトウェア科学会
情報処理学会
ビジネスモデル学会
IIBA
会員
- Presentations
- Documents
- Infographics
証明プログラミング入門2
Kyoko Kadowaki
•
9 years ago
証明プログラミング超入門
Kyoko Kadowaki
•
9 years ago
定理証明支援系Coqについて
Yoshihiro Mizoguchi
•
8 years ago
Coqチュートリアル
Yoshihiro Mizoguchi
•
9 years ago
テスト観点に基づくテスト開発方法論VSTePの概要
Yasuharu Nishi
•
10 years ago