WEKO3
アイテム
Stateless Circuit Model toward a Theorem-proving Hardware Description Language
http://hdl.handle.net/2298/37641
http://hdl.handle.net/2298/37641fdc8399c-f3b7-4c09-84ae-a026ba6eebff
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
要約 (117.0 kB)
|
|
|
|
審査要旨 (100.4 kB)
|
|
|
|
論文要旨 (95.8 kB)
|
|
| Item type | 学位論文 / Thesis or Dissertation(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2017-07-20 | |||||
| タイトル | ||||||
| タイトル | Stateless Circuit Model toward a Theorem-proving Hardware Description Language | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ | thesis | |||||
| 著者 |
西村, 俊二
× 西村, 俊二 |
|||||
| 別言語の著者 |
Nishimura, Syunji
× Nishimura, Syunji |
|||||
| 書誌情報 | 発行年 2017-03-25 | |||||
| フォーマット | ||||||
| 内容記述 | application/pdf, application/pdf, application/pdf | |||||
| 形態 | ||||||
| 95817 bytes, 100436 bytes, 116960 bytes | ||||||
| 日本十進分類法 | ||||||
| 主題 | 377.5 | |||||
| その他の言語のタイトル | ||||||
| その他のタイトル | 定理証明ハードウェア記述言語のためのステートレス回路モデル | |||||
| タイトル（ヨミ） | ||||||
| その他のタイトル | テイリ ショウメイ ハードウェア キジュツ ゲンゴ ノ タメ ノ ステートレス カイロ モデル | |||||
| 出版者 | ||||||
| 出版者 | 熊本大学 | |||||
| 資源タイプ | ||||||
| 内容記述 | 学位論文(Thesis) | |||||
| 資源タイプ・ローカル | ||||||
| 博士論文 | ||||||
| 資源タイプ・NII | ||||||
| Thesis or Dissertation | ||||||
| 資源タイプ・DCMI | ||||||
| text | ||||||
| 資源タイプ・ローカル表示コード | ||||||
| 03 | ||||||
| 学位名 | ||||||
| 学位名 | 博士（工学） | |||||
| 学位授与機関 | ||||||
| 学位授与機関名 | 熊本大学 | |||||
| 学位授与年月日 | ||||||
| 学位授与年月日 | 2017-03-25 | |||||
| 学位授与番号 | ||||||
| 学位授与番号 | 17401甲工学第662号 | |||||
| コメント | ||||||
| 自然科学研究科 情報電気電子工学専攻 | ||||||
| コメント | ||||||
| 本論文に関連する発表論文・研究報告･･･International Journal of Innovative Computing, Information and Control, Vol.12, No.3, pp.761-778, 2016. | ||||||
| 学位番号 | ||||||
| 甲博工第662号 | ||||||
