理学修士, 東京大学

博士（情報科学）, 早稲田大学

ソフトウェア基礎理論

セキュリティの形式検証

Formal Verification of Security

圏論

Category Theory

Formal Semantics

Algebraic Models

Fundamental Theories of Software

Security RE

Secure Systems Engineering

Requirements Engineering (Goal-Oriented RE in particular)

Formal Verification (Model Checking in particular)

Software Engineering

形式的意味論

代数モデル

セキュリティ要求分析

セキュアなシステムの開発手法

要求工学（特にゴール指向要求分析）

形式検証（特にモデル検査）

ソフトウェア工学

情報通信, ソフトウェア

2016年04月01日
電気通信大学 大学院情報理工学研究科, 准教授

2008年04月01日 - 2016年03月31日
電気通信大学 大学院情報システム学研究科, 准教授

2007年04月01日 - 2008年03月31日
国立情報学研究所, 特任准教授

2004年08月01日 - 2007年03月31日
国立情報学研究所, 特任助教授

2003年06月01日 - 2004年07月31日
国立情報学研究所, 科学研究支援員

2002年04月01日 - 2003年05月31日
（株）東芝 研究開発センター 知識メディアラボラトリー, 研究主務

2000年04月01日 - 2002年03月31日
（株）東芝 研究開発センター コンピュータ・ネットワークラボラトリー, 研究主務

1994年07月01日 - 2000年03月31日
（株）東芝 研究開発センター システムソフトウェア生産技術研究所, 研究主務

1994年04月01日 - 1994年06月30日
（株）東芝 研究開発センター システムソフトウェア生産技術研究所, 従業員

1991年05月01日 - 1994年03月31日
（株）東芝 システムソフトウェア技術研究所, 従業員

1989年04月 - 1991年03月
東京大学, 大学院 理学系研究科, 数学専攻

2021年04月 - 現在
情報システム技術委員会1号委員, 電気学会, 学協会

2019年04月 - 現在
実践的IT教育研究会 運営委員, 日本ソフトウェア科学会, 学協会

2018年04月01日 - 2022年03月31日
情報処理学会論文誌「数理モデル化と応用」編集委員, 情報処理学会, 学協会

2018年04月01日 - 2019年03月31日
実践的IT教育研究会 運営委員会 主査, 日本ソフトウェア科学会, 学協会

2012年04月01日 - 2016年03月31日
情報処理学会論文誌「数理モデル化と応用」編集委員, 情報処理学会, 学協会

2008年04月01日 - 2013年03月31日
情報処理学会ソフトウェア工学研究会運営委員, 情報処理学会, 学協会

受賞日 2025年02月
SMASH25 Winter Symposium
登山者の歩行能力を考慮したAttention機構による登山の到着時刻推定手法の提案
優秀賞, 浅古 瑞穂;田原 康之;大須賀 昭彦;清 雄一

受賞日 2023年11月
IEEE International Conference on Internet of Things and Intelligence Systems (IoTaIS)
Federated Learning Algorithm Handling Missing Attributes
IEEE International Conference on Internet of Things and Intelligence Systems (IoTaIS) Best Paper Award, Keiichiro Oishi;Yuichi Sei;Yasuyuki Tahara;Akihiko Ohsuga
国際学会・会議・シンポジウム等の賞

受賞日 2023年09月
合同エージェントワークショップ＆シンポジウム2023（JAWS2023）
擬人化タスクにおけるカラーパレットを用いた条件付き画像生成手法の挙動分析
奨励賞, 徐 江林;折原 良平;清 雄一;田原 康之;大須賀 昭彦
国内学会・会議・シンポジウム等の賞

受賞日 2023年09月
合同エージェントワークショップ＆シンポジウム2023（JAWS2023）
音声と3DMMに基づくマスクを除去した顔画像の推定
優秀賞, 赤塚 哲丸;折原 良平;清 雄一;田原 康之;大須賀 昭彦
国内学会・会議・シンポジウム等の賞

受賞日 2023年05月
JP生きがい振興財団
類似語を利用した複合語型隠語の検出
警察研究論文奨励賞「情報通信研究の部」最優秀賞, 羽田 拓朗;清 雄一;田原 康之;大須賀 昭彦
出版社・新聞社・財団等の賞

受賞日 2023年03月
第15回データ工学と情報マネジメントに関するフォーラム（DEIM2023）
深層強化学習を用いた文章の言い換えによる駄洒落生成モデルの検討
学生プレゼンテーション賞, 南 智仁;清 雄一;田原 康之;大須賀 昭彦
国内学会・会議・シンポジウム等の賞

受賞日 2023年01月
情報処理学会
送信ドメイン認証を用いた送信者レピュテーションの構築手法とフィードバックループの提案
情報処理学会論文誌ジャーナル/JIP特選論文, 櫻庭秀次;依田みなみ;清雄一;田原康之;大須賀昭彦
学会誌・学術雑誌による顕彰

受賞日 2022年12月
電子情報通信学会
l-多様性を満たすためのグルーピングとダミー追加を組み合わせたアルゴリズム
電子情報通信学会 人工知能と知識処理研究会 研究奨励賞, 大石慶一朗;清雄一;田原康之;大須賀昭彦

受賞日 2022年09月
日本ソフトウェア科学会、情報処理学会、人工知能学会、電子情報通信学会
類似語を利用した複合語型隠語の検出
SMASH22 (Symposium on Multi Agent Systems for Harmonization 2022) Summer Symposium 奨励賞, 羽田拓朗;清雄一;田原康之;大須賀昭彦
国内学会・会議・シンポジウム等の賞

受賞日 2022年09月
情報処理学会ソフトウェア工学研究会, ソフトウェア工学に関するトップジャーナルやトップカンファレンスへのチャレンジを奨励するため，それらに掲載された論文に授与する．本論文はトップジャーナルである IEEE Transactions on Software Engineering に掲載された．
Towards scalable model checking of reflective systems via labeled transition systems
卓越研究賞, 鄭 顕志,田原 康之,大須賀 昭彦
国内学会・会議・シンポジウム等の賞, 日本国

受賞日 2022年07月
情報処理学会
組込みシステム向け障害解析環境の効率改善
情報処理学会 2022年度山下記念研究賞, 長野岳彦;小口琢夫;吉岡信和;田原康之;大須賀昭彦
国内学会・会議・シンポジウム等の賞

受賞日 2022年02月
電子情報通信学会
深層学習による汎用性の高いピアノリダクション自動生成技術
電子情報通信学会 人工知能と知識処理研究会 研究奨励賞, 星雄輝;折原良平;清雄一;田原康之;大須賀昭彦

受賞日 2022年02月
日本ソフトウェア科学会、情報処理学会、人工知能学会、電子情報通信学会
人の存在確率を考慮した位置情報プライバシ保護手法の提案
SMASH22 (Symposium on Multi Agent Systems for Harmonization 2022) Winter Symposium 準優秀賞, 石禾里帆;清雄一;田原康之;大須賀昭彦

受賞日 2021年09月
日本ソフトウェア科学会，電子情報通信学会，情報処理学会，人工知能学会，IEEE CS
深層学習による汎用性を考慮したピアノリダクションの自動生成
SMASH21 (Symposium on Multi Agent Systems for Harmonization 2021) Summer Symposium 奨励賞, 星雄輝;折原良平;清雄一;田原康之;大須賀昭彦
国内学会・会議・シンポジウム等の賞

受賞日 2021年09月
日本ソフトウェア科学会，電子情報通信学会，情報処理学会，人工知能学会，IEEE CS
ファインチューニングを利用した少量音声からの韻律転送の試み
SMASH21 (Symposium on Multi Agent Systems for Harmonization 2021) Summer Symposium 奨励賞, 徳島大河;折原良平;清雄一;田原康之;大須賀昭彦
国内学会・会議・シンポジウム等の賞

受賞日 2021年09月
情報処理学会
組込みシステム向け障害解析環境の効率改善
第32回コンシューマ・デバイス＆システム（CDS）研究会 優秀発表賞, 長野岳彦;小口琢夫;吉岡信和;田原康之;大須賀昭彦
国内学会・会議・シンポジウム等の賞

受賞日 2021年06月
Codewords Detection in Microblogs Focusing on Differences in Word Use Between Two Corpora, 3rd IEEE International Conference on Computing, Electronics & Communications Engineering (iCCECE)
JP生きがい振興財団警察研究論文奨励賞, 羽田拓朗;清雄一;田原康之;大須賀昭彦

受賞日 2020年09月
日本ソフトウェア科学会，電子情報通信学会，情報処理学会，人工知能学会，IEEE CS
次元間の関係に着目したドメインオントロジーに基づく異種データ間の関連性発見
SMASH20 (Symposium on Multi Agent Systems for Harmonization 2020) Summer Symposium ベストプレゼンテーション賞, 塚越雄登;江上周作;清雄一;田原康之;大須賀昭彦
国内学会・会議・シンポジウム等の賞

受賞日 2020年09月
日本ソフトウェア科学会，電子情報通信学会，情報処理学会，人工知能学会，IEEE CS
次元間の関係に着目したドメインオントロジーに基づく異種データ間の関連性発見
SMASH20 (Symposium on Multi Agent Systems for Harmonization 2020) Summer Symposium 学生奨励賞, 塚越雄登;江上周作;清雄一;田原康之;大須賀昭彦
国内学会・会議・シンポジウム等の賞

受賞日 2020年09月
日本ソフトウェア科学会，電子情報通信学会，情報処理学会，人工知能学会，IEEE CS
IoT環境における機械学習のポイズニング攻撃に対して攻撃を逆利用した防御手法
SMASH20 (Symposium on Multi Agent Systems for Harmonization 2020) Summer Symposium ベストプレゼンテーション賞, 千葉智樹;清雄一;田原康之;大須賀昭彦
国内学会・会議・シンポジウム等の賞

受賞日 2020年09月
日本ソフトウェア科学会，電子情報通信学会，情報処理学会，人工知能学会，IEEE CS
IoT環境における機械学習のポイズニング攻撃に対して攻撃を逆利用した防御手法
SMASH20 (Symposium on Multi Agent Systems for Harmonization 2020) Summer Symposium 学生奨励賞, 千葉智樹;清雄一;田原康之;大須賀昭彦
国内学会・会議・シンポジウム等の賞

受賞日 2019年10月
情報処理学会
Linked Dataを用いた俯瞰的な多肢選択式問題自動生成手法の提案
情報処理学会論 文誌ジャーナル/JIP特選論文, 奥原史佳;清雄一;田原康之;大須賀昭彦
学会誌・学術雑誌による顕彰

受賞日 2019年02月
日本ソフトウェア科学会
学内駐輪環境に関するナレッジグラフ生成と欠損推定手法適用の試み
マルチエージェントと協調計算研究会 (MACC) 最優秀発表賞, 塚越雄登;川村隆浩;清雄一;田原康之;大須賀昭彦
国内学会・会議・シンポジウム等の賞

受賞日 2018年12月
電子情報通信学会
2次元迷路課題における進化的計算を利用したマルチタスク深層強化学習
人工知能と知識処理研究会 研究奨励賞, 今井翔太;清雄一;田原康之;大須賀昭彦
国内学会・会議・シンポジウム等の賞

受賞日 2018年09月
日本ソフトウェア科学会，電子情報通信学会，情報処理学会，人工知能学会，IEEE CS
Linked Dataを用いたカリキュラムベースの多肢選択式問題自動生成手法の提案
第17回 合同エージェントワークショップ＆シンポジウム2018 (JAWS2018) 学生奨励賞, 奥原史佳;清雄一;田原康之;大須賀昭彦
国内学会・会議・シンポジウム等の賞

受賞日 2018年09月
日本ソフトウェア科学会，電子情報通信学会，情報処理学会，人工知能学会，IEEE CS
サッカーのパス網分析における中心性測定の新指標
第17回 合同エージェントワークショップ＆シンポジウム2018 (JAWS2018) 学生奨励賞, 神畠正稔;折原良平;清雄一;田原康之;大須賀昭彦
国内学会・会議・シンポジウム等の賞

受賞日 2018年02月
日本ソフトウェア科学会
パーチェス法を用いたエージェントシミュレーションによる金融機関の合併に関するシステミックリスクへの影響分析
マルチエージェントと協調計算研究会 (MACC) 最優秀発表賞, 加藤秀紀;清雄一;田原康之;大須賀昭彦
国内学会・会議・シンポジウム等の賞

受賞日 2017年09月
日本ソフトウェア科学会
モデル検査による設計検証
第6回解説論文賞, 吉岡 信和;田辺 良則;田原 康之;長谷川 哲夫;磯部 祥尚
学会誌・学術雑誌による顕彰

受賞日 2016年12月
日本ソフトウェア科学会
シンスライシングを用いたWEB アプリのための設定ファイル参照ミス検知手法の試作と評価
ソフトウェア工学の基礎ワークショップ (FOSE2016) 貢献賞(ショートペーパー部門), 依田みなみ;清雄一;田原康之;大須賀昭彦
国内学会・会議・シンポジウム等の賞

受賞日 2016年09月
日本ソフトウェア科学会，電子情報通信学会，情報処理学会，人工知能学会，IEEE CS
オートエンコーダを利用した複数話者の声質変換
第15回 合同エージェントワークショップ＆シンポジウム2016 (JAWS2016) 優良論文賞, 関井祐介;折原良平;小島圭介;清雄一;田原康之;大須賀昭彦
国内学会・会議・シンポジウム等の賞

受賞日 2016年09月
日本ソフトウェア科学会，電子情報通信学会，情報処理学会，人工知能学会，IEEE CS
文字レベル深層学習による日本語テキストの分類と転移学習
第15回 合同エージェントワークショップ＆シンポジウム2016 (JAWS2016) 優秀発表賞, 佐藤挙斗;折原良平;清雄一;田原康之;大須賀昭彦
国内学会・会議・シンポジウム等の賞

受賞日 2016年09月
日本ソフトウェア科学会，電子情報通信学会，情報処理学会，人工知能学会，IEEE CS
家庭におけるペット-ロボットインタラクション □ロボットの世話行動による犬の行動変化の調査□
第15回 合同エージェントワークショップ＆シンポジウム2016 (JAWS2016) 優秀発表賞, 鈴木もとこ;清雄一;田原康之;大須賀昭彦
国内学会・会議・シンポジウム等の賞

受賞日 2016年09月
日本ソフトウェア科学会，電子情報通信学会，情報処理学会，人工知能学会，IEEE CS
Linked Dataによる楽曲特徴量の収集・分析基盤の構築
第15回 合同エージェントワークショップ＆シンポジウム2016 (JAWS2016) 優秀発表賞, 上原有里;川村隆浩;江上周作;清雄一;田原康之;大須賀昭彦
国内学会・会議・シンポジウム等の賞

受賞日 2016年09月
日本ソフトウェア科学会，電子情報通信学会，情報処理学会，人工知能学会，IEEE CS
オンラインレビューサイトにおけるレビュー解析精度向上に向けた皮肉文判別
第15回 合同エージェントワークショップ＆シンポジウム2016 (JAWS2016) 奨励論文賞, 鈴木翔太;折原良平;清雄一;田原康之;大須賀昭彦
国内学会・会議・シンポジウム等の賞

受賞日 2016年09月
日本ソフトウェア科学会，電子情報通信学会，情報処理学会，人工知能学会，IEEE CS
オートエンコーダを利用した複数話者の声質変換
第15回 合同エージェントワークショップ＆シンポジウム2016 (JAWS2016) 優秀発表賞, 関井祐介;折原良平;小島圭介;清雄一;田原康之;大須賀昭彦
国内学会・会議・シンポジウム等の賞

受賞日 2016年09月
日本ソフトウェア科学会，電子情報通信学会，情報処理学会，人工知能学会，IEEE CS
家庭におけるペット-ロボットインタラクション □ロボットの世話行動による犬の行動変化の調査□
第15回 合同エージェントワークショップ＆シンポジウム2016 (JAWS2016) 優良論文賞, 鈴木もとこ;清雄一;田原康之;大須賀昭彦
国内学会・会議・シンポジウム等の賞

受賞日 2016年07月
情報処理学会
家庭におけるペット□ロボットインタラクション □ロボットは犬の世話をすることができるのか□
マルチメディア、分散、協調とモバイル（DICOMO2016）シンポジウム優秀プレゼンテーション賞, 鈴木もとこ;清雄一;田原康之;大須賀昭彦
国内学会・会議・シンポジウム等の賞

受賞日 2016年03月
放置自転車LOD
Linked Open Data Challenge Japan 2015 データセット部門 最優秀賞, 江上周作;川村隆浩;清雄一;田原康之;大須賀昭彦
出版社・新聞社・財団等の賞

受賞日 2016年03月
電子情報通信学会
ゴール指向洗練パターン駆動によるユースケースモデリング
電子情報通信学会論文誌 学生論文特集秀逸論文, 本田耕三;平山秀昭;中川博之;田原康之;大須賀昭彦
学会誌・学術雑誌による顕彰

受賞日 2015年11月
10th International Conference on Software Engineering Advances (ICSEA2015) Best Paper Award, 長野岳彦;芹沢一;吉岡信和;田原康之;大須賀昭彦
国際学会・会議・シンポジウム等の賞

受賞日 2015年10月
日本ソフトウェア科学会，電子情報通信学会，情報処理学会，人工知能学会，IEEE CS
投票行動時系列データ解析に基づく意思決定戦略の分析
第14回 合同エージェントワークショップ＆シンポジウム2015 (JAWS2015) 奨励賞, 樋口尚吾;折原良平;清雄一;田原康之;大須賀昭彦
国内学会・会議・シンポジウム等の賞

受賞日 2015年10月
日本ソフトウェア科学会，電子情報通信学会，情報処理学会，人工知能学会，IEEE CS
Twitterにおけるミスコミュニケーションの解消に向けて -ユーザの期待する反応に応じたツイート分類-
第14回 合同エージェントワークショップ＆シンポジウム2015 (JAWS2015) 奨励賞, 植田智明;折原良平;清雄一;田原康之;大須賀昭彦
国内学会・会議・シンポジウム等の賞

受賞日 2014年11月
The 4th Joint International Semantic Technology Conference (JIST2014) Best Poster Award, 横尾亮平;川村隆浩;清雄一;田原康之;大須賀昭彦
国際学会・会議・シンポジウム等の賞

受賞日 2013年11月
The 3rd Joint International Semantic Technology Conference JIST2013) Best Poster & Demo Award, 田代和浩;川村隆浩;清雄一;中川博之;田原康之;大須賀昭彦
国際学会・会議・シンポジウム等の賞

受賞日 2013年03月
情報処理学会
テンプレートを用いた法的要求抽出・モデリングの実現に向けて
情報処理学会 第179回ソフトウェア工学研究会 学生研究賞, 吉田豊;中川博之;田原康之;大須賀昭彦
国内学会・会議・シンポジウム等の賞

受賞日 2012年10月
日本ソフトウェア科学会，電子情報通信学会，情報処理学会，人工知能学会，IEEE CS
CRFを用いたメディア情報の抽出とLinked Data化 □ソーシャルメディアとマスメディアの比較事例□
第11回 合同エージェントワークショップ＆シンポジウム2012 (JAWS2012) 学生優秀論文賞, 越川兼地;川村隆浩;中川博之;田原康之;大須賀昭彦
国内学会・会議・シンポジウム等の賞

受賞日 2011年11月
International Conference on Network Technologies Communications (NTC 2011) Best Student Paper Award, 浜本一知;田原康之;大須賀昭彦
国際学会・会議・シンポジウム等の賞

受賞日 2010年10月
日本ソフトウェア科学会，電子情報通信学会，情報処理学会，人工知能学会，IEEE CS
携帯端末上での拡張現実を用いた植物推薦エージェント
第9回 合同エージェントワークショップ＆シンポジウム2010(JAWS10)ベストポスター賞, 三代謙仁;川村隆浩;中川博之;田原康之;大須賀昭彦
国内学会・会議・シンポジウム等の賞

受賞日 2010年10月
日本ソフトウェア科学会，電子情報通信学会，情報処理学会，人工知能学会，IEEE CS
教師あり学習を用いたレビューサイトからの意見抽出
第9回 合同エージェントワークショップ＆シンポジウム2010(JAWS10)学生奨励賞, 田中俊行;グェンミンティ;中川博之;田原康之;大須賀昭彦
国内学会・会議・シンポジウム等の賞

受賞日 2009年10月
情報処理学会、日本ソフトウェア科学会、電子情報通信学会、人工知能学会 共催
自律システム実現に向けたアーキテクチャの構築
第8回 合同エージェントワークショップ＆シンポジウム2009(JAWS09)優秀論文賞, 西村一彦;中川博之;中山健;田原康之;大須賀昭彦
国内学会・会議・シンポジウム等の賞

A Model-Based Approach for Designing and Validating ABAC Policies
Duc-Hieu Nguyen; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
Software Engineering and Management: Theory and Applications. Studies in Computational Intelligence, Springer Nature Switzerland, 1193巻, 掲載ページ 19-36, 出版日 2025年04月27日
論文集(書籍)内論文

Using LLM-Based Deep Reinforcement Learning Agents to Detect Bugs in Web Applications
Yuki Sakai; Yasuyuki Tahara; Akihiko Ohsuga; Yuichi Sei
Proceedings of the 17th International Conference on Agents and Artificial Intelligence, SCITEPRESS - Science and Technology Publications, 掲載ページ 1001-1008, 出版日 2025年02月, 査読付
研究論文（国際会議プロシーディングス）

Punish the Pun-ish: Enhancing Text-to-Pun Generation with Synthetic Data from Supervised Fine-tuned Models
Tomohito Minami; Ryohei Orihara; Yasuyuki Tahara; Akihiko Ohsuga; Yuichi Sei
Proceedings of the 17th International Conference on Agents and Artificial Intelligence, SCITEPRESS - Science and Technology Publications, 掲載ページ 1093-1100, 出版日 2025年02月, 査読付
研究論文（国際会議プロシーディングス）

Proposal of an Automated Testing Method for GraphQL APIs Using Reinforcement Learning
Kenzaburo Saito; Yasuyuki Tahara; Akihiko Ohsuga; Yuichi Sei
Proceedings of the 17th International Conference on Agents and Artificial Intelligence, SCITEPRESS - Science and Technology Publications, 掲載ページ 1101-1107, 出版日 2025年02月, 査読付
研究論文（国際会議プロシーディングス）

Fish Catch Prediction by Combining Fishing, Weather and Tidal Data
Tomohiro Tanaka; Yasuyuki Tahara; Akihiko Ohsuga; Yuichi Sei
Proceedings of the 17th International Conference on Agents and Artificial Intelligence, SCITEPRESS - Science and Technology Publications, 掲載ページ 1108-1115, 出版日 2025年02月, 査読付
研究論文（国際会議プロシーディングス）

Efficient Models Deep Reinforcement Learning for NetHack Strategies
Yasuhiro Onuki; Yasuyuki Tahara; Akihiko Ohsuga; Yuichi Sei
Proceedings of the 17th International Conference on Agents and Artificial Intelligence, SCITEPRESS - Science and Technology Publications, 掲載ページ 556-563, 出版日 2025年02月, 査読付
研究論文（国際会議プロシーディングス）

ASPERA: Exploring Multimodal Action Recognition in Football Through Video, Audio, and Commentary
Takane Kumakura; Ryohei Orihara; Yasuyuki Tahara; Akihiko Ohsuga; Yuichi Sei
Proceedings of the 17th International Conference on Agents and Artificial Intelligence, SCITEPRESS - Science and Technology Publications, 掲載ページ 646-657, 出版日 2025年02月, 査読付
研究論文（国際会議プロシーディングス）

Toward a Pattern-Based Comprehensive Framework Using Process Mining for RBAC Conformance Checks
Duc-Hieu Nguyen; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
International Journal of Software Engineering and Knowledge Engineering, World Scientific Pub Co Pte Ltd, 35巻, 02号, 掲載ページ 157-194, 出版日 2025年01月06日, 査読付, Event logs often record the execution of business process instances. Detecting traces in the event logs that do not comply with access control policies, such as role-based access control (RBAC) policies, is essential to ensuring system security. Moreover, process mining has been extensively utilized for security analysis in recent years. However, pattern-based approaches for designing and analyzing RBAC policies in the context of business processes through process mining are notably absent. In this paper, we present a systematic framework for checking the conformance of RBAC implemented in the event logs of business processes with the RBAC policies specified in domain knowledge. To facilitate the representation of the RBAC policies derived from the domain knowledge, we employ an RBAC domain-specific language (DSL) combined with our RBAC-driven object constraint language (OCL) invariant patterns built from the various types of RBAC constraints. The implemented RBAC in an event log is represented as snapshots within our framework. Then, we validate the snapshots with the RBAC policies to be able to detect RBAC conformance issues. The proposed framework is experimented with and evaluated on two business process logs, one simulated log and one real-world event log named “BPI Challenge 2017”.
研究論文（学術雑誌）

単語の関連性に着目した複合語型隠語の検出
羽田 拓朗; 清 雄一; 田原 康之; 大須賀 昭彦
情報処理学会論文誌, 65巻, 12号, 掲載ページ 1735-1748, 出版日 2024年12月15日, 査読付
研究論文（学術雑誌）

Deep Learning-Based Travel Time Estimation in Hiking with Consideration of Individual Walking Ability
Mizuho Asako; Yasuyuki Tahara; Akihiko Ohsuga; Yuichi Sei
Cybernetics and Information Technologies, Walter de Gruyter GmbH, 24巻, 4号, 掲載ページ 3-21, 出版日 2024年12月01日, 査読付, Abstract

