@inproceedings{weko_151419_1, author = "山口,人生", title = "A-040 計算量理論の存亡(1) : 「P≠RXP」証明の欺瞞(計算とプログラミング,A分野:モデル・アルゴリズム・プログラミング)", booktitle = "情報科学技術フォーラム講演論文集", year = "2012", volume = "11", number = "1", pages = "161--164", month = "sep" }