書誌情報 | ファイル |
表紙・目次 (2015-04) 数理解析研究所講究録, 1941
| |
3入力多数決ゲートを用いた5変数論理関数の最小段数回路 (計算理論とアルゴリズムの新潮流) 守家, 大雄; 高木, 一義; 高木, 直史 (2015-04) 数理解析研究所講究録, 1941: 1-5
| |
連結2辺支配集合問題の近似アルゴリズム (計算理論とアルゴリズムの新潮流) 下田, 知明; 藤戸, 敏弘 (2015-04) 数理解析研究所講究録, 1941: 6-16
| |
直径の小さなグラフ上の全域木混雑度問題 (計算理論とアルゴリズムの新潮流) 久保, 浩平; 山内, 由紀子; 来嶋, 秀治; 山下, 雅史 (2015-04) 数理解析研究所講究録, 1941: 17-21
| |
A Distributed Locomotion Algorithm for 3-dimensional Metamorphic Robotic System (New Streams of Computation Theory and Algorithms) Chen, Fengqi; 山内, 由紀子; 来嶋, 秀治; 山下, 雅史 (2015-04) 数理解析研究所講究録, 1941: 22-30
| |
The Team Assembling Problem for Heterogeneous Mobile Robots (New Streams of Computation Theory and Algorithms) Liu, Zhiqiang; 山内, 由紀子; 来嶋, 秀治; 山下, 雅史 (2015-04) 数理解析研究所講究録, 1941: 31-36
| |
Tangleとイデアルについて (計算理論とアルゴリズムの新潮流) 山崎, 浩一 (2015-04) 数理解析研究所講究録, 1941: 37-40
| |
Space Complexity of Self-Stabilizing Leader Election in Population Protocol on Hypernetworks (New Streams of Computation Theory and Algorithms) Xu, Xiaoguang; 山内, 由紀子; 来嶋, 秀治; 山下, 雅史 (2015-04) 数理解析研究所講究録, 1941: 41-44
| |
ストリーム中のアイテム頻度に関する省領域乱択近似アルゴリズム (計算理論とアルゴリズムの新潮流) 任, 熙宰; 山内, 由紀子; 来嶋, 秀治; 山下, 雅史 (2015-04) 数理解析研究所講究録, 1941: 45-48
| |
最大カットのベンチマークを最適化ソルバーで解く (計算理論とアルゴリズムの新潮流) 生田, 拓人; 今井, 浩; 矢野, 洋祐 (2015-04) 数理解析研究所講究録, 1941: 49-56
| |
行列多項式$I+A+A^2+dots+A^{N-1}$の計算における行列乗算回数 (計算理論とアルゴリズムの新潮流) 松本, 耕太朗; 高木, 直史; 高木, 一義 (2015-04) 数理解析研究所講究録, 1941: 57-65
| |
項書換え系の停止性証明のための重み付き経路順序の抽象化 (計算理論とアルゴリズムの新潮流) 尾前, 貴則; 草刈, 圭一朗; 山田, 晃久; 坂部, 俊樹 (2015-04) 数理解析研究所講究録, 1941: 66-73
| |