検索結果

Search results

Search results are displayed in the origlnal language of each paper.

1 items found.

  1. 小笠原,秀美 (オガサワラ,ヒデミ)
    2. https://www.lib.hokudai.ac.jp/dissertations/list/?FF=4&LANG=en&ACCN=2012030164
    Title in Japanese特殊化生成の分散処理に基づく正当な並列プログラム構築のための枠組
    Title in EnglishA Framework for Construction of Correct Parallel Programs based on Distributed Specialization Generation
    Year of conferral of degrees2011
    Type of degree / Kind of academic degree1（課程博士） / 094（博士(情報科学)）
    Report number10414
    Date of conferral of degrees2012-03-22
    The primary examiner / A deputy examiner赤間,清 / 栗原,正仁 水田,正弘 棟朝,雅晴
    Location
    Call number
    Comment
    Summary10414_ogasawara.pdf