博士論文の提案コンピュータサイエンスの