Hiking is popular, but mountain accidents are serious problems. Accurately predicting hiking travel time is an essential factor in preventing mountain accidents. However, it is challenging to accurately reflect individual hiking ability and the effects of fatigue in travel time estimation. Therefore, this study proposes a deep learning model, “HikingTTE”, for estimating arrival times when hiking. HikingTTE estimates hiking travel time by considering complex factors such as individual hiking ability, changes in walking pace, terrain, and elevation. The proposed model achieved significantly higher accuracy than existing hiking travel time estimation methods based on the relation between slope and speed. Furthermore, HikingTTE demonstrated higher accuracy in predicting hiking arrival times than a deep learning model originally developed to estimate taxi arrival times. The source code of HikingTTE is available on github for future development of the travel time estimation task.
研究論文（学術雑誌）

Automatic Question Generation with Knowledge Graph for Panoramic Learning
Fumika Okuhara; Shusaku Egami; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
Proceedings of the 21st International Conference on Information Technology Based Higher Education and Training (ITHET 2024), IEEE, 掲載ページ 1-7, 出版日 2024年11月06日, 査読付
研究論文（国際会議プロシーディングス）

事前学習済み大規模画像生成モデルを用いた中空構造アイコン線画彩色,
宮内 洸希; 折原 良平; 清 雄一; 田原 康之; 大須賀 昭彦
人工知能学会論文誌, 出版日 2024年11月, 査読付
研究論文（学術雑誌）

グラフニューラルネットワークを用いたコンテンツ推薦における知識表現の実証分析
齋藤 悠貴; 江上 周作; 清 雄一; 田原 康之; 大須賀 昭彦
人工知能学会論文誌, 出版日 2024年11月, 査読付
研究論文（学術雑誌）

YODA: Middleware for Improving Setup and Preprocessing in Static Analysis of IoT Firmware
Minami YODA; Shigeo NAKAMURA; Yutaka MATSUNO; Yuichi SEI; Yasuyuki TAHARA; Akihiko OHSUGA
2024 16th IIAI International Congress on Advanced Applied Informatics (IIAI-AAI), IEEE, 117巻, 掲載ページ 1-8, 出版日 2024年07月06日, 査読付
研究論文（国際会議プロシーディングス）

A Model-Driven Approach for Designing and Validation of ABAC Policies
Duc-Hieu Nguyen; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
Proceedings of the 22nd IEEE/ACIS International Conference on Software Engineering Research, Management and Applications (SERA 2024), to appear巻, 出版日 2024年05月, 査読付
研究論文（国際会議プロシーディングス）

The Proposal of Countermeasures for DeepFake Voices on Social Media Considering Waveform and Text Embedding
Yuta Yanagi; Ryohei Orihara; Yasuyuki Tahara; Yuichi Sei; Tanel Alumäe; Akihiko Ohsuga
Annals of Emerging Technologies in Computing, 8巻, 2号, 掲載ページ 15-31, 出版日 2024年04月, 査読付, 国際誌, 国際共著論文
研究論文（学術雑誌）

Minimizing Noise in Location Privacy Protection Through Equipment Error Consideration
Riho Isawa; Yuicih Sei; Yasuyuki Tahara; Akihiko Ohsuga
International Journal of Electrical and Computer Engineering Systems, 15巻, 3号, 掲載ページ 285-296, 出版日 2024年03月, 査読付, 国際誌
研究論文（学術雑誌）

Proposal of a Cosmetic Product Recommendation Method with Review Text that is Predicted to Be Write by Users.
Natsumi Baba; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
ICAART (3), 掲載ページ 609-616, 出版日 2024年02月, 査読付
研究論文（国際会議プロシーディングス）

An Analysis of Knowledge Representation for Anime Recommendation Using Graph Neural Networks.
Yuki Saito; Shusaku Egami; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
ICAART (2), 掲載ページ 243-252, 出版日 2024年02月, 査読付
研究論文（国際会議プロシーディングス）

Algorithm to Satisfy l-diversity by Combining Dummy Records and Grouping
Keiichiro Oishi; Yuichi Sei; Andrew J; Yasuyuki Tahara; Akihiko Ohsuga
Security and Privacy, 出版日 2024年02月, 査読付, 国際誌, 国際共著論文
研究論文（学術雑誌）

StyleMap を用いた事前学習済み StyleGAN による画像編集
本田 爽; 折原 良平; 清 雄一; 田原 康之; 大須賀 昭彦
情報処理学会論文誌, 情報処理学会, 65巻, 1号, 出版日 2024年01月, 査読付
日本語

少数サンプルから多様なゲームステージを生成するGANの学習手法の提案
高田 宗一郎; 清 雄一; 田原 康之; 大須賀 昭彦
情報処理学会論文誌, 情報処理学会, 65巻, 1号, 出版日 2024年01月, 査読付
日本語

セマンティックセグメンテーションを利用した GAN Inversion による背景画像の編集手法の提案
石幡 柊介; 折原 良平; 清 雄一; 田原 康之; 大須賀 昭彦
情報処理学会論文誌, 情報処理学会, 65巻, 1号, 出版日 2024年01月, 査読付
日本語

サッカーにおけるポジショニングの修正を行う遺伝的アルゴリズムモデルの提案
神宮司 祐哉; 清 雄一; 田原 康之; 大須賀 昭彦
情報処理学会論文誌, 情報処理学会, 65巻, 1号, 出版日 2024年01月, 査読付
日本語

Data-driven OCL Invariant Patterns-based Process Model Exploration for Process Mining
Duc-Hieu Nguyen; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, 出版日 2023年12月, 査読付

A Scalable Middleware for IoT Vulnerability Detection
Minami Yoda; Shigeo Nakamura; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, 出版日 2023年12月, 査読付

Federated Learning Algorithm Handling Missing Attributes
Keiichiro Oishi; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
6th IEEE International Conference on Internet of Things and Intelligence Systems (IoTaIS), 掲載ページ 146-151, 出版日 2023年11月, 査読付
研究論文（国際会議プロシーディングス）

A Middleware to Improve Analysis Coverage in IoT Vulnerability Detection
Minami Yoda; Shigeo Nakamura; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
6th IEEE International Conference on Internet of Things and Intelligence Systems (IoTaIS), 掲載ページ 103-107, 出版日 2023年11月, 査読付
研究論文（国際会議プロシーディングス）

Estimation of Unmasked Face Images Based on Voice and 3DMM
Tetsumaru Akatsuka; Ryohei Orihara; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
25th Australasian Joint Conference on Artificial Intelligence (AJCAI 2023), to appear, 掲載ページ 239-251, 出版日 2023年11月, 査読付
研究論文（国際会議プロシーディングス）, 英語

Towards scalable model checking of reflective systems via labeled transition systems
Kenji Tei; Yasuyuki Tahara; Akihiko Ohsuga
IEEE Transactions on Software Engineering, 49巻, 3号, 掲載ページ 1299-1322, 出版日 2023年03月, 査読付
研究論文（学術雑誌）, 英語

A k-Anonymization Method for Social Network Data with Link Prediction
Risa Sugai; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
Proceedings of the 9th International Conference on Information Systems Security and Privacy, SCITEPRESS - Science and Technology Publications, 掲載ページ 493-500, 出版日 2023年02月, 査読付
研究論文（国際会議プロシーディングス）

Rumor Detection in Tweets Using Graph Convolutional Networks
Takumi Takei; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
Proceedings of the 15th International Conference on Agents and Artificial Intelligence, SCITEPRESS - Science and Technology Publications, 掲載ページ 397-404, 出版日 2023年02月, 査読付
研究論文（国際会議プロシーディングス）

GAN Inversion with Editable StyleMap
So Honda; Ryohei Orihara; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
Proceedings of the 15th International Conference on Agents and Artificial Intelligence, SCITEPRESS - Science and Technology Publications, 掲載ページ 389-396, 出版日 2023年02月, 査読付
研究論文（国際会議プロシーディングス）

Diverse Level Generation for Tile-Based Video Game using Generative Adversarial Networks from Few Samples
Soichiro Takata; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
Proceedings of the 15th International Conference on Agents and Artificial Intelligence, SCITEPRESS - Science and Technology Publications, 掲載ページ 326-333, 出版日 2023年02月, 査読付
研究論文（国際会議プロシーディングス）

Proposal of a Signal Control Method Using Deep Reinforcement Learning with Pedestrian Traffic Flow
Akimasa Murata; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
Proceedings of the 15th International Conference on Agents and Artificial Intelligence, SCITEPRESS - Science and Technology Publications, 掲載ページ 319-325, 出版日 2023年02月, 査読付
研究論文（国際会議プロシーディングス）

Background Image Editing with HyperStyle and Semantic Segmentation
Syuusuke Ishihata; Ryohei Orihara; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
Proceedings of the 15th International Conference on Agents and Artificial Intelligence, SCITEPRESS - Science and Technology Publications, 掲載ページ 293-300, 出版日 2023年02月, 査読付
研究論文（国際会議プロシーディングス）

Predicting Visual Importance of Mobile UI Using Semantic Segmentation
Ami Yamamoto; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
Proceedings of the 15th International Conference on Agents and Artificial Intelligence, SCITEPRESS - Science and Technology Publications, 掲載ページ 260-266, 出版日 2023年02月, 査読付
研究論文（国際会議プロシーディングス）

Generation of Facial Images Reflecting Speaker Attributes and Emotions Based on Voice Input
Kotaro Koseki; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
Proceedings of the 15th International Conference on Agents and Artificial Intelligence, SCITEPRESS - Science and Technology Publications, 掲載ページ 99-105, 出版日 2023年02月, 査読付
研究論文（国際会議プロシーディングス）

Detection of Compound-Type Dark Jargons Using Similar Words
Takuro Hada; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
Proceedings of the 15th International Conference on Agents and Artificial Intelligence, SCITEPRESS - Science and Technology Publications, 掲載ページ 427-437, 出版日 2023年02月, 査読付
研究論文（国際会議プロシーディングス）

送信ドメイン認証を用いた送信者レピュテーションの構築手法とフィードバックループの提案
櫻庭 秀次; 依田 みなみ; 清 雄一; 田原 康之; 大須賀 昭彦
情報処理学会論文誌, 情報処理学会, 64巻, 1号, 掲載ページ 13-23, 出版日 2023年01月15日, 迷惑メール対策を目的として，送信ドメイン認証技術を用いた送信者レピュテーションの構築手法とフィードバックループについて提案する．送信者レピュテーションは，メールの送信元情報を用いて受け取りを判断するための情報であるが，その中で受け取るべき正規のメール送信元を収集することは簡単ではない．本論文では，転送メールの送信サーバが正規のメール送信元と考え，転送メールをメール受信時に送信ドメイン認証の結果を用いて判断する手法を示す．この転送メールの判断手法には課題が残っており，メール転送時に送信元情報を書き換える転送メールについては判断できない．本論文では，送信ドメイン認証の結果を用いて，メール転送時に送信元情報を書き換える転送メールについても判断できる手法を追加した，送信者レピュテーションの構築手法について示す．また送信者レピュテーションは，正規のメール送信元から送信される迷惑メールに対応できないという課題がある．この課題を改善するためには，迷惑メールの受信側からメールの送信元へ通知を行うフィードバックループが有効である．本論文では，通知の信頼性を向上させるために送信ドメイン認証を利用する手法を示す．送信者レピュテーションの構築手法の有効性を評価するために，実際のメールサービスでの受信記録情報を用いて適用し，より多くの受け取るべきメールを判定できることを示した．これらの手法により，迷惑メール対策において必要なメールがより確実に届き，送信者レピュテーションを悪用する正規のメールサーバの不正利用を改善することが可能となる．
We propose a sender reputation construction method and feedback loop using sender authentication technology for the purpose of preventing unsolicited emails. Sender reputation is information for judging receipt by using the sender information of mail, but it is not easy to collect the legitimate mail sender to be received in it. In this paper, the sender of the forwarded email is considered to be the legitimate email sender. We show a method to judge forwarded mail by using the result of sender authentication when receiving mail. There are still issues with this method of determining forwarded mail, and it is not possible to judge forwarded mail that rewrites the sender information when forwarding mail. In this paper, we show a method of constructing sender reputation by adding a method that can judge forwarded mail that rewrites the sender information at the time of mail forwarding by using the result of sender authentication. In addition, sender reputation has the problem that it cannot handle unsolicited emails sent from legitimate email sources. In order to improve this problem, a feedback loop that notifies the sender of the email from the receiver of the junk email is effective. In this paper, we show a method that uses sender authentication to improve the reliability of notifications. In order to evaluate the effectiveness of the sender reputation construction method, we applied it using the reception record information of the actual mail service, and showed that more mails to be received can be determined. With these methods, it is possible to more reliably receive the emails necessary for anti-spam measures, and to improve the unauthorized use of legitimate mail servers that abuse sender reputation.
日本語

Inspection of The Classifying Performance of The Deepfake Voices by The Latest Text-to-Speech Models
Yuta Yanagi; Ryohei Orihara; Yasuyuki Tahara; Yuichi Sei; Tanel Alumäe; Akihoko Ohsuga
2nd Interdisciplinary Conference on Mechanics, Computers and Electrics (ICMCE), 1巻, 掲載ページ ---, 出版日 2022年10月, 査読付
研究論文（国際会議プロシーディングス）, 英語

Proposal of middleware to support the development of IoT firmware analysis tools
Minami Yoda; Shuji Sakuraba; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
14th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE), Springer, 1巻, 掲載ページ ---, 出版日 2022年08月, 査読付
研究論文（国際会議プロシーディングス）, 英語

Detection of Plaintext Login Information in Firmware
Minami Yoda; Shuji Sakuraba; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
Proc. IEEE International Conference on Consumer Electronics – Taiwan (ICCE-TW 2022), IEEE, ICCE-TW2022巻, 掲載ページ 523-524, 出版日 2022年07月, 査読付
研究論文（国際会議プロシーディングス）, 英語

組込みシステム向け障害解析環境の効率改善
長野岳彦; 小口琢夫; 吉岡信和; 田原康之; 大須賀昭彦
情報処理学会論文誌：コンシューマ・デバイス＆システム, 12巻, 2号, 出版日 2022年05月, 査読付
研究論文（学術雑誌）, 日本語

Step-by-Step Acquisition of Cooperative Behavior in Soccer Task
Takashi Abe; Ryohei Orihara; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
Journal of Advances in Information Technology, 13巻, 2号, 掲載ページ 147-154, 出版日 2022年02月, 査読付
研究論文（学術雑誌）, 英語

コーパス間の類似語の差異に着目したマイクロブログにおける隠語検出
羽田拓朗; 清雄一; 田原康之; 大須賀昭彦
電気学会論文誌C, 142巻, 2号, 掲載ページ 177-189, 出版日 2022年02月, 査読付
研究論文（学術雑誌）, 日本語

Versatile Automatic Piano Reduction Generation System by Deep Learning
Yuki Hoshi; Ryohei Orihara; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
2nd International Conference on Advanced Research in Computing (ICARC), 1巻, 掲載ページ 67-71, 出版日 2022年02月, 査読付
研究論文（国際会議プロシーディングス）, 英語

Prosody Transfer from a Small Amount of Voice using Fine Tuning,
Taiga Tokushima; Ryohei Orihara; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
2nd International Conference on Advanced Research in Computing (ICARC), 1巻, 掲載ページ 37-42, 出版日 2022年02月, 査読付
研究論文（国際会議プロシーディングス）, 英語

Detecting Hardcoded Login Information from User Input
Minami Yoda; Shuji Sakuraba; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
40th IEEE International Conference on Consumer Electronics (ICCE), IEEE, 1巻, 掲載ページ 104-105, 出版日 2022年01月, 査読付
研究論文（国際会議プロシーディングス）, 英語

Improvement of Legitimate Mail Server Detection Method using Sender Authentication
Shuji Sakuraba; Minami Yoda; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
Proc. 18th IEEE/ACIS International Conference on Software Engineering, Management and Applications (SERA2021), SERA2021巻, 掲載ページ 10-14, 出版日 2021年06月, 査読付
研究論文（国際会議プロシーディングス）, 英語

キャンパスオントロジーに基づく異種データ間の相関検出
塚越雄登; 江上周作; 清雄一; 田原康之; 大須賀昭彦
電気学会論文誌C, 141巻, 11号, 掲載ページ 1222-1233, 出版日 2021年06月, 査読付
研究論文（学術雑誌）, 日本語

A Countermeasure Method Using Poisonous Data Against Poisoning Attacks on IoT Machine Learning
Tomoki Chiba; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
International Journal of Semantic Computing, 15巻, 2号, 掲載ページ 215-240, 出版日 2021年06月, 査読付
研究論文（学術雑誌）, 英語

送信ドメイン認証を用いた送信者レピュテーション構築手法の提案
櫻庭秀次; 依田みなみ; 清雄一; 田原康之; 大須賀昭彦
情報処理学会論文誌, 62巻, 5号, 掲載ページ 1173-1183, 出版日 2021年05月, 査読付
研究論文（学術雑誌）, 日本語

Codeword Detection Focusing on Differences in Similar Words Between Two Corpora of Microblogs
Takuro Hada; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
Annals of Emerging Technologies in Computing (AETiC), International Association for Educators and Researchers (IAER), 5巻, 2号, 掲載ページ 90-102, 出版日 2021年04月, 査読付, Recently, the use of microblogs in drug trafficking has surged and become a social problem. A common method applied by cyber patrols to repress crimes, such as drug trafficking, involves searching for crime-related keywords. However, criminals who post crime-inducing messages maximally exploit “codewords” rather than keywords, such as enjo kosai, marijuana, and methamphetamine, to camouflage their criminal intentions. Research suggests that these codewords change once they gain popularity; thus, effective codeword detection requires significant effort to keep track of the latest codewords. In this study, we focused on the appearance of codewords and those likely to be included in incriminating posts to detect codewords with a high likelihood of inclusion in incriminating posts. We proposed new methods for detecting codewords based on differences in word usage and conducted experiments on concealed-word detection to evaluate the effectiveness of the method. The results showed that the proposed method could detect concealed words other than those in the initial list and to a better degree than the baseline methods. These findings demonstrated the ability of the proposed method to rapidly and automatically detect codewords that change over time and blog posts that instigate crimes, thereby potentially reducing the burden of continuous codeword surveillance.
研究論文（学術雑誌）, 英語

Classifying COVID-19 Conspiracy Tweets with Word Embedding and BERT.
Yuta Yanagi; Ryohei Orihara; Yasuyuki Tahara; Yuichi Sei; Akihiko Ohsuga
MediaEval, CEUR-WS.org, 出版日 2021年
研究論文（国際会議プロシーディングス）

Sender Reputation Construction Method using Sender Authentication
Shuji Sakuraba; Minami Yoda; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
1st IEEE International Conference on Data Science and Computer Application (ICDSCA), 1巻, 掲載ページ 369-373, 出版日 2021年, 査読付
研究論文（国際会議プロシーディングス）, 英語

Acquisition of Cooperative Behavior in a Soccer Task Using Reward Shaping
Takashi Abe; Ryohei Orihara; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
International Conference on Innovation in Artificial Intelligence (ICIAI), ACM, 1巻, 掲載ページ 145-150, 出版日 2021年, 査読付
研究論文（国際会議プロシーディングス）, 英語

Detection of the Hardcoded Login Information from Socket and String Compare Symbols
Minami Yoda; Shuji Sakuraba; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
Annals of Emerging Technologies in Computing (AETiC), International Association for Educators and Researchers (IAER), 5巻, 1号, 掲載ページ 28-39, 出版日 2021年01月, 査読付, Internet of Things (IoT) for smart homes enhances convenience; however, it also introduces the risk of the leakage of private data. TOP10 IoT of OWASP 2018 shows that the first vulnerability is ”Weak, easy to predict, or embedded passwords.” This problem poses a risk because a user can not fix, change, or detect a password if it is embedded in firmware because only the developer of the firmware can control an update. In this study, we propose a lightweight method to detect the hardcoded username and password in IoT devices using a static analysis called Socket Search and String Search to protect from first vulnerability from 2018 OWASP TOP 10 for the IoT device. The hardcoded login information can be obtained by comparing the user input with strcmp or strncmp. Previous studies analyzed the symbols of strcmp or strncmp to detect the hardcoded login information. However, those studies required a lot of time because of the usage of complicated algorithms such as symbolic execution. To develop a lightweight algorithm, we focus on a network function, such as the socket symbol in firmware, because the IoT device is compromised when it is invaded by someone via the Internet. We propose two methods to detect the hardcoded login information: string search and socket search. In string search, the algorithm finds a function that uses the strcmp or strncmp symbol. In socket search, the algorithm finds a function that is referenced by the socket symbol. In this experiment, we measured the ability of our proposed method by searching six firmware in the real world that has a backdoor. We ran three methods: string search, socket search, and whole search to compare the two methods. As a result, all methods found login information from five of six firmware and one unexpected password. Our method reduces the analysis time. The whole search generally takes 38 mins to complete, but our methods finish the search in 4-6 min.
研究論文（学術雑誌）, 英語

Ontology-Based Correlation Detection among Heterogeneous Data Sets: A Case Study of University Campus Issues
Yuto Tsukagoshi; Shusaku Egami; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
The 3rd IEEE International Conference on Artificial Intelligence and Knowledge Engineering (AIKE), IEEE, 掲載ページ 25-32, 出版日 2020年12月, 査読付
研究論文（国際会議プロシーディングス）, 英語

A Defense Method against Poisoning Attacks on IoT Machine Learning Using Poisonous Data
Tomoki Chiba; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
The 3rd IEEE International Conference on Artificial Intelligence and Knowledge Engineering (AIKE), IEEE, 掲載ページ 84-91, 出版日 2020年12月, 査読付
研究論文（国際会議プロシーディングス）, 英語

Knowledge Graph Completion to Solve University Campus Issues
Yuto Tsukagoshi; Takahiro Kawamura; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
Journal of Data Intelligence, Rinton Press, 1巻, 3号, 掲載ページ 333-350, 出版日 2020年09月, 査読付
研究論文（学術雑誌）, 英語

社会課題解決に向けたナレッジグラフと欠損推定手法の提案 ~学内駐輪環境改善の試み~
塚越 雄登; 川村 隆浩; 清 雄一; 田原 康之; 大須賀 昭彦
電気学会論文誌C, 電気学会, 140巻, 8号, 掲載ページ 905-915, 出版日 2020年08月01日, 査読付
研究論文（学術雑誌）, 日本語

位置情報とタイムスタンプの有用性を調整可能な移動軌跡匿名化手法
千葉 智樹; 清 雄一; 田原 康之; 大須賀 昭彦
電気学会論文誌C, 電気学会, 140巻, 8号, 掲載ページ 956-963, 出版日 2020年08月01日, 査読付
研究論文（学術雑誌）, 日本語

Semantic Diversity: Privacy Considering Distance Between Values of Sensitive Attribute
Keiichiro Oishi; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
Computers & Security, Elsevier BV, 94巻, 掲載ページ 1-18, 出版日 2020年07月, 査読付
研究論文（学術雑誌）, 英語

Codewords Detection in Microblogs Focusing on Differences in How Words are Used Between Two Corpora
Takuro Hada; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
3rd IEEE International Conference on Computing, Electronics & Communications Engineering (iCCECE 2020), 1巻, 掲載ページ 103-108, 出版日 2020年, 査読付
研究論文（国際会議プロシーディングス）, 英語

Detection of the hardcoded login information from socket symbols
Minami Yoda; Shuji Sakuraba; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
3rd IEEE International Conference on Computing, Electronics & Communications Engineering (iCCECE 2020), 1巻, 掲載ページ 33-38, 出版日 2020年, 査読付
研究論文（国際会議プロシーディングス）, 英語

Why Do Users Choose a Hotel over Others? Review Analysis Using Interpretation Method of Machine Learning Models
Takayuki Onogawa; Ryohei Orihara; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
IEEE International Conference Big Data Analytics (ICBDA 20201), IEEE, 1巻, 掲載ページ 354-362, 出版日 2020年, 査読付
研究論文（国際会議プロシーディングス）, 英語

Adaptation Plan Policy in Traffic Routing for Priority Vehicle
Krishna Priawan Hardinda; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
International Conference on Artificial Intelligence in Information and Communication (ICAIIC 2020), IEEE, 1巻, 掲載ページ 113-118, 出版日 2020年, 査読付
研究論文（国際会議プロシーディングス）, 英語

Generating Cooking Recipes from Cooking Videos Using Deep Learning Considering Previous Process with Video Encoding
Tatsuki Fujii; Ryohei Orihara; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
The 3rd International Conference on Applications of Intelligent Systems(APPIS), ACM, 1巻, 掲載ページ 1-5, 出版日 2020年, 査読付
研究論文（国際会議プロシーディングス）, 英語

Model smoothing using virtual adversarial training for speech emotion estimation using spontaneity
Masashi Aizawa; Ryohei Orihara; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
The 12th International Conference on Agents and Artificial Intelligence(ICAART2020), SCITEPRESS - Science and Technology Publications, 2巻, 掲載ページ 587-594, 出版日 2020年, 査読付
研究論文（国際会議プロシーディングス）, 英語

Hair Shading Style Transfer for Manga with cGAN
Masashi Aizawa; Ryohei Orihara; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
The 12th International Conference on Agents and Artificial Intelligence(ICAART2020), SCITEPRESS - Science and Technology Publications, 2巻, 掲載ページ 570-577, 出版日 2020年, 査読付
研究論文（国際会議プロシーディングス）, 英語

Knowledge Graph of University Campus Issues and Application of Completion Methods
Yuto Tsukagoshi; Takahiro Kawamura; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
Proceedings of 21st ACM International Conference on Information Integration and Web-based Applications & Services (iiWAS2019), ACM, 掲載ページ 304-312, 出版日 2019年12月, 査読付, (accepted)
研究論文（国際会議プロシーディングス）, 英語

Linked Dataを用いた俯瞰的な多肢選択式問題自動生成手法の提案
奥原 史佳; 清 雄一; 田原 康之; 大須賀 昭彦
情報処理学会論文誌, 情報処理学会, 60巻, 10号, 掲載ページ 1738-1756, 出版日 2019年10月15日, 査読付
研究論文（学術雑誌）, 日本語

