Itoga's Lecture Notes

Books / 著書

• 島川 博光編著,
  島川 博光, 高田 秀志, 原田 史子, 山本 哲男, 糸賀 裕弥共著:
  プログラミングのための計算機科学入門〔1〕-始めるための基本事項-,
  昭晃堂, 2009年
  ISBN978-4-7856-3164-2.

Journals / 論文誌

• 田口 浩, 糸賀 裕弥, 山本 哲男, 高田 秀志, 島川 博光:
  プログラミング演習評価と講義反応を連携させた理解の契機の抽出,
  電子情報通信学会論文誌D, Vol. J91-D, No. 2, 2008年2月, pp. 345-357.
• 田口 浩, 糸賀 裕弥, 毛利 公一, 山本 哲男, 島川 博光:
  個々の学習者の理解状況と学習意欲に合わせたプログラミング教育支援,
  情報処理学会論文誌, Vol. 48, No. 2, 2007年2月, pp. 958-968.
• Masayuki Makino, Hiroya Itoga, and Atsushi Ohnishi:
  Differential Scenario for both Generating and Classfying Scenarios,
  WSEAS Transactions on Computer Research, Issue 2, Volume 2, 2007, pp. 312-320.
• Hiroya Itoga, Tomohiro Haraikawa, Yoshiyuki Yamashita, and Ikuo Nakata:
  Register Allocation Methods of Improved Software Pipelining for Loops with Conditional Branches,
  Electronics and Communications in Japan, Part III: Fundamental Electronic Science, Volume 89, Number 12, 2006, pp. 59-69.
• 糸賀 裕弥, 山下 義行, 田中 二郎:
  述語付きソフトウェア・パイプラインへのSpiral Graphによるレジスタ割付け,
  情報処理学会論文誌(プログラミング), Vol. 43, No. SIG 8 (PRO 15), 2002年, pp. 62-71.
• 糸賀 裕弥, 秡川 友宏, 山下 義行, 中田 育男:
  条件分岐を考慮したソフトウェアパイプラインにおけるレジスタ割付け,
  電子情報通信学会論文誌DI, Vol. J85-D-I, No. 1, 2002年, pp. 31-39.

International Conferences, Workshops / 国際会議

• Atsushi Ohnishi and Hiroya Itoga:
  Verification of Scenarios using the Common Criteria,
  In the Proceedings of the 3rd IEEE International Conference on Software and Data Technologies (ICSOFT 2008), Porto, Portugal, July 5-8, 2008, pp. 46-52.
• Hiroya Itoga and Atsushi Ohnishi:
  Security Requirements Elicitation via Weaving Scenarios based on Security Evaluation Criteria,
  In the Proceedings of the 7th International Conference on Quality Software (QSIC 2007), Portland, Oregon, USA, October 11-12, 2007, pp. 70-79.
