Search of article List
2015年 情報科学技術フォーラム(FIT)
| 講演番号 | 題目/著者 |
|---|---|
| A-011 | 正規表現の接頭辞及び接尾辞を用いたNFA構成法の実験的評価 南波龍一, 宮本純平, 山本博章, |
| A-012 | A Semigroup of Homomorphisms Based on Vertex Connectivity of Weighted Directed Graphs 國持良行, |
| A-013 | ファジィ符号について 大橋由侑, 荒木智行, |
| A-014 | ペトリネット状態空間生成器への高効率ハッシュマップの適用 古市隼汰, 和崎克己, |
| A-015 | ペトリネット設計検証ツールHiPSにおけるOn-the-fly LTLモデル検査器 張江洋次朗, 和崎克己, |
| RA-003 | キャッシュの効果を考慮したルーフラインモデルの拡張によるプログラムの性能予測 南 一生, 井上俊介, 千葉修一, 横川三津夫, |