Do You Like Sclera? Sclera-region Detection and Colorization for Anime Character Line Drawings
Masashi Aizawa; Yuichi Sei; Yasuyuki Tahara; Ryohei Orihara; Akihiko Ohsuga
International Journal of Networked and Distributed Computing, 7巻, 3号, 掲載ページ 113-112, 出版日 2019年08月05日, 査読付
研究論文（学術雑誌）, 英語

“Never fry carrots without chopping” Generating Cooking Recipes from Cooking Videos Using Deep Learning Considering Previous Process
Tatsuki Fujii; Yuichi Sei; Yasuyuki Tahara; Ryohei Orihara; Akihiko Ohsuga
International Journal of Networked and Distributed Computing, 7巻, 3号, 掲載ページ 107-112, 出版日 2019年08月05日, 査読付
研究論文（学術雑誌）, 英語

Self-Adaptation for Heterogeneous Client-Server Online Games
Satoru Yamagata; Hiroyuki Nakagawa; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
Studies in Computational Intelligence (outstanding papers at 18th IEEE/ACIS International Conference on Computer and Information Science), Springer, 掲載ページ 65-79, 出版日 2019年08月, 査読付
研究論文（国際会議プロシーディングス）, 英語

Mis.Config: Finding Misreferred Configuration Bugs In Web Application Using Thin Slicing
Minami Yoda; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
Studies in Computational Intelligence (outstanding papers at 18th IEEE/ACIS International Conference on Computer and Information Science), Springer, 掲載ページ 47-64, 出版日 2019年08月, 査読付
研究論文（国際会議プロシーディングス）, 英語

Multi-task Deep Reinforcement Learning with Evolutionary Algorithm and Policy Gradients Method in 3D Control Tasks.
Shota Imai; Yuichi Sei; Yasuyuki Tahara; Ryohei Orihara; Akihiko Ohsuga
2019 IEEE International Conference on Big Data(BCD), IEEE, 掲載ページ 100-105, 出版日 2019年
研究論文（国際会議プロシーディングス）

New Indicator for Centrality Measurements in Passing-network Analysis of Soccer
Masatoshi Kanbata; Ryohei Orihara; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
The 11th International Conference on Agents and Artificial Intelligence(ICAART2018), SciTePress, 2巻, 掲載ページ 616-623, 出版日 2019年, 査読付
研究論文（国際会議プロシーディングス）, 英語

Transforming the Emotion in Speech using a Generative Adversarial Network
Kenji Yasuda; Ryohei Orihara; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
The 11th International Conference on Agents and Artificial Intelligence(ICAART2018), SciTePress, 2巻, 掲載ページ 427-434, 出版日 2019年, 査読付
研究論文（国際会議プロシーディングス）, 英語

Generation of Multiple Choice Questions Including Panoramic Information using Linked Data
Fumika Okuhara; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
The 11th International Conference on Agents and Artificial Intelligence(ICAART2018), SciTePress, 1巻, 掲載ページ 110-120, 出版日 2019年, 査読付
研究論文（国際会議プロシーディングス）, 英語

A Method for Goal Model Repair Based on Process Mining
Hiroki Horita; Hideaki Hirayama; Takeo Hayase; Yasuyuki Tahara; Akihiko Ohsuga
20th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD), IEEE, 1巻, 掲載ページ 121-126, 出版日 2019年, 査読付
研究論文（国際会議プロシーディングス）, 英語

サッカーPK戦における ゲーム理論上の最適戦略とプロの戦略との差異に関する考察
小泉 昂也; 折原 良平; 清 雄一; 田原 康之; 大須賀 昭彦
電子情報通信学会論文誌, 電子情報通信学会, J101-D巻, 9号, 出版日 2018年09月01日, 査読付
研究論文（学術雑誌）, 日本語

パーチェス法を用いたエージェントシミュレーションによる金融機関の合併に関するシステミックリスクへの影響分析
加藤 秀紀; 清 雄一; 田原 康之; 大須賀 昭彦
電子情報通信学会論文誌, 電子情報通信学会, J101-D巻, 9号, 出版日 2018年09月01日, 査読付
研究論文（学術雑誌）, 日本語

Text Classification and Transfer Learning based on Character-level Deep Convolutional Neural Networks
Minato Sato; Ryohei Orihara; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
Agents and Artificial Intelligence (Revised selected papers from ICAART 2017), Springer, 掲載ページ 60-81, 出版日 2018年06月, 査読付, 招待
研究論文（国際会議プロシーディングス）, 英語

決定木学習を利用したビジネスプロセス実行ログ検証のための論理式の生成
堀田 大貴; 平山 秀昭; 早瀬 健夫; 田原 康之; 大須賀 昭彦
電子情報通信学会論文誌, 電子情報通信学会, J101-D巻, 3号, 掲載ページ 530-538, 出版日 2018年03月01日, 査読付
研究論文（学術雑誌）, 日本語

Do Professional Football Players Follow the Optimal Strategies in Penalty Shootout?
Takaya Koizumi; Ryohei Orihara; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
The 10th International Conference on Agents and Artificial Intelligence(ICAART2018), SciTePress, 2巻, 掲載ページ 454-461, 出版日 2018年, 査読付
研究論文（国際会議プロシーディングス）, 英語

Factors Affecting Accuracy in Image Translation based on Generative Adversarial Network
Fumiya Yamashita; Ryohei Orihara; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
The 10th International Conference on Agents and Artificial Intelligence(ICAART2018), SciTePress, 2巻, 掲載ページ 446-453, 出版日 2018年, 査読付
研究論文（国際会議プロシーディングス）, 英語

Agent-based Simulation Model Embedded Accounting's Purchase Method; Analysis on the Systemic Risk of Mergers and Acquisitions between Financial Institutions
Hidenori Kato; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
The 10th International Conference on Agents and Artificial Intelligence(ICAART2018), SciTePress, 1巻, 掲載ページ 168-175, 出版日 2018年, 査読付
研究論文（国際会議プロシーディングス）, 英語

Anonymization and Analysis of Horizontally and Vertically Divided User Profile Databases with Multiple Sensitive Attributes
Yuki Ina; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
13th IEEE International Conference on Service Operations and Logistics, and Informatics (SOLI2018), IEEE, 8巻, 掲載ページ 262-267, 出版日 2018年, 査読付
研究論文（国際会議プロシーディングス）, 英語

家庭におけるペット-ロボットインタラクション～ロボットのふるまいに対する犬の行動調査～
鈴木 もとこ; 清 雄一; 田原 康之; 大須賀 昭彦
情報処理学会論文誌, 情報処理学会, 59巻, 11号, 掲載ページ 1799-1807, 出版日 2017年11月15日, 査読付, 今後ロボットが家庭に普及するために，人間とペットとロボットの3者が良い関係を築くことが大切である．我々は人とのインタラクションを目的に作られたロボットがペットと家庭で共生するために，ロボットにペットが好む行動をさせ，ペットがロボットをより好むようにすることを目標とする．本研究では，犬の世話行動をするロボットに注目した．世話行動をするケアロボットと世話行動をしないノンケアロボットの2台を用意し，ロボットが世話行動を行った後に犬がどちらのロボットをより好むか調査した．具体的には，ロボットが行う犬の世話行動は，飼い主へのアンケート結果をもとに餌やりとボール遊びの2種類とした．結果，犬は餌やりの世話行動をするケアロボットをノンケアロボットよりも有意に好むことが分かった．一方でボール遊びの世話行動については，ロボットとボール遊びをする犬としない犬の2群に分けられ，ボール遊びをする犬はボール遊びの世話行動をするケアロボットをノンケアロボットより有意に好むことが明らかになった．この知見は今後，家庭におけるロボットのペットに対する関わり方の指針となることが期待される．It is important for human beings, pets and robots to establish a good relationship in order for robots become popular to homes in the future. We are supposed to coexist between humans and robots that were made for human interaction at home. Then, let the robot take actions preferred by the pet and aim to make the robot more preferably by the pet. In this research, we focused on robots that take care of dogs. We used two robots that take care actions robot and non-care action robot, and surveyed which robot the dog likes more preferably after the robot takes care action. Specifically, the behavior of robot was two types of feeding and ball play based on the questionnaire result of the owner. As a result, it became clear that the dog significantly prefers the care robot which takes care of bait feeding than the non-care robot. On the other hand, as for the behavior of taking care of the ball play, it is divided into two groups: a dog which play ball with a robot, a dog which does not play ball with a robot. It became clear that dogs playing balls significantly prefer care robots to take care of ball playing than non-care robots. It is expected that this finding will be a guide for how robots are involved in pets at home.
研究論文（学術雑誌）, 日本語

Formal Verification of Dynamic Evolution Processes of UML Models Using Aspects
Yasuyuki Tahara; Akihiko Ohsuga; Shinichi Honiden
Proceedings - 2017 IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2017, Institute of Electrical and Electronics Engineers Inc., 掲載ページ 152-162, 出版日 2017年07月03日, 査読付
研究論文（国際会議プロシーディングス）, 英語

Fast Many-to-One Voice Conversion using Autoencoders
Yusuke Sekii; Ryohei Orihara; Keisuke Kojima; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
ICAART: PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL 2, 2巻, 掲載ページ 164-174, 出版日 2017年, 査読付
研究論文（国際会議プロシーディングス）, 英語

Japanese Text Classification by Character-level Deep ConvNets and Transfer Learning
Minato Sato; Ryohei Orihara; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
ICAART: PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL 2, 2巻, 掲載ページ 175-184, 出版日 2017年, 査読付
研究論文（国際会議プロシーディングス）, 英語

An Observation of Behavioral Changes of Indoor Dogs in Response to Caring Behavior by Humanoid Robots Can Dogs and Robots Be Companions?
Motoko Suzuki; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
ICAART: PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL 2, 2巻, 掲載ページ 481-488, 出版日 2017年, 査読付
研究論文（国際会議プロシーディングス）, 英語

Sarcasm Detection Method to Improve Review Analysis
Shota Suzuki; Ryohei Orihara; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
ICAART: PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL 2, 2巻, 掲載ページ 519-526, 出版日 2017年, 査読付
研究論文（国際会議プロシーディングス）, 英語

Proposal of l-Diversity Algorithm Considering Distance between Sensitive Attribute Values
Keiichiro Oishi; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
The 8th IEEE Symposium on Computational Intelligence and Data Mining (CIDM2017), IEEE, 1巻, 掲載ページ 2065-2072, 出版日 2017年, 査読付
研究論文（国際会議プロシーディングス）, 英語

User participatory construction of open hazard data for preventing bicycle accidents
Ryohei Kozu; Takahiro Kawamura; Shusaku Egami; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, 10675巻, 掲載ページ 289-303, 出版日 2017年, 査読付
研究論文（国際会議プロシーディングス）, 英語

放置自転車問題解決に向けた循環型LOD構築システムの提案
江上周作; 川村隆浩; 清雄一; 田原康之; 大須賀昭彦
人工知能学会論文誌, (株) オーム社, 31巻, 1号, 掲載ページ AI30-K_1-AI30-K_12, 出版日 2016年11月, 査読付
研究論文（学術雑誌）, 日本語

Sake Selection Support Application for Countryside Tourism
Teruyuki Iijima; Takahiro Kawamura; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
Transactions on Large-Scale Data and Knowledge-Centered Systems XXVII, Springer, 9860巻, 掲載ページ 19-30, 出版日 2016年09月, 査読付
研究論文（学術雑誌）, 英語

A Solution to Visualize Open Urban Data for Illegally Parked Bicycles
Shusaku Egami; Takahiro Kawamura; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
Transactions on Large-Scale Data and Knowledge-Centered Systems XXVII, Springer, 9860巻, 掲載ページ 129-141, 出版日 2016年09月, 査読付
研究論文（学術雑誌）, 英語

Goal achievement analysis based on LTL checking and decision tree for improvements of PAIS
Hiroki Horita; Hideaki Hirayama; Yasuyuki Tahara; Akihiko Ohsuga
Proceedings of the ACM Symposium on Applied Computing, Association for Computing Machinery, 04-08-巻, 掲載ページ 1214-1216, 出版日 2016年04月04日, 査読付
研究論文（国際会議プロシーディングス）, 英語

ゴール指向洗練パターン駆動によるユースケースモデリング
本田 耕三; 平山 秀昭; 中川 博之; 田原 康之; 大須賀 昭彦
電子情報通信学会論文誌, 電子情報通信学会, J99-D巻, 3号, 掲載ページ 238-254, 出版日 2016年03月01日, 査読付
研究論文（学術雑誌）, 日本語

組込み向け進化型ソフトウェアの効率的な拡張性強化手法
佐々木 隆益; 吉岡 信和; 田原 康之; 大須賀 昭彦
情報処理学会論文誌, 情報処理学会, 57巻, 2号, 掲載ページ 730-744, 出版日 2016年02月, 査読付, 市場ニーズの変化速度に対応した製品開発プロセスとしてアジャイル開発プロセスのようなライトウェイトな開発プロセスが台頭してきている．アジャイルも含め，このような進化型ソフトウェアは，継続的にリファクタリングを施しながらの機能開発を行う．特に組込みシステムでは，関連するハードウェアの個別進化に対しても，システムとしての対応が必要であり，拡張性や可変性の設計がなされていないと，製品リリースが進むにつれ，メンテナンス性の悪化を引き起こしやすくなる．本稿では継続的に発生する将来の機能追加において，システムの拡張性を強化する情報の提供を目的とし，ソースコードから，自動的に拡張性の構造を抽出し，拡張性を強化すべき箇所を特定，強化方法を提示する手法を提案する．さらに継続的に機能追加された実際の製品コードに対し，提案手法を適用した結果，提案手法の有効性を確認することができた．Light weight development processes like Agile have emerged in response to rapidly changing market requirements. However software evolution processes including Agile are inadequate for software in embedded systems, as software undergoes frequent refactoring, targeting only immediate requirements. As a result maintainability decreases because the system is not designed to respond to changes in the associated hardware. In this paper, we propose a method for improving of extensibility. We also propose a technique for detecting and suggesting extensible design pattern automatically. Our approach is based on analyses of the call graph and the inheritance structure of source code to identify a layer structure that is specific to embedded software. These techniques provide us with objective and quantitative information about extensibility. We applied the proposal method to an actual product's code continuously and could verify an improvement in system's extensibility.
研究論文（学術雑誌）, 日本語

A solution to visualize open urban data for illegally parked bicycles
Shusaku Egami; Takahiro Kawamura; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, 9860巻, 掲載ページ 129-141, 出版日 2016年, 査読付
研究論文（国際会議プロシーディングス）, 英語

Iterative Improvement of Human Pose Classification Using Guide Ontology
Kazuhiro Tashiro; Takahiro Kawamura; Yuichi Sei; Hiroyuki Nakagawa; Yasuyuki Tahara; Akihiko Ohsuga
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E99D巻, 1号, 掲載ページ 236-247, 出版日 2016年01月, 査読付
研究論文（学術雑誌）, 英語

Estimation of Interpersonal Relationships in Movies
Yuta Ohwatari; Takahiro Kawamura; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E99D巻, 1号, 掲載ページ 128-137, 出版日 2016年01月, 査読付
研究論文（学術雑誌）, 英語

Linked data collection and analysis platform for music information retrieval
Yuri Uehara; Takahiro Kawamura; Shusaku Egami; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, 10055巻, 掲載ページ 127-135, 出版日 2016年, 査読付
研究論文（国際会議プロシーディングス）, 英語

Linked Data Collection and Analysis Platform of Audio Features
Yuri Uehara; Takahiro Kawamura; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
Workshop and Poster of the 6th Joint International Semantic Technology Conference (JIST), CEUR-WS.org, 2016巻, 掲載ページ 78-81, 出版日 2016年, 査読付
研究論文（国際会議プロシーディングス）, 英語

Process Mining Approach Based on Partial Structures of Event Logs and Decision Tree Learning
Hiroki Horita; Hideaki Hirayama; Takeo Hayase; Yasuyuki Tahara; Akihiko Ohsuga
PROCEEDINGS 2016 5TH IIAI INTERNATIONAL CONGRESS ON ADVANCED APPLIED INFORMATICS IIAI-AAI 2016, 2016巻, 掲載ページ 113-118, 出版日 2016年, 査読付
研究論文（国際会議プロシーディングス）, 英語

Schema Design of Illegally Parked Bicycles LOD
Shusaku Egami; Takahiro Kawamura; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
PROCEEDINGS 2016 5TH IIAI INTERNATIONAL CONGRESS ON ADVANCED APPLIED INFORMATICS IIAI-AAI 2016, 2016巻, 掲載ページ 692-697, 出版日 2016年, 査読付
研究論文（国際会議プロシーディングス）, 英語

Business Process Verification and Restructuring LTL Formula Based on Machine Learning Approach
Hiroki Horita; Hideaki Hirayama; Takeo Hayase; Yasuyuki Tahara; Akihiko Ohsuga
COMPUTER AND INFORMATION SCIENCE, 656巻, 掲載ページ 89-102, 出版日 2016年, 査読付
研究論文（国際会議プロシーディングス）, 英語

Visualization of Open Urban Data for Illegally Parked Bicycles
Shusaku Egami; Takahiro Kawamura; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
CompleXity: Technology for Complex Urban Systems in the 49th Hawaii International Conference on System Sciences (HICSS-49), 2016巻, 出版日 2016年, 査読付
研究論文（国際会議プロシーディングス）, 英語

Sake selection support application for countryside tourism
Teruyuki Iijima; Takahiro Kawamura; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, 9860巻, 掲載ページ 19-30, 出版日 2016年, 査読付
研究論文（国際会議プロシーディングス）, 英語

リファインメントパターンを利用したKAOSゴールモデルからBPMNモデルへの変換
堀田 大貴; 本田 耕三; 平山 秀昭; 清 雄一; 中川 博之; 田原 康之; 大須賀 昭彦
コンピュータソフトウェア, 岩波書店, 32巻, 4号, 掲載ページ 141-160, 出版日 2015年11月, 査読付
研究論文（学術雑誌）, 日本語

News Curation Service using Semantic Graph Matching
Ryohei Yokoo; Takahiro Kawamura; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
Proc. of SEMAPRO 2015, IARIA, 2015巻, 掲載ページ 25-31, 出版日 2015年07月19日, 査読付
研究論文（国際会議プロシーディングス）, 英語

意外性のあるレシピを推薦するエージェントの提案
池尻 恭介; 清 雄一; 中川 博之; 田原 康之; 大須賀 昭彦
電子情報通信学会論文誌, 電子情報通信学会, J98-D巻, 12号, 掲載ページ 971-981, 出版日 2015年06月, 査読付
研究論文（学術雑誌）, 日本語

語句間の意味的リレーションに基づくキュレーションエージェント
横尾 亮平; 川村 隆浩; 清 雄一; 田原 康之; 大須賀 昭彦
電子情報通信学会論文誌, 電子情報通信学会, J98-D巻, 12号, 掲載ページ 982-991, 出版日 2015年06月, 査読付
研究論文（学術雑誌）, 日本語

Activity Recognition for Dogs Using Off-the-Shelf Accelerometer
Tatsuya Kiyohara; Ryohei Orihara; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
Proceedings of ICAART 2015, SciTePress, 2015巻, 掲載ページ 100-110, 出版日 2015年01月09日, 査読付
研究論文（国際会議プロシーディングス）, 英語

CGMにおける炎上の分析とその応用
岩崎 祐貴; 折原 良平; 清 雄一; 中川 博之; 田原 康之; 大須賀 昭彦
人工知能学会論文誌, (株) オーム社, 30巻, 1号, 掲載ページ 1-9, 出版日 2015年01月, 査読付
研究論文（学術雑誌）, 日本語

Estimation of Character Diagram from Open-Movie Databases for Cultural Understanding
Yuta Ohwatari; Takahiro Kawamura; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
2015 IEEE 9TH INTERNATIONAL CONFERENCE ON SEMANTIC COMPUTING (ICSC), 2015巻, 掲載ページ 208-215, 出版日 2015年, 査読付
研究論文（国際会議プロシーディングス）, 英語

Activity Recognition for Dogs Based on Time-series Data Analysis
Tatsuya Kiyohara; Ryohei Orihara; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
AGENTS AND ARTIFICIAL INTELLIGENCE, ICAART 2015, 9494巻, 掲載ページ 163-184, 出版日 2015年, 査読付
研究論文（国際会議プロシーディングス）, 英語

Decision Making Strategy Based on Time Series Data of Voting Behavior
Shogo Higuchi; Ryohei Orihara; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
AI 2015: ADVANCES IN ARTIFICIAL INTELLIGENCE, 9457巻, 掲載ページ 229-241, 出版日 2015年, 査読付
研究論文（国際会議プロシーディングス）, 英語

Towards the Elimination of the Miscommunication Between Users in Twitter
Tomoaki Ueda; Ryohei Orihara; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
AI 2015: ADVANCES IN ARTIFICIAL INTELLIGENCE, 9457巻, 掲載ページ 589-595, 出版日 2015年, 査読付
研究論文（国際会議プロシーディングス）, 英語

Performance Exploring Using Model Checking A Case Study of Hard Disk Drive Cache Function
Takehiko Nagano; Kazuyoshi Serizawa; Nobukazu Yoshioka; Yasuyuki Tahara; Akihiko Ohsuga
The Tenth International Conference on Software Engineering Advances (ICSEA), 2015巻, 掲載ページ 31-39, 出版日 2015年, 査読付
研究論文（国際会議プロシーディングス）, 英語

A Method for Efficient Extensibility Improvements in Embedded Software Evolution
Takanori Sasaki; Nobukazu Yoshioka; Yasuyuki Tahara; Akihiko Ohsuga
7th International Conference on Software Technology and Engineering (ICSTE), 2015巻, 12号, 掲載ページ 1375-1388, 出版日 2015年, 査読付
研究論文（国際会議プロシーディングス）, 英語

Towards Goal-Oriented Conformance Checking
Hiroki Horita; Hideaki Hirayama; Yasuyuki Tahara; Akihiko Ohsuga
International Conference on Software Engineering and Knowledge Engineering (SEKE), KSI Research Inc. and Knowledge Systems Institute Graduate School, 2015巻, 掲載ページ 722-724, 出版日 2015年, 査読付
研究論文（国際会議プロシーディングス）, 英語

Estimation of Character Diagram from Open Movie Database using Markov Logic Network
Yuta Ohwatari; Takahiro Kawamura; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
Proceedings of the 4th Joint International Semantic Technology Conference, Springer, 2014巻, 掲載ページ 124-127, 出版日 2014年11月09日, 査読付
研究論文（国際会議プロシーディングス）, 英語

News Recommendation based on Semantic Relations between Events
Ryohei Yoko; Takahiro Kawamura; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
Proceedings of the 4th Joint International Semantic Technology Conference, Springer, 2014巻, 掲載ページ 128-131, 出版日 2014年11月09日, 査読付
研究論文（国際会議プロシーディングス）, 英語

Human Pose Guide Ontologyを用いた静止画像内人物のポーズ分類
田代 和浩; 川村 隆浩; 清 雄一; 中川 博之; 田原 康之; 大須賀 昭彦
コンピュータソフトウェア, 岩波書店, 31巻, 3号, 掲載ページ 58-69, 出版日 2014年08月, 査読付
研究論文（学術雑誌）, 日本語

希少性と一般性に基づいた意外性のある食材の抽出
池尻 恭介; 清 雄一; 中川 博之; 田原 康之; 大須賀 昭彦
コンピュータソフトウェア, 岩波書店, 31巻, 3号, 掲載ページ 70-78, 出版日 2014年08月, 査読付
研究論文（学術雑誌）, 日本語

ソフトウェア再利用に向けた共通ゴール判別手法の提案
中村 祐貴; 本田 耕三; 中川 博之; 田原 康之; 大須賀 昭彦
コンピュータソフトウェア, 岩波書店, 31巻, 2号, 掲載ページ 67-84, 出版日 2014年05月, 査読付
研究論文（学術雑誌）, 日本語

Music Recommender Adapting Implicit Context Using ‘renso’ Relation among Linked Data
Mian Wang; Takahiro Kawamura; Yuichi Sei; Hiroyuki Nakagawa; Yasuyuki Tahara; Akihiko Ohsuga
Journal of Information Processing (JIP), 情報処理学会, 22巻, 2号, 掲載ページ 279-288, 出版日 2014年04月, 査読付
研究論文（学術雑誌）, 英語

Surprising Recipe Extraction Based on Rarity and Generality of Ingredients
Kyosuke Ikejiri; Yuichi Sei; Hiroyuki Nakagawa; Yasuyuki Tahara; Akihiko Ohsuga
Proc. of ICAART 2014, SciTePress, 2014巻, 掲載ページ 428-436, 出版日 2014年03月, 査読付
研究論文（国際会議プロシーディングス）, 英語

Identification of Flaming and Its Applications in CGM: Case Studies toward Ultimate Prevention
Yuki Iwasaki; Ryohei Orihara; Yuichi Sei; Hiroyuki Nakagawa; Yasuyuki Tahara; Akihiko Ohsuga
Proc. of ICAART 2014, SciTePress, 2014巻, 掲載ページ 639-644, 出版日 2014年03月, 査読付
研究論文（国際会議プロシーディングス）, 英語

Music recommender adapting implicit context using 'renso' relation among Linked Data
Mian Wang; Takahiro Kawamura; Yuichi Sei; Hiroyuki Nakagawa; Yasuyuki Tahara; Akihiko Ohsuga
Journal of Information Processing, Information Processing Society of Japan, 22巻, 2号, 掲載ページ 279-288, 出版日 2014年, 査読付
研究論文（学術雑誌）, 英語

Software development PBL focusing on communication using Scrum
Satoru Kizaki; Yasuyuki Tahara; Akihiko Ohsuga
2014 IIAI 3RD INTERNATIONAL CONFERENCE ON ADVANCED APPLIED INFORMATICS (IIAI-AAI 2014), 掲載ページ 662-669, 出版日 2014年, 査読付
研究論文（国際会議プロシーディングス）, 英語

