Kazuyuki Amano: Papers

Publications (Kazuyuki Amano) (in (almost) Reverse Chronological Order)
2020 or newer

Kazuyuki Amano,
Depth-Three Circuits for Inner Product and Majority Functions,
Proc. of ISAAC 2023 (Kyoto), LIPIcs Vol.283, pp. 7:1-7:16 (Dec. 2023),
DOI:10.4230/LIPIcs.ISAAC.2023.7
Kazuyuki Amano,
Lower Bounds on the PTF Weight of ODD-MAXBIT Function, [draft (Oct. 2022)]
IEICE Trans. Fund., Vol. E106-A, No. 9 (Sep. 2023) DOI:10.1587/transfun.2022DML0003
Kazuyuki Amano,
Integer Complexity and Mixed Binary-Ternary Representation,
Proc. of ISAAC 2022 (Seoul, Korea + Virtual), LIPIcs Vol.248, pp. 29:1-29:16 (Dec. 2022),
DOI:10.4230/LIPIcs.ISAAC.2022.29
Kento Kimura, Kazuyuki Amano and Shin-ichi Nakano,
Escape from the Room,
COCOON 2022 (Shenzhen, China + Virtual, Oct. 2022),
LNCS Vol. 13595, pp. 232-241 (Jan. 2023) DOI:10.1007/978-3-031-22105-7_21
Kento Kimura, Atsuki Takahashi, Tetsuya Araki and Kazuyuki Amano,
Maximum Number of Steps of Topswops on 18 and 19 Cards,
arXiv:2103.08346 (Mar. 2021)
Kento Kimura, Kazuyuki Amano and Tetsuya Araki,
On the Minimum Number of Pieces for Two-Dimensional Anti-Slide Using T-Tetrominoes,
IEICE Trans. Inf. & Syst., Vol. E104-D, No. 3, pp. 355-361 (Mar. 2021)
DOI:10.1587/transinf.2020FCP0007
Riona Tadaki and Kazuyuki Amano,
"Search for Developments of a Box having Multiple Ways of Folding by SAT Solver",
arXiv:2005.02645 (May, 2020)
[Animation of folding of 1x2x8 box (36sec, ~16MB) powered by Origami Simulator]
Kazuyuki Amano,
"On the Size of Depth-two Threshold Circuits for the Inner Product Mod 2 Function",
Proc. of LATA 2020, LNCS Vol. 12038, pp. 235-247 (Mar., 2020) DOI:10.1007/978-3-030-40608-0_16
[Draft(pdf)] [Presentation]
Kazuyuki Amano and Shin-ichi Nakano,
"An Approximation Algorithm for the 2-dispersion Problem",
IEICE Trans. Inf. & Syst. (Special issue on Foundations of Computer Science), Vol. E103-D, No. 3, pp. 506--508 (Mar. 2020)
DOI: 10.1587/transinf.2019FCP0005

2010 to 2019

