研究者情報

森住　大樹（モリズミ　ヒロキ）　MORIZUMI Hiroki

学部等／職名

総合理工学部　知能情報デザイン学科 助教

論文

1.	「Zero-Suppression and Computation Models」 Hiroki Morizumi Lecture Notes in Computer Science (Proc. of the 29th IWOCA) vol.:10979 全:10頁 263-272頁 その他 2018年 7月
2.	「Lower Bounds for the Size of Nondeterministic Circuits」 Hiroki Morizumi Lecture Notes in Computer Science (Proc. of the 21st COCOON) vol.:9198 全:8頁 289-296頁 その他 2015年
3.	「Sensitivity, Block Sensitivity, and Certificate Complexity of Unate Functions and Read-Once Functions」 Hiroki Morizumi Lecture Notes in Computer Science (Proc. of the 8th IFIP TCS) vol.:8705 全:7頁 104-110頁 その他 2014年
4.	「Complexity of Counting Output Patterns of Logic Circuits」 Kei Uchizawa, Zhenghong Wang, Hiroki Morizumi and Xiao Zhou Conferences in Research and Practice in Information Technology (Proc. of the 19th CATS) vol.:141 全:7頁 37-43頁 その他 2013年
5.	「Computing All MOD-Functions Simultaneously」 Evgeny Demenkov, Alexander Kulikov, Ivan Mihajlin and Hiroki Morizumi Lecture Notes in Computer Science (Proc. of the 7th CSR) vol.:7353 全:8頁 81-88頁 その他 2012年
6.	「Improved Approximation Algorithms for Minimum AND-Circuits Problem via k-Set Cover」 Hiroki Morizumi Information Processing Letters vol.:111 No.:5 全:4頁 218-221頁 学術雑誌 2011年

発表等

1.	「ZDDと論理式に関する一考察」 森住 大樹 情報処理学会アルゴリズム研究会 2018年
2.	「幅限定回路と段数限定論理式に対する単純な#SATアルゴリズム」 森住 大樹 冬のLAシンポジウム 2015年
3.	「On Computing Sensitivity, Block Sensitivity, and Certificate Complexity for Boolean Formulas」 Hiroki Morizumi 情報処理学会アルゴリズム研究会 2014年
4.	「On Zero-Suppressed Binary Decision Diagrams and Complexity Theory」 Hiroki Morizumi 電子情報通信学会コンピュテーション研究会 2014年
5.	「最小AND回路問題の近似アルゴリズム」 津々浦 俊悟，森住　大樹 平成26年度 (第65回) 電気・情報関連学会中国支部連合大会 2014年
6.	「Complexity of Counting Output Patterns of Logic Circuits」 Kei Uchizawa, Zhenghong Wang, Hiroki Morizumi and Xiao Zhou 電子情報通信学会コンピュテーション研究会 2013年
7.	「Sensitivity, Block Sensitivity, and Certificate Complexity of Unate Functions and Read-Once Functions」 Hiroki Morizumi 電子情報通信学会コンピュテーション研究会 2013年
8.	「Limiting Negations in Probabilistic Circuits」 森住　大樹 2011年度 冬のLAシンポジウム 2012年

委員会・学会役員等

1.	電子情報通信学会 コンピュテーション研究専門委員会 専門委員 2017年～ 2019年

学術雑誌の査読

1.	IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
2.	Algorithmica
3.	Information Processing Letters
4.	RANDOM 2015
5.	Theory of Computing
6.	ICALP 2015
7.	Information Processing Letters
8.	International Journal of Foundation of Computer Science
9.	Information Processing Letters publisher:Elsevier
10.	CSR 2012
11.	Theoretical Computer Science publisher:Elsevier

学会・シンポジウム等の主催

1.	情報処理学会 第167回アルゴリズム研究会 座長・司会 2018年
2.	冬のLAシンポジウム 座長・司会 2015年
3.	平成26年度(第65回)電気・情報関連学会中国支部連合大会 座長・司会 2014年
4.	電子情報通信学会コンピュテーション研究会 座長・司会 2013年
5.	平成24年度(第63回)電気・情報関連学会中国支部連合大会 その他 2012年