電子情報通信学会技術研究報告

Print edition: ISSN 0913-5685      Online edition: ISSN 2432-6380

Volume 108, Number 79

コンカレント工学

開催日 2008-06-03 / 発行日 2008-05-27

[PREV] [NEXT]

[TOP] | [2006] | [2007] | [2008] | [2009] | [2010] | [2011] | [2012] | [Japanese] / [English]

[PROGRAM] [BULK PDF DOWNLOAD]


目次

CST2008-5
述語抽象化とその洗練による確率時間オートマトンの到達可能性解析手法
駒形龍太・○森下 篤・山根 智(金沢大)
pp. 1 - 6

CST2008-6
CSTソリューションコンペティション2007 ~ 評価実験の詳細報告 ~
○宮本俊幸(阪大)・山口真悟(山口大)・内平直志(東芝)・葛 崎偉(山口大)・本位田真一(NII)
pp. 7 - 12

CST2008-7
WFネットの健全化問題の提案とProtocol継承を考慮した部分問題に対する一考察
○池田 良・山口真悟・田中 稔(山口大)
pp. 13 - 18

CST2008-8
量子ペトリネットによる量子コンピュータのモデル化
○伊藤慎祐・太田 淳・辻 孝吉(愛知県立大)
pp. 19 - 24

CST2008-9
手書き文字認識のための特徴グラフのマッチングアルゴリズムの提案
○西田秀一・林 正紀・中田 充・葛 崎偉・吉村 誠(山口大)
pp. 25 - 30

CST2008-10
強化学習に基づく時間付き離散事象システムのスーパバイザ制御
○山崎達志(摂南大)・潮 俊光(阪大)
pp. 31 - 36

CST2008-11
人格と民主主義の数理モデル ~ 善悪の数理的判断 ~
○服部忠幸(非公開希望)
pp. 37 - 42

今後、次の点を修正する予定です。(1)欠けている表紙画像・奥付画像を補完いたします。(2)欠けている発行日の情報を補完いたします。

注: 本技術報告は査読を経ていない技術報告であり,推敲を加えられていずれかの場に発表されることがあります.


IEICE / 電子情報通信学会