Kazuyuki Amano and Shoma Tate
"On XOR Lemmas for the Weight of Polynomial Threshold Functions",
Information and Computation, Vol. 269, No. 104439 (Dec. 2019) DOI:10.1016/j.ic.2019.104439
(Preliminary conference version in : Proc. of LATA 2016, LNCS 9618, pp. 259-269 (Mar. 2016)
as "On XOR Lemma for Polynomial Threshold Weight and Length" by K. Amano DOI:10.1007/978-3-319-30000-9_20)
Kazuyuki Amano and Yoshinobu Haruyama,
"On the Number of p4-tilings by an N-omino",
International Journal of Computational Geometry and Applications (IJCGA) (Invited to Special Issue for ISAAC 2017),
Vol.29, No.1, pp.3--19 (Aug. 2019) DOI:10.1142/S0218195919400016
(Preliminary version in: Proc. of ISAAC 2017, LIPIcs 92, Article No. 5, pp. 5:1-5:12 (Dec. 2017) DOI:10.4230/LIPIcs.ISAAC.2017.5)
Kazuyuki Amano,
"Depth Two Majority Circuits for Majority and List Expanders",
Proc. of MFCS 2018, LIPIcs 117, Article No. 81, pp. 81:1-81:13 (Aug. 2018) DOI:10.4230/LIPIcs.MFCS.2018.81
Kazuyuki Amano and Shin-ichi Nakano,
"Away from Rivals",
Proc. of CCCG 2018, pp. 68-71 (Aug. 2018)
Kazuyuki Amano and Masafumi Yoshida,
"Depth Two (n-2)-Majority Circuits for n-Majority",
IEICE Trans. Fund., Vol. E101-A, No. 9, pp. 1543-1545 (Sep. 2018) DOI:10.1587/transfun.E101.A.1543 [Draft (pdf)]
Kazuyuki Amano,
"Enumeration of Boolean Functions of Sensitivity Three and Inheritance of Nondegeneracy",
Proc. of IEEE-ISIT 2017, pp. 251-255 (June, 2017) DOI:10.1109/ISIT.2017.8006528 [Draft (with accompanying data)]
Kazuyuki Amano, Shin-ichi Nakano, Koichi Yamazaki,
"Anti-Slide",
J. of Information Processing, Vol.23, No. 3, pp. 252-257 (May, 2015) DOI:10.2197/ipsjjip.23.252
(preprint in IPSJ Journal, Vol. 56, No. 5 (May, 2015))
Kazuyuki Amano and Atsushi Saito,
"A Nonuniform Circuit Class with Multilayer of Threshold Gates having Super Quasi Polynomial Size Lower Bounds against NEXP",
Proc. of LATA 2015, LNCS 8977, pp. 461-472 (Mar. 2015) DOI:10.1007/978-3-319-15579-1_36
Kazuyuki Amano, Kyaw May Oo, Yota Otachi, Ryuhei Uehara,
"Secure Sets and Defensive Alliances in Graphs: A Faster Algorithm and Improved Bounds",
IEICE Trans. Inf. & Syst., Vol. E89-D, No. 3, pp. 486-489 (Mar. 2015) DOI:10.1587/transinf.2014FCP0007
Manami Shigeta and Kazuyuki Amano,
"Ordered Biclique Partitions and Communication Complexity Problems",
Disc. Appl. Math., Vol. 184, pp. 248-252 (Mar. 2015) DOI:10.1016/j.dam.2014.10.029
(preprint at arXiv:1311.6192 (Nov. 2013))
Kazuyuki Amano and Atsushi Saito,
"A Satisfiability Algorithm for Some Class of Dense Depth Two Threshold Circuits",
IEICE Trans Inf. & Syst., Vol. E98-D, No. 1, pp. 108-118 (Jan. 2015) DOI:10.1587/transinf.2014EDP7127
Kazuyuki Amano,
"Some Improved Bounds on Communication Complexity via New Decomposition of Cliques",
Disc. Appl. Math., 166, pp. 249-254 (Mar. 2014) DOI:10.1016/j.dam.2013.09.015
Kazuyuki Amano,
"On Extremal k-CNF Formulas",
European Journal of Combinatorics, 35, pp. 35-50 (Jan. 2014) DOI:10.1016/j.ejc.2013.06.011
Conference version in: Proc. of EuroCOMB 2011, pp. 37-42 (Sept. 2011) DOI:10.1016/j.endm.2011.09.007
Kazuyuki Amano, Yuta Kojima, Toshiya Kurabayashi, Keita Kurihara, Masahiro Nakamura, Ayaka Omi, Toshiyuki Tanaka, Koichi Yamazaki,
"How to Solve the Torus Puzzle",
Algorithms 5(1), pp. 18-29 (Jan. 2012) DOI:10.3390/a5010018
Kazuyuki Amano,
"Minterm-Transitive Functions with Asymptotically Smallest Block Sensitivity",
Inf. Proc. Let., 111(23-24), pp. 1281-1284 (Dec. 2011) DOI:10.1016/j.ipl.2011.09.008
Kazuyuki Amano,
"On Directional vs. General Randomized Decision Tree Complexity for Read-Once Formulas",
Chicago Journal of TCS (Special Issue on CATS 2010), 2011(3), pp. 1-11 (May 2011) DOI:10.4086/cjtcs.2011.003
Conference version in: Proc. of CATS 2010, CRPIT 109, pp. 25-29 (Jan. 2010)
Kazuyuki Amano and Jun Tarui,
"A Well-Mixed Function with Circuit Complexity 5n: Tightness of the Lachish-Raz-type Bounds",
Theoret. Comput. Sci., 412(18) (Special Issue on TAMC 2008), pp. 1646-1651 (Apr. 2011) DOI:10.1016/j.tcs.2010.12.040
Conference version in: Proc. of TAMC 2008, LNCS 4978, pp. 342-350 (Apr. 2008) DOI:10.1007/978-3-540-79228-4_30
Kazuyuki Amano,
"Tight Bounds on the Average Sensitivity of k-CNF",
Theory of Computing, 7, pp. 45-48 (Mar. 2011) DOI:10.4086/toc.2011.v007a004
Kazuyuki Amano,
"Bounding the Rondomized Decision Tree Complexity of Read-Once Boolean Functions",
Proc. of SODA 2011, pp. 1729-1744 (Jan. 2011) DOI:10.1137/1.9781611973082.133
Kazuyuki Amano,
"New Upper Bounds on the Average PTF Density of Boolean Functions",
Proc. of ISAAC 2010, LNCS 6506, pp. 304-315 (Dec. 2010) DOI:10.1007/978-3-642-17517-6_28
[Supplement]
Hideaki Fukuhara, Eiji Takimoto and Kazuyuki Amano,
"NPN-Representatives of a Set of Optimal Boolean Formulas",
IEICE Trans. on Fund. Elect. Communications and Computer Sciences, Vol.E93-A, No.6, pp. 1008-1015 (Jun. 2010)
Kazuyuki Amano,
"K-Subgraph Isomorphism on AC_0 Circuits",
Computational Complexity (Invited to a Special Issue on CCC09), Vol.19, No. 2, pp. 183-210 (May. 2010) DOI:10.1007/s00037-010-0288-y
Conference version in : Proc. of CCC 2009, pp. 9-18 (Jul. 2009) DOI:10.1109/CCC.2009.23