• Hiroya Itoga and Atsushi Ohnishi:
  Scenario Weaving for Security Requirements Elicitation,
  In the Workshop Proceedings of the Early Aspects 2006: Traceability of Aspects in the Early Life Cycle, in conjunction with the 5th International Conference on Aspect-Oriented Software Development (EA-AOSD'06), Bonn, Germany, March 21, 2006, online publishing 6 pages.
• Hiroya Itoga, Yoshiyuki Yamashita, and Jiro Tanaka:
  Register Allocation for Predicated Software Pipelining using Spiral Graph,
  In the Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'02), Las Vegas, USA, June 24-27, 2002, pp. 1478-1484, Volume III.
• Hiroya Itoga, Tomohiro Haraikawa, Yoshiyuki Yamashita, and Jiro Tanaka:
  Register Allocation for Software Pipelining with Predication using Spiral Graph,
  In the Proceedings of the International Symposium on Future Software Technology (ISFST-2001), ZhengZhou, China, Nov. 5-8, 2001. pp. 58-65.

Domestic Conferences, Workshops / 国内会議

• 糸賀 裕弥:
  オフショア開発を考慮した要求仕様書へのタグ付け,
  要求工学ワークショップ, ソフトウェアシンポジウム2008, 高松市, 2008年6月, p. 149.
• 糸賀 裕弥:
  脅威モデルからの脅威シナリオの生成手法,
  ウィンターワークショップ2008・イン・道後 論文集, 松山市, 2008年1月, pp. 55-56.
• 糸賀 裕弥, 大西 淳:
  シナリオにおけるアクタの状態の定義・参照関係を用いたふるまいの検証,
  ソフトウェア工学の基礎XIV 日本ソフトウェア科学会 FOSE2007 レクチャーノート／ソフトウェア学 33, 近代科学社, 下関市, 2007年11月, pp. 185-190.
  (第14回ソフトウェア工学の基礎ワークショップ FOSE2007 in 下関)
• 糸賀 裕弥, 大西 淳:
  上流アスペクト(Early Aspects)におけるシナリオの利用,
  要求工学ワークショップ, ソフトウェアシンポジウム2007, 新潟市, 2007年6月. (CD-ROM出版, 2ページ)
• 奥井 善也, 田口 浩, 糸賀 裕弥, 高田 秀志, 島川 博光:
  双方向講義を促進する学生・教員間での理解度共有,
  電子情報通信学会 第18回データ工学ワークショップ DEWS2007, 広島市, 2007年2月及び3月. (CD-ROM出版，4ページ)
• 糸賀 裕弥, 大西 淳:
  脅威モデルを利用したセキュリティ要求の妥当性確認,
  ウィンターワークショップ2007・イン・那覇 論文集, 那覇市, 2007年1月, pp. 59-60.
• 糸賀 裕弥, 大西 淳:
  セキュリティ評価基準にもとづいたアスペクト指向シナリオによるセキュリティ要求獲得手法,
  ソフトウェア工学の基礎XIII 日本ソフトウェア科学会 FOSE2006 レクチャーノート／ソフトウェア学 32, 近代科学社, 富山市, 2006年11月, pp. 93-102.
  (第13回ソフトウェア工学の基礎ワークショップ FOSE2006 in 立山)
• 糸賀 裕弥, 大西 淳:
  シナリオの事前・事後条件におけるアクタの状態記述方法 ウィンターワークショップ2006・イン・伊豆 論文集 2005年1月, pp. 11-12.
• 糸賀 裕弥, 秡川 友宏, 山下 義行, 中田 育男:
  条件分岐を考慮したソフトウェア・パイプラインにおけるレジスタ割付,
  並列処理シンポジウム JSPP'99, つくば市, 1999年6月, pp. 39-46.

Meetings / 研究会発表等 (now editing)

宮本浩太郎，糸賀裕弥，大西淳: 
ゴール指向要求分析における矛盾解析 情報処理学会研究報告(ソフトウェア工学) Vol 2007, No. 97, ISSN 0919-6072, (2007-SE-157). 2007年9月, pp. 55-62.

富哲男，糸賀裕弥，大西淳: 
3次元空間を利用したビジュアルな要求仕様の変更管理支援 情報処理学会研究報告(ソフトウェア工学) Vol 2007, No. 97, ISSN 0919-6072, (2007-SE-157). 2007年9月, pp. 63-70.

糸賀裕弥，大西淳: 
アクタの状態における定義・参照関係を用いたシナリオ検証の一方法
電子情報通信学会技術研究報告(信学技報) Vol. 107, No. 176, ISSN 0913-5685, (SS2007-23). 2007年8月, pp. 43-48.

ジャマルト・アルダムラトフ，糸賀裕弥，大西淳: 
ゴール思考要求分析におけるサブゴール間の合意形成
電子情報通信学会技術研究報告(信学技報) Vol. 107, No. 99, ISSN 0913-5685, (SS2007-10). 2007年6月, pp. 7-12.

糸賀裕弥，大西淳: 
セキュリティ要求にもとづいた振る舞いのシナリオへの挿入支援
電子情報通信学会技術研究報告(信学技報) Vol. 105, No. 491, ISSN 0913-5685, (SS2005-71). 2005年12月, pp. 49-54.

北本幸司，糸賀裕弥，大西淳: 
正常シナリオからの代替・例外シナリオ作成支援
電子情報通信学会技術研究報告(信学技報) Vol. 104, No. 466, ISSN 0913-5685, (SS2004-29). 2004年11月, pp. 19-24.

糸賀 裕弥，大西 淳: 
シナリオにおけるアクタの状態解析の一方法
電子情報通信学会技術研究報告(信学技報) Vol. 104, No. 432. ISSN 0913-5685, (KBSE2004-23). 2004年11月，pp. 19-24.

糸賀 裕弥，大西 淳: 
セキュリティ機能のためのシナリオ改良の一方法
情報処理学会研究報告 2004-SE-144 (19)， 2004年3月，pp. 139-146.

Presentations / 口頭発表・その他 (now editing)

糸賀 裕弥
アジア人財プログラムにおける要求工学教育
第28回要求工学ワークショップ, 奄美大島, 2008年5月. (口頭発表)

Hiroya Itoga:
Security Requirements Elicitation using Scenarios - Definition of Actor's Conditions for Weaving Apsect-oriented Scenarios -
2nd UK joint workshop on Security Software Engineering, Open University, Milton Keynes, United Kingdom, Nov 2007. (Presentation only)

糸賀 裕弥
セキュリティ要求確認のためのプロトタイプ生成
第26回要求工学ワークショップ, 長野, 2007年10月. (口頭発表)

糸賀 裕弥
要求獲得のためのシナリオ織り込みの一方法
第25回要求工学ワークショップ， 隠岐，2007年5月．(口頭発表)

Hiroya Itoga and Atsushi Ohnishi: 
Security Requirements Elicitation using Scenarios, 
The 1st joint workshop on Security Software Engineering, National Institute of Informatics, Tokyo, March 2007. (Presentation only)

糸賀 裕弥
個人的クイックハックプログラムによる要求項目と品質特性の関連の反例
第17回要求工学ワークショップ， 鎌倉，2004年10月．(口頭発表)

糸賀 裕弥
セキュリティ要求獲得支援について
第16回要求工学ワークショップ， 屋久島，2004年4月．(口頭発表)

糸賀裕弥，北本幸司，大西淳：
セキュリティを考慮したシナリオ作成支援手法
日本ソフトウェア科学会第20回大会講演論文集(ISSN 1348-0901)， 愛知県立大学（愛知県），2003年9月，pp. 76-80

糸賀裕弥，三浦元喜，田中二郎：
情報の公開度をグラフとして扱うインタフェース，
インタラクション2003論文集， 2003年2月，pp. 79-80.

糸賀裕弥，三浦元喜，田中二郎：
情報の公開度を構造化して扱うインタフェース，
第10回インタラクティブシステムとソフトウェアに関するワークショップ （WISS2002）論文集， 2002年12月，pp. 147-148.

糸賀裕弥，山下義行：
複数パスのソフトウェア・パイプラインにおけるレジスタ割付，
情報処理学会　第62回（平成13年前期）全国大会，講演論文集（１）， 2001年3月，pp. 153-154．

糸賀裕弥，山下義行，中田育男：
条件分岐向けソフトウェア・パイプラインスケジューラの実装，
情報処理学会　第59回（平成11年後期）全国大会，講演論文集（１）， 1999年9月，pp. 223-224．

糸賀裕弥，秡川友宏，山下義行，中田育男：
条件分岐を含むループの最適なソフトウェア・パイプライニング，
情報処理学会　第56回（平成10年前期）全国大会，講演論文集（１）， 1998年3月，pp. 44-45．

糸賀裕弥，山下義行，中田育男：
条件分岐を考慮したループ並列化の一手法，
情報処理学会　第54回（平成9年前期）全国大会，講演論文集（１）， 1997年3月，pp. 351-352．

糸賀裕弥，山下義行，中田育男：
条件分岐向けソフトウェア・パイプラインスケジューラの1方法，
科研費特定領域研究A「ソフトウェア発展」A04班研究会， 1999年11月．

糸賀裕弥，秡川友宏，山下義行，中田育男：
条件分岐を含むループの最適なソフトウェア・パイプライニング，
科研費特定領域研究A「ソフトウェア発展」A04班研究会， 1998年5月．

Theses / 学位論文

• 糸賀 裕弥:
  条件分岐を考慮したソフトウェア・パイプラインにおけるレジスタ割付の研究,
  筑波大学工学研究科博士論文, 2002年.
• 糸賀 裕弥:
  条件分岐を考慮したループ並列化の1手法,
  筑波大学工学研究科修士論文, 1997年.