2026-09-23T07:40:03Zhttps://repository.kulib.kyoto-u.ac.jp/server/oai/request

oai:repository.kulib.kyoto-u.ac.jp:2433/746482018-08-03T09:17:36Zcom_2433_48884col_2433_8949

矢島, 脩三 津田, 孝夫 上林, 彌彦 Ochi, Hiroyuki 越智, 裕之 オチ, ヒロユキ 2009-05-08T02:39:15Z 2009-05-08T02:39:15Z 1993-12 1994-03-23 1994-03-23 http://hdl.handle.net/2433/74648 000000271122 10.11501/3075883 14301 application/pdf eng Kyoto University 京都大学 500 Algorithms and Data Structures for Manipulating Boolean Functions 論理関数処理のためのアルゴリズムとデータ構造 doctoral thesis Thesis or Dissertation author 京都大学 0048 新制・課程博士 博士(工学) 甲第5717号 工博第1363号 新制||工||948(附属図書館) UT51-94-J149 京都大学大学院工学研究科情報工学専攻 (主査)教授 矢島 脩三, 教授 津田 孝夫, 教授 上林 彌彦 学位規則第4条第1項該当 Doctor of Engineering Kyoto University DFAM D_Ochi_Hiroyuki.pdf ykogk01363.pdf fulltext abstract application/pdf application/pdf open access Supervisor Supervisor Supervisor 矢島, 脩三 津田, 孝夫 上林, 彌彦open.access