2009 or older

Manabu Shimada and Kazuyuki Amano,
"A Note on the Middle Levels Conjecture",
arXiv:0912.4564 and supplemental data are here (Dec. 2009)
Kazuyuki Amano,
"Bounds on the Size of Small Depth Circuits for Approximating Majority",
Proc. of ICALP 2009, LNCS 5555, pp. 59-70 (Jul. 2009)
[Conference version(pdf)]
Ken Matsumoto and Kazuyuki Amano,
"Representation of Quantum Circuits with Clifford and Pi/8 Gates",
arXiv:0806.3834 [quant-ph] (Jun. 2008); 2 page abstract in Proc. of the 8th AQIS, pp. 136-137 (Aug. 2008)
Takayuki Sato, Kazuyuki Amano, Eiji Takimoto and Akira Maruoka,
"Monotone DNF Formula that has a Minimal or Maximal Number of Satisfying Assignments",
Proc. of the 14th COCOON, LNCS 5092, pp. 191-203, (Jun. 2008)
[Conference version (pdf)]
Kazuyuki Amano and Akira Maruoka,
"Better Upper Bounds on the QOBDD Size of Integer Multiplication",
Discrete Applied Mathematics, Vol. 155(10), pp. 1224-1232 (May. 2007)
Preliminary version as "Tighter Bounds on the OBDD Size of Integer Multiplication"
in Proc. of the 4th Japanese-Hungarian Symp. on Disc. Math. and Its Applications, pp. 9-15 (Jun. 2005)
Kazuyuki Amano and Akira Maruoka,
"On the Monotone Circuit Complexity of Quadratic Boolean Functions",
Algorithmica (Special Issue on ISAAC 2004), Vol. 46(1), pp. 3-14 (Sep. 2006)
Conference version in : Proc. of the 15th ISAAC, LNCS 3341, pp. 28-40 (Dec. 2004)
Takayuki Sato, Kazuyuki Amano and Akira Maruoka,
"On the Negation-Limited Circuit Complexity of Sorting and Inverting K-tonic Sequences",
Proc. of the 12th COCOON, LNCS 4112, pp. 104-115, (Aug. 2006)
[Improved version] (Nov. 2006)
Kazuyuki Amano and Akira Maruoka,
"On Learning Monotone Boolean Functions under the Uniform Distribution"
Theoretical Computer Science (Special Issue on ALT 2002), Vol. 350(1), pp. 3-12 (Jan. 2006)
Conference version in : Proc. of the 13th ALT, LNAI 2533, pp. 57-68 (Nov. 2002)
Kazuyuki Amano and Akira Maruoka,
"A Superpolynomial Lower Bound for a Circuit Computing the Clique Function with At Most (1/6) log log n Negation Gates",
SIAM J. Computing, Vol. 35(1), pp. 201-216 (Oct. 2005)
Conference version in : Proc. of the 23rd MFCS, LNCS 1450, pp. 399-408 (Aug. 1998)
[Journal version (pdf)]
Kazuyuki Amano and Jun Tarui,
"Monotone Boolean Functions with s Zeroes Farthest from Threshold Functions",
Proc. of the 3rd European Conf. on Combinatorics, Graph Theory and Applications (EuroComb05),
DMTCS Volume AE, pp. 11-16, (Sep. 2005)
Kazuyuki Amano and Akira Maruoka,
"On the Complexity of Depth-2 Circuits with Threshold Gates",
Proc. of the 30th MFCS, LNCS 3618, pp. 107-118 (Aug. 2005)
[Expanded (but not published) version]
Kazuyuki Amano and Akira Maruoka,
"Better Simulation of Exponential Threshold Weights by Polynomial Weights",
A preliminary version appeared as ECCC TR04-090 (Nov. 2004)
This paper has merged into MFCS 2005 paper (see above).
Kazuyuki Amano and Akira Maruoka,
"The Potential of the Approximation Method",
SIAM J. Computing, Vol. 33(2), pp. 433-447 (Feb. 2004)
Conference version in : Proc. of the 37th FOCS, pp. 431-440 (Oct. 1996)
[Draft of the journal version]
Kazuyuki Amano and Akira Maruoka,
"On Optimal Merging Networks"
Proc. of the 28th MFCS, LNCS 2747, pp.152-161 (Aug. 2003)
Kazuyuki Amano, Kazuo Iwama, Akira Maruoka, Kenshi Matsuo, and Akihiro Matsuura,
"Inclusion-Exclusion for k-CNF Formulas"
Infomation Processing Letters 87(2) pp.111-117 (Jul. 2003)
[Link to the paper@ScienceDirect]
Kazuyuki Amano and Akira Maruoka,
"Some Properties of MODm Circuits Computing Simple Functions"
Proc. of the 5th CIAC, LNCS 2653, pp. 227-237 (May. 2003)
Kazuyuki Amano, Akira Maruoka and Jun Tarui,
"On the Negation-Limited Circuit Complexity of Merging",
Discrete Applied Mathematics 126(1), pp. 3-8 (Special Issue on COCOON 1999) (Jan. 2003)
Conference version in : Proc. of the 5th COCOON, LNCS 1627, pp. 204-209 (Jul. 1999),
Kazuyuki Amano, Tsukuru Hirosawa, Yusuke Watanabe, and Akira Maruoka,
"The Computational Power of a Family of Decision Forests",
Proc. of the 26th MFCS, LNCS 2136, pp. 123-134 (Aug. 2001)
Kazuyuki Amano, John Tromp, Paul Vitanyi, and Osamu Watanabe,
"On a Generalized Ruin Problem",
Proc. of the 5th RANDOM + 4th APPROX, LNCS 2129, pp. 181-191 (Aug. 2001)
Jun Mizuno, Tatsuya Watanabe, Kazuya Ueki, Kazuyuki Amano, Eiji Takimoto, and Akira Maruoka,
"On-Line Estimation of Hidden Markov Model Parameters",
Proc. of the 3rd Discovery Science, LNAI 1967, pp. 155-169 (Dec. 2000)
[Link to the paper@Springer]
Kazuyuki Amano and Akira Maruoka,
"Approximation Algorithms for DNF under Distributions with Limited Independence",
Theory of Comp. Sys. Vol. 30, pp.181-196 (Mar. 1997)
[Link to the paper@Springer]

