メニュー
検索
研究課題をさがす
研究者をさがす
KAKENの使い方
日本語
英語
詳細検索
絞り込み条件
絞り込み
研究期間
-
成果物の出版年
-
検索結果: 1件 / 杉山 裕二
すべて選択
ページ内選択
JSONで出力
テキスト(CSV)で出力
表示件数:
20
50
100
200
500
適合度
カナ: 昇順
カナ: 降順
アルファベット: 昇順
アルファベット: 降順
研究課題数: 昇順
研究課題数: 降順
1.
杉山 裕二
SUGIYAMA Yuuji (50116050)
所属 (過去の研究課題情報に基づく)
岡山大学, 工学部, 教授
審査区分/研究分野
情報工学
/
情報工学
/
計算機科学
キーワード
代数的手法
/
段階的詳細化
/
仕様記述
/
ASIC
/
CAD
/
詳細化
/
証明
/
証明支援システム
/
証明書
/
ハ-ドウェア設計
研究課題数
6