A MAPE Loop Control Pattern for Heterogeneous Client/Server Online Games
Satoru Yamagata; Hiroyuki Nakagawa; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
International Conference on Software Engineering & Knowledge Engineering (SEKE), Knowledge Systems Institute Graduate School, 掲載ページ 742-743, 出版日 2014年, 査読付
研究論文（国際会議プロシーディングス）, 英語

Evaluation of Flexibility to Changes Focusing on the Variable Structures in Legacy Software
Takanori Sasaki; Nobukazu Yoshioka; Yasuyuki Tahara; Akihiko Ohsuga
KNOWLEDGE-BASED SOFTWARE ENGINEERING, JCKBSE 2014, 466巻, 掲載ページ 252-269, 出版日 2014年, 査読付
研究論文（国際会議プロシーディングス）, 英語

Context-Aware Music Recommendation with Serendipity Using Semantic Relations
Mian Wang; Takahiro Kawamura; Yuichi Sei; Hiroyuki Nakagawa; Yasuyuki Tahara; Akihiko Ohsuga
SEMANTIC TECHNOLOGY, 8388巻, 掲載ページ 17-32, 出版日 2014年, 査読付
研究論文（国際会議プロシーディングス）, 英語

Transformation approach from KAOS goal models to BPMN models using refinement patterns
Hiroki Horita; Kozo Honda; Yuichi Sei; Hiroyuki Nakagawa; Yasuyuki Tahara; Akihiko Ohsuga
Proceedings of the ACM Symposium on Applied Computing, Association for Computing Machinery, 2014巻, 掲載ページ 1023-1024, 出版日 2014年, 査読付
研究論文（国際会議プロシーディングス）, 英語

Refinement of Ontology-constrained Human Pose Classification
Kazuhiro Tashiro; Takahiro Kawamura; Yuichi Sei; Hiroyuki Nakagawa; Yasuyuki Tahara; Akihiko Ohsuga
2014 IEEE INTERNATIONAL CONFERENCE ON SEMANTIC COMPUTING (ICSC), 2014巻, 掲載ページ 60-67, 出版日 2014年, 査読付
研究論文（国際会議プロシーディングス）, 英語

Towards Software Evolution for Embedded Systems Based on MAPE Loop Encapsulation
Hiroyuki Nakagawa; Takumitsu Kudo; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga
2014 IEEE EIGHTH INTERNATIONAL CONFERENCE ON SELF-ADAPTIVE AND SELF-ORGANIZING SYSTEMS (SASO), 2014巻, 掲載ページ 203-204, 出版日 2014年, 査読付
研究論文（国際会議プロシーディングス）, 英語

メディア情報のLinked Data 化と活用事例の提案
川村 隆浩; 越川 兼地; 中川 博之; 清 雄一; 田原 康之; 大須賀 昭彦
電子情報通信学会論文誌, 電子情報通信学会, J96-D巻, 12号, 掲載ページ 531-542, 出版日 2013年12月, 査読付
研究論文（学術雑誌）, 日本語

Classification of Idol Photography Based on Pose Guide Ontology
Kazuhiro Tashiro; Takahiro Kawamura; Yuichi Sei; Hiroyuki Nakagawa; Yasuyuki Tahara; Akihiko Ohsuga
Proc. of JIST 2013, 2013巻, 出版日 2013年11月, 査読付
研究論文（国際会議プロシーディングス）, 英語

タグクラスタ多様化による未知性を考慮した推薦手法の提案
藤原 誠; 中川 博之; 田原 康之; 大須賀 昭彦
電子情報通信学会論文誌, 一般社団法人電子情報通信学会, J96-D巻, 3号, 掲載ページ 531-542, 出版日 2013年03月, 査読付, 近年推薦システムの研究において,その有用性は予測精度(適合率,再現率)の高さとされていたが,既存の推薦方法では,ユーザは予測精度の高さだけでは満足しないということが報告されている.したがって,今後の推薦システムの課題として,未知性や意外性といった予測精度以外の新たな観点が重要とされている.こうした課題を踏まえ,本論文では推薦リストの未知性という観点に着目し,ユーザの嗜好に合致するが,まだ知らないコンテンツの発見を促す推薦手法を提案する.多面的に付与されたタグの話題単位で推薦リストを多様化することにより,予測精度を維持しつつ,未知性を向上させる.評価実験の結果,推薦リストの約6割に嗜好に合致し,かつ知らないコンテンツが含まれ,未知性の高い推薦が実現できていることを確認した.
研究論文（学術雑誌）, 日本語

Toward information sharing of natural disaster: Proposal of timeline action network
The-Minh Nguyen; Takahiro Kawamura; Yasuyuki Tahara; Akihiko Ohsuga
Communications in Computer and Information Science, Springer Verlag, 358巻, 掲載ページ 145-157, 出版日 2013年, 査読付
研究論文（国際会議プロシーディングス）, 英語

Towards solving an obstacle problem by the cooperation of UAVs and UGVs
Shigeo Nakamura; Hiroyuki Nakagawa; Yasuyuki Tahara; Akihiko Ohsuga
Proceedings of the ACM Symposium on Applied Computing, ACM, 2013巻, 掲載ページ 77-82, 出版日 2013年, 査読付
研究論文（国際会議プロシーディングス）, 英語

Designing loss-aware fitness function for ga-based algorithmic trading
Yuya Arai; Ryohei Orihara; Hiroyuki Nakagawa; Yasuyuki Tahara; Akihiko Ohsuga
Studies in Computational Intelligence, Springer Verlag, 489巻, 掲載ページ 107-114, 出版日 2013年, 査読付
研究論文（学術雑誌）, 英語

Towards semi-automatic identification of functional requirements in legal texts for public administration
Yutaka Yoshida; Kozo Honda; Yuichi Sei; Hiroyuki Nakagawa; Yasuyuki Tahara; Akihiko Ohsuga
Frontiers in Artificial Intelligence and Applications, IOS Press, 259巻, 掲載ページ 175-184, 出版日 2013年, 査読付
研究論文（国際会議プロシーディングス）, 英語

Extraction and Estimation of Human Activity from Twitter for Information Sharing in Disaster
The-Minh Nguyen; Takahiro Kawamura; Yasuyuki Tahara; Akihiko Ohsuga
Special Issue on Computational Intelligence and Data Mining, Journal of Convergence Information Technology, Advanced Institute of Convergence IT, 8巻, 11号, 掲載ページ 707-715, 出版日 2013年, 査読付
研究論文（学術雑誌）, 英語

Support for Video Hosting Service Users using Folksonomy and Social Annotation
Katsunori Ishino; Ryohei Orihara; Hiroyuki Nakagawa; Yasuyuki Tahara; Akihiko Ohsuga
Proc. of the 2012 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2012), IEEE Computer Society, 掲載ページ 472-479, 出版日 2012年12月, 査読付
研究論文（国際会議プロシーディングス）, 英語

服飾オントロジーを用いたECサイトにおけるユーザデザイン嗜好の推定と評価
全泰賢; 川村隆浩; 中川博之; 田原康之; 大須賀昭彦
情報処理学会論文誌, 53巻, 11号, 掲載ページ 2485-2493, 出版日 2012年11月, 査読付
研究論文（学術雑誌）, 日本語

フォークソノミーとソーシャルアノテーションを用いた動画共有サービス利用支援の試み
石野克徳; 折原良平; 中川博之; 田原康之; 大須賀昭彦
情報処理学会論文誌, 53巻, 11号, 掲載ページ 2494-2506, 出版日 2012年11月, 査読付
研究論文（学術雑誌）, 日本語

Evaluation of Flexibility to Changes Focusing on the Variable Structures in Legacy Software
Takanori Sasaki; Nobukazu Yoshioka; Yasuyuki Tahara; Akihiko Ohsuga
Proc. of JCKBSE 2014, Springer, 2012巻, 掲載ページ 171-180, 出版日 2012年08月, 査読付
研究論文（国際会議プロシーディングス）, 英語

Building a Timeline Network for Evacuation in Earthquake Disaster
The-Minh Nguyen; Takahiro Kawamura; Yasuyuki Tahara; Akihiko Ohsuga
The AAAI 2012 Workshop on Semantic Cities, AAAI Press, 掲載ページ 15-20, 出版日 2012年07月, 査読付
研究論文（国際会議プロシーディングス）, 英語

Privacy Protection by Anonymizing Based on Status of Provider and Community
Kazutomo Hamamoto; Yasuyuki Tahara; Akihiko Ohsuga
GSTF Journal on Computing, 2巻, 1号, 掲載ページ 169-176, 出版日 2012年04月, 査読付
研究論文（学術雑誌）, 英語

Methods for Privacy Protection Considering Status of Service Provider and User Community
Kazutomo Hamamoto; Yasuyuki Tahara; Akihiko Ohsuga
INFORMATION SECURITY TECHNOLOGY FOR APPLICATIONS, 7161巻, 掲載ページ 98-113, 出版日 2012年, 査読付
研究論文（国際会議プロシーディングス）, 英語

Self-supervised capturing of users' activities from weblogs
The-Minh Nguyen; Takahiro Kawamura; Yasuyuki Tahara; Akihiko Ohsuga
International Journal of Intelligent Information and Database Systems, 6巻, 1号, 掲載ページ 61-76, 出版日 2012年01月, 査読付
研究論文（学術雑誌）, 英語

BUILDING A TIME SERIES ACTION NETWORK FOR EARTHQUAKE DISASTER
The-Minh Nguyen; Takahiro Kawamura; Yasuyuki Tahara; Akihiko Ohsuga
ICAART: PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL 1, 掲載ページ 100-108, 出版日 2012年, 査読付
研究論文（国際会議プロシーディングス）, 英語

Dynamic reconfiguration in self-adaptive systems considering non-functional properties
Hisayuki Horikoshi; Hiroyuki Nakagawa; Yasuyuki Tahara; Akihiko Ohsuga
Proceedings of the ACM Symposium on Applied Computing, ACM, 掲載ページ 1144-1150, 出版日 2012年, 査読付
研究論文（国際会議プロシーディングス）, 英語

Goal-oriented approach to creating class diagrams with OCL constraints
Sombat Chanvilai; Kozo Honda; Hiroyuki Nakagawa; Yasuyuki Tahara; Akihiko Ohsuga
Proceedings of the ACM Symposium on Applied Computing, ACM, 掲載ページ 1051-1056, 出版日 2012年, 査読付
研究論文（国際会議プロシーディングス）, 英語

Goal-Oriented Robustness Analysis
Kozo Honda; Hiroyuki Nakagawa; Yasuyuki Tahara; Akihiko Ohsuga
KNOWLEDGE-BASED SOFTWARE ENGINEERING, 240巻, 掲載ページ 171-180, 出版日 2012年, 査読付
研究論文（国際会議プロシーディングス）, 英語

ユーザ背景情報およびコミューニティ状況を考慮した匿名度制御によるプライバシ保護エージェントの提案
浜本一知; 田原康之; 大須賀昭彦
電子情報通信学会論文誌 「ソフトウェアエージェントとその応用」特集号, 一般社団法人電子情報通信学会, J94-D巻, 11号, 掲載ページ 1812-1824, 出版日 2011年11月, 査読付, ライフログなどの個人情報を提供し,プロバイダより情報推薦などの個人サービスを受ける場合,多くの個人情報を提供することで更に品質の高い個人サービスを受けることができる反面,情報の漏えいや流用などによるプライバシ侵害の危険性も増える.そこで本論文では,ユーザごとに設定する希望匿名度に対応する属性を開示する前に,匿名度に影響を及ぼす二つの要素,(1)プロバイダのユーザ背景情報,(2)コミュニティの状況,をチェックし匿名度に反映させることで開示属性を調整し,結果,無用な情報開示を避けることを特徴とするプライバシ保護エージェントを提案する.(1),(2)それぞれにおいて,課題を分析し,解決への提案手法について述べ,(1)は事例モデルによる実験的机上検証,(2)は歩行者モデルを用いたコミュニティを想定し机上検証により,提案手法の妥当性と有効性を確認した.
研究論文（学術雑誌）, 日本語

コンテンツ投稿型SNSにおける未知性と意外性を考慮した推薦エージェントの提案
住元宗一朗; 中川博之; 田原康之; 大須賀昭彦
電子情報通信学会論文誌 「ソフトウェアエージェントとその応用」特集号, 一般社団法人電子情報通信学会, J94-D巻, 11号, 掲載ページ 1800-1811, 出版日 2011年11月, 査読付, 近年増加したコンテンツ投稿型SNSでは日々膨大にコンテンツが増え続けるため,嗜好には合っているもののユーザが見逃してしまうようなコンテンツは少なくない.また,多くの推薦技術では精度を重視するあまり,その推薦結果に面白みがないという課題がある.本論文では,主に音楽,イラスト,詩等の創作者向けであるコンテンツ投稿型SNSにおける未知性,意外性を考慮した推薦手法について述べる.未知性に関しては,質の高いコンテンツを投稿する投稿者(有力投稿者)に注目し,コンテンツの質を確保しつつもロングテールのテール部分に属する,ユーザがまだ知らないコンテンツを推薦する.意外性に関しては,多くのコンテンツ投稿型SNSで利用されているFolksonomyを利用する.以上の二つの推薦部からなる推薦エージェントを提案し,イラスト投稿型SNSであるPixivの実データを用い,未知性,意外性に関する評価実験を実施した.その結果,推薦リストの6割に未知性,意外性のあるコンテンツが含まれ,本研究の有効性が確かめられた.
研究論文（学術雑誌）, 日本語

携帯端末上での拡張現実を用いた植物推薦エージェントGreen-Thumb Phoneの開発
三代謙仁; 川村隆浩; 中川博之; 田原康之; 大須賀昭彦
電子情報通信学会論文誌 「ソフトウェアエージェントとその応用」特集号, 一般社団法人電子情報通信学会, J94-D巻, 11号, 掲載ページ 1791-1799, 出版日 2011年11月, 査読付, 近年,食や環境への意識の高まりから野菜作りやインテリアグリーンに関心が集まっている.しかし,都市の限られた環境で緑を育てるのは容易ではなく,その環境に適した植物を選択するには専門的な知識が必要ということもあり,不用意に繁茂させたり,逆に枯らしてしまうケースも多い.また,インテリア/エクステリアとしては周辺環境との調和が気になるが,成長時の生い茂った姿を想像するのは素人には難しい.そこで本論文では,携帯電話のセンサを用いて,植裁スペースの環境(日照,温度,気温等)に適した植物を推薦するエージェントシステムの開発について述べる.また,本システムでは,推薦した植物の成長した姿を3DCGで表示するという拡張現実手法を用いて,周辺の景観とマッチするかどうかを視覚的に確認することもできる.これにより,植物や園芸に関する特別な知識がなくとも,環境に適しており,かつ周辺の景観との調和のとれた植物を選ぶことが可能となる.今回の実験では約70%の精度で適した植物を推薦できることを確認できた.
研究論文（学術雑誌）, 日本語

インタラクション・シーケンスに着目した商品検索目的抽出エージェントの開発
川村隆浩; ワコラ; 中川博之; 田原康之; 大須賀昭彦
電子情報通信学会論文誌 「ソフトウェアエージェントとその応用」特集号, 一般社団法人電子情報通信学会, J94-D巻, 11号, 掲載ページ 1783-1790, 出版日 2011年11月, 査読付, e-Commerceの急速な発展を背景に,Web検索結果への検索連動型広告(スポンサーリンクなど)が広告配信手段として注目されている.しかし,ユーザの検索意図と異なる広告の配信は,長期的に見てユーザの不快感を招き,逆効果となるリスクがある.そこで,ユーザの検索行動から検索の目的を推測し,適切な情報を提供することが重要となってきている.これまでも検索結果に対するユーザのブラウザ側の操作(インタラクション)に注目した研究は行われているが,一連のインタラクションの前後関係を考慮した研究は行われていない.そこで,本研究では商品検索結果に対するユーザのインタラクションシーケンスに着目し,検索の目的を購入目的か,情報収集目的かに分類するエージェントを提案する.実験により,先行手法と提案手法を組み合わせることにより,商品検索目的の抽出精度を10%以上向上できることを確認した.
研究論文（学術雑誌）, 日本語

センチメント分析とトピック抽出によるマイクロブログからの評判傾向抽出
橋本和幸; 中川博之; 田原康之; 大須賀昭彦
電子情報通信学会論文誌 「ソフトウェアエージェントとその応用」特集号, 一般社団法人電子情報通信学会, J94-D巻, 11号, 掲載ページ 1762-1772, 出版日 2011年11月, 査読付, 近年,政策やサービスなどの評判を調査するためにアンケート形式による調査が増加しているが,回収率が低落傾向にあることや,人的コストが増加するなどの問題が生じている.一方,Web上にはユーザの意見を含む評価情報が多数存在している.そこで本研究では,評判傾向予測システムの構築を目的として評判傾向の時間的変化とその原因をマイクロブログから抽出する評判傾向抽出エージェントの実現を目指す.特に本論文では,評判傾向の抽出と評判傾向が変化した原因の抽出に注力する.評価情報の感情を抽出するセンチメント分析に着目し,回帰式から評判傾向の変化点を抽出した後に,変化点におけるトピックをチャンキングにより抽出する手法を提案する.本手法は,従来の評価判定法であるp/n判定にセンチメント分析を組み合わせることで,p/n判定単体よりも人手による調査と相関の高い時系列変化を抽出できる点が特徴であり,政治及びテレビドラマに関するコンテンツを対象に実際の支持率,視聴率に対する評価実験を実施した結果,政治(自由度調整済決定係数R'^2(p/n判定単体:0.22,提案手法:0.60)),テレビドラマ(自由度調整済決定係数R'^2(p/n判定単体:0.26,提案手法:0.56))ともに相関の高い時系列変化を抽出できることが確認できた.
研究論文（学術雑誌）, 日本語

評判分析システムのための教師あり学習を用いた意見抽出
田中俊行; グェンミンティ; 中川博之; 田原康之; 大須賀昭彦
電子情報通信学会論文誌 「ソフトウェアエージェントとその応用」特集号, 一般社団法人電子情報通信学会, J94-D巻, 11号, 掲載ページ 1751-1761, 出版日 2011年11月, 査読付, インターネットの普及に伴い,Web上には商品やサービス(対象物)に対する多くの評判情報が蓄積されている.しかし,誰でも発信できるが故に,情報は膨大となり,それら全てに目を通すことは利用者にとって多大な負担となる.そのような背景から,レビューから意見を自動的に抽出する研究が盛んに行われており,意見を<対象物,評価視点(属性),評価値>の三つ組と捉え抽出する研究も行われている.しかしながら多くの研究は,評価視点や評価値の抽出に辞書を用いており,ジャンルごとに必要となる辞書の構築のためのコストは小さいとはいえない.また,単に辞書を用いてマッチングを行っただけでは,精度が上がらないのが現状である.そこで本論文では,教師あり学習を用いて,レビューサイトから意見を抽出する手法を提案する.提案手法は,従来の手法のように大規模な辞書をあらかじめ用意する必要がないため,コストを大幅に抑えることが可能である.実験の結果,辞書をあらかじめ用意しない既存手法と比較して,最大で適合率は約26%,再現率は約47%向上した.また,既存研究では個別の辞書を必要とするような他ジャンルに対して本手法を適用した結果,ほぼ変わらない精度で抽出することができ,他ジャンルへの適用の可能性を示すことができた.
研究論文（学術雑誌）, 日本語

Privacy Protection by Anonymizing Based on Status of Provider and Community
Hamamoto,K; Tahara,Y; Ohsuga,A
Proc. 2nd Annual International Conference on Network Technologies Security (NTC2011), 掲載ページ 65-71, 出版日 2011年11月, 査読付
研究論文（国際会議プロシーディングス）, 英語

自律システム実現に向けたアーキテクチャの構築
西村一彦; 中川博之; 田原康之; 大須賀昭彦
人工知能学会論文誌, 26巻, 1号, 掲載ページ 107-115, 出版日 2011年01月, 査読付
研究論文（学術雑誌）, 日本語

オントロジー構築サービスONTOMOの開発 －固有名詞抽出によるインスタンスとプロパティ自動推薦エージェントの評価－
川村隆浩; 沈偉; 中川博之; 田原康之; 大須賀昭彦
人工知能学会論文誌, 26巻, 1号, 掲載ページ 116-126, 出版日 2011年01月, 査読付
研究論文（学術雑誌）, 日本語

条件付確率場と自己教師あり学習を用いた行動属性の自動抽出と評価
グェンミンティ; 川村隆浩; 中川博之; 田原康之; 大須賀昭彦
人工知能学会論文誌, The Japanese Society for Artificial Intelligence, 26巻, 1号, 掲載ページ 166-178, 出版日 2011年01月, 査読付, In our definition, human activity can be expressed by five basic attributes: actor, action, object, time and location. The goal of this paper is describe a method to automatically extract all of the basic attributes and the transition between activities derived from sentences in Japanese web pages. However, previous work had some limitations, such as high setup costs, inability to extract all attributes, limitation on the types of sentences that can be handled, and insufficient consideration interdependency among attributes. To resolve these problems, this paper proposes a novel approach that uses conditional random fields and self-supervised learning. Given a small corpus sample as input, it automatically makes its own training data and a feature model. Based on the feature model, it automatically extracts all of the attributes and the transition between the activities in each sentence retrieved from the Web corpus. This approach treats activity extraction as a sequence labeling problem, and has advantages such as domain-independence, scalability, and does not require any human input. Since it is unnecessary to fix the number of elements in a tuple, this approach can extract all of the basic attributes and the transition between activities by making only a single pass. Additionally, by converting to simpler sentences, the approach can deal with complex sentences retrieved from the Web. In an experiment, this approach achieves high precision (activity: 88.9%, attributes: over 90%, transition: 87.5%).
研究論文（学術雑誌）, 日本語

Building earthquake semantic network by mining human activity from Twitter
The-Minh Nguyen; Kenji Koshikawa; Takahiro Kawamura; Yasuyuki Tahara; Akihiko Ohsuga
Proceedings - 2011 IEEE International Conference on Granular Computing, GrC 2011, IEEE Computer Society, 掲載ページ 496-501, 出版日 2011年, 査読付
研究論文（国際会議プロシーディングス）, 英語

Building an earthquake evacuation ontology from twitter
Isabel Shizu Miyamae Iwanaga; The-Minh Nguyen; Takahiro Kawamura; Hiroyuki Nakagawa; Yasuyuki Tahara; Akihiko Ohsuga
Proceedings - 2011 IEEE International Conference on Granular Computing, GrC 2011, IEEE Computer Society, 掲載ページ 306-311, 出版日 2011年, 査読付
研究論文（国際会議プロシーディングス）, 英語

ONTOMO: Web Service for Ontology Building - Evaluation of Ontology Recommendation using Named Entity Extraction
Kawamura,T; Shin,I; Nakagawa,H; Tahara,Y; Ohsuga,A
Proc. of IADIS International Conference WWW/INTERNET 2010 (ICWI 2010), 掲載ページ 101-111, 出版日 2010年10月, 査読付
研究論文（国際会議プロシーディングス）, 英語

大規模組織におけるソフトウェアプロセス改善活動の適用評価 ～10年間の実践に基づく考察～
小笠原秀人; 藤巻昇; 艸薙匠; 田原康之; 大須賀昭彦
情報処理学会論文誌, 情報処理学会, 51巻, 9号, 掲載ページ 1805-1815, 出版日 2010年09月, 査読付
研究論文（学術雑誌）, 日本語

Self-Supervised Mining of Human Activity from CGM
The-Minh Nguyen; Takahiro Kawamura; Hiroyuki Nakagawa; Yasuyuki Tahara; Akihiko Ohsuga
Proc. 11th International Workshop on Knowledge Management and Acquisition for Smart Systems and Services (PKAW 2010), Springer, LNAI6232巻, 掲載ページ 61-72, 出版日 2010年08月, 査読付
研究論文（国際会議プロシーディングス）, 英語

Rewriting Logic Model of Compositional Abstraction of Aspect-Oriented Software
Yasuyuki Tahara; Akihiko Ohsuga; Shinichi Honiden
Proc. of Foundations of Aspect-Oriented Languages Workshop 2010 (FOAL 2010), 掲載ページ 53-62, 出版日 2010年03月, 査読付
研究論文（国際会議プロシーディングス）, 英語

Human Activity Mining Using Conditional Radom Fields and Self-Supervised Learning.
Nguyen Minh The; Takahiro Kawamura; Hiroyuki Nakagawa; Ken Nakayama; Yasuyuki Tahara; Akihiko Ohsuga
Intelligent Information and Database Systems, Second International Conference, ACIIDS, Hue City, Vietnam, March 24-26, 2010. Proceedings, Part I, Springer, 掲載ページ 140-149, 出版日 2010年, 査読付
研究論文（国際会議プロシーディングス）

ONTOMO: Web-based Ontology Building System
I. Shin; T. Kawamura; H. Nakagawa; K. Nakayama; Y. Tahara; A. Ohsuga
Proceedings of 25th Annual ACM Symposium on Applied Computing (SAC 2010), ACM, 掲載ページ 1442-1443, 出版日 2010年, 査読付
研究論文（国際会議プロシーディングス）, 英語

AUTOMATIC MINING OF HUMAN ACTIVITY AND ITS RELATIONSHIPS FROM CGM
Nguyen Minh The; Takahiro Kawamura; Hiroyuki Nakagawa; Yasuyuki Tahara; Akihiko Ohsuga
ICSOFT 2010: PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL 1, 掲載ページ 285-292, 出版日 2010年, 査読付
研究論文（国際会議プロシーディングス）, 英語

