Iwama, Kazuo
岩間, 一雄, 1951-
岩間, 一雄
岩間一雄
VIAF ID: 258511241 (Personal)
Permalink: http://viaf.org/viaf/258511241
Preferred Forms
-
- 100 1 _ ‡a Iwama, Kazuo
- 100 1 _ ‡a Iwama, Kazuo
-
- 100 1 _ ‡a 岩間, 一雄
- 100 1 _ ‡a 岩間, 一雄, ‡d 1951-
- 100 0 _ ‡a 岩間一雄
4xx's: Alternate Name Forms (12)
Works
Title | Sources |
---|---|
Arugorizumu saiensu deguchi karano chōnyūmon | |
Automata, Languages, and Programming : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II | |
Computing with new resources : essays dedicated to Jozef Gruska on the occasion of his 80 birthday, [2015] | |
Kyoto no arugorizumu. | |
Ōtomaton gengo to keisan riron | |
Riron keisanki kagaku no shinka to ōyō | |
Theory of quantum computation, communication, and cryptography, 2013: | |
アルゴリズム・サイエンス : 出口からの超入門 | |
アルゴリズム理論入門 | |
オートマトン・言語と計算理論 | |
京都のアルゴリズム | |
各種属性を制御可能なランダムテスト例題生成技術の研究 | |
定理自動証明技術の計算論的研究 | |
実世界組み合わせ問題に対する実行可能近似解の高速探求 | |
工学的評価基準に基づく離散アルゴリズムの品質保証技術に関する研究 | |
平均時間的に高速な組合せ最適化アルゴリズムとその実験的評価法の研究 | |
新しいパラダイムとしてのアルゴリズム工学 | |
新世代の計算限界 : その解明と打破 | |
理論計算機科学の最先端 : RIMS共同研究(公開型) | |
理論計算機科学の深化と応用 | |
理論計算機科学事典 = Encyclopedia of theoretial computer science | |
高速SATアルゴリズムを利用した実世界組合せ問題の統一的解法 |