* このページに掲載している原稿は 速報ファイル です。
* These papers are "flash report".
RIMS Kôkyûroku
No.2154
アルゴリズムと計算理論の新潮流
New Trends in Algorithms and Theory of Computation
RIMS 共同研究（公開型）
 　
2020/02/05〜2020/02/07
酒井　正彦
Masahiko Sakai
　
目　次
　
1. Lazy Abstractionと精練を用いた組込みアセンブリプログラムのリアルタイム性のソフトウェアモデル検査 (アルゴリズムと計算理論の新潮流)---
　　　　金沢大学大学院自然科学研究科 / 金沢大学大学院自然科学研究科　　　上出 浩夢 / 山根 智　(Kamide,Hiromu / Yamane,Satoshi )
　
2. セルオートマトンのプライマリーな局所規則 (アルゴリズムと計算理論の新潮流)----------------------------------------------------------
　　　　近畿大学大学院産業理工学研究科 / 近畿大学産業理工学部　　　粉川 竜治 / 藤尾 光彦　(Kokawa,Ryuji / Fujio,Mitsuhiko)
　
3. ホワイトリスト順序問題の計算困難性 (アルゴリズムと計算理論の新潮流)----------------------------------------------------------------
　　　　高知工科大学情報学群 / 神奈川大学理学部 / 新潟大学情報基盤センター　　　原田崇司 / 田中賢 / 三河賢治　(Harada,Takashi / Tanaka,Ken / Mikawa,Kenji )
　
4. 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)
　
5. An Envy-free and Truthful Mechanism for the Cake-cutting Problem (New Trends in Algorithms and Theory of Computation)--------------
　　　　中央大学 / 中央大学　　　浅野 孝夫 / 梅田 博之　(Asano,Takao / Umeda,Hiroyuki )