シースルー型HMDを用いた社会福祉学的アプローチに基づく“視線恐怖症的コミュ障”支援システムの開発と検証

公開日: 2016/03/26 | 33 巻 1 号 p. 1_52-1_62

萩原 早紀, 栗原 一貴

オートマトン理論再考

公開日: 2017/09/25 | 34 巻 3 号 p. 3_3-3_35

新屋 良磨

抽象化を用いた検証ツール

公開日: 2008/09/09 | 22 巻 1 号 p. 1_2-1_44

田辺 良則, 高井 利憲, 高橋 孝一

ソフトウェアメトリクスとデータ分析の基礎

公開日: 2011/09/26 | 28 巻 3 号 p. 3_12-3_28

阿萬 裕久, 野中 誠, 水野 修

組込みシステムにおけるソフトウェア障害の安全対策

公開日: 2013/03/05 | 30 巻 1 号 p. 1_119-1_129

松原 豊, 高田 広章