JAIST Repository > b. 情報科学研究科・情報科学系 > b50. 科学研究費助成事業研究成果報告書 >
分散システムを計算の対象とする分散アルゴリズムのモデル検査に関する研究
ヒト発話シミュレータによるStory Teller Systemの構築
詰め将棋の美観評価と創作アルゴリズム
高階プログラミング言語で記述された大規模ソフトウェアの検証
耳音響放射を用いた聴覚的注意の推定
