通信-通信方式(開催日:2008/05/27)

タイトル/著者/発表日/資料番号
表紙

,  

[発表日]2008/5/27
[資料番号]
目次

,  

[発表日]2008/5/27
[資料番号]
正誤表

,  

[発表日]2008/5/27
[資料番号]
述語抽象化とその洗練による確率時間オートマトンの到達可能性解析手法(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)

駒形 龍太,  森下 篤,  山根 智,  

[発表日]2008/5/27
[資料番号]CST2008-5
CSTソリューションコンペティション2007 : 評価実験の詳細報告(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)

宮本 俊幸,  山口 真悟,  内平 直志,  葛 崎偉,  本位田 真一,  

[発表日]2008/5/27
[資料番号]CST2008-6
WFネットの健全化問題の提案とProtocol継承を考慮した部分問題に対する一考察(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)

池田 良,  山口 真悟,  田中 稔,  

[発表日]2008/5/27
[資料番号]CST2008-7
量子ペトリネットによる量子コンピュータのモデル化(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)

伊藤 慎祐,  太田 淳,  辻 孝吉,  

[発表日]2008/5/27
[資料番号]CST2008-8
手書き文字認識のための特徴グラフのマッチングアルゴリズムの提案(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)

西田 秀一,  林 正紀,  中田 充,  葛 崎偉,  吉村 誠,  

[発表日]2008/5/27
[資料番号]CST2008-9
強化学習に基づく時間付き離散事象システムのスーパバイザ制御(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)

山崎 達志,  潮 俊光,  

[発表日]2008/5/27
[資料番号]CST2008-10
人格と民主主義の数理モデル : 善悪の数理的判断(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)

服部 忠幸,  

[発表日]2008/5/27
[資料番号]CST2008-11
複写される方へ

,  

[発表日]2008/5/27
[資料番号]
Notice for Photocopying

,  

[発表日]2008/5/27
[資料番号]
奥付

,  

[発表日]2008/5/27
[資料番号]