その他論文/解説/国内学会等

2020年以降

○田島　大也，天野　一幸，
Knights Exchange Puzzleの一般化に関する研究，
電子情報通信学会東京支部学生会研究発表会，#83 (オンライン，2023.3.4)
○内田　明良，天野　一幸，
1次元セルオートマトンのルール30の解析，
電子情報通信学会東京支部学生会研究発表会，#87 (オンライン，2023.3.4)
〇木村健斗, 天野一幸，
2x2x1ピースを用いたアンチスライドの充填率の上界，
2022年度冬のLAシンポジウム (京都大，2023.1.30 - 2.1)
〇篠原広佑, 荒木徹也, 天野一幸，
パズル「しろなべ」の計算複雑性，
2022年度冬のLAシンポジウム (京都大，2023.1.30 - 2.1)
〇Kento Kimura and Kazuyuki Amano,
Upper Bounds on the Minimum Number of Pieces for Anti-slide Packing,
The 24th JCDCG^3, (Virtual, 2022.9.9 - 11)
天野　一幸
3x+1関数の反復回数の下界の改良 [draft (in English)]
コンピュテーション研究会，COMP2021-29（金沢＋オンライン，2021.12.3）
○木村健斗・高橋篤生・荒木徹也・天野一幸
分散処理によるTopswopsの最大手数の発見，
第183回　アルゴリズム研究会，AL-5（オンライン開催，2021.5.7 - 8)
〇木村健斗，天野一幸，荒木徹也
T-テトロミノを用いた平面アンチスライドパズルの最少ピース数について
2020年電子情報通信学会総合大会, COMP学生シンポジウム, DS-1-11 (オンライン開催, 2020.3.18)
〇横川拓哉, 尾島康浩, 天野一幸
多数決関数を計算する２段の多数決回路における総入次数の上下界
2019年度冬のLAシンポジウム, S6 (京都大，2020.2.5 - 7)
○只木莉緒奈，天野一幸
SATソルバーによる複数の折り方を持つ箱の展開図の探索
情報処理学会アルゴリズム研究会, 2020-AL-176(4):1-5 (下呂，2020.1.29 - 30)
天野　一幸
数理計画を用いた閾値回路の計算複雑さの解析
情報処理学会アルゴリズム研究会, 2020-AL-176(5):1-7 (下呂，2020.1.29 - 30)

