コレクションホームページ
2154 アルゴリズムと計算理論の新潮流
6
2154 アルゴリズムと計算理論の新潮流
6
(http://hdl.handle.net/2433/254734)
ブラウズ
文献一覧（目次の昇順ソート）: 1 - 6 / 6
| 書誌情報 | ファイル |
|---|---|
| 表紙・目次 (2020-04) 数理解析研究所講究録, 2154 |  |
| Lazy Abstractionと精練を用いた組込みアセンブリプログラムのリアルタイム性のソフトウェアモデル検査 (アルゴリズムと計算理論の新潮流) 上出, 浩夢; 山根, 智 (2020-04) 数理解析研究所講究録, 2154: 1-8 | |
| セルオートマトンのプライマリーな局所規則 (アルゴリズムと計算理論の新潮流) 粉川, 竜治; 藤尾, 光彦 (2020-04) 数理解析研究所講究録, 2154: 9-19 | |
| ホワイトリスト順序問題の計算困難性 (アルゴリズムと計算理論の新潮流) 原田, 崇司; 田中, 賢; 三河, 賢治 (2020-04) 数理解析研究所講究録, 2154: 20-26 | |
| A refinement of the argument of Bell's inequality versus quantum mechanics by algorithmic randomness (New Trends in Algorithms and Theory of Computation) Tadaki, Kohtaro (2020-04) 数理解析研究所講究録, 2154: 27-53 | |
| An Envy-free and Truthful Mechanism for the Cake-cutting Problem (New Trends in Algorithms and Theory of Computation) Asano, Takao; Umeda, Hiroyuki (2020-04) 数理解析研究所講究録, 2154: 54-91 | |
文献一覧（目次の昇順ソート）: 1 - 6 / 6
