国内研究会
- 森住 大樹
幅限定回路と段数限定論理式に対する単純な#SATアルゴリズム
2014年度 冬のLAシンポジウム(京都大学, 2015年1月)
- Hiroki Morizumi
On Zero-Suppressed Binary Decision Diagrams and Complexity Theory
電子情報通信学会コンピュテーション研究会(崇城大学, 2014年12月)
信学技報 Vol. 114 No. 352, pp. 17-19 (COMP2014-34)
- Hiroki Morizumi
On Computing Sensitivity, Block Sensitivity, and Certificate Complexity for Boolean Formulas
情報処理学会アルゴリズム研究会(中央大学, 2014年3月)
情報処理学会研究報告 Vol. 2014-AL-147 No. 10, p. 1
- Hiroki Morizumi
Sensitivity, Block Sensitivity, and Certificate Complexity of Unate Functions and Read-Once Functions
電子情報通信学会コンピュテーション研究会(沖縄産業支援センター, 2013年12月)
信学技報 Vol. 113 No. 371, pp. 53-55 (COMP2013-46)
- Kei Uchizawa, Zhenghong Wang, Hiroki Morizumi and Xiao Zhou
Complexity of Counting Output Patterns of Logic Circuits
電子情報通信学会コンピュテーション研究会(小樽商科大学, 2013年5月)
信学技報 Vol. 113 No. 50, pp. 97-102 (COMP2013-14)
- 森住 大樹
Limiting Negations in Probabilistic Circuits
2011年度 冬のLAシンポジウム(京都大学, 2012年1月)
京都大学数理解析研究所講究録 No. 1799, pp. 81-83
- 森住 大樹,垂井 淳,岩間 一雄
Negation-Limited Complexity of Parity and Inverters
2006年度 冬のLAシンポジウム(京都大学, 2007年1月)
京都大学数理解析研究所講究録 No. 1554, pp. 131-138
- Hiroki Morizumi and Jun Tarui
Linear-Size Log-Depth Negation-Limited Inverter for k-tonic 0/1 Sequences
電子情報通信学会コンピュテーション研究会(名古屋大学, 2006年12月)
信学技報 Vol. 106 No. 405, pp. 57-60 (COMP2006-49)
- Kazuo Iwama and Hiroki Morizumi
Reductions for Monotone Boolean Circuits
電子情報通信学会コンピュテーション研究会(埼玉大学, 2006年6月)
信学技報 Vol. 106 No. 128, pp. 15-19 (COMP2006-19)
- 森住 大樹, 岩間 一雄
否定数をlog(n+1)に限定した回路計算量の下界について
2005年度 夏のLAシンポジウム(福岡県宗像市, 2005年7月)
予稿 pp. 30.1-30.4
- 岩間 一雄, 森住 大樹
回路計算量の5nの下限
電子情報通信学会コンピュテーション研究会(京都大学, 2002年4月)
信学技報 Vol. 102 No. 31, pp. 1-8 (COMP2002-1)
----
- 津々浦 俊悟, 森住 大樹
最小AND回路問題の近似アルゴリズム
平成26年度 (第65回) 電気・情報関連学会中国支部連合大会(福山大学, 2014年10月)
pp. 209-210
----
- 森住 大樹, 小宮 常康, 八杉 昌宏, 湯淺 太一
実時間処理に適したメモリ管理を行うLisp処理系の設計と実装
情報処理学会プログラミング研究会(東京工業大学, 2004年3月)
その他、口頭発表など
- 論理式における否定数の限定
日本オペレーションズ・リサーチ学会研究部会
「画期における最適化」 (NEO; New Epoch of Optimization)
(京都大学,2009年6月)
- Negation-Limited Complexity of Parity and Inverters
KIDS 第30回(京都大学,2007年1月)
- 否定数をlog(n+1)に限定した回路計算量の下界について
特定領域研究「新世代の計算限界」ミニ研究集会(Complexity)(東京工業大学, 2005年10月)
戻る