検索結果

検索結果

文字コードの制約があるため、実際と異なる漢字あるいはヨミによる表示があります。ご了承ください。

1 件見つかりました。

  1. 小池,英勝 (コイケ,ヒデカツ)
    2. https://www.lib.hokudai.ac.jp/dissertations/list/?FF=4&LANG=ja&ACCN=0000258904
    論文名等価変換計算モデルに基づく抽象機械とプログラム生成システムの設計と実装
    論文名(欧文)Design and Implementation of an Abstract Machine and a Program Synthesis System Based on the Equivalent Transformation Computation Model
    学位授与年度2002
    学位種別／学位種類1（課程博士） / 036（博士(工学)）
    報告番号6354
    学位授与年月日2003-03-25
    主査／副査赤間,清 / 嘉数,侑昇　大内,東　和田,充雄　大森,隆司
    所在
    配架番号
    備考
    内容の要旨と審査の要旨6354_koike.pdf