題名 | 非決定性回路族における深さと非決定性ゲート数の関係 |
著者 | *小野 優介, 岩本 宙造, 森田 憲一, 今井 克暢 (広島大) |
Page | pp. 369 - 370 |
→詳細データ (アブストラクト,キーワード,詳細な著者の所属など) |
題名 | 大学時間割作成問題の計算複雑さ |
著者 | *高田 健太郎, 岩本 宙造, 森田 憲一, 今井 克暢 (広島大) |
Page | pp. 371 - 372 |
→詳細データ (アブストラクト,キーワード,詳細な著者の所属など) |
題名 | 直交テラインの警備問題 |
著者 | *岸 純一, 岩本 宙造, 森田 憲一, 今井 克暢 (広島大) |
Page | pp. 373 - 374 |
→詳細データ (アブストラクト,キーワード,詳細な著者の所属など) |
題名 | 書換規則の分割による一意解析可能アレイ文法の簡約化手法の提案とその実装 |
著者 | *野口 明宏, 今井 克暢, 森田 憲一, 岩本 宙造 (広島大) |
Page | pp. 375 - 376 |
→詳細データ (アブストラクト,キーワード,詳細な著者の所属など) |
題名 | 時間ペトリネットに基づくシグナル伝達経路モデルの発火頻度条件式導出アルゴリズムの提案 |
著者 | *三輪 良雅 (山口大), 樋岡 幹司 (バブ日立ソフト), 葛 崎偉, 松野 浩嗣 (山口大) |
Page | pp. 377 - 378 |
→詳細データ (アブストラクト,キーワード,詳細な著者の所属など) |
題名 | Acyclic自由選択ワークフローネットに対する直列化可能性判定の一考察 |
著者 | 山口 真悟, *浜野 慎司, 黒田 祐樹, 田中 稔 (山口大) |
Page | p. 379 |
→詳細データ (アブストラクト,キーワード,詳細な著者の所属など) |
題名 | LINとSSLを認識する感知型逆ワトソン・クリック有限オートマトン |
著者 | *村上 和樹, 坂本 典子, 會澤 邦夫 (島根大) |
Page | p. 380 |
→詳細データ (アブストラクト,キーワード,詳細な著者の所属など) |