NicoScene: Video Scene Search by Keywords Based on Social Annotation
Yasuyuki Tahara; Atsushi Tago; Hiroyuki Nakagawa; Akihiko Ohsuga
ACTIVE MEDIA TECHNOLOGY, 6335巻, 掲載ページ 461-474, 出版日 2010年, 査読付
研究論文（国際会議プロシーディングス）, 英語

Automatic mining of human activity attributes from weblogs
Nguyen Minh The; Takahiro Kawamura; Hiroyuki Nakagawa; Yasuyuki Tahara; Akihiko Ohsuga
Proceedings - 9th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2010, IEEE Computer Society, 掲載ページ 633-638, 出版日 2010年, 査読付
研究論文（国際会議プロシーディングス）, 英語

Capturing Users' Buying Activity at Akihabara Electric Town from Twitter
The-Minh Nguyen; Takahiro Kawamura; Yasuyuki Tahara; Akihiko Ohsuga
COMPUTATIONAL COLLECTIVE INTELLIGENCE: TECHNOLOGIES AND APPLICATIONS, PT II, 6422巻, 掲載ページ 163-171, 出版日 2010年, 査読付
研究論文（国際会議プロシーディングス）, 英語

Evolution of a course on model checking for practical applications
Yasuyuki Tahara; Nobukazu Yoshioka; Kenji Taguchi; Toshiaki Aoki; Shinichi Honiden
ACM SIGCSE Bulletin, 41巻, 2号, 掲載ページ 38-44, 出版日 2009年06月, 査読付
研究論文（学術雑誌）, 英語

ONTOMO: Development of Ontology Building Service Evaluation of Instance Recommendation Using Proper Noun Extraction
I. Shin; Takahiro Kawamura; Hiroyuki Nakagawa; Ken Nakayama; Yasuyuki Tahara; Akihiko Ohsuga
PRINCIPLES OF PRACTICE IN MULTI-AGENT SYSTEMS, 5925巻, 掲載ページ 143-+, 出版日 2009年, 査読付
研究論文（国際会議プロシーディングス）, 英語

A hierarchical mobile agent framework and its application to multimedia contents
Fuyuki Ishikawa; Nobukaza Yoshioka; Yasuyuki Tahara; Shinichi Honiden
Systems and Computers in Japan, 38巻, 1号, 掲載ページ 1-17, 出版日 2007年01月, 査読付
研究論文（学術雑誌）, 英語

Top SE: Education Program of Japan to Produce Superarchitects Who Can Apply Software Engineering Tools to Practical Development
Shinichi Honiden; Yasuyuki Tahara; Nobukazu Yoshioka; Kenji Taguchi
Proceedings of the 29th International Conference on Software Engineering, IEEE Computer Society, 掲載ページ 708-718, 出版日 2007年
研究論文（国際会議プロシーディングス）, 英語

ゴール指向要求工学の体系化のための共通用語
田原 康之; 長野 伸一; 吉岡 信和; 本位田 真一
情報処理学会論文誌, 47巻, 2号, 掲載ページ 596-608, 出版日 2006年02月, 査読付
研究論文（学術雑誌）, 日本語

ゴール指向要求工学方法論の共通用語モデルと共通パターン
田原 康之; 長野 伸一; 吉岡 信和; 本位田 真一
情報処理学会論文誌, 48巻, 3号, 掲載ページ 1417-1430, 出版日 2006年02月, 査読付
研究論文（学術雑誌）, 日本語

ソフトウェア設計に対するモデル駆動型検証プロセス
長野 伸一; 吉岡 信和; 田原 康之; 本位田 真一
情報処理学会論文誌, 一般社団法人情報処理学会, 47巻, 1号, 掲載ページ 193-208, 出版日 2006年01月, 査読付, 本研究では，新しいソフトウェアプロセスの1 つとしてモデル駆動型検証プロセスを提案する．一般に，設計検証とは，実践的ノウハウや経験を必要とする，習得のハードルが非常に高い作業である．しかし，これまで検証プロセスは，それらのノウハウや経験に沿って体系化されていないため，経験の浅いソフトウェア開発者にとって，検証は依然として困難な作業となっている．提案プロセスは，この課題に対する解決を目的とするものである．本研究では，検証プロセスを，中間成果物である検証モデルに対する変換手続きととらえ，そのうえで検証に必要な具体的作業の順序と内容を体系的に定義する．提案プロセスは次の2 つの特長を持つ．第1 に，検証作業に有効な実用的ノウハウの利用方法を明確化している．第2 に，検証モデル間の変換手続きの逆像が，設計誤り発見のためのデバッグプロセスの定義になっている．さらに，3 つのモデル検査ツール，SPIN，Cadence SMV，LTSAのそれぞれを利用した3 つの検証プロセスのインスタンスを示し，各プロセスをネットワーク家電の制御ソフトウェア設計に適用した事例を示す．その適用結果に基づいて，提案プロセスの特長と有効性に対する評価について述べる．This paper proposes a model-driven verification process that is yet another software process. Generally, verification is a very difficult task that calls for practical tips and experiences. However, no verification processes have been established systematically along with the tips and experiences. As a result, it is still difficult for software developers without enough experiences to begin on the verification task. The proposed process is a solution to this issue. It is defined as transformation procedures of intermediate products yielded during verification, systematizing the order and the contents of the activities needed for verification. The process has the following two advantages. First, it makes clear how to use the practical tips of verification. Second, the inverse images of the model transformation procedures result in the definition of debugging process for detecting design faults. We also illustrate a case study of application of three verification process instances using three model checkers, SPIN, Cadence SMV, and LTSA, respectively, to digital appliance control software. With the results of the applications, we evaluate the advantages and the effects of our proposed process.
研究論文（学術雑誌）, 日本語

Formal model of mobile BPEL4WS process
Fuyuki Ishikawa; Yasuyuki Tahara; Nobukazu Yoshioka; Shinichi Honiden
International Journal of Business Process Integration and Management, 1巻, 3号, 掲載ページ 192-209, 出版日 2006年, 査読付
研究論文（学術雑誌）, 英語

インタラクション記述言語IOM/T
土肥 拓生; 吉岡 信和; 田原 康之; 本位田 真一
電子情報通信学会論文誌 「ソフトウェアエージェントとその応用」特集号, 一般社団法人電子情報通信学会, J88-D-I巻, 9号, 掲載ページ 1299-1311, 出版日 2005年09月, 査読付, 近年, ネットワークの拡大に伴い情報の流通速度の高速化が進んでいる. それに伴いソフトウェアが扱うべきデータも大量・複雑になり, 環境の変化に対する変更も頻繁に生じるようになってきている. そのため, すべてを人間が把握した上で処理することは難しくなり, それを補うために自律性・協調性などの人間的な要素がソフトウェアにも求められるようになる. そして, マルチエージェントシステムはこのようなソフトウェアに対する解決策の一つとなる. マルチエージェントシステムにおいて重要な要素の一つは協調性, すなわち, インタラクションである. しかしながら, 既存の実装言語では表現力が不足しており, インタラクションの設計と実装の隔たりが大きい. そこで, 本論文では, インタラクションを実装するために必要な要素を検証するとともに, その理念に基づいて設計したインタラクション記述言語IOM/Tを提案する. IOM/Tを用いることにより, 設計をもとにインタラクションを開発することが容易になる.
研究論文（学術雑誌）, 日本語

階層構造制御に注目したモバイルエージェントフレームワークとそのマルチメディア応用
石川 冬樹; 吉岡 信和; 田原 康之; 本位田真一
電子情報通信学会論文誌 「ソフトウェアエージェントとその応用」特集号, 一般社団法人電子情報通信学会, J88-D-I巻, 9号, 掲載ページ 1402-1417, 出版日 2005年09月, 査読付, 階層型モバイルエージェントはモバイルエージェントを拡張したモデルである. そのモデルでは, エージェントが他のエージェント内に移動し, 親子関係を構築することができる(受入れ先のエージェントが親である). このようなエージェントの合成によりエージェントは機能の統合を実現できるとともに, 特にリモート通信を用いずにローカルで相互作用し, エージェントが移動を行った場合でもその関係を長期にわたり安定して維持することができる. 本研究では, この親子関係の制御に注目し, それを容易とすることを目指したMAFEHフレームワークを提案する. このフレームワークは二つの特徴をもつ. 一つは, 親子間の振舞いに関する同意事項を表すParent-Child Agreementである. もう一つは, 個々の相互作用の相手の検索, 合成, その解除という流れの詳細を容易に記述するためのInteraction Behavior Descriptionである. 本研究では更にMAFEHフレームワークの適用例として, マルチメディアコンテンツをカプセル化したエージェントが, 他のコンテンツや様々なサービスを提供するエージェントと合成を行うという応用を示す.
研究論文（学術雑誌）, 日本語

Common Metamodel of Goal-Oriented Requirements Engineering Methodologies
Yasuyuki Tahara; Shinichi Nagano; Nobukazu Yoshioka; Shinichi Honiden
Proc. of The Third International Workshop on Comparative Evaluation in Requirements Engineering (CERE 2005), 1巻, 出版日 2005年08月, 査読付
研究論文（国際会議プロシーディングス）, 英語

IOM/T : An Interaction Description Language
Takuo DOI; Nobukazu Yoshioka; Yasuyuki Tahara; Shinichi Honiden
Proc. of The Fourth International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS 2005), ACM, 掲載ページ 778-785, 出版日 2005年07月, 査読付
研究論文（国際会議プロシーディングス）, 英語

Agent Synthesis: Partnership and Agreement in Cooperative Mobile Agents
Fuyuki Ishikawa; Nobukazu Yoshioka; Yasuyuki Tahara; Shinichi Honiden
Proc. of The Fourth International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS 2005), ACM, 掲載ページ 1267-1268, 出版日 2005年07月, 査読付
研究論文（国際会議プロシーディングス）, 英語

Developing Service-Oriented Compounds of Cooperative Mobile Agents
Fuyuki Ishikawa; Nobukazu Yoshioka; Yasuyuki Tahara; Shinichi Honiden
Proc. of The Workshop on Service-Oriented Computing and Agent-Based Engineering (SOCABE'2005), 1巻, 出版日 2005年07月, 査読付
研究論文（国際会議プロシーディングス）, 英語

Framework for Hierarchical Mobile Agents: Toward Service-Oriented Agent Compound
Fuyuki Ishikawa; Nobukazu Yoshioka; Yasuyuki Tahara; Shinichi Honiden
Proc. of the 7th International Conference on Enterprise Information Systems (ICEIS-2005), 掲載ページ 275-282, 出版日 2005年05月, 査読付
研究論文（国際会議プロシーディングス）, 英語

分散システム開発におけるモデル検査への視覚的支援手法
田原 康之; 吉岡 信和; 大須賀 昭彦; 本位田 真一
情報処理学会論文誌, 46巻, 2号, 掲載ページ 459-469, 出版日 2005年02月, 査読付
研究論文（学術雑誌）, 日本語

Bridging the gap between AUM/T and implementation using IOM/T
T Doi; N Yoshioka; Y Tahara; S Honiden
PROGRAMMING MULTI-AGENT SYSTEMS, 3346巻, 掲載ページ 147-162, 出版日 2005年, 査読付
研究論文（学術雑誌）, 英語

オブジェクト指向によるセマンティックWeb開発方法論 - オントロジ構築を中心に -
田原 康之; 本位田 真一
コンピュータソフトウェア, 東京 : 日本ソフトウェア科学会 ; 1984-, 22巻, 4号, 掲載ページ 40-45, 出版日 2005年01月, 査読付
日本語

Mobile and cooperative compounds of multimedia services
F Ishikawa; N Yoshioka; Y Tahara; S Honiden
2005 IEEE International Conference on Services Computing, Vol 1, Proceedings, 掲載ページ 129-136, 出版日 2005年, 査読付
研究論文（国際会議プロシーディングス）, 英語

A framework for synthesis of web services and mobile agents
Fuyuki Ishikawa; Yasuyuki Tahara; Nobukazu Yoshioka; Shinichi Honiden
International Journal of Pervasive Computing and Communications, Emerald Group Publishing Ltd., 1巻, 3号, 掲載ページ 227-245, 出版日 2005年, 査読付
研究論文（学術雑誌）, 英語

Pigeon: a Specification Language for Mobile Agent Applications
Yasuyuki Tahara; Akihiko Ohsuga; Shinichi Honiden
Proc. of the Third International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'04), IEEE Computer Society, 3巻, 掲載ページ 1356-1357, 出版日 2004年07月, 査読付
研究論文（国際会議プロシーディングス）, 英語

Bridging the Gap between AUML and Implementation using FOPL
Takuo Doi; Nobukazu Yoshioka; Yasuyuki Tahara; Shinichi Honiden
Proc. of the Second International Workshop on Programming Multi-Agent Systems（ProMAS 2004), 掲載ページ 69-78, 出版日 2004年07月, 査読付
研究論文（国際会議プロシーディングス）, 英語

Toward Synthesis of Web Services and Mobile Agents
Fuyuki Ishikawa; Nobukazu Yoshioka; Yasuyuki Tahara; Shinichi Honiden
Proc. of AAMAS'2004 Workshop on Web Services and Agent-based Engineering (WSABE 2004), 掲載ページ 48-55, 出版日 2004年07月, 査読付
研究論文（国際会議プロシーディングス）, 英語

Webサービス連携のためのモバイルエージェント動作記述
石川 冬樹; 田原 康之; 吉岡 信和; 本位田 真一
情報処理学会論文誌「オブジェクト指向とWeb 技術」特集号, 45巻, 6号, 掲載ページ 1614-1629, 出版日 2004年06月, 査読付
研究論文（学術雑誌）, 日本語

Mobile Agent System for Web Services Integration in Pervasive Networks
Fuyuki Ishikawa; Nobukazu Yoshioka; Yasuyuki Tahara; Shinichi Honiden
Proc. of the 1st International Workshop on Ubiquitous Computing (IWUC 2004), INSTICC Press, 掲載ページ 38-47, 出版日 2004年04月, 査読付
研究論文（国際会議プロシーディングス）, 英語

Behavior descriptions of mobile agents for web services integration
F Ishikawa; Y Tahara; N Yoshioka; S Honiden
IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, PROCEEDINGS, 掲載ページ 342-349, 出版日 2004年, 査読付
研究論文（国際会議プロシーディングス）, 英語

A Formal Model of Active Contents Based on the Ambient Calculus
Yasuyuki Tahara; Nobukazu Yoshioka; Shinichi Honiden
Proc. of the fifth International Workshop on Mobile Agents for Telecommunication Applications (MATA 2003), Springer, 掲載ページ 132-141, 出版日 2003年10月, 査読付
研究論文（国際会議プロシーディングス）, 英語

モバイルエージェントアプリケーションのための仕様記述言語Pigeon
田原 康之; 大須賀 昭彦; 本位田 真一
電子情報通信学会論文誌. D-I, 情報・システム, I-情報処理, 一般社団法人電子情報通信学会, J86-D-I巻, 8号, 掲載ページ 532-542, 出版日 2003年08月, 査読付, モバイルエージェント技術が普及するにつれて,実適用にあたり,例えば開放型のネットワーク上を動き回るため動作の把握が困難であることや,セキュリテイの確保が従来のシステムに比べて難しいなど,多くの問題が浮かび上がってきている.このような問題を解決する手段として,形式仕様技術が注目されており,モバイルエージェント向けの仕様記述言語や,そのための理論的基盤となる計算モデルがいくつか提案されている.しかし,モバイルエージェントアプリケーションの仕様を効果的に記述・利用するためには,その記述言語にもカスタマイズ機能や高度な記述能力が要求されるが,従来の言語では対応していない.そこで本論文では,モバイルエージェントアプリケーションの仕様記述に必要な,カスタマイズ機能や高度な記述能力を実現した言語Pigeonを提案する.Pigeonは,仕様記述言語として,動作仕様と要求仕様の分離や,前者から後者の体系へのモデル化を変更可能とすることにより,カスタマイズ機能を実現する.また,リフレクション機能により,高度な記述能力を実現する.また本論文では,Pigeonを電子カタログアプリケーションに適用し,更に他の言語と比較することにより,Pigeonの評価を行う.
研究論文（学術雑誌）, 日本語

パターンを利用したセキュアかつ効率的なモバイルエージェントアプリケーション開発
田原 康之; 吉岡 信和; 大須賀 昭彦; 本位田 真一
情報処理学会論文誌, 44巻, 6号, 掲載ページ 1483-1497, 出版日 2003年06月, 査読付
研究論文（学術雑誌）, 日本語

IPEditor開発ツールとMobile UNITY 言語の適用によるモバイルエージェントセキュリティの実現
田原 康之; 大須賀 昭彦; 本位田 真一
情報処理学会論文誌, 一般社団法人情報処理学会, 43巻, 6号, 掲載ページ 1582-1597, 出版日 2002年06月, 査読付, ネットワーク上を移動しながら動作するモバイルエージェントの実用化においては，アプリケーション開発において多くの問題がある．たとえば，セキュリティが最も大きな問題の1つであると広く考えられている．本論文では，我々が開発し公開した，モバイルマルチエージェントアプリケーションの開発支援ツールIPEditorと，モバイルエージェントアプリケーションのための形式的仕様記述言語Mobile UNITYにより，セキュリティ問題に対し効果的に対処できることを示す．我々の手法では，IPEditorが，エージェントの挙動の記述 を視覚的に支援することにより，アプリケーション設計の効率が向上する．また，IPEditorモデルを，エージェントの挙動の形式的仕様記述であるMobile UNITYプログラムに翻訳する．さらに，セキュリティへの要求をMobile UNITY論理により記述する．これにより，Mobile UNITYプログラム，すなわちIPEditorモデルで表されるエージェントの挙動が，Mobile UNITY論理記述，すなわち与えられた要求を満たすかどうかを検証することが可能となる．そして，電子カタログアプリケーションなどの例により，我々の提案の有 効性を示す．Many people consider that there are many problems in development of practical applications of mobile agents that move around the network and do their tasks. For example, security is one of the biggest problems. In this paper, we assert that this issue can be effectively managed by using IPEditor, the development support tool of mobile multi-agent applications that we have been released, and Mobile UNITY, a formal specification language of mobile agent applications. In our method, IPEditor helps developers to design applications with visual supports of agent behaviors. We translate an IPEditor model to a Mobile UNITY program that is the formal specification of the agent behaviors. In addition, we describe the requirements by the Mobile UNITY logic notation. Thus we can verify the requirements by proving that the mobile UNITY program, therefore the IPEditor model, satisfies the mobile UNITY logic notation. We present examples including an electronic catalog (e-catalog) application and illustrate the effectiveness of our proposal.
研究論文（学術雑誌）, 日本語

Mobile Agent Security with the IPEditor, Development Tool and the Mobile UNITY Language
Yasuyuki Tahara; Akihiko Ohsuga; Shinichi Honiden
Proc. of the fifth International Conference on Autonomous Agents (Agents2001), ACM Press, 掲載ページ 656-662, 出版日 2001年05月, 査読付
研究論文（国際会議プロシーディングス）, 英語

Secure and Efficient Mobile Agent Application Reuse Using Patterns
Yasuyuki Tahara; Nobukazu Yoshioka; Akihiko Ohsuga; Shinichi Honiden
Proceedings of the 2001 symposium on Software reusability: putting software reuse in context, ACM, 掲載ページ 78-85, 出版日 2001年05月, 査読付
研究論文（国際会議プロシーディングス）, 英語

Security for mobile agents
Nobukazu Yoshioka; Yasuyuki Tahara; Akihiko Ohsuga; Shinichi Honiden
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 1957巻, 掲載ページ 223-234, 出版日 2001年, 査読付
研究論文（国際会議プロシーディングス）, 英語

Behavior patterns for mobile agent systems from the development process viewpoint
Y Tahara; A Ohsuga; S Honiden
5TH INTERNATIONAL SYMPOSIUM ON AUTONOMOUS DECENTRALIZED SYSTEMS, PROCEEDINGS, 掲載ページ 239-242, 出版日 2001年, 査読付
研究論文（国際会議プロシーディングス）, 英語

Bee-gent: Bonding and Encapsulation Enhancement Agent Framework for Development of Distributed Systems
Takahiro Kawamura; Yasuyuki Tahara; Tetsuo Hasegawa; Akihiko Ohsuga; Shinichi Honiden
Systems and Computers in Japan, John Wiley & Sons, Inc., 31巻, 13号, 掲載ページ 42-56, 出版日 2000年12月, 査読付
研究論文（学術雑誌）, 英語

Agent Communication Language Patterns And Their Tool Support
Yasuyuki Tahara; Akihiko Ohsuga; Shinichi Honiden
Proc. of International ICSC Symposium on Multi-Agents and Mobile Agents in Virtual Organizations and E-Commerce (MAMA2000), 掲載ページ #1574 351, 出版日 2000年12月, 査読付
研究論文（国際会議プロシーディングス）, 英語

ビヘイビアパターンに基づくモバイルエージェントシステム開発手法
田原 康之; 大須賀 昭彦; 本位田 真一
情報処理学会論文誌, 40巻, 12号, 掲載ページ 4319-4332, 出版日 1999年12月, 査読付
研究論文（学術雑誌）, 日本語

Agent System Development Method based on Agent Patterns
Yasuyuki Tahara; Akihiko Ohsuga; Shinichi Honiden
Proceedings of the 21st International Conference on Software Engineering, ACM, 掲載ページ 356-367, 出版日 1999年05月, 査読付
研究論文（国際会議プロシーディングス）, 英語

オブジェクト指向におけるリフレクションの代数的意味論
田原 康之; 粂野 文洋; 大須賀 昭彦; 本位田 真一
情報処理学会論文誌, 38巻, 4号, 掲載ページ 826-834, 出版日 1997年04月, 査読付
研究論文（学術雑誌）, 日本語

