講演番号 | 題目/著者 |
---|---|
A-007 | 最遠点ボロノイ図の作図手法に関する研究 堤 建介, 鹿嶋雅之, 福元伸也, 佐藤公則, 渡邊 睦, |
A-008 | 一般化de Bruijn ダイグラフと一般化Kautz ダイグラフの拡張について 菊地洋右, 松本 猛, 河村奈々, |
A-009 | グラフウォークを列挙する系列二分決定グラフの高速な生成法に関する実験と評価 石丸 亮, 青木洋士, 湊 真一, |
A-010 | テストコード半自動生成を用いたプロトタイプ検査とVDM++妥当性確認のコスト削減 森島 耕, 和崎克己, |
A-011 | Pythonを拡張したGPGPU向け言語開発環境の設計 鎌田知也, 佐々木晃, |
RA-002 | (d,3)-track layouts of bipartite graph subdivisions Miki Miyauchi, |