Personal Information
Entreprise/Lieu de travail
Yokohama-shi, Kanagawa, Japan
Profession
富士ゼロックス
À propos
人工知能学会
ソフトウェア科学会
情報処理学会
ビジネスモデル学会
IIBA
会員
- Présentations
- Documents
- Infographies
証明プログラミング入門2
Kyoko Kadowaki
•
il y a 9 ans
証明プログラミング超入門
Kyoko Kadowaki
•
il y a 9 ans
定理証明支援系Coqについて
Yoshihiro Mizoguchi
•
il y a 8 ans
Coqチュートリアル
Yoshihiro Mizoguchi
•
il y a 9 ans
テスト観点に基づくテスト開発方法論VSTePの概要
Yasuharu Nishi
•
il y a 10 ans