Plangent - An Intelligent Multiagent System for Network Computing
Yasuyuki Tahara; Masanori Hattori; Akihiko Ohsuga; Yasuo Nagai; Yutaka Irie; Shinichi Honiden
Proc. of the SECOND INTERNATIONAL CONFERENCE ON MULTIAGENT SYSTEMS (ICMAS '96), 掲載ページ 460, 出版日 1996年12月, 査読付
研究論文（国際会議プロシーディングス）, 英語

An algebraic semantics of reflective objects
Yasuyuki Tahara; Fumihiro Kumeno; Akihiko Ohsuga; Shinichi Honiden
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, 1049巻, 掲載ページ 173-189, 出版日 1996年, 査読付
研究論文（国際会議プロシーディングス）, 英語

Evolutional Agents: Field Oriented Programming Language, Flage
Fumihiro Kumeno; Yasuyuki Tahara; Akihiko Ohsuga; Shinichi Honiden
Proc. Asia Pacific Software Engineering Conference (APSEC'95), IEEE Computer Society, APSEC1995巻, 掲載ページ 189-198, 出版日 1995年12月, 査読付
研究論文（国際会議プロシーディングス）, 英語

Formal Semantics of Agent Evolution in Language Flage
Yasuyuki Tahara; Fumihiro Kumeno; Akihiko Ohsuga; Shinichi Honiden
Proc. France-Japan Workshop Object-Based Parallel and Distributed Computing (OBPDC'95), Springer, OBPDC巻, LNCS1107号, 掲載ページ 329-348, 出版日 1995年06月, 査読付
研究論文（国際会議プロシーディングス）, 英語

Flage: Field-oriented Language for AGEnt model
Fumihiro Kumeno; Yasuyuki Tahara; Akihiko Ohsuga; Shinichi Honiden
Proc. 3rd Int. Conf. on Software Reuse (ICSR'94), IEEE Computer Society, ICSR1994巻, 掲載ページ 198-199, 出版日 1994年11月, 査読付
研究論文（国際会議プロシーディングス）, 英語

強化学習を用いたGraphQL APIの自動テスト手法の提案
斎藤 健三郎; 田原 康之; 大須賀 昭彦; 清 雄一
出版日 2024年11月, 第31回ソフトウェア工学の基礎ワークショップ(FOSE), 査読付

画像認識モデルに対する系統的故障の適応的自動検出手法AdaSniperの提案
鳥越 湧真; 石川 冬樹; 田原 康之; 大須賀 昭彦; 清 雄一; 高橋 寿一; 高木 陽平
出版日 2024年11月, 第31回ソフトウェア工学の基礎ワークショップ(FOSE), 査読付

サッカーにおける実況内容を含めたマルチモーダルな行動認識手法の検討
熊倉 多香音; 折原 良平,田原 康之,大須賀 昭彦,清 雄一
出版日 2024年09月, 第23回情報科学技術フォーラム(FIT), 日本語, 研究発表ペーパー・要旨（全国大会，その他学術会議）

登山の到着時刻推定タスクにおける深層学習手法の適用と評価
浅古 瑞穂,田原 康之,大須賀 昭彦,清 雄一
出版日 2024年09月, 第23回情報科学技術フォーラム(FIT), 日本語, 研究発表ペーパー・要旨（全国大会，その他学術会議）

LLMを利用した深層強化学習エージェントによるウェブアプリのバグの発見
酒井 佑旗,田原 康之,大須賀 昭彦,清 雄一
出版日 2024年09月, 第23回情報科学技術フォーラム(FIT), 日本語, 研究発表ペーパー・要旨（全国大会，その他学術会議）

NetHackにおける深層強化学習アルゴリズムDQNとPPOの比較評価
大貫 泰弘,田原 康之,大須賀 昭彦,清 雄一
出版日 2024年09月, 第53回ゲーム情報学研究発表会, 日本語, 研究発表ペーパー・要旨（全国大会，その他学術会議）

非独立同一分布データにおける連合学習の性能公平性改善に関する研究
境田 晃大,大石 慶一朗,田原 康之,大須賀 昭彦,清 雄一
出版日 2024年09月, SMASH24 Summer Symposium, 日本語, 研究発表ペーパー・要旨（全国大会，その他学術会議）

機械学習を活用した釣果予測モデルの開発
田中 智大,田原 康之,大須賀 昭彦,清 雄一
出版日 2024年09月, SMASH24 Summer Symposium, 日本語, 研究発表ペーパー・要旨（全国大会，その他学術会議）

属性の欠損に対応した連合学習アルゴリズム
大石 慶一朗,福田 賢一郎,田原 康之,大須賀 昭彦,清 雄一
出版日 2024年09月, SMASH24 Summer Symposium, 日本語, 研究発表ペーパー・要旨（全国大会，その他学術会議）

人間プレイヤとPolicy Ensembleによる格闘ゲームAIの共有制御
山本 拓実,清 雄一,田原 康之,大須賀 昭彦
出版日 2024年05月, 第38回人工知能学会全国大会, 日本語, 研究発表ペーパー・要旨（全国大会，その他学術会議）

日本語の仮名表記を学習した言語モデルを用いた文章の言い換えによる駄洒落の生成
南 智仁,清 雄一,田原 康之,大須賀 昭彦
出版日 2024年05月, 第38回人工知能学会全国大会, 日本語, 研究発表ペーパー・要旨（全国大会，その他学術会議）

ライブ配信サイトTwitchにおける人気配信者の要因の分析
佐藤大樹,清雄一,田原康之,大須賀昭彦
出版日 2024年03月, 第16回データ工学と情報マネジメントに関するフォーラム (DEIM Forum）, 日本語, 研究発表ペーパー・要旨（全国大会，その他学術会議）

マルチプレイヤRPGにおいて人間らしいプレイスタイルをとるゲームAIの提案
藤山仁聖,清雄一,田原康之,大須賀昭彦
出版日 2024年03月, 第16回データ工学と情報マネジメントに関するフォーラム (DEIM Forum）, 日本語, 研究発表ペーパー・要旨（全国大会，その他学術会議）

ボール奪取と攻撃の防御に基づくアクションによるサッカー選手の攻守評価
前島涼弥,清雄一,田原康之,大須賀昭彦
出版日 2024年03月, 第16回データ工学と情報マネジメントに関するフォーラム (DEIM Forum）, 日本語, 研究発表ペーパー・要旨（全国大会，その他学術会議）

バドミントンの試合データを用いたショットの成功確率予測
美濃岡知樹,清雄一,田原康之,大須賀昭彦
出版日 2024年03月, 第16回データ工学と情報マネジメントに関するフォーラム (DEIM Forum）, 日本語, 研究発表ペーパー・要旨（全国大会，その他学術会議）

スケッチによるマスク不要の表情差分生成手法の提案
佐々木嵩仁,清雄一,田原康之,大須賀昭彦
出版日 2024年03月, 第16回データ工学と情報マネジメントに関するフォーラム (DEIM Forum）, 日本語, 研究発表ペーパー・要旨（全国大会，その他学術会議）

人体キーポイントを用いて映像に整合する楽器音を生成するモデルの提案
岡野日翔,清雄一,田原康之,大須賀昭彦
出版日 2024年03月, 第16回データ工学と情報マネジメントに関するフォーラム (DEIM Forum）, 日本語, 研究発表ペーパー・要旨（全国大会，その他学術会議）

意外性のある意見がもたらすエコーチェンバー現象の分析
中川啓,清雄一,田原康之,大須賀昭彦
出版日 2024年03月, 第16回データ工学と情報マネジメントに関するフォーラム (DEIM Forum）, 日本語, 研究発表ペーパー・要旨（全国大会，その他学術会議）

インターネットスラングを考慮した大規模言語モデルを用いた感情分析手法の提案
関優花,清雄一,田原康之,大須賀昭彦
出版日 2024年03月, 第16回データ工学と情報マネジメントに関するフォーラム (DEIM Forum）, 日本語, 研究発表ペーパー・要旨（全国大会，その他学術会議）

ポジティブな単語を含んだ煽り・誹謗中傷目的のコメント検出方法の提案
佐藤豪,清雄一,田原康之,大須賀 昭彦
出版日 2024年03月, 第16回データ工学と情報マネジメントに関するフォーラム (DEIM Forum）, 日本語, 研究発表ペーパー・要旨（全国大会，その他学術会議）

大規模条件付き画像生成モデルを用いたテキストによる出力制御可能なアイコン線画彩色
宮内 洸希; 折原 良平; 清 雄一; 田原 康之; 大須賀 昭彦
出版日 2023年09月, 合同エージェントワークショップ＆シンポジウム (JAWS) 2023, 信学技報 123巻, 190号, 掲載ページ 201-206, 日本語, 研究発表ペーパー・要旨（全国大会，その他学術会議）

音声と3DMMに基づくマスクを除去した顔画像の推定
赤塚 哲丸; 折原 良平; 清 雄一; 田原 康之; 大須賀 昭彦
出版日 2023年09月, 合同エージェントワークショップ＆シンポジウム (JAWS) 2023, 信学技報 123巻, 190号, 掲載ページ 187-193, 日本語, 研究発表ペーパー・要旨（全国大会，その他学術会議）

複数データソースを統合したアニメーション作品のナレッジグラフに基づく作品推薦
齋藤 悠貴; 折原 良平; 清 雄一; 田原 康之; 大須賀 昭彦
出版日 2023年09月, 合同エージェントワークショップ＆シンポジウム (JAWS) 2023, 信学技報 123巻, 190号, 掲載ページ 172-179, 日本語, 研究発表ペーパー・要旨（全国大会，その他学術会議）

化粧品レビュー文の特徴自動スコアリングを用いたレビュー文付きアイテム推薦の研究
馬場 菜摘; 清 雄一; 田原 康之; 大須賀 昭彦
出版日 2023年09月, 合同エージェントワークショップ＆シンポジウム (JAWS) 2023, 信学技報 123巻, 190号, 掲載ページ 167-171, 日本語, 研究発表ペーパー・要旨（全国大会，その他学術会議）

擬人化タスクにおけるカラーパレットを用いた条件付き画像生成手法の挙動分析
徐 江林; 折原 良平; 清 雄一; 田原 康之; 大須賀 昭彦
出版日 2023年09月, 合同エージェントワークショップ＆シンポジウム (JAWS) 2023, 信学技報 123巻, 190号, 掲載ページ 101-108, 日本語, 研究発表ペーパー・要旨（全国大会，その他学術会議）

測定機器の誤差を利用した効果的な位置情報プライバシ保護手法の提案
石禾 里帆; 清 雄一; 田原 康之; 大須賀 昭彦
出版日 2023年09月, 合同エージェントワークショップ＆シンポジウム (JAWS) 2023, 信学技報 123巻, 190号, 掲載ページ 77-82, 日本語, 研究発表ペーパー・要旨（全国大会，その他学術会議）

述語の意味によるクラスタリングを用いたシーングラフ生成
太田 雅輝; 鵜飼 孝典; 江上 周作; 清 雄一; 田原 康之; 大須賀 昭彦; 福田 賢一郎
出版日 2023年08月, 第60回人工知能学会セマンティックウェブとオントロジー研究会, SIG-SWO-060-02巻, 掲載ページ 1-6, 日本語, 研究発表ペーパー・要旨（全国大会，その他学術会議）

シーングラフ生成におけるロングテール問題解決に向けたデータサンプリング手法の検討
太田 雅輝; 鵜飼 孝典; 江上 周作; 清 雄一; 田原 康之; 大須賀 昭彦; 福田 賢一郎
出版日 2023年03月, 第59回セマンティックウェブとオントロジー研究会, 2023巻, SWO-059号, 掲載ページ 09, 日本語, 研究発表ペーパー・要旨（全国大会，その他学術会議）

IoT機器の通信機能を起点としたバックドア検知手法の提案
依田みなみ; 櫻庭秀次; 山本純一; 清雄一; 清雄一; 田原康之; 大須賀昭彦
出版日 2020年, 電子情報通信学会技術研究報告, 119巻, 437(ICSS2019 68-107)(Web)号, 0913-5685, 202002224715945078

ソフトウェア工学の最前線 〜ソフトウェアが社会のすべてを定義する時代〜：［未来に向かって］10．IoT時代の環境適応型ソフトウェア
中川 博之; 鄭 顕志; 田原 康之
出版日 2017年07月, 情報処理, 58巻, 8号, 掲載ページ 702-704, 日本語, 招待, 記事・総説・解説・論説等（商業誌、新聞、ウェブメディア）

Linked Dataによる楽曲特徴量の収集・分析基盤の構築
上原有里; 川村隆浩; 江上周作; 清雄一; 田原康之; 大須賀昭彦
出版日 2016年09月, 合同エージェントワークショップ&シンポジウム2016 (JAWS2016), 掲載ページ 262-269, 日本語, 査読付, 研究発表ペーパー・要旨（全国大会，その他学術会議）

ゴール指向洗練パターン駆動によるユースケースモデリング
本田耕三; 平山秀昭; 中川博之; 田原康之; 大須賀昭彦
出版日 2016年03月01日, 電子情報通信学会論文誌 D(Web), J99-D巻, 3号, 掲載ページ 238‐254 (WEB ONLY), 日本語, 1881-0225, 201602202783800917

社会課題解決に向けた循環型オープンデータ構築システムの提案
江上周作; 川村隆浩; 清雄一; 田原康之; 大須賀昭彦
出版日 2015年10月, 合同エージェントワークショップ&シンポジウム2015 (JAWS2015), 掲載ページ 274-281, 日本語, 査読付, 研究発表ペーパー・要旨（全国大会，その他学術会議）

意外性のあるレシピを推薦するエージェントの提案
池尻恭介; 清雄一; 中川博之; 田原康之; 大須賀昭彦
出版日 2015年06月01日, 電子情報通信学会論文誌 D(Web), J98-D巻, 6号, 掲載ページ 971-981 (WEB ONLY), 日本語, 1881-0225, 201502204954116578

D-9-25 ミニプログを利用した避難行動推薦(2) : 自己適応システム技術の適用(D-9.ライフインテリジェンスとオフィス情報システム,一般セッション)
田原 康之; 大須賀 昭彦; 川村 隆浩; 清 雄一; 中川 博之; 吉岡 信和; 松本 一教; 一色 正男
一般社団法人電子情報通信学会, 出版日 2015年02月24日, 電子情報通信学会総合大会講演論文集, 2015巻, 1号, 掲載ページ 142-142, 日本語, 110009944927, AN10471452

ミニブログを利用した避難行動推薦(2)―自己適応システム技術の適用―
田原康之; 大須賀昭彦; 川村隆浩; 清雄一; 中川博之; 吉岡信和; 松本一教; 一色正男
出版日 2015年02月24日, 電子情報通信学会大会講演論文集(CD-ROM), 2015巻, 掲載ページ ROMBUNNO.D-9-25, 日本語, 1349-144X, 201502208196368301

ミニブログを利用した避難行動推薦(3)―プライバシ保護データマイニングの適用―
清雄一; 大須賀昭彦; 田原康之; 川村隆浩; 中川博之; 吉岡信和; 松本一教; 一色正男
出版日 2015年02月24日, 電子情報通信学会大会講演論文集(CD-ROM), 2015巻, 掲載ページ ROMBUNNO.D-9-26, 日本語, 1349-144X, 201502228082383700

ミニブログを利用した避難行動推薦(1)―システム概要―
大須賀昭彦; 田原康之; 川村隆浩; 清雄一; 中川博之; 吉岡信和; 松本一教; 一色正男
出版日 2015年02月24日, 電子情報通信学会大会講演論文集(CD-ROM), 2015巻, 掲載ページ ROMBUNNO.D-9-24, 日本語, 1349-144X, 201502275670535906

モデル検査による設計検証
吉岡 信和; 田辺 良則; 田原 康之; 長谷川 哲夫; 磯部 祥尚
出版日 2014年12月, 日本ソフトウェア科学会コンピュータソフトウェア, 31巻, 4号, 掲載ページ 4_40-4_65, 日本語, 記事・総説・解説・論説等（学術雑誌）, 0289-6540

レビューサイトの情報を利用したスマートフォンアプリケーションの開発支援
清 雄一; 田原 康之; 大須賀 昭彦
スマートフォン用のアプリケーション （スマホアプリ） 開発が盛んに行われている．しかし，スマホアプリは様々なプラットフォーム，環境下で実行されるため，網羅的なテストが難しく，不具合が入り込みやすいという課題がある．さらに，ユーザの年齢やスマートフォン操作の習熟度が幅広く，ユーザの要求抽出が困難であるという課題もある．本論文では，スマホアプリのレビューサイトに投稿されているレビュー内容を分析することによって，必要とされている機能/非機能を抽出する手法及び，不具合の発生をいち早く検知する手法を提案する．A number of smartphone applications have been developed these days. However, it is difficult to develop smartphone applications without bugs because they are used in various platforms and environments. Moreover, requirements elicitation is also difficult because various persons may use the smartphone applications. In this paper, we propose an algorithm for eliciting requirements and detecting bugs early by analyzing user reviews posted in review site of smartphone applications., 一般社団法人情報処理学会, 出版日 2014年11月06日, 研究報告ソフトウェア工学（SE）, 2014巻, 4号, 掲載ページ 1-8, 日本語, 110009840462, AN10112981

Music Recommender Adapting Implicit Context Using 'renso' Relation among Linked Data
Mian Wang; Takahiro Kawamura; Yuichi Sei; Hiroyuki Nakagawa; Yasuyuki Tahara; Akihiko Ohsuga
The existing music recommendation systems rely on user's contexts or content analysis to satisfy the users' music playing needs. They achieved a certain degree of success and inspired future researches to get more progress. However, a cold start problem and the limitation to the similar music have been pointed out. Therefore, this paper proposes a unique recommendation methodusing a 'renso' alignment among Linked Data, aiming to realize the music recommendation agent in smartphone. We first collect data from Last.fm, Yahoo! Local, Twitter and LyricWiki, and create a large scale of Linked Open Data (LOD), then create the 'renso' relation on the LOD and select the music according to the context. Finally, we confirmed an evaluation result demonstrating its accuracy and serendipity.------------------------------This is a preprint of an article intended for publication Journal ofInformation Processing(JIP). This preprint should not be cited. Thisarticle should be cited as: Journal of Information Processing Vol.22(2014) No.2 (online)DOI http://dx.doi.org/10.2197/ipsjjip.22.279------------------------------The existing music recommendation systems rely on user's contexts or content analysis to satisfy the users' music playing needs. They achieved a certain degree of success and inspired future researches to get more progress. However, a cold start problem and the limitation to the similar music have been pointed out. Therefore, this paper proposes a unique recommendation methodusing a 'renso' alignment among Linked Data, aiming to realize the music recommendation agent in smartphone. We first collect data from Last.fm, Yahoo! Local, Twitter and LyricWiki, and create a large scale of Linked Open Data (LOD), then create the 'renso' relation on the LOD and select the music according to the context. Finally, we confirmed an evaluation result demonstrating its accuracy and serendipity.------------------------------This is a preprint of an article intended for publication Journal ofInformation Processing(JIP). This preprint should not be cited. Thisarticle should be cited as: Journal of Information Processing Vol.22(2014) No.2 (online)DOI http://dx.doi.org/10.2197/ipsjjip.22.279------------------------------, 出版日 2014年04月15日, 情報処理学会論文誌, 55巻, 4号, 英語, 1882-7764, 110009752428, AN00116647

モーフォロジカルアナリシスを適用した潜在顧客の要求分析手法
GIRIER Yoko; 本田耕三; 中川博之; 田原康之; 大須賀昭彦
出版日 2014年03月12日, 情報処理学会研究報告(Web), 2014巻, SE-183号, 掲載ページ WEB ONLY VOL.2014-SE-183,NO.8, 日本語, 201502244743519049

メディア情報のLinked Data化と活用事例の提案
川村隆浩; 越川兼地; 中川博之; 清雄一; 田原康之; 大須賀昭彦
出版日 2013年12月01日, 電子情報通信学会論文誌 D, J96-D巻, 12号, 掲載ページ 2987-2999, 日本語, 1880-4535, 201302247762536676

C/S型オンラインゲームの自己適応化に向けたMAPEループ構成パターンの提案
山縣慧; 中川博之; 清雄一; 田原康之; 大須賀昭彦
出版日 2013年11月27日, 情報処理学会シンポジウムシリーズ(CD-ROM), 2013巻, 6号, 掲載ページ ROMBUNNO.11, 日本語, 1882-0840, 201402287049245466

自動掃除ロボットの自己適応化に向けて
工藤拓光; 中川博之; 清雄一; 田原康之; 大須賀昭彦
出版日 2013年11月26日, 情報処理学会研究報告(Web), 2013巻, EMB-31号, 掲載ページ WEB ONLY VOL.2013-EMB-31,NO.5, 日本語, 201502292254822230

割り込み処理に着目した組込みソフトウェアへのモデル検査適用の検討 (知能ソフトウェア工学)
佐々木 隆益; 吉岡 信和; 田原 康之; 大須賀 昭彦
組み込み製品において,不適切な割り込み処理による不具合をテストで検出するのは再現性がなく困難である.これに関しては,モデル検査技術による解決の可能性がある.しかしながら,割り込みのようなハードウェアに依存したシステムにおけるモデル検査の効率的でかつ実践可能な手法の提案は少ない.本研究では,ハードウェアを含めたシステムモデリングの必要性を明らかにし,Promelaによる割り込みのフレームワークを提案する.また提案手法を用いることで,ハードウェアやモデル検査について熟知していない一般ソフトウェアエンジニアでも,効率的にハードウェアを含めたシステムのモデル検査が可能なことをARPプロトコルの振る舞いに適用し確認した., 一般社団法人電子情報通信学会, 出版日 2013年09月12日, 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 113巻, 215号, 掲載ページ 19-24, 日本語, 0913-5685, 110009824818, AN10386841

食材に基づいたレシピの意外度算出手法の提案
池尻恭介; 清雄一; 中川博之; 田原康之; 大須賀昭彦
出版日 2013年09月05日, 電子情報通信学会技術研究報告, 113巻, 214(DE2013 33-48)号, 掲載ページ 1-6, 日本語, 0913-5685, 201302209122592627

Scrumに基づきコミュニケーションを重視したソフトウェア開発PBLの実践
木崎 悟; 田原 康之; 大須賀 昭彦
出版日 2013年09月02日, ソフトウェアエンジニアリングシンポジウム2013論文集, 2013巻, 掲載ページ 1-6, 日本語, 170000078057

テンプレートを用いた法的要求抽出・モデリングの実現に向けて
吉田 豊; 中川 博之; 田原 康之; 大須賀 昭彦
行政機関における各種業務システムは，法令に基づいた業務を処理することから，法令を遵守したシステムを開発する必要がある．しかし，法令の条文は自然言語で記述され，曖昧性や複雑性のみならず，関連する規定が膨大で理解が困難となっている．法令からの要求獲得においてはオントロジーを用いる手法等が提案されているが [1]，その構築の困難さ等において実用面での課題がある．そこで本稿では，テンプレートを用いた法的要求抽出及び抽出した要求のモデリングを実現するための手法を提案する．There is a need for a system development that must be complied with law in government sectors, because their administrative activities are based on law. However, legal texts are written in natural language with ambiguities, complexities and also have a lot of articles that makes engineers hard to understand. Related work in requirements elicitation from legal texts includes approaches using ontology[1]. However there are difficulties to make ontology on practical use. In this paper we present an initial approach for requirements elicitation from legal texts using templates and a modeling technique from those elicited requirements., 出版日 2013年03月04日, 情報処理学会 研究報告ソフトウェア工学（SE）, 2013-SE-179巻, 27号, 掲載ページ 1-8, 日本語, 110009550830

ゴール指向要求分析に基づく組込みボードエミュレータ開発効率化手法の考察
GIRIER Yoko; 本田耕三; 中川博之; 田原康之; 大須賀昭彦
出版日 2013年02月15日, 情報処理学会研究報告(CD-ROM), 2012巻, 5号, 掲載ページ ROMBUNNO.OS-123,NO.11, 日本語, 2186-2583, 201302267669724625

アジャイル型ソフトウェア開発PBLにおけるCCBRを拡張したコードレビュー支援環境の提案
木崎 悟; 田原 康之; 大須賀 昭彦
本研究では，アジャイル型ソフトウェア開発PBL における学習者のコードレビュー支援を目的とする．実社会のコードレビューは，レビュアーは経験豊富なエンジニアが担当し，経験の少ないエンジニアを指導することが適切である．コードレビューにより，ソフトウェア品質を高めると同時に開発スキルの向上を図ることができる． PBL では学生同士がレビューすることが前提となる．しかし，実務経験がない学生の場合，レビュアーの選定が難しい．また，何を基準とするのか，どこからレビューするかわからないといった問題が起こり，コードレビューを実施しても指摘できる箇所も不十分となってしまう．このため本論文では，ソフトウェア開発における既存のレビュー手法 （CCBR） をソフトウェア開発 PBL 向けに拡張し，プロジェクト成果物のソフトウェア品質と学習者の教育効果を高めるコードレビューのモデルを提案する．In this paper, we aim to support a student's code review support in an agile software development PBL. An engineer with abundant experience takes charge of reviewer, and the code review of an actual world guides an engineer with little experience. Therefore, we can raise software quality, and it can be improvement in development skill. In PBL, students review each other. However, selection of reviewer is difficult when it is a student without an experience in actual business. Moreover, they become insufficient which can be pointed out even if it enforces a code review. For this reason, the existing review technique (CCBR) in software development is extended for a software development PBL, and the model of a code review which heightens a software quality of a project product and a student's education effect is proposed., 出版日 2013年02月01日, 研究報告コンピュータと教育（CE）, 2013巻, 9号, 掲載ページ 1-8, 日本語, 110009527293, AN10096193

非同期通信を行うWebアプリケーションによる資源競合問題に対するモデル検査による検証
都丸卓也; 本田耕三; 中川博之; 田原康之; 大須賀昭彦
出版日 2013年01月21日, 電子情報通信学会技術研究報告, 112巻, 419(KBSE2012 58-68)号, 掲載ページ 53-58, 日本語, 0913-5685, 201302287354132119

ソフトウェア再利用に向けた共通ゴール判別手法の提案
中村 祐貴; 本田 耕三; 中川 博之; 田原 康之; 大須賀 昭彦
出版日 2013年01月17日, ウィンターワークショップ2013・イン・那須 論文集, 2013巻, 掲載ページ 61-62, 日本語, 170000074384

CGMにおける炎上の同定とその応用
岩崎祐貴; 折原良平; 清雄一; 中川博之; 田原康之; 大須賀昭彦
出版日 2013年, 人工知能学会全国大会論文集(CD-ROM), 27th巻, 掲載ページ ROMBUNNO.1J3-OS-22A-4, 日本語, 1347-9881, 201302261692605350

Linked Dataを用いたソーシャルメディア×マスメディアの比較実験
田代和浩; 王冕; 越川兼地; 西村悟史; 森田武史; 長野伸一; 清雄一; 中川博之; 田原康之; 川村隆浩; 大須賀昭彦
出版日 2013年, 人工知能学会全国大会論文集(CD-ROM), 27th巻, 掲載ページ ROMBUNNO.2N1-OS-10D-3, 日本語, 1347-9881, 201302293901224856

O-003 クラウド環境におけるシステム構築・運用の課題と対策の考察(安心・安全,O分野:情報システム)
中林 寿文; 田原 康之; 大須賀 昭彦
FIT(電子情報通信学会・情報処理学会)運営委員会, 出版日 2012年09月04日, 情報科学技術フォーラム講演論文集, 11巻, 4号, 掲載ページ 351-354, 日本語, 110009622240, AA1242354X

プロダクトラインの要求仕様を統合する要求分析モデルの提案
GIRIER Yoko; 本田耕三; 中川博之; 田原康之; 大須賀昭彦
出版日 2012年08月15日, 情報処理学会研究報告(CD-ROM), 2012巻, 2号, 掲載ページ ROMBUNNO.SE-177,NO.1, 日本語, 2186-2583, 201202253315000184

タグクラスタ多様化による未知性を考慮した推薦手法の提案
藤原誠; 中川博之; 田原康之; 大須賀昭彦
出版日 2012年04月15日, 情報処理学会研究報告(CD-ROM), 2011巻, 6号, 掲載ページ ROMBUNNO.ICS-167,NO.4, 日本語, 2186-2583, 201202224489492698

特定ユーザの作曲ログデータと付加情報を用いた作曲支援
金子裕司; 中川博之; 田原康之; 大須賀昭彦
出版日 2012年03月08日, 情報処理学会シンポジウム論文集, 2012巻, 3 (CD-ROM)号, 掲載ページ ROMBUNNO.3EXB-36, 日本語, 1344-0640, 201202210976191848

閲覧中のニュース記事に対するブログ記事から主張を抽出して提示するシステムの提案
佐藤大輔; 中川博之; 田原康之; 大須賀昭彦
出版日 2011年11月01日, 電子情報通信学会論文誌 D, J94-D巻, 11号, 掲載ページ 1773-1782, 日本語, 1880-4535, 201102224823262260

アーキテクチャ記述言語を用いた自己適応システム設計手法の検討
堀越永幸; 中川博之; 田原康之; 大須賀昭彦
出版日 2011年06月15日, 情報処理学会研究報告(CD-ROM), 2011巻, 1号, 掲載ページ ROMBUNNO.SE-172,NO.8, 日本語, 2186-2583, 201102220123994213

Web からの実世界行動抽出による意味ネットワーク構築手法の提案
グェン ミンテイ; 伊藤 雅博; 川村 隆浩; 田原 康之; 大須賀 昭彦
本研究の最終目的は,計算機がユーザの状況を把握し,それに応じて皆の経験に基づく最適な行動パターンを推薦することである.これを実現するために,皆の経験に基づく行動パターンの集合知(行動パターンの構成要素,行動パターン間の関係)が必要である.そして,これらの行動パターンの表現,参照,更新の方式が必要である.しかし,皆の経験に基づく行動パターンの集合知を人手で構築するには膨大なコストがかかる.そこで,本論文は行動パターンの集合知である意味ネットワークの自動構築手法を提案する.まず,webコーパスから取得した行動文の中に現れる行動属性を自動的に抽出する.次に,抽出された行動データ(行動属性と行動属性間の関係)をN3で記述する.最後に,行動主と行動間の関係(遷移関係,因果関係)で,行動間のリンクを付け,意味ネットワークを構成する., 一般社団法人電子情報通信学会, 出版日 2011年05月19日, 電子情報通信学会技術研究報告. AI, 人工知能と知識処理, 111巻, 70号, 掲載ページ 39-44, 日本語, 0913-5685, 110008726043, AN10013061

Visual‐K:ゴール指向要求分析手法KAOSのモデリング可視化支援ツールの試作
ジリエ陽子; 本田耕三; 中川博之; 田原康之; 大須賀昭彦
出版日 2011年04月15日, 情報処理学会研究報告(CD-ROM), 2010巻, 6号, 掲載ページ ROMBUNNO.SE-171,NO.29, 日本語, 2186-2583, 201102269989100423

シーソー型インタフェースを用いた評判比較システムの開発
田中俊行; NGUYEN The‐Minh; 中川博之; 田原康之; 大須賀昭彦
出版日 2011年03月03日, 情報処理学会シンポジウム論文集, 2011巻, 3号, 掲載ページ 479-482, 日本語, 1344-0640, 201102230578201543

スマートフォン向け植物推薦サービスGreen‐Thumb Phoneの開発~モバイルセンサーと拡張現実を用いた植栽環境との調和性推定~
三代謙仁; 川村隆浩; 中川博之; 田原康之; 大須賀昭彦
出版日 2011年03月03日, 情報処理学会シンポジウム論文集, 2011巻, 3号, 掲載ページ 449-452, 日本語, 1344-0640, 201102240785865295

未知性と意外性を考慮したイラスト推薦システムの提案:3D表示を用いたイラスト推薦インターフェース
住元宗一朗; 中川博之; 田原康之; 大須賀昭彦
出版日 2011年03月03日, 情報処理学会シンポジウム論文集, 2011巻, 3号, 掲載ページ 519-522, 日本語, 1344-0640, 201102263366784714

インタラクション・シーケンスに着目したユーザの商品検索の目的の抽出に関する検討と実装
VA Kora; 川村隆浩; 中川博之; 田原康之; 大須賀昭彦
出版日 2011年03月03日, 情報処理学会シンポジウム論文集, 2011巻, 3号, 掲載ページ 577-580, 日本語, 1344-0640, 201102273725190154

Twitter からの人間行動属性の自動抽出
ミン テイ グェン; 川村 隆浩; 田原 康之; 大須賀 昭彦
本論文の目的は,twitterから取得した文中に現れる行動の基本属性(行動主,動作,対象,時間,場所)を自動的に抽出することである.しかし,先行研究では,頻度が低い行動を獲得できない.そして,抽出する前に,動詞リストとカテゴリワード(対象を表すワード)を予め準備しておく必要がある.そこで本論文では,条件付確率場(Conditional Random Fields)と自己教師あり学習(Self-Supervised Learning)を用いて,行動属性の自動抽出手法を提案する.提案手法では,人手でラベル編集や行動のドメインの定義などの必要がなく,頻度が低い行動も獲得できる., 一般社団法人電子情報通信学会, 出版日 2010年06月18日, 電子情報通信学会技術研究報告. AI, 人工知能と知識処理, 110巻, 105号, 掲載ページ 19-23, 日本語, 0913-5685, 110007890098, AN10013061

ニコニコ探検くらぶ:ソーシャルアノテーションとキーワード群に基づく動画要約
多胡厚津史; 中川博之; 田原康之; 大須賀昭彦
出版日 2010年02月22日, 情報処理学会シンポジウム論文集, 2010巻, 4号, 掲載ページ 47-50, 日本語, 1344-0640, 201002287103896770

モデル検査によるAjaxアプリケーション検証
玉田和洋; 中川博之; 田原康之; 大須賀昭彦
出版日 2010年01月21日, 情報処理学会シンポジウム論文集, 2010巻, 3号, 掲載ページ 139-140, 日本語, 1344-0640, 201002274426324801

Webからの自己教師あり学習を用いた人間行動マイニング
MINH THE Nguyen; 川村隆浩; 中川博之; 田原康之; 大須賀昭彦
出版日 2010年01月15日, 電子情報通信学会技術研究報告, 109巻, 386(AI2009 19-29)号, 掲載ページ 19-24, 日本語, 0913-5685, 201002249387820990

CGMからの自己教師あり学習と条件付確率場を用いた人間行動マイニング
THE Nguyen Minh; 川村隆浩; 中川博之; 田原康之; 大須賀昭彦
出版日 2010年, 人工知能学会全国大会論文集(CD-ROM), 24th巻, 掲載ページ ROMBUNNO.1D1-3, 日本語, 1347-9881, 201002275210703448

セキュリティ要求工学の実効性:4.KAOSによるセキュリティ要件の獲得・分析
田原, 康之; AxelvanLamsweerde; Emmanuel, Letier
近年システムに対するセキュリティ上の脅威が多様化・複雑化し，変化も急速になりつつあるため，現在採用されているようなセキュリティ要件の分析手法では，セキュリティ要件を抜け・漏れなく的確に分析し，迅速にシステム開発・運用に反映させることが困難になってきている．一方，システム・ソフトウェアへの一般的な要求に関する同様な課題への解の1つとして，ゴール指向要求分析手法が注目されている．本稿では，代表的なゴール指向要求分析手法の1つであるKAOS（Knowledge Acquisition in autOmated Specification）に基づいた手法を解説する．KAOSは，システムゴール，すなわち抽象レベルがさまざまに異なっている要求を系統的に分析する手法である．本稿では，システムゴールとしてセキュリティゴール，あるいは逆に攻撃者のゴールを分析することにより，セキュリティ要件の獲得・分析を行う手法を扱う．, 東京 : 情報処理学会 ; 1960-, 出版日 2009年03月15日, 情報処理, 50巻, 3号, 掲載ページ 203-208, 日本語, 0447-8053, 110007131453, AN00116625

オントロジー構築サービスONTOMOの開発 インスタンス自動推薦の試作と評価
SHIN I; 川村隆浩; 中川博之; 中山健; 田原康之; 大須賀昭彦
出版日 2009年01月09日, 電子情報通信学会技術研究報告, 108巻, 382(AI2008 41-44)号, 掲載ページ 13-19, 日本語, 0913-5685, 200902294308436140

ウインターワークショップ2008・イン・道後 開催報告
阿萬 裕久; 青木 利晃; 沢田 篤史; 山本 晋一郎; 渥美 紀寿; 白銀 純子; 浦本 直彦; 松塚 貴英; 羽生田 栄一; 鷲崎 弘宜; 野中 誠; 吉岡 信和; 田原 康之
出版日 2008年06月, 情報処理学会 ソフトウェア工学研究会, 日本語, 会議報告等

トップエスイー：サイエンスによる知的ものづくり教育
本位田真一; 粂野 文洋; 田原 康之; 鷲崎 弘宜
一般社団法人情報処理学会, 出版日 2007年11月15日, 情報処理, 48巻, 11号, 掲載ページ 1264-1272, 日本語, 0447-8053, 110006530797, AN00116625

Teaching how to write security target of Common Criteria using the i* methodology (ソフトウェア工学)
田原 康之; 田口 研治; 本位田真一
セキュリティは，今や情報化社会における最大の問題点の 1 つとして，広く認識されている．セキュリティに限らず，ソフトウェア欠陥への対策の基本方針としては，可能な限り開発プロセスの上流の段階，特に要求分析工程において，潜在的な欠陥を少なくすべきである，という認識が浸透している．そこで国立情報学研究所では，高度ソフトウェア技術者の育成を行っているトップエスイープロジェクトにおいて，セキュリティ要求分析講座を開講している．特に，セキュリティ要求分析技術の実務における適用への橋渡しとして，セキュリティ要求仕様の文書化の標準である，セキュリティ評価に関する国際標準 ISO/IEC15408 (CC) を扱い，評価基準を記した文書であるセキュリティ目標（ST）の作成方法を教育している．本論文では，ゴール指向要求分析手法である i* の適用による ST 作成手法の教育について述べる．Security is one of the most widespread and common problem in everyday life. Security breach at companies is reported almost everyday and users of computer systems are busy updating security patches against vulnerabilities of their computer systems. These problems are caused by human errors and faults of physical devices but the majority of them are due to the defects of the software systems. The best way to reduce them is to find and fix them in earlier stage of the software development, especially in the requirements elicitation and analysis phases. Thus we incorporate a security requirements analysis course in our project, called TopSE, to teach advanced software engineers. In particular, we treat ISO/IEC15408 (Common Criteria for Information Technology Security Evaluation, CC) and teach a method to write Security Target (ST) that is a type of document used in the security evaluation process of CC. In this paper, we describe how our teach the method based on i* that is a goal-oriented requirements analysis methodology., 一般社団法人情報処理学会, 出版日 2007年11月02日, 情報処理学会研究報告ソフトウェア工学（SE）, 2007巻, 107号, 掲載ページ 7-14, 英語, 0919-6072, 110006531760, AN10112981

モデリングは教育できるか？
妻木 俊彦; 海谷 治彦; 田原 康之; 吉岡 信和; 田口 研治; 本位田真一
要求工学における重要な目標は，ステークホルダーの意図や期待を正確に理解し，厳密に定義することである．しかし，ステークホルダーが，自身の意図を明確に表現することは，極めて困難な作業である．問題領域のモデル化は，対象を客観的に捉える為の有効な技術と考えられ，多くの手法の中で採用されてきた．それにもかかわらず，実際のプロジェクトでのモデル化は，要求工学プロセスにおける最も困難な作業の１つである．その原因の1つが，モデリングにおける中心的作業である抽象化が，個人の認知スタイルに，大きく依存しているためであると考えられる．モデリングすなわち抽象化能力を教育によって高めることができるかどうかは，SW 工学教育においても大きな課題である．われわれは，初期フェーズ要求工学手法である i* 法の教育を通して，学習者によって作成されたモデルの問題を認識し，その原因を解明することによって，要求工学教育におけるモデリング教育の方法について提案する．Modeling a target domain is one of most significant but difficult works in the requirements engineering. Because, main activity of the modeling is abstruction and the abstraction depend on cognition style of each engineer. It is a big issue whether incresing of modeling ability is possible or not. In NII, we are trying to teach the modeling ability by various methods. In this paper, we report the tipical problems of models presented by i* method education and discuss about the modeling education., 一般社団法人情報処理学会, 出版日 2007年11月02日, 情報処理学会研究報告ソフトウェア工学（SE）, 2007巻, 107号, 掲載ページ 15-22, 日本語, 0919-6072, 110006531761, AN10112981

IPEditor開発ツールとMobile UNITY言語の適用によるモバイルエージェントセキュリティの実現
田原康之
近代科学社, 出版日 2001年, オブジェクト指向最前線2001情報処理学会OO2001シンポジウム, 掲載ページ 95-102, 10008654113

マルチエージェントフレームワークBee-gentのためのビジュアル開発支援ツール
田原 康之; 長野 伸一; 吉岡 信和; 川村 隆浩; 長谷川 哲夫; 大須賀 昭彦; 本位田 真一
出版日 1999年09月28日, 全国大会講演論文集, 59巻, 掲載ページ 253-254, 日本語, 110002894699, AN00349328

既存システムの柔軟な結合を可能にするエージェントフレームワーク Be-gent の提案
川村 隆浩; 田原 康之; 長谷川 哲夫; 大須賀 昭彦; 本位田 真一
近年, コンピュータネットワークの急速な普及に伴い, ネットワークを介した異種システム間の相互接続が大きな課題となっている.そこで我々は, レガシーシステムやDBなどの既存システムをネットワークを介して柔軟に結合することを目的として, 分散システムの構成要素間に調整機能と通信機能を提供するエージェントフレームワークBe-gent(Bonding Enhancement Agent)を提案する.本システムでは, 構成要素間の相互作用を記述したインタラクションプロトコルを, 問題解決手順に関する処理と各構成要素に依存するローカルな処理に分離し, 前者を移動型の仲介エージェントが一元的に管理することで構成要素間の調整を実現することに特徴がある.これにより, システム構成の変更や拡張の際に構築容易性や保守性が向上する.本論では, 本システムの実装上の概要とこれを用いて開発した分散システムの事例を述べ, 本システムの有効性を確認する., 一般社団法人電子情報通信学会, 出版日 1998年11月30日, 電子情報通信学会技術研究報告. AI, 人工知能と知識処理, 98巻, 436号, 掲載ページ 55-62, 日本語, 110003187029, AN10013061

知的ネットワークエージェント Plangent のセキュリティ セーフティ
田原康之
日本ソフトウェア科学会, 出版日 1998年, 第一回インターネットテクノロジー ワークショップ論文集, 1998, 10022158797

第1回ソフトウェア工学の基礎ワークショップ(FOSE '94)
田原 康之; Yasuyuki Tahara; Systems and Software Engineering Laboratory Research and Development Center Toshiba Corp.
日本ソフトウェア科学会, 出版日 1996年01月16日, コンピュータソフトウェア = Computer software, 13巻, 1号, 掲載ページ 85-90, 日本語, 0289-6540, 110003743906, AN10075819

An Analysis of Simulation between Petri Nets through Rewriting Logic
TAHARA Yasuyuki; HONIDEN Shinichi
Rewriting logic has been proposed as a unified model of parallel and concurrent computation, especially concurrent object-oriented computation and agent oriented computation. In this paper, we present a category-theoretic technique in which simulation relation between concurrent processes described by rewriting logic is analyzed. In this technique, simulation relation is represented by morphisms in the category of concurrent processes. Moreover, this technique is shown to be applicable to Petri nets by modeling them by rewriting logic. By this method, it is acknowledged that our technique is applicable to Petri nets including multi-loops whose treatment is limited in other techniques., 一般社団法人電子情報通信学会, 出版日 1995年11月25日, IEICE transactions on fundamentals of electronics, communications and computer sciences, 78巻, 11号, 掲載ページ 1498-1503, 英語, 0916-8508, 110003207447, AA10826239

Flageアーキテクチャのカーネル言語
粂野 文洋; 佐藤 仁孝; 田原 康之; 大須賀 昭彦; 本位田 真一
本稿では、環境の変化に柔軟に適応するソフトウェアを構築するために提案したFlageアーキテクチャのカーネル言語を提示する。Flageカーネル言語は並行オブジェクトモデルをベースとした言語であり、エージェントと場を記述する機能を提供している。以降でエージェントおよび場の定義方法を概説し、場に対するエージェント動作を述べる。, 出版日 1995年09月20日, 全国大会講演論文集, 51巻, 掲載ページ 217-218, 日本語, 110002878162, AN00349328

Flageアーキテクチャにおける代数モデル
田原 康之; 粂野 文洋; 大須賀 昭彦; 本位田 真一
エージェントモデルを記述するためのFlageアーキテクチャは、能動的に動作する主体であるエージェントが場を渡り歩きながら、メタレベルアーキテクチャに基づいて、環境変化に対し自動的かつ柔軟に適応するシステムの構築を目的としている。しかし、そのような適応メカニズムを開放型ネットワークにおける現実的なソフトウェア開発ということを考慮した場合、高信頼性を保証するために、検証技術を実現する必要がある。そこで本稿では、そのような検証技術の理論的基盤としての、Flageアーキテクチャの代数モデルについて論ずる。Flageに類似したエージェントモデルの代数モデルとして、書換え論理がある。書換え論理は、並行オブジェクト指向の定式化のための枠組として提案されているが、制約の表現など、エージェントモデルのための枠組として捉えることも可能である。更に、カテゴリ論に基づく宣言的な意味論が与えられているので、検証を行うのにも適している。しかし、書換え論理では、Flageに特徴的なメタレベルアーキテクチャを完全に定式化することが困難である。一方本稿では、書換え論理をベースとしながらも、メタレベルアーキテクチャをも扱ったモデルを提案する。本モデルでは、動的な記述の変更に対し、代数的な意味論を与えることができる。なお本モデルは、カテゴリで意味を与えることにより、メタレベル操作を代数的に扱うことが可能となっている。, 出版日 1995年09月20日, 全国大会講演論文集, 51巻, 掲載ページ 219-220, 日本語, 110002878164, AN00349328

エージェント指向言語Flage
田原 康之; 粂野 文洋; 大須賀 昭彦; 本位田 真一
協調型ソフトウェア・アーキテクチャを記述するためのエージェント指向仕様記述言語Flageについて述べる.協調型ソフトウェア・アーキテクチャは複数のエージェントから構成され,Flageはエージェントおよびエージェント間通信の仕様記述に用いられる.更にFlageでは,各エージェントはメタ階層に分かれており,これにより柔軟な処理の記述が可能となる.また複数のエージェントの協調の範囲を表わす場の概念を有している.そしてカテゴリ論に基づく数学的な意味論が与えられているので,厳密な検証によりプログラムの正しさを保証することができる.本稿では,提案するFlageの言語仕様,およびその意味論を述べる., 一般社団法人情報処理学会, 出版日 1994年01月20日, 情報処理学会研究報告. [プログラミング-言語基礎実践-], 94巻, 7号, 掲載ページ 9-16, 日本語, 110002942835, AN10464060

エージェントモデルにおけるメタレベルアーキテクチャの代数的意味論, ソフトウェア工学の基礎
田原康之
近代科学社, 出版日 1994年, 日本ソフトウェア科学会FOSE'94, 掲載ページ 121-128, 10000086865

エージェント指向言語Flage(2) : 言語仕様
大須賀 昭彦; 田原 康之; 粂野 文洋; 本位田 真一
本稿では,マルチエージェシトに基づく仕様記述言語Flageの言語仕様について述べる.Flageは,柔軟なソフトウェア構造を記述するための仕様記述言語で,メタ構造や場の概念によってソフトウェアの協調的な生成.変更過程を記述できる点に特徴がある., 出版日 1993年09月27日, 全国大会講演論文集, 47巻, 掲載ページ 29-30, 日本語, 110002896040, AN00349328

エージェント指向言語Flage(1) : 構想
本位田 真一; 大須賀 昭彦; 粂野 文洋; 田原 康之
協調型ソフトウェア・アーキテクチャを記述するためのエージェント指向仕様記述言Flageについて述べる.協調型ソフトウェア・アーキテクチャは複数のエージェントから構成され,Flageはエージェントおよぴエージェント間通信の仕様記述に用いられる.本稿では,まず,協調型ソフトウア・アーキテクチャおよびその基本構成要素であるエージェント・モデルを明らかにした上で,その仕様記述言語への要件について述べる.そして,最後に,提案するFlageの特徴をこの要件を踏まえてまとめる., 出版日 1993年09月27日, 全国大会講演論文集, 47巻, 掲載ページ 27-28, 日本語, 110002896039, AN00349328

エージェント指向言語Flage(3) : カテゴリ論に基づく意味論
田原 康之; 粂野 文洋; 大須賀 昭彦; 本位田 真一
本研究においては、柔らかなソフトウェアを記述するための仕様記述言語Flageを提案している。本稿では、Flageの形式的な意味論について論じる。Flageは、次のような特徴を持つ。1.マルチエージェン卜計算に基づく仕様記述言語である。2.エージェントは、環境の変化に柔軟に対処しながら計算を行う。そのために、メタレベル階層を持つことにより、エージェントの挙動の制御を柔軟に記述することを可能にしている。また複数のエージェントからなる場の概念及びブロードキャストの機能を備えることにより、エージェント間の協調的動作が可能である。そこで本研究においては、以下のようにFlageの意味論を展開している。1.上記1により、マルチエージェント計算のカテゴリ論的モデルを構築することにした。即ち、システムの状態を対象とし、状態遷移を射とするカテゴリにより意味を与えた。2.上記2の特徴を表現するためのモデルとして、FIage構造を提案した。第2章は、Flage構造について詳述する。第3章では、Flageの記述からFlage構造への翻訳を与えることにより、Flageの意味論を考察する。第4章では、従来の研究との比較を行う。最後に第5章では、まとめと今後の課題について述べる。, 出版日 1993年09月27日, 全国大会講演論文集, 47巻, 掲載ページ 31-32, 日本語, 110002896041, AN00349328

電力系統事故復旧問題における知識獲得方式
田原康之
出版日 1992年, 人工知能学会研究会資料, 9203巻, 掲載ページ 77-84, 10007218128, AN10231812

マルチエージェントによる自律ソフトウェア設計・開発
大須賀 昭彦; 田原 康之; 中川 博之; 川村 隆浩
学術書, 日本語, 共著, 第2章 自律ソフトウェア設計のためのエージェント技術，第6章 自律Webアプリケーション, コロナ社, 出版日 2017年07月21日, ISBN 9784339028188

UPPAALによる性能モデル検証
大須賀 昭彦; 長谷川 哲夫; 田原 康之; 磯部 祥尚
日本語, 共著, 第4章 ケーススタディ(1) オートクラッチ車ギア制御, 近代科学社, 出版日 2012年09月28日

ソフトウェア科学基礎―最先端のソフトウェア開発に求められる数理的基礎
田中 譲; 磯部 祥尚; 粂野 文洋; 櫻庭 健年; 田口 研治; 田原 康之
日本語, 共著, 第３章 並行プログラム―並行性に特有の概念と知識を学ぶ 第８章 モデル検査実装―検証モデル記述のノウハウを利用する 第９章 抽象解釈―モデル検査の複雑さを軽減する, 近代科学社, 出版日 2008年09月26日

SPIN による設計モデル検証
萩谷 昌巳; 吉岡 信和; 青木 利晃; 田原 康之
日本語, 共著, 第７章 検証の実践：抽象化・効率化・デバッグ, 近代科学社, 出版日 2008年09月26日

Towards Flexible And Safe IoT Software with Formal Verification
Yasuyuki Tahara
口頭発表（基調）, International Conference on Health Informatics, Intelligent Systems And Networking Technologies (HINT ‘24), 招待
発表日 2024年03月14日
開催期間 2024年03月14日- 2024年03月15日

Towards Scalable Model Checking of Reflective Systems via Labeled Transition Systems
Yasuyuki Tahara
口頭発表（招待・特別）, 日本ソフトウェア科学会第40回大会, 招待
開催期間 2023年09月12日- 2023年09月14日

ラベル付き遷移系に基づくリフレクティブなシステムのスケーラブルなモデル検査に向けて
田原康之
口頭発表（招待・特別）, 情報科学技術フォーラム（FIT）, 招待
開催期間 2023年09月06日- 2023年09月08日

Towards Scalable Model Checking of Reflective Systems via Labeled Transition Systems
Yasuyuki Tahara
口頭発表（招待・特別）, ソフトウェアエンジニアリングシンポジウム（SES）, 招待
開催期間 2023年08月23日- 2023年08月25日

ゴールモデルの構造に基づいた共通ゴール判別手法の提案
中村 祐貴; 本田 耕三; 中川 博之; 田原 康之; 大須賀 昭彦
シンポジウム・ワークショップパネル（公募）, 日本語, ソフトウェア工学の基礎ワークショップ FOSE 2012, ソフトウェア工学の基礎XIX, 大分県由布市
発表日 2012年12月

CRFを用いたメディア情報の抽出とLinked Data化 ～ ソーシャルメディアとマスメディアの比較事例 ～
越川 兼地; 川村 隆浩; 中川 博之; 田原 康之; 大須賀 昭彦
シンポジウム・ワークショップパネル（公募）, 日本語, 合同エージェントワークショップ＆シンポジウム2012（JAWS-2012）論文集, 合同エージェントワークショップ＆シンポジウム2012（JAWS-2012）論文集, 静岡県掛川市
発表日 2012年10月

Twitter上のフォロー関係を用いた信頼性の高い未知コンテンツの推薦
折笠 裕樹; 中川 博之; 田原 康之; 大須賀 昭彦
シンポジウム・ワークショップパネル（公募）, 日本語, 合同エージェントワークショップ＆シンポジウム2012（JAWS-2012）論文集, 合同エージェントワークショップ＆シンポジウム2012（JAWS-2012）論文集, 静岡県掛川市
発表日 2012年10月

GAを用いたシステムトレードにおける損失に着目した適合度関数の設定
新井 佑弥; 折原 良平; 中川 博之; 田原 康之; 大須賀 昭彦
シンポジウム・ワークショップパネル（公募）, 日本語, 合同エージェントワークショップ＆シンポジウム2012（JAWS-2012）論文集, 合同エージェントワークショップ＆シンポジウム2012（JAWS-2012）論文集, 静岡県掛川市
発表日 2012年10月

ＵＡＶとＵＧＶの協調動作による障害物撤去に向けて
仲村 滋夫; 中川 博之; 田原 康之; 大須賀 昭彦
シンポジウム・ワークショップパネル（公募）, 日本語, 合同エージェントワークショップ＆シンポジウム2012（JAWS-2012）論文集, 合同エージェントワークショップ＆シンポジウム2012（JAWS-2012）論文集, 静岡県掛川市
発表日 2012年10月

非機能特性を考慮した自己適応システムの動的再構成手法の提案
堀越永幸; 中川博之; 田原康之; 大須賀昭彦
シンポジウム・ワークショップパネル（公募）, 日本語, ソフトウェア工学の基礎ワークショップ FOSE 2011, ソフトウェア工学の基礎XVII, 青森県青森市
発表日 2011年11月

モデル検査のためのオブジェクト制約言語を用いた外部環境モデルの構築のための考察
吉池弘樹; 本田耕三; 中川博之; 田原康之; 大須賀昭彦
シンポジウム・ワークショップパネル（公募）, 日本語, ソフトウェア工学の基礎ワークショップ FOSE 2011, ソフトウェア工学の基礎XVII, 青森県青森市
発表日 2011年11月

Support for Generating UML Class Diagrams and OCL Constraints from KAOS Model
Sombat Chanvilai; Kozo Honda; Hiroyuki Nakagawa; Yasuyuki Tahara; Akihiko Ohsuga
シンポジウム・ワークショップパネル（公募）, 日本語, ソフトウェア工学の基礎ワークショップ FOSE 2011, ソフトウェア工学の基礎XVII, 青森県青森市
発表日 2011年11月

フォークソノミーとソーシャルアノテーションを用いた動画シーンへのラベリング
石野 克徳; 折原 良平; 中川 博之; 田原 康之; 大須賀 昭彦
シンポジウム・ワークショップパネル（公募）, 日本語, 合同エージェントワークショップ＆シンポジウム2011（JAWS-2011）論文集, 合同エージェントワークショップ＆シンポジウム2011（JAWS-2011）論文集, 静岡県熱海市
発表日 2011年10月

服飾系ECサイトにおける商品閲覧履歴に基づいたデザイン嗜好の推定と商品検索システムの提案
全 泰賢; 川村 隆浩; 中川 博之; 田原 康之; 大須賀 昭彦
シンポジウム・ワークショップパネル（公募）, 日本語, 合同エージェントワークショップ＆シンポジウム2011（JAWS-2011）論文集, 合同エージェントワークショップ＆シンポジウム2011（JAWS-2011）論文集, 静岡県熱海市
発表日 2011年10月

震災時の効率的な避難のための行動推薦エージェントReady for 87\%の提案（1）～避難計画オントロジーの設計～
ミヤマエ イワナガ; イサベル シズ; グェン ミン テイ; 川村 隆浩; 中川 博之; 田原 康之; 大須賀 昭彦
シンポジウム・ワークショップパネル（公募）, 日本語, 合同エージェントワークショップ＆シンポジウム2011（JAWS-2011）論文集, 合同エージェントワークショップ＆シンポジウム2011（JAWS-2011）論文集, 静岡県熱海市
発表日 2011年10月

震災時の効率的な避難のための行動推薦エージェントReady for 87\%の提案（2）～時系列避難行動ネットワークの構築～
グェン ミン テイ; 越川 兼地; 川村 隆浩; 中川 博之; 田原 康之; 大須賀 昭彦
シンポジウム・ワークショップパネル（公募）, 日本語, 合同エージェントワークショップ＆シンポジウム2011（JAWS-2011）論文集, 合同エージェントワークショップ＆シンポジウム2011（JAWS-2011）論文集, 静岡県熱海市
発表日 2011年10月

震災時の効率的な避難のための行動推薦エージェントReady for 87\%の提案（3）～行動ネットワークを用いた避難行動の推薦～
伊藤 雅博; グェン ミン テイ; 川村 隆浩; 中川 博之; 田原 康之; 大須賀 昭彦
シンポジウム・ワークショップパネル（公募）, 日本語, 合同エージェントワークショップ＆シンポジウム2011（JAWS-2011）論文集, 合同エージェントワークショップ＆シンポジウム2011（JAWS-2011）論文集, 静岡県熱海市
発表日 2011年10月

未知性と意外性を考慮したイラスト推薦システムの提案: 3D表示を用いたイラスト推薦インタフェース
住元 宗一朗; 中川 博之; 田原 康之; 大須賀 昭彦
シンポジウム・ワークショップパネル（公募）, 日本語, インタラクション 2011, インタラクション 2011 予稿集, 東京
発表日 2011年03月

インタラクション・シーケンスに着目したユーザの商品検索 の目的の抽出に関する検討と実装
ワ コラ; 川村 隆浩; 中川 博之; 田原 康之; 大須賀 昭彦
シンポジウム・ワークショップパネル（公募）, 日本語, インタラクション 2011, インタラクション 2011 予稿集, 東京
発表日 2011年03月

スマートフォン向け植物推薦サービスGreen-Thumb Phoneの開発 ～モバイルセンサーと拡張現実を用いた植栽環境との調和性推定～
三代 謙仁; 川村 隆浩; 中川 博之; 田原 康之; 大須賀 昭彦
シンポジウム・ワークショップパネル（公募）, 日本語, インタラクション 2011, インタラクション 2011 予稿集, 東京
発表日 2011年03月

シーソー型インタフェースを用いた評判比較システムの開発
田中 俊行; グェン ミンティ; 中川 博之; 田原 康之; 大須賀 昭彦
シンポジウム・ワークショップパネル（公募）, 日本語, インタラクション 2011, インタラクション 2011 予稿集, 東京
発表日 2011年03月

ケーススタディ：KAOS/UMLモデリング
本田耕三; 中川博之; 田原康之; 大須賀昭彦
シンポジウム・ワークショップパネル（公募）, 日本語, ソフトウェア工学の基礎ワークショップ FOSE 2010, ソフトウェア工学の基礎XVI, 新潟県南魚沼郡
発表日 2010年11月

教師あり学習を用いたレビューサイトからの意見抽出
田中 俊行; グェンミンティ; 中川 博之; 田原 康之; 大須賀 昭彦
シンポジウム・ワークショップパネル（公募）, 日本語, 合同エージェントワークショップ＆シンポジウム2010（JAWS-2010）, 合同エージェントワークショップ＆シンポジウム2010（JAWS-2010）論文集, 北海道富良野市
発表日 2010年10月

コンテンツ投稿型SNS における未知性と意外性を考慮した推薦エージェントの提案
住元 宗一朗; 中川 博之; 田原 康之; 大須賀 昭彦
シンポジウム・ワークショップパネル（公募）, 日本語, 合同エージェントワークショップ＆シンポジウム2010（JAWS-2010）, 合同エージェントワークショップ＆シンポジウム2010（JAWS-2010）論文集, 北海道富良野市
発表日 2010年10月

携帯端末上での拡張現実を用いた植物推薦エージェントGreen-ThumbPhoneの開発
三代 謙仁; 川村 隆浩; 中川 博之; 田原 康之; 大須賀 昭彦
シンポジウム・ワークショップパネル（公募）, 日本語, 合同エージェントワークショップ＆シンポジウム2010（JAWS-2010）, 合同エージェントワークショップ＆シンポジウム2010（JAWS-2010）論文集, 北海道富良野市
発表日 2010年10月

マイクロブログを用いた評判傾向抽出法の提案
橋本 和幸; 中川 博之; 田原 康之; 大須賀 昭彦
シンポジウム・ワークショップパネル（公募）, 日本語, 合同エージェントワークショップ＆シンポジウム2010（JAWS-2010）, 合同エージェントワークショップ＆シンポジウム2010（JAWS-2010）論文集, 北海道富良野市
発表日 2010年10月

閲覧中のニュース記事に対するブログの主張を提示するシステムの提案
佐藤 大輔; 中川 博之; 田原 康之; 大須賀 昭彦
シンポジウム・ワークショップパネル（公募）, 日本語, 合同エージェントワークショップ＆シンポジウム2010（JAWS-2010）, 合同エージェントワークショップ＆シンポジウム2010（JAWS-2010）論文集, 北海道富良野市
発表日 2010年10月

集合匿名化によりプライバシに配慮した個人情報開示制御手法の提案
浜本 一知; 田原 康之; 大須賀 昭彦
口頭発表（一般）, 日本語, 日本ソフトウェア科学会 ネットワークが創発する知能研究会 JWEIN10 講演論文集,日本ソフトウェア科学会 ネットワークが創発する知能研究会 JWEIN10
発表日 2010年08月

ニコシーン： ソーシャルアノテーションとキーワード群に基づく動画シーン検索
多胡 厚津史; 中川 博之; 中山 健; 田原 康之; 大須賀 昭彦
シンポジウム・ワークショップパネル（公募）, 日本語, 第8回 合同エージェントワークショップ＆シンポジウム2009 (JAWS09), 第8回 合同エージェントワークショップ＆シンポジウム2009 (JAWS09) 論文集, 宮城県刈田郡
発表日 2009年10月

条件付確率場と自己教師あり学習を用いた行動属性の自動抽出と評価
グェン ミンティ; 川村 隆浩; 中川 博之; 中山 健; 田原 康之; 大須賀 昭彦
シンポジウム・ワークショップパネル（公募）, 日本語, 第8回 合同エージェントワークショップ＆シンポジウム2009 (JAWS09), 第8回 合同エージェントワークショップ＆シンポジウム2009 (JAWS09) 論文集, 宮城県刈田郡
発表日 2009年10月

自律システム実現に向けたアーキテクチャの構築
西村 一彦; 中川 博之; 中山 健; 田原 康之; 大須賀 昭彦
シンポジウム・ワークショップパネル（公募）, 日本語, 第8回 合同エージェントワークショップ＆シンポジウム2009 (JAWS09), 第8回 合同エージェントワークショップ＆シンポジウム2009 (JAWS09) 論文集, 宮城県刈田郡
発表日 2009年10月

オントロジー構築サービスONTOMO の開発 固有名詞抽出によるインスタンスとプロパティ自動推薦エージェントの評価
沈 偉; 川村 隆浩; 中川 博之; 中山 健; 田原 康之; 大須賀 昭彦
シンポジウム・ワークショップパネル（公募）, 日本語, 第8回 合同エージェントワークショップ＆シンポジウム2009 (JAWS09), 第8回 合同エージェントワークショップ＆シンポジウム2009 (JAWS09) 論文集, 宮城県刈田郡
発表日 2009年10月

統合的自己適応型セキュリティアーキテクチャの提案
田原 康之; 中川 博之; 中山 健; 大須賀 昭彦
シンポジウム・ワークショップパネル（公募）, 日本語, 第8回 合同エージェントワークショップ＆シンポジウム2009 (JAWS09), 第8回 合同エージェントワークショップ＆シンポジウム2009 (JAWS09) 論文集, 宮城県刈田郡
発表日 2009年10月

階層プランニングによるWebサービスの自動合成
西村一彦; 中川博之; 中山健; 田原康之; 大須賀昭彦
シンポジウム・ワークショップパネル（公募）, 日本語, ソフトウェアエンジニアリングシンポジウム2008 (SES2008), ソフトウェアエンジニアリング最前線2008, 東京
発表日 2008年10月

オントロジー構築サービスONTOMOの開発
沈偉; 川村隆浩; 中川博之; 中山健; 田原康之; 大須賀昭彦
シンポジウム・ワークショップパネル（公募）, 日本語, 第7回 合同エージェントワークショップ＆シンポジウム2008 (JAWS08), 第7回 合同エージェントワークショップ＆シンポジウム2008 (JAWS08) 論文集, 滋賀県大津市
発表日 2008年10月

Media Science and Engineering Laboratory
The University of Electro-Communications

メディア情報学実験
電気通信大学

コンピュータネットワーク
The University of Electro-Communications

コンピュータネットワーク
電気通信大学

Graduate Technical English
The University of Electro-Communications

大学院技術英語
電気通信大学

ユビキタスネットワーク
The University of Electro-Communications

ユビキタスネットワーク
電気通信大学

情報メディアシステム
電気通信大学

情報メディアシステム
電気通信大学

システム設計特論２
電気通信大学

Advanced System Design II
The University of Electro-Communications

システム設計特論2
電気通信大学

Calculus Ⅰ
The University of Electro-Communications

Calculus 1
The University of Electro-Communications

微分積分学第一
電気通信大学

Advanced System Design 2
The University of Electro-Communications

システム設計基礎論２
電気通信大学

システム設計基礎論2
電気通信大学

Fundamentals of System Design 2
The University of Electro-Communications

電気学会

情報処理学会

日本ソフトウェア科学会

生成AI遍在社会におけるプライバシ保護基盤の創成
清 雄一; 石川冬樹; 松崎 和賢; 田原康之; 大須賀昭彦
日本学術振興会, 科学研究費助成事業, 電気通信大学, 基盤研究(A), 24H00714
研究期間 2024年04月 - 2028年03月

SNS・IoT・オープンデータ融合マイニングによる施策に対する人々の行動変化予測
大須賀 昭彦
日本学術振興会, 科学研究費助成事業, 電気通信大学, 基盤研究(B), 研究分担者, 23H03688
研究期間 2023年04月 - 2027年03月

ユビキタス機械学習社会におけるプライバシ保護基盤
清 雄一
基盤研究(B), 研究分担者, 21H03496
研究期間 2021年04月 - 2025年03月

IoT向け自律協調自己適応機構とその形式検証手法の研究
田原 康之
基盤研究(B)一般, 研究代表者, IoTにおいては保守作業が必要となるが，IoTのユーザは一般に適切な知識を持っていないため，保守作業は困難となることが多い．そこで保守の自動化技術である自己適応技術の適用が有望と考えられるが，次の課題がある：（1）対応の必要がある環境変化をいかに検出するか，（2）IoTにおいていかに自己適応を行うか，（3）自己適応が正しく行われたことをIoT全体としていかに保証するか，（4）自己適応の結果から生じる新たなプライバシ侵害リスクをいかに防ぐか．そこで本研究では，複数の自己適応機構の協調により課題（1）と（2）を，形式検証技術により課題（3）を，そして協調自己適応機構におけるプライバシ保護の仕組みの確立により課題（4）を解決する．さらに以上の各項目を達成するための手法を統合して，IoT向け自律協調自己適応ミドルウェアを確立し，実システムを想定した例題アプリケーションを通じて実験評価を行い，成果を世界に向けて発信する．, 18H03229
研究期間 2018年04月01日 - 2021年03月31日

適応型プライバシ保護機能を有するIoTデータ解析基盤
清 雄一
挑戦的研究(萌芽), 研究分担者, 18K19835
研究期間 2018年06月 - 2021年03月

緊急度に応じたデータ処理のためのビッグデータ虫眼鏡の研究
大須賀 昭彦
挑戦的萌芽研究, 研究分担者, 近年注目されているビッグデータのリアルタイムな活用においては、データの抽象度・範囲と、計算コストとの、およびプライバシ情報漏洩リスクとのトレードオフの扱いが重要な課題であるが、これらへの要求は状況の緊急度によって刻一刻と変化するため、変化に対し処理を即座に適応させる必要がある。本研究では、そのような適応を実現する手法を、虫眼鏡でデータを見ることに倣って実現する。すなわち通常はデータやプライバシ情報の詳細は見ずに広範囲を見ることができる状態で処理を行い、緊急度が高まった場面ではあたかも虫眼鏡で拡大したかのように、狭い範囲に対してデータやプライバシ情報の詳細を見て処理できるようにする。これにより前述のトレードオフに対するバランス調整が容易に可能となる。本研究ではこの手法をビッグデータ虫眼鏡と呼び、そのような適応を可能とするメカニズムを明らかにし、ミドルウェアとして利用可能とすることを目指す。, 16K12411
研究期間 2016年04月01日 - 2018年03月31日

アスペクト指向 models@run.time システムの効率的な実行時形式検証
田原 康之
基盤研究(C)一般, 研究代表者, 26330081
研究期間 2014年04月01日 - 2017年03月31日

ミニブログを利用した災害時避難行動推薦システムのためのクラウドミドルウェアの研究
基盤研究(B)一般, 研究分担者
研究期間 2012年 - 2015年

ゴール指向要求記述を用いた自己適応システムの検証手段に関する研究
基盤研究(C)一般, 研究代表者
研究期間 2011年 - 2013年

モデル検査による設計モデル検証プロセスの研究
基盤研究(C)一般, 研究代表者
研究期間 2007年 - 2008年

第10回 実践的IT教育シンポジウム rePiT2025プログラム委員
学会・研究会等, 査読, JSSST SIG-rePiT: 実践的IT教育研究会, 実施期間 2025年02月02日 - 2025年02月02日

ソフトウェア工学の基礎ワークショップ FOSE 2024 プログラム委員
学会・研究会等, その他, 実施期間 2024年11月28日 - 2024年11月30日

The 10th International Conference on Cloud Computing and Services Science (CLOSER) 2024 プログラム委員
学会・研究会等, その他, 実施期間 2024年05月02日 - 2024年05月04日

第9回 実践的IT教育シンポジウム rePiT2024プログラム委員
学会・研究会等, その他, 実施期間 2024年02月03日 - 2024年02月04日

情報処理学会 論文誌「ソフトウェア工学」特集 編集委員
学会・研究会等, その他, 情報処理学会, 実施期間 2023年07月31日 - 2024年01月17日

ソフトウェア工学の基礎ワークショップ FOSE 2023 プログラム委員
学会・研究会等, その他, 実施期間 2023年11月09日 - 2023年11月11日

The 10th International Conference on Cloud Computing and Services Science (CLOSER) 2023 プログラム委員
学会・研究会等, その他, 実施期間 2023年04月26日 - 2023年04月28日

第9回 実践的IT教育シンポジウム rePiT2023プログラム委員
学会・研究会等, その他, 実施期間 2023年02月04日 - 2023年02月05日

情報処理学会 論文誌「ソフトウェア工学」特集 編集委員
学会・研究会等, その他, 情報処理学会, 実施期間 2022年07月26日 - 2023年01月16日

ソフトウェア工学の基礎ワークショップ FOSE 2022 プログラム委員
学会・研究会等, その他, 実施期間 2022年11月10日 - 2022年11月12日

The 9th International Conference on Cloud Computing and Services Science (CLOSER) 2022 プログラム委員
学会・研究会等, その他, 実施期間 2022年04月27日 - 2022年04月29日

学術雑誌関係（編集委員など） 情報処理学会論文誌「数理モデル化と応用」
その他, 実施期間 2012年04月 - 2022年03月31日, 編集委員

ソフトウェア工学の基礎ワークショップ FOSE 2021
学会・研究会等, その他, 実施期間 2021年11月11日

The 9th International Conference on Cloud Computing and Services Science (CLOSER) 2021
学会・研究会等, その他, 実施期間 2021年04月28日

第6回 実践的IT教育シンポジウム rePiT2021
学会・研究会等, その他, 実施期間 2021年01月20日

ソフトウェア工学の基礎ワークショップ FOSE 2020
学会・研究会等, その他, 実施期間 2020年11月19日

The 9th International Conference on Cloud Computing and Services Science (CLOSER) 2020
学会・研究会等, その他, 実施期間 2020年05月07日

第6回 実践的IT教育シンポジウム rePiT2020
学会・研究会等, その他, 実施期間 2020年01月22日

ソフトウェア工学の基礎ワークショップ FOSE 2019
学会・研究会等, その他, 実施期間 2019年11月28日

ソフトウェアエンジニアリングシンポジウム 2019
学会・研究会等, その他, 実施期間 2019年08月29日

The 8th International Conference on Cloud Computing and Services Science (CLOSER) 2019
学会・研究会等, その他, 実施期間 2019年05月02日

第5回 実践的IT教育シンポジウム rePiT2019
学会・研究会等, その他, 実施期間 2019年01月23日

ソフトウェア工学の基礎ワークショップ FOSE 2018
学会・研究会等, その他, 実施期間 2018年11月15日

ソフトウェアエンジニアリングシンポジウム 2018
学会・研究会等, その他, 実施期間 2018年09月05日

日本ソフトウェア科学会第35回大会
学会・研究会等, その他, 実施期間 2018年08月29日

The 8th International Conference on Cloud Computing and Services Science (CLOSER) 2018
学会・研究会等, その他, 実施期間 2018年03月19日

ソフトウェア工学の基礎ワークショップ FOSE 2017
学会・研究会等, その他, 実施期間 2017年12月01日

ソフトウェアエンジニアリングシンポジウム 2017
学会・研究会等, その他, 実施期間 2017年08月31日

The 7th International Conference on Cloud Computing and Services Science (CLOSER) 2017
学会・研究会等, その他, 実施期間 2017年04月24日

ソフトウェア工学の基礎ワークショップ FOSE 2016
学会・研究会等, その他, 実施期間 2016年11月23日

The 1st International Workshop for Models and Modelling on Security and Privacy (WM2SP-16)
学会・研究会等, その他, 実施期間 2016年11月14日

ソフトウェアエンジニアリングシンポジウム 2016
学会・研究会等, その他, 実施期間 2016年08月31日

The 6th International Conference on Cloud Computing and Services Science (CLOSER) 2016
学会・研究会等, その他, 実施期間 2016年04月23日

The 30th Annual ACM Symposium on Applied Computing (SAC '16) Special Track on Coordination Models, Languages and Architectures
学会・研究会等, その他, 実施期間 2016年04月04日

ソフトウェア工学の基礎ワークショップ FOSE 2015
学会・研究会等, その他, 実施期間 2015年11月26日

ソフトウェアエンジニアリングシンポジウム 2015
学会・研究会等, その他, 実施期間 2015年09月07日

The 5th International Conference on Cloud Computing and Services Science (CLOSER) 2015
学会・研究会等, その他, 実施期間 2015年05月20日

The 30th Annual ACM Symposium on Applied Computing (SAC '15) Special Track on Coordination Models, Languages and Architectures
学会・研究会等, その他, 実施期間 2015年04月13日

ソフトウェア工学の基礎ワークショップ FOSE 2014
学会・研究会等, その他, 実施期間 2014年12月11日

ソフトウェアエンジニアリングシンポジウム 2014
学会・研究会等, その他, 実施期間 2014年09月01日

The 4th International Conference on Cloud Computing and Services Science (CLOSER) 2014
学会・研究会等, その他, 実施期間 2014年04月03日

The 29th Annual ACM Symposium on Applied Computing (SAC '14) Special Track on Coordination Models, Languages and Architectures
学会・研究会等, その他, 実施期間 2014年03月24日

ソフトウェア工学の基礎ワークショップ FOSE 2013
学会・研究会等, その他, 実施期間 2013年11月28日

ソフトウェアエンジニアリングシンポジウム 2013
学会・研究会等, その他, 実施期間 2013年09月09日

The 3rd International Conference on Cloud Computing and Services Science (CLOSER) 2013
学会・研究会等, その他, 実施期間 2013年05月08日

The 28th Annual ACM Symposium on Applied Computing (SAC '13) Special Track on Coordination Models, Languages and Architectures
学会・研究会等, その他, 実施期間 2013年03月18日

ソフトウェア工学の基礎ワークショップ FOSE 2012
学会・研究会等, その他, 実施期間 2012年12月13日

ソフトウェアエンジニアリングシンポジウム 2012
学会・研究会等, その他, 実施期間 2012年08月27日

The 2nd International Conference on Cloud Computing and Services Science (CLOSER) 2012
学会・研究会等, その他, 実施期間 2012年04月18日

The 27th Annual ACM Symposium on Applied Computing (SAC '12) Special Track on Coordination Models, Languages and Architectures
学会・研究会等, その他, 実施期間 2012年03月26日

ソフトウェア工学の基礎ワークショップ FOSE 2011
学会・研究会等, その他, 実施期間 2011年11月24日

ソフトウェアエンジニアリングシンポジウム 2011
学会・研究会等, その他, 実施期間 2011年09月12日

The 1st International Conference on Cloud Computing and Services Science (CLOSER) 2011
学会・研究会等, その他, 実施期間 2011年05月07日

The 26th Annual ACM Symposium on Applied Computing (SAC '11) Special Track on Coordination Models, Languages and Architectures
学会・研究会等, その他, 実施期間 2011年03月21日

ソフトウェア工学の基礎ワークショップ FOSE 2010
学会・研究会等, その他, 実施期間 2010年11月18日

ソフトウェアエンジニアリングシンポジウム 2010
学会・研究会等, その他, 実施期間 2010年08月30日

The 25th Annual ACM Symposium on Applied Computing (SAC '10) Special Track on Coordination Models, Languages and Architectures
学会・研究会等, その他, 実施期間 2010年03月

The 16th Asia-Pacific Software Engineering Conference (APSEC'09)
学会・研究会等, その他, 実施期間 2009年12月

ソフトウェア工学の基礎ワークショップ FOSE 2009
学会・研究会等, その他, 実施期間 2009年11月

The 3nd Workshop on Software Patterns and Quality (SPAQu'09)
学会・研究会等, その他, 実施期間 2009年10月

ソフトウェアエンジニアリングシンポジウム 2009
学会・研究会等, その他, 実施期間 2009年09月

第8回情報科学技術フォーラム (FIT '09)
学会・研究会等, その他, 実施期間 2009年09月

第164回ソフトウェア工学研究発表会 合同研究発表会
学会・研究会等, その他, 実施期間 2009年05月

The 24th Annual ACM Symposium on Applied Computing (SAC '09) Special Track on Coordination Models, Languages and Architectures
学会・研究会等, その他, 実施期間 2009年03月

The 15th Asia-Pacific Software Engineering Conference (APSEC'08)
学会・研究会等, その他, 実施期間 2008年12月

The 2008 International Conference On Embedded and Ubiquitous Computing (EUC 2008)
学会・研究会等, その他, 実施期間 2008年12月

The 2nd Workshop on Software Patterns and Quality (SPAQu'08)
学会・研究会等, その他, 実施期間 2008年10月

The 23rd Annual ACM Symposium on Applied Computing (SAC '08) Special Track on Coordination Models, Languages and Architectures
学会・研究会等, その他, 実施期間 2008年03月

ウインターワークショップ 2008 ・イン・道後「ディペンダブルソフトウェア」 セッション
学会・研究会等, その他, 実施期間 2008年01月

The 1st Workshop on Software Patterns and Quality (SPAQu'07)
学会・研究会等, その他, 実施期間 2007年12月

The 14th Asia-Pacific Software Engineering Conference (APSEC'07)
学会・研究会等, その他, 実施期間 2007年12月

ソフトウェアエンジニアリングシンポジウム 2007
学会・研究会等, その他, 実施期間 2007年08月

The 22nd Annual ACM Symposium on Applied Computing (SAC '07) Special Track on Coordination Models, Languages and Architectures
学会・研究会等, その他, 実施期間 2007年03月

The 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006)
学会・研究会等, その他, 実施期間 2006年09月

The 1st Japanese Workshop on Requirements Engineering Tools (JWRET)
学会・研究会等, その他, 実施期間 2006年09月

The 2004 IEEE International Conference on Web Services (ICWS 2004)
学会・研究会等, その他, 実施期間 2004年07月06日