/
プログラム
/
発表一覧
/
著者一覧
/
企業展示一覧
/
jsai2010ホーム
/
川端 聡基
氏名
川端 聡基
ふりがな
かわばた としき
所属
早稲田大学理工学部コンピュータ・ネットワーク工学科
発表リスト
06月10日(Thu) 09:00〜10:00 E会場(3F-会議室5)
題目
2E1-3 強連結成分の性質を用いたOWCTYモデル検査アルゴリズムの高速化
著者
川端 聡基
小林 史佳
上田 和紀
論文
PDFファイル