WEKO3
アイテム
Efficient and Expressive Logic Program Synthesis with Inductive Inference(帰納推論による効率的で高表現力の論理プログラム合成手法に関する研究)
https://ir.soken.ac.jp/records/2000399
https://ir.soken.ac.jp/records/2000399ada28f21-64fc-415f-ab6a-9cef2543ee69
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
要旨・審査要旨 / Abstract, Screening Result (432 KB)
|
.png)
|
|
|
本文 / Thesis (1.4 MB)
|
|
| Item type | 学位論文 / Thesis or Dissertation(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2025-10-24 | |||||||
| タイトル | ||||||||
| タイトル | Efficient and Expressive Logic Program Synthesis with Inductive Inference(帰納推論による効率的で高表現力の論理プログラム合成手法に関する研究) | |||||||
| 言語 | ja | |||||||
| タイトル | ||||||||
| タイトル | Efficient and Expressive Logic Program Synthesis with Inductive Inference | |||||||
| 言語 | en | |||||||
| 言語 | ||||||||
| 言語 | eng | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_db06 | |||||||
| 資源タイプ | doctoral thesis | |||||||
| アクセス権 | ||||||||
| アクセス権 | open access | |||||||
| アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||||
| 著者名 |
Taosheng, Qiu
× Taosheng, Qiu
|
|||||||
| フリガナ |
キュウ, トウセイ
× キュウ, トウセイ
|
|||||||
| 著者 |
Taosheng, Qiu
× Taosheng, Qiu
|
|||||||
| 学位授与機関 | ||||||||
| 学位授与機関識別子Scheme | kakenhi | |||||||
| 学位授与機関識別子 | 12702 | |||||||
| 言語 | ja | |||||||
| 学位授与機関名 | 総合研究大学院大学 | |||||||
| 学位名 | ||||||||
| 言語 | ja | |||||||
| 学位名 | 博士（情報学） | |||||||
| 学位記番号 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 総研大甲第2616号 | |||||||
| 言語 | ja | |||||||
| 研究科 | ||||||||
| 言語 | ja | |||||||
| 値 | 複合科学研究科 | |||||||
| 専攻 | ||||||||
| 言語 | ja | |||||||
| 値 | 17 情報学専攻 | |||||||
| 学位授与年月日 | ||||||||
| 学位授与年月日 | 2025-09-26 | |||||||
| 学位授与年度 | ||||||||
| 言語 | ja | |||||||
| 値 | 2025 | |||||||
| 学位授与番号 | ||||||||
| 学位授与番号 | 甲第2616号 | |||||||
| 所蔵 | ||||||||
| 値 | 無 | |||||||
| フォーマット | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | application/pdf | |||||||
| 著者版フラグ | ||||||||
| 出版タイプ | VoR | |||||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||||