2010年～ 2019年

〇木村健斗，天野一幸，荒木徹也
アンチスライドパズルの解析
電子情報通信学会コンピュテーション研究会, COMP2019-43
信学技報, Vol. 119, No. 340, pp. 101-107 (群馬県伊香保，2019.12.13)
〇尾島康浩，横川拓哉，天野一幸
多数決関数を計算する2段の多数決回路
電子情報通信学会コンピュテーション研究会, COMP2019-44
信学技報, Vol. 119, No. 340, pp. 109-115 (群馬県伊香保，2019.12.13)
〇木村健斗, 天野一幸
凹凸のあるピースにおけるアンチスライドパズルの解析
組み合わせゲーム・パズルプロジェクト(CGP)　第１４回研究集会 (電通大，2019.3.10 - 11)
岩瀬　祐大, 天野　一幸
調理工程と材料を用いた類似レシピの提案手法
電子情報通信学会東京支部学生会研究発表会，予稿集 p.106 (東海大，2019.3.2)
佐藤大河, 天野一幸
ポリオミノのisohedralタイリング数の解析
情報処理学会第171回アルゴリズム研究会
技術報告2019-AL-171, No. 5, pp. 1-2, (大阪，2019.1.29)
Kazuyuki Amano, Shin-ichi Nakano,
An Approximation Algorithm for the 2-Dispersion Problem,
電子情報通信学会コンピュテーション研究会,
信学技報, vol. 118, no. 268, COMP2018-26, pp. 41-43 (京都大，2018.10.26)
木村健斗，天野一幸，
アンチスライドパズルの解析 (ポスター)，
日本OR学会SSOR2018，(水上温泉，2018.8.29-31)
-- 学生優秀ポスター発表賞受賞 link
吉田昌史，天野一幸，
多数決関数を計算する２層の多数決回路について，
2017年度冬のLAシンポジウム (京都大，2018.2.5-2.7)
天野一幸
Sensitivityが3の論理関数について，
電子情報通信学会 COMP研 (広島大，2016.12.21-22) [Supplemental Data]
天野一幸，舘将馬
論理関数のPTF表現のXOR補題について，
2016年夏のLAシンポジウム（奈良県生駒郡，2016.7.19-21)
天野一幸
多項式しきい値表現のXOR補題と整数計画のテンソル積，
日本OR学会最適化の基盤とフロンティア研究部会 (東京理科大，2016.4.23)
斉藤惇，天野　一幸
A Nonuniform Circuit Class with Multilayer of Threshold Gates Having Super Quasi Polynomial Lower Bounds against NEXP,
電子情報通信学会総合大会 COMP-ELC学生シンポジウム DS-1-14 (立命館大学，2015.3.10-13)
Also in 電子情報通信学会　コンピュテーション研究会（崇城大，2014.12.5)
天野一幸,
Graph Partition and Communication Complexity,
ELC Mini-Workshop on Boolean Functions (東京，2014.11.6-10)
斉藤惇，天野　一幸
A Satisfiability Algorithm for Some Class of Dense Depth Two Threshold Circuits,
The 17th Korea-Japan Workshop on Algorithms and Computation (沖縄，2014.7.13-15)
Also in: 電子情報通信学会コンピュテーション研究会 (仙台，2014.4.24)
重田真那実，天野一幸
Ordered Biclique Partition と通信計算量
2013年度冬のLAシンポジウム (京大，2014.1.29)
重田真那実，天野一幸
ハッピーエンド問題に対する極値的頂点集合の構造
電子情報通信学会論文誌 J96-A-7 (2013.7)
高田健司，天野一幸
グラフの正方格子上への単位長配置について，
2011年度冬のLAシンポジウム（京都大，2012.2.1）
天野一幸
もっとも敏感なk-CNF
第135回情報処理学会アルゴリズム研究会（秋田県立大学，2011.5.16)
早坂智行（東工大），天野一幸，
多項式しきい値関数密度の上界の改善，
第73回情報処理学会全国大会 (東工大，2011.3.4)
天野一幸，
論理関数の乱化決定木計算量について (招待），
日本OR学界研究部会NEO研究集会 (京都大，2010.12.7）
Kazuyuki Amano,
Researching the Complexity of Boolean Functions with Computers (Invited Survey Article)，
Bulletin of EATCS，No. 101, pp. 64-91 (2010.6)
島田学，天野一幸,
"ギガ頂点グラフのハミルトン路探索と中間層予想について"，
電子情報通信学会コンピュテーション研究会 + 情報処理学会　アルゴリズム研究会(JAIST，2010.5.19)

2000年〜2009年

Kiyoshi Sawada, Kazuyuki Amano,
"Adding Edges to Multi-levels of a Complete K-ary Tree Minimizing Total Distance"，
EURO XXIII (Bonn, Germany, 2009年7月)
福原秀明（東北大），天野一幸，瀧本英二（九大）
"最簡な論理式でNPN同値類の代表のみを生成するアルゴリズム"
電子情報通信学会コンピュテーション研究会 (東工大，2009年3月)
天野一幸，
部分グラフ同型性判定の回路計算量について(招待)
電子情報通信学会コンピュテーション研究会 (群馬県伊香保，2008年12月)
松本健，天野一幸，
"Clifford + π/8量子回路の計算能力"
電子情報通信学会コンピュテーション研究会，COMP2007-57， pp. 15-22 (神奈川，2008年3月)
天野一幸，中野眞一，山中克久，
"方形描画(フロアプラン)の個数について：厳密数え上げと下界と上界" (in English)
情報処理学会アルゴリズム研究会，2007-AL-115-5，pp. 33-40 (新潟大，2007年11月)
[Tech. Report(pdf)]
天野一幸，垂井淳，
"回路計算量の5nの下界に対する5nの上界" (in English)
2007年夏のLAシンポジウム，pp. 18-1 - 18-6 (能登，2007年7月)
(Also in Proc. of 10th Korea-Japan Joint Workshop on Algorithms and Computation (WAAC 07), No. 2 (Gwangju, Korea, 2007年8月) )
Hideaki Fukuhara, Kazuyuki Amano, Eiji Takimoto,
"On Formula Size Lower Bounds for Synthesis of Boolean Functions over Disjoint Sets of Variables" (2 page abst. in English)
電子情報通信学会 2007年総合大会， DS-1-2 (名城大，2007年3月)
澤田清，天野一幸，
"完全 K分木型組織構造の多階層関係追加モデル"
情報処理学会アルゴリズム研究会, 2007-AL-110, pp. 47-54 (電通大，2007年1月)
(Also as "Adding Relations in Multi-Levels to an Organization Structure of a Compulete Binary Tree Maximizing Total Shortning Path Length"
in Proc. of Int'l MultiConf. of Eng. and Comp. Sci.，pp. 2048-2052 (Hong Kong, 2009年3月)
天野一幸，
"回路計算量の線形下界に対する計算機支援証明について"
信学技報　コンピュテーション研究会，COMP2006-39，pp. 65-70，(東北大，2006年10月)
福原秀明, 天野一幸, 瀧本英二，
"パリティ合成関数に対するブール式のサイズの下界について"
2006年夏のLAシンポジウム，No. 22 (東広島，2006年8月)
天野一幸，
"最簡な論理式だけを生成するアルゴリズム" (in English)
情報処理学会アルゴリズム研究会 2006-AL-106, pp. 1-8 (伊香保，2006年5月)
渡邊辰也，瀧本英二，天野一幸，丸岡章，
"ランダム写像による非線形概念の学習の効率化に向けて"
電子情報通信学会 2006年総合大会， DS-1-14 (国士舘大，2006年3月)
天野一幸，
"論理関数の複雑さの下界導出問題に対する数理計画的アプローチ" (チュートリアル講演・予稿なし)
電子情報通信学会コンピュテーション研究会 (東北大，2005年10月)
天野一幸，佐藤貴之，丸岡章，
"充足割り当て数を最小化/最大化する単調DNF式について"
信学技報　コンピュテーション研究会，Vol.105, No.344, COMP2005-47， pp. 21-25 (東北大，2005年10月)
渡邊辰也，瀧本英二，天野一幸，丸岡章，
"マージンを保存するランダム性を限定したプロジェクションとブール空間への埋め込み" (in English)
信学技報　コンピュテーション研究会，Vol.105, No.343, COMP2005-39, pp. 21-28 (東北大，2005年10月)
[Preliminary ver. as "マージンを保存するユニバーサルなプロジェクション"
天野一幸，
"数理計画法を用いた論理関数の複雑さの下界の導出" (2 page abstract)
日本応用数理学会2005年度年会，OS16-6，pp.330-331 (東北大，2005年9月)
渡邊辰也，瀧本英二，天野一幸，丸岡章，
"Random Projection and Its Application to Learning" (2 page abstract in English),
Proc. of 2005 Workshop on Randomness and Computation，pp. 3-4，(仙台市，2005年7月)
天野一幸，
"しきい値素子を用いた回路における計算量について" (招待・予稿なし)
日本OR学会関西支部研究部会 (京都大，2005年1月)
天野　一幸，丸岡　章，
"Better Simulation of Exponential Threshold Weights by Polynomial Weights" (in English),
信学技報　コンピュテーション研究会 COMP2004-57，pp. 25-29，(東邦大，2004年12月)
天野　一幸，丸岡　章，
"On the Monotone Circuit Complexity of Quadratic Boolean Functions" (in English),
信学技報　コンピュテーション研究会 COMP2004-40，pp. 41-47，(東北大，2004年10月)
(Also in 情報処理学会研究報告アルゴリズム 2004-AL-097，Vol.2004 No. 101，2004年10月)
松尾　健史，小山　哲也，天野　一幸，瀧本　英二，丸岡　章，
"論理関数のPTF表現の複雑さについて"，
信学技報　コンピュテーション研究会 COMP2003-87，pp. 9-16，2004年3月．
天野　一幸，
"P vs. NP問題"，
電子情報通信学会誌，No.86(12)(2003年12月号), pp. 912-917, 2003年．
天野　一幸，丸岡　章，
"On Optimal Merging Networks" (in English),
2003年夏のLAシンポジウム予稿集，No. 20，2003年7月.
(Also in 信学技報　コンピュテーション研究会 COMP2003-53，pp. 71-77，2003年10月)
天野　一幸，丸岡　章，
"論理関数の性質判定アルゴリズムについて"，
信学技報　コンピュテーション研究会 COMP2002-41，pp. 23-28，2002年10月．
天野　一幸，丸岡　章，
"単調論理関数間の距離について"，
信学技報　コンピュテーション研究会 COMP2002-6，pp. 37-42，2002年4月．
堀田　雅也，天野　一幸，丸岡　章，
"単項性判定のための論理関数に関する条件"，
信学技報　コンピュテーション研究会，COMP2001-90，pp. 57-64， 2002年3月．
田渕　正樹，天野　一幸，丸岡　章,
"論理関数のフーリエスペクトルと非線形性の関係"，
信学技報　コンピュテーション研究会，COMP2001-91，pp. 65-72，2002年3月．
天野一幸，廣澤　創，渡邉　佑介，丸岡　章，
"決定森の族の計算能力"，(in English)
信学技報　コンピュテーション研究会，COMP2001-51，pp. 109-116， 2001年10月．
松尾　健史，塩野　俊英，天野　一幸，丸岡　章，
"制限付集合に対する包除原理の性質と数え上げ問題への応用"，
信学技報　コンピュテーション研究会，COMP2000-82，pp. 73-79，2001年3月．
(Also in 2001年夏のLAシンポジウム予稿集，No. 12，2001年7月)
渡辺　治，Paul Vitanyi，天野　一幸，
"モノポリストゲームのゲーム長(手数)について" (in English)，
信学技報　コンピュテーション研究会，COMP2000-62，pp. 41-48，2000年11月．
廣澤　創，天野　一幸，丸岡　章，
"決定木における補助ビット問題について"，
信学技報　コンピュテーション研究会，COMP2000-49，pp. 57-64，2000年10月．
水野　潤，渡邊　辰也，植木　一也，天野　一幸，瀧本　英二，丸岡　章，
"On-line Estimation of Hidden Markov Model Parameters",
2000年冬のLAシンポジウム予稿，No. 21，2000年2月．

1999年以前

天野　一幸，丸岡　章，
"A Note on CC(6) and (MOD 3 -- MOD 2) Circuits" (in English)，
信学技報　コンピュテーション研究会， COMP99-48，pp. 71-78， 1999年10月．
(Also as "Notes on C(pq) Circuits" in 2000年冬のLAシンポジウム予稿，No. 22，2000年2月)
天野　一幸，瀧本　英二，
"ブール関数のフーリエ変換とその応用"，
電子情報通信学会誌，No.82(12)(1999年12月号)，pp.1270-1272，1999年.
天野　一幸，丸岡　章，垂井　淳，
"On the Negation-Limited Circuit Complexity of Merging" (in English)，
信学技報　コンピュテーション研究会，COMP99-26，pp. 33-38， 1999年7月．
佐藤　貴之，天野　一幸，丸岡　章，
"可変マージ関数の否定数限定複雑さ"，
京都大学数理解析研究所講究録，No. 1093, pp. 99-104，1999年4月．
天野　一幸，
"20世紀の予想四色問題"，
数学セミナー，1998年12月号， pp. 54-57, 1998年．
(20世紀の予想 --現代数学の軌跡--，日本評論社，2000年．に再掲)
天野一幸，岩渕正樹，丸岡章，
"最適なマージングネットワークについて"，
情報基礎理論ワークショップ予稿集，'98夏のLA号，pp. 80-85， 1998年7月.
(Also in 信学技報　コンピュテーション研究会，COMP98-50，pp. 97-103， 1998年10月)
天野　一幸，
"全ての平面グラフはやっぱり４彩色可能であるに違いない"，
LAシンポジウム会誌，1998年夏号．
天野　一幸，丸岡　章，
"マージ関数とソート関数の否定数限定複雑さ"，
信学技報　コンピュテーション研究会，COMP97-119， pp. 101-108，1998年3月．
佐藤　貴之，天野　一幸，丸岡　章，
"連数限定入力に対する否定数限定ソーティング回路"，
信学技報　コンピュテーション研究会，COMP97-120，pp. 109-116， 1998年3月．
(Also in 電子情報通信学会総合大会講演論文集，D-1-6，1998年3月)
天野一幸，丸岡章，
"否定素子数限定論理回路における単調論理関数の複雑さ"，
信学技報　コンピュテーション研究会，COMP97-55，pp. 79-86， 1997年10月．
(Also as "クリーク関数の否定数限定複雑さ" (1 page abst.)
(Also in 京都大学数理解析研究所講究録，No. 1041，pp. 71-78，1998年4月)
天野　一幸,
"単調論理回路計算量 vs. 論理回路計算量",
電子情報通信学会総合大会，チュートリアル講演，1998年．
天野　一幸，丸岡　章，
"論理関数の複雑さと近似演算"，
信学技報　コンピュテーション研究会，COMP96-37，pp. 37-46，1996年10月．
(Also in 電子情報通信学会総合大会講演論文集，pp. D-I-8，1997年3月)
(Also in 京都大学数理解析研究所講究録，No. 992，pp. 199-206，1997年5月)
天野　一幸，丸岡　章，
"近似法のサイズ限定モデル"，
信学技報　コンピュテーション研究会，COMP96-16，pp. 1-8，1996年6月．
(Also as "サイズ限定モデルに基づく近似法による単調複雑さの下界" (1 page abst.)
天野　一幸，丸岡　章，
"単調論理関数と擬似補関数に対する近似モデル"，
信学技報　コンピュテーション研究会，COMP95-72，pp. 55-64， 1995年12月．
(Also in 京都大学数理解析研究所講究録，No. 950，pp. 15-21，1996年5月)
天野　一幸，丸岡　章，
"非単調論理回路に対するRazborovの近似モデルの構造"，
信学技報　コンピュテーション研究会，COMP95-64，pp. 65-74， 1995年11月．
(Also as "否定制約のもとでのクリーク関数の複雑さに対する指数関数の下界" (1 page abst.)
天野　一幸，丸岡　章，
"制限付回路モデルに対するRazborovの近似法の適用"，
1995年夏のLAシンポジウム予稿集，pp. 85-90，1995年7月
(Also in 信学技報　コンピュテーション研究会，COMP95-51，pp. 39-46， 1995年10月)
天野　一幸，丸岡　章，
"k-限定性に基づいたDNFの近似アルゴリズム" (in English),
信学技報　コンピュテーション研究会，COMP93-13，pp. 45-52， 1993年5月
(Also in 情報基礎理論ワークショップ(='93夏のLAシンポジウム)予稿集， pp. 34-39，1993年7月)

その他講演等

いつもと違うパソコンの使い方，群馬大学公開講座 (前橋，2010年9月18日)

[Homeへ戻る] [Home (English)]

amano (あっと）cs.gunma-u.ac.jp