JAIST Repository > i. 北陸先端科学技術大学院大学(JAIST) > i20. 学位論文 > M-IS. 修士（情報科学） >
Lightweight Termination Analysis For Term Rewriting
不確かな環境におけるワークフローの記述／実現方法に関する調査研究 [課題研究報告書]
脳機能信号と行動生理信号を組み合わせたBrain Machine Interface(BMI)の提案
赤外線カメラによる人物照合
家族間のインタラクションを考慮した人間行動シミュレーション
