JAIST Repository > School of Information Science > Grants-in-aid for Scientific Research Papers >
分散システムを計算の対象とする分散アルゴリズムのモデル検査に関する研究
ヒト発話シミュレータによるStory Teller Systemの構築
詰め将棋の美観評価と創作アルゴリズム
高階プログラミング言語で記述された大規模ソフトウェアの検証
耳音響放射を用いた聴覚的注意の推定