WEKO3
アイテム
検証系を用いたアルゴリズムの発見
https://ipsj.ixsq.nii.ac.jp/records/239692
https://ipsj.ixsq.nii.ac.jp/records/2396921315e601-0ce6-4c8c-9e08-64ae064ed0f8
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
WPRO2000002.pdf (13.0 MB)
|
|
|
| オープンアクセス | ||
| Item type | Symposium(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2000-01-11 | |||||||
| タイトル | ||||||||
| タイトル | 検証系を用いたアルゴリズムの発見 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Discovering Algorithms by Verifiers | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||
| 資源タイプ | conference paper | |||||||
| 著者所属 | ||||||||
| 東京大学・大学院理学系研究科 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Graduate School of Science, University of Tokyo | ||||||||
| 著者名 |
萩谷, 昌己
× 萩谷, 昌己
|
|||||||
| 著者名(英) |
Hagiya, Masami
× Hagiya, Masami
|
|||||||
| 書誌情報 |
第41回プログラミング・シンポジウム報告集 巻 2000, p. 9-19, 発行日 2000-01-11 |
|||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
