教育研究活動データベース

日本語に切り替えるswitch to english

渥美 紀寿

アツミ ノリトシ

情報環境機構 データ運用支援基盤センター 教授

渥美 紀寿
list
    Last Updated :2025/01/21

    基本情報

    学内兼務

    • 学術情報メディアセンター, 連携研究部門 情報システム分野(機構連携), 教授

    全学メールアドレス

    • 全学メールアドレス

      atsumi.noritoshi.5ukyoto-u.ac.jp

    所属学協会

    • 自 2005年08月, 至 現在
      情報処理学会
    • 自 2005年07月, 至 現在
      電子情報通信学会
    • 自 2001年10月, 至 現在
      日本ソフトウェア科学会

    学位

    • 2002年
      修士(工学)(名古屋大学)
    • 2007年01月
      博士(工学)(名古屋大学)

    出身大学院・研究科等

    • 名古屋大学, 大学院工学研究科, 計算理工学専攻, 博士前期課程 修了
    • 名古屋大学, 大学院工学研究科, 情報工学専攻, 博士後期課程 単位修得退学

    出身学校・専攻等

    • 名古屋大学, 工学部, 電気電子・情報工学科, 卒業

    出身高等学校

    • 出身高等学校

      愛知県立五条高等学校

    経歴

    • 自 2024年05月, 至 現在
      京都大学, 学術情報メディアセンター 連携研究部門 オープンサイエンス研究分野, 教授
    • 自 2024年04月, 至 現在
      京都大学, 情報環境機構 データ運用支援基盤センター, 教授, センター長
    • 自 2024年04月, 至 現在
      京都大学, 情報環境機構 IT基盤センター, 教授, 研究支援グループ長
    • 自 2024年04月, 至 2024年04月
      京都大学, 学術情報メディアセンター 連携研究部門 情報システム分野, 教授
    • 自 2024年01月, 至 2024年03月
      京都大学, 情報環境機構 データ運用支援基盤センター, 准教授, 副センター長
    • 自 2024年01月, 至 2024年03月
      京都大学, 情報環境機構 IT基盤センター, 准教授, 研究支援グループ長
    • 自 2020年10月, 至 2024年03月
      京都大学, 学術情報メディアセンター 連携研究部門 情報システム分野, 准教授
    • 自 2016年06月, 至 2020年09月
      京都大学, 学術情報メディアセンター 連携研究部門 情報システム分野, 助教
    • 自 2020年10月, 至 2023年12月
      京都大学, 情報環境機構 IT企画室, 准教授, 研究支援部門長 (2021/04 - 2023/12)
    • 自 2016年06月, 至 2020年09月
      京都大学, 情報環境機構 IT企画室 システムデザイン部門, 助教
    • 自 2016年04月, 至 2016年05月
      名古屋大学, 情報連携統括本部 情報戦略室, 助教
    • 自 2012年12月, 至 2016年03月
      名古屋大学, 情報連携統括本部 情報戦略室, 特任助教
    • 自 2011年04月, 至 2012年11月
      名古屋大学, 大学院情報科学研究科 附属組込みシステム研究センター, 特任助教
    • 自 2010年04月, 至 2011年03月
      名古屋大学, 大学院情報科学研究科 附属組込みシステム研究センター, 研究員
    • 自 2009年04月, 至 2010年03月
      南山大学, 情報理工学部 ソフトウェア工学科, 講師
    • 自 2005年04月, 至 2009年03月
      南山大学, 数理情報学部 情報通信学科, 講師

    使用言語

    • 日本語
    • 英語

    ID,URL

    researchmap URL

    list
      Last Updated :2025/01/21

      研究

      研究テーマ・研究概要

      • 研究テーマ

        ソフトウェアの保守支援,ソフトウェアの開発支援
      • 研究概要

        安定したシステムを効率良く開発し、その品質を維持し続けるために、ソフトウェアの解析技術を用いた開発支援技術や保守支援技術に関する研究を行っている。

      研究キーワード

      • ソフトウェアテスト支援
      • プログラム自動修正
      • プログラム解析
      • ソフトウェア保守支援
      • ソフトウェア開発支援
      • ソフトウェア工学

      研究分野

      • 情報通信, ソフトウェア

      論文

      • 京都大学におけるresearchmapとORCIDの活用事例
        古村隆明; 渥美紀寿
        情報の科学と技術, 2021年05月, 招待有り, 最終著者, 責任著者
      • Tool supported detection of omissions by comparing words between requirements and design document
        Takehiro Wakabayashi; Shuji Morisaki; Norimitsu Kasai; Noritoshi Atsumi; Shuichiro Yamamoto
        Journal of Information Processing, 2020年01月, 査読有り
      • An assurance case approach for software code security
        Ryota Miyabayashi; Noritoshi Atsumi; Shuji Morisaki; Shuichiro Yamamoto
        Proceedings of the International Workshop on Evidence-based Security and Privacy in the Wild and the 1st International Workshop on Machine Learning Systems Engineering (WESPr-iMLSE-2018), 2021年02月, 査読有り
      • Identifying core objects for trace summarization by analyzing reference relations and dynamic properties
        Kunihiro Noda; Takashi Kobayashi; Noritoshi Atsumi
        IEICE Transactions on Information and Systems, 2018年07月, 査読有り
      • Identifying Core Objects for Trace Summarization Using Reference Relations and Access Analysis
        Kunihiro Noda; Takashi Kobayashi; Tatsuya Toda; Noritoshi Atsumi
        Proceedings of International Computer Software and Applications Conference, 2017年09月07日, 査読有り
      • 実践的保証ケース作成方式
        山本修一郎; 森崎修司; 渥美紀寿
        SEC Journal, 2017年07月, 査読有り
      • An empirical evaluation of detecting omissions by comparing words between requirement and architectural documents
        Takehiro Wakabayashi; Shuji Morisaki; Noritoshi Atsumi; Shuichiro Yamamoto
        Proceedings of 8th IEEE International Workshop on Empirical Software Engineering in Practice, IWESEP 2017, 2017年05月10日, 査読有り
      • An Approach for Validating Assurance Case by Using Component Evidence Matrix
        Shuji Morisaki; Masanori Matsumura; Noritoshi Atsumi; Shuichiro Yamamoto
        International Journal of Computer Science and Information Security, 2017年05月, 査読有り
      • バリアントコードの改変履歴に基づく前処理条件の構造に関する特徴調査
        今西 洋二; 渥美 紀寿; 森崎 修司; 山本 修一郎; 阿草 清滋
        ソフトウェア工学の基礎XXIII, 2016年12月, 査読有り, 責任著者
      • MAFP:ソースコードに対する静的検査における警告の管理ツール
        渥美紀寿; 桑原寛明
        コンピュータソフトウェア, 2016年, 査読有り, 筆頭著者, 責任著者
      • Quantitative Non Functional Requirements Evaluation using Softgoal Weight
        Nobuhide Kobayashi; Shuji Morisaki; Noritoshi Atsumi; Shuichiro Yamamoto
        Journal of Internet Services and Information Security, 2016年02月, 査読有り
      • 共通語彙によるソフトウェア設計書の評価にむけた分析
        奈加大樹; 森崎修司; 渥美紀寿; 山本修一郎
        情報処理学会論文誌, 2016年, 査読有り
      • 逸脱分析を用いた要求仕様書からのテスト項目抽出手法
        大林英晶; 森崎修司; 渥美紀寿; 山本修一郎
        情報処理学会論文誌, 2016年, 査読有り
      • ソースコードの静的検査における警告の版間追跡ツール
        桑原 寛明; 渥美 紀寿
        ソフトウェアエンジニアリングシンポジウム2015論文集, 2015年09月, 査読有り, 最終著者, 責任著者
      • An integrated framework for energy optimization of embedded real-time applications
        Hideki Takase; Gang Zeng; Lovic Gauthier; Hirotaka Kawashima; Noritoshi Atsumi; Tomohiro Tatematsu; Yoshitake Kobayashi; Takenori Koshiro; Tohru Ishihara; Hiroyuki Tomiyama; Hiroaki Takada
        IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 2014年12月, 査読有り
      • Grouping objects for execution trace analysis based on design patterns
        Tatsuya Toda; Takashi Kobayashi; Noritoshi Atsumi; Kiyoshi Agusa
        Proceedings of Asia-Pacific Software Engineering Conference, APSEC, 2013年12月, 査読有り
      • ソフトウェア開発支援基盤のためのソースプログラムのXML表現
        渥美紀寿; 小林隆志; 山本晋一郎; 阿草清滋
        電子情報通信学会論文誌 D, 2013年11月, 査読有り, 筆頭著者
      • Finding cross-browser javascript codes using sequential pattern mining
        Takahiro Fujitani; Takashi Kobayashi; Noritoshi Atsumi; Kiyoshi Agusa
        Proceedings of IASTED International Conference on Software Engineering, 2012年08月, 査読有り
      • CX-Checker:柔軟にカスタマイズ可能なC言語プログラムのコーディングチェッカ
        大須賀 俊憲; 小林 隆志; 渥美 紀寿; 間瀬 順一; 山本 晋一郎; 鈴村 延保; 阿草 清滋
        情報処理学会論文誌, 2012年02月15日, 査読有り
      • An XML Representation of Preprocessed Code for Static Analysis
        Noritoshi Atsumi; Mitsuaki Oba; Takashi Kobayashi; Shinichiro Yamamoto; Kiyoashi Agusa
        Supplemental Proceedings of IEEE 22nd International Symposium on Software Reliability Engineering, 2011年11月, 査読有り, 筆頭著者
      • プログラム解析技術のサービス化の試み
        桑原 寛明; 渥美 紀寿; 山本 晋一郎
        ソフトウェア工学の基礎XVIII, 2011年11月, 査読有り
      • An XML C source code interchange format for CASE tools
        Noritoshi Atsumi; Takashi Kobayashi; Shinichiro Yamamoto; Kiyoshi Agusa
        Proceedings of International Computer Software and Applications Conference, 2011年07月, 査読有り, 筆頭著者
      • An integrated optimization framework for reducing the energy consumption of embedded real-time applications
        Hideki Takase; Gang Zeng; Lovic Gauthier; Hirotaka Kawashima; Noritoshi Atsumi; Tomohiro Tatematsu; Yoshitake Kobayashi; Shunitsu Kohara; Takenori Koshiro; Tohru Ishihara; Hiroyuki Tomiyama; Hiroaki Takada
        Proceedings of the International Symposium on Low Power Electronics and Design, 2011年, 査読有り
      • トレースに基づくデバッグにおける欠陥箇所発見支援手法
        上原 伸介; 小林 隆志; 渥美 紀寿; 山本 晋一郎; 阿草 清滋
        ソフトウェア工学の基礎XVII, 2010年11月, 査読有り
      • CASEツール・プラットフォームのための CソースプログラムのXML表現とその応用
        渥美 紀寿; 山本 晋一郎; 小林 隆志; 阿草 清滋
        ソフトウェアエンジニアリング最前線2010, 2010年09月, 査読有り, 筆頭著者
      • Finding alternate javascript codes with a code repository
        Eiji Hirumuta; Takashi Kobayashi; Noritoshi Atsumi; Kiyoshi Agusa
        Proceedings of the IASTED International Conference on Software Engineering, SE 2010, 2010年02月, 査読有り
      • 高信頼Webアプリケーションのためのページ生成プログラムのテスト手法
        渥美 紀寿; 桑原 寛明; 金子 伸幸; 山本 晋一郎; 阿草 清滋
        コンピュータソフトウェア, 2007年12月, 査読有り, 筆頭著者
      • イディオム検索のための関数呼出依存グラフのクラスタリング手法
        渥美紀寿; 山本晋一郎; 阿草清滋
        電子情報通信学会論文誌 D-1, 2005年11月, 査読有り, 筆頭著者
      • FCDGに基づいたコディングパターン
        渥美紀寿; 山本晋一郎; 結縁祥治; 阿草清滋
        コンピュータソフトウェア, 2004年07月, 査読有り, 筆頭著者
      • Categorization of Library Function Call
        Noritoshi Atsumi; Shinichiro Yamamoto; Kiyoshi Agusa
        Workshop on Software Product Archiving and Retrieving System, 2004年04月, 筆頭著者
      • Library Evolution for Reliable Software
        Noritoshi Atsumi; Shoji Yuen; Kiyoshi Agusa; Shinichirou Yamamoto
        Proceedings of International Workshop on Principles of Software Evolution (IWPSE), 2002年05月, 査読有り, 筆頭著者

      MISC

      • API 利用パターンを用いた自動プログラム修正におけるパターン検索の予備評価
        桑原 寛明; 渥美 紀寿
        情報処理学会研究報告, 2022年03月
      • 京都大学教育研究活動データベースの現状と課題
        梶原 弘貴; 澤田 浩文; 赤坂 浩一; 渥美 紀寿; 青木 学聡
        2019年度大学ICT推進協議会年次大会, 2019年12月
      • ライブラリ進化への追随のためのソフトウェア修正の共有手法の提案
        渥美紀寿; 桑原寛明
        電子情報通信学会技術研究報告, 2019年03月, 筆頭著者, 責任著者
      • 多様な構成員を持つ大学ICT組織へのSlack導入によるコミュニケーション改善試行
        森村 吉貴; 渥美 紀寿; 古村 隆明
        2018年度大学ICT推進協議会, 2018年11月
      • ソースコードのXML表現のための選択例を用いた対話的XPath生成支援
        夏目雅槻; 相澤遥也; 渥美紀寿; 小林隆志
        電子情報通信学会技術研究報告, 2018年10月
      • 京都大学安否確認システムの開発と訓練結果
        宮部 誠人; 戸田 庸介; 荒谷 裕美; 渥美 紀寿; 古村 隆明; 永井 靖浩
        2017年度大学ICT推進協議会年次大会, 2017年12月
      • 京都大学における全学・部局研修用eラーニング研修支援サービスの現状と課題
        梶田将司; 元木環; 元木環; 外村孝一郎; 渥美紀寿; 渥美紀寿; 西垣昌代
        情報処理学会研究報告, 2017年03月
      • 自動翻訳された日本語バグレポートを用いたバグ局所化の試行
        上杉正紀; 森崎修司; 渥美紀寿; 山本修一郎
        情報処理学会全国大会講演論文集, 2017年03月
      • 実行トレース抽象化を目的とした参照関係・アクセス解析によるコアオブジェクト特定
        野田訓広; 小林隆志; 渥美紀寿
        情報処理学会研究報告(Web), 2017年03月
      • 前処理命令による可変点を考慮した共変更ルール抽出
        森達也; 小林隆志; 林晋平; 渥美紀寿
        電子情報通信学会技術研究報告, 2017年03月
      • バリアントソフトウェアの開発・保守支援に関する研究
        渥美 紀寿
        ウィンターワークショップ 2017・イン・飛騨高山, 2017年01月, 筆頭著者, 責任著者
      • 自動投入を目的とした全学ファイアウォール のACL組成ポリシ
        嶋田 創; 山口 由紀子; 加藤 芳秀; 渥美 紀寿; 田上 奈緒; 太田 芳博; 石原 正也; 中務 孝広; 川田 良文
        インターネットと運用技術シンポジウム2016論文集, 2016年12月
      • 名古屋大学における全学ファイアウォールの段階導入と運用
        嶋田創; 山口由紀子; 加藤芳秀; 渥美紀寿; 田上奈緒; 太田芳博; 石原正也; 中務孝広; 川田良文
        情報処理学会研究報告, 2016年09月
      • 前処理命令の制御構造とその構造内のコード改変に関する調査
        今西洋二; 渥美紀寿; 森崎修司; 山本修一郎; 阿草清滋
        情報処理学会研究報告(Web), 2016年03月
      • GSNレビュ実験と評価について
        山本 修一郎; 森崎 修司; 渥美 紀寿; 近藤 純平; 大林 英晶
        人工知能学会 第18回知識流通ネットワーク研究会, 2016年03月
      • 保証ケースの先端研修教材の試作と評価
        山本 修一郎; 森崎 修司; 渥美 紀寿
        人工知能学会 第18回知識流通ネットワーク研究会, 2016年03月
      • 要求仕様書と設計書における語彙の差分に関する分析
        若林丈紘; 森崎修司; 渥美紀寿; 山本修一郎
        情報処理学会研究報告(Web), 2015年12月
      • 目的設定がレビューシナリオに与える影響の分析
        岡見健利; 森崎修司; 渥美紀寿; 山本修一郎
        情報処理学会研究報告(Web), 2015年12月
      • 入力分析に基づくコード保証方法の提案
        宮林凌太; 渥美紀寿; 森崎修司; 山本修一郎
        電子情報通信学会技術研究報告, 2015年10月
      • ソフトウェア設計書と要求仕様書の共通語彙分析
        奈加 大樹; 森崎 修司; 渥美 紀寿; 山本 修一郎
        人工知能学会 第17回知識流通ネットワーク研究会, 2015年10月
      • 構成情報に基づく保証ケースレビュ手法の提案
        山本 修一郎; 森崎 修司; 渥美 紀寿
        人工知能学会 第17回知識流通ネットワーク研究会, 2015年10月
      • モデルに基づく統一的保証ケース作成手法の提案
        山本 修一郎; 森崎 修司; 渥美 紀寿; 正田 稔
        人工知能学会 第17回知識流通ネットワーク研究会, 2015年10月
      • 静的検査ツールにおける警告箇所の版間追跡による確認コスト削減手法
        渥美紀寿; 桑原寛明
        情報処理学会研究報告, 2015年03月, 筆頭著者
      • 変更追跡機能を用いた静的検査ツールの効果的な利用法
        渥美 紀寿; 桑原 寛明
        日本ソフトウェア科学会 ソフトウェア工学の基礎 研究会, 2014年12月, 筆頭著者
      • 名古屋大学における情報サービスの運 用改善を目的としたシステムトラブル対応DBの構築
        瀬川 午直; 出口 大輔; 渥美 紀寿; 加藤 芳秀; 嶋田 創; 荻野 正雄; 小川 泰 弘; 大野 誠寛; 川田 良文; 山田 一成
        2014年度大学ICT推進協議会年次大会, 2014年12月
      • CDM記述のためのコンテクスト抽出手法の能力比較
        松村昌典; 森崎修司; 渥美紀寿; 山本修一郎
        電子情報通信学会技術研究報告, 2014年11月
      • 要求テンプレートによる要求分析法の調査
        伊藤 一希; 近藤 純平; 下江 衛; 森崎 修司; 渥美 紀寿; 山本 修一郎
        電子情報通信学会技術研究報告, 2014年11月
      • ソフトウェア設計書における頻出単語の調査と共通語彙の分析
        奈加 大樹; 森崎 修司; 渥美 紀寿; 山本 修一郎
        人工知能学会 第15回知識流通ネットワーク研究会, 2014年09月
      • コンテクスト依存表(CDM)に基づくD-Case作成法の提案
        松村 昌典; 森崎 修司; 渥美 紀寿; 山本 修一郎
        人工知能学会 第15回知識流通ネットワーク研究会, 2014年09月
      • オブジェクトの動的特徴に着目した実行トレースの抽象化
        戸田達也; 小林隆志; 渥美紀寿; 阿草清滋
        電子情報通信学会技術研究報告, 2014年03月
      • コーディング規約違反の局所性に着目した自動検出不可能な違反の検出に向けて
        高井康勢; 小林隆志; 渥美紀寿; 山本晋一郎; 阿草清滋
        電子情報通信学会技術研究報告, 2013年03月
      • データ依存の伝播確率に基づく欠陥箇所特定支援
        村松沙那恵; 小林隆志; 渥美紀寿; 阿草清滋
        電子情報通信学会技術研究報告, 2013年02月
      • プリプロセス命令の制御構造を利用したフィーチャ間の依存性解析
        渥美紀寿; 小林隆志; 阿草清滋
        電子情報通信学会技術研究報告, 2013年01月, 筆頭著者
      • ソフトウェア開発におけるトレーサビリティ確保のための開発環境の検討
        渥美 紀寿; 小林 隆志; 高田 広章
        情報処理学会研究報告, 2012年05月, 筆頭著者
      • メソッド境界を越えた呼び出しパターン抽出のためのコールグラフ探索戦略
        大塲 光明; 渥美 紀寿; 小林 隆志; 阿草 清滋
        情報処理学会 研究報告, 2012年03月
      • 実行トレース解析のためのデザインパターンに基づくオブジェクトグルーピング
        戸田達也; 小林隆志; 渥美紀寿; 阿草清滋
        電子情報通信学会技術研究報告, 2012年03月
      • バリエーション並行開発のための版管理機構
        渥美 紀寿; 小林 隆志; 山本 晋一郎
        日本ソフトウェア科学会大会論文集, 2011年09月27日
      • シーケンシャルパターンマイニングによるJavaScriptの代替コード発見
        藤谷 隆宏; 小林 隆志; 渥美 紀寿
        日本ソフトウェア科学会大会論文集, 2011年09月27日
      • DEPSプロファイルの評価法とそれを利用したチェックポイント選定
        川島 裕崇; 曾 剛; 渥美 紀寿; 立松 知紘; 高瀬 英希; 高田 広章
        情報処理学会 研究報告, 2011年03月
      • An Energy Optimization Framework for Embedded Applications
        Hideki Takase; Gang Zeng; Hirotaka Kawashima; Noritoshi Atsumi; Tomohiro Tatematsu; Lovic Gauthier; Tohru Ishihara; Yoshitake Kobayashi; Shunitsu Kohara; Takenori Koshiro; Hiroyuki Tomiyama; Hiroaki Takada
        情報処理学会 研究報告, 2011年03月
      • DEPSプロファイルの評価法とそれを利用したチェックポイント選定
        川島 裕崇; 曾 剛; 渥美 紀寿; 立松 知紘; 高瀬 英希; 高田 広章
        電子情報通信学会技術研究報告, 2011年03月
      • DEPSフレームワークにおける最悪実行時間と平均消費エネルギーのタスク内解析手法
        川島 裕崇; 曾 剛; 渥美 紀寿; 立松 知紘; 高田 広章
        電子情報通信学会技術研究報告, 2011年02月
      • プログラム解析のサービス化に向けて
        渥美紀寿
        ウィンターワークショップ 2011・イン・修善寺論文集, 2011年01月, 筆頭著者, 責任著者
      • コーディング規約違反に着目したソフトウェアメトリクス
        高井康勢; 渥美紀寿; 小林隆志
        ウィンターワークショップ2011・イン・修善寺論文集, 2011年01月
      • CX-Checker:柔軟なカスタマイズが可能なC言語コーディングルールチェッカー
        小林 隆志; 大須賀 俊憲; 上原 伸介; 蛭牟田 英治; 林 英志; 間瀬 順一; 山本 晋一郎; 渥美 紀寿; 川口 直弘; 鈴村 延保; 阿草 清滋
        情報処理学会全国大会講演論文集, 2010年02月
      • ソフトウェア部品の階層的構成関係によるソースコードの類似性評価
        渥美 紀寿
        ソースコードの類似性ワークショップ, 2009年09月, 筆頭著者, 責任著者
      • 多次元尺度構成法によるソースコード検索におけるソフトウェアの可視化
        渥美紀寿; 末次亮; 山本晋一郎
        情報処理学会シンポジウム論文集, 2009年01月, 筆頭著者
      • 学と産の連携による基盤ソフトウェアの先進的開発{第1部}高い生産性を持つ高信頼ソフトウェア作成技術の開発 7.高信頼WebWare生成技術:WebWareのテスト・解析・作成支援
        桑原寛明; 金子伸幸; 渥美紀寿; 山本晋一郎; 阿草清滋
        情報処理, 2008年11月
      • ウインターワークショップ2008・イン・道後開催報告
        阿萬裕久; 青木利晃; 沢田篤史; 山本晋一郎; 渥美紀寿; 白銀純子; 浦本直彦; 松塚貴英; 羽生田栄一; 鷲崎弘宜; 野中誠; 吉岡信和; 吉岡信和; 田原康之
        情報処理学会研究報告, 2008年06月
      • コーディングノウハウを活用するための開発環境
        渥美 紀寿; 山本 晋一郎
        ウィンターワークショップ2008・イン・道後論文集, 2008年01月, 筆頭著者
      • コンポーネント指向ソフトウェアのためのCASEツール・プラットフォームの実現に向けて
        渥美紀寿
        ウィンターワークショップ2007・イン・那覇論文集, 2007年01月, 筆頭著者, 責任著者
      • XML記述によるソフトウェアリポジトリ
        渥美紀寿; 山本晋一郎
        ウィンターワークショップ2006・イン・鴨川 論文集, 2006年01月, 筆頭著者
      • XML記述によるソフトウェアリポジトリを用いたコード検索
        渥美紀寿; 山本晋一郎; 阿草清滋
        情報処理学会研究報告, 2005年07月
      • コーディング検査のためのライブラリ利用パターン抽出手法
        渥美紀寿; 山本晋一朗; 阿草清滋
        日本ソフトウエア科学会大会論文集, 2003年09月, 筆頭著者
      • 関数呼出依存グラフに基づくプログラミング支援
        渥美紀寿; 山本晋一郎; 阿草清滋
        日本ソフトウエア科学会大会論文集, 2001年09月, 筆頭著者
      • プログラム部品抽出における可読性保存方式に関する研究
        渥美 紀寿; 山本 晋一郎; 阿草 清滋
        2000年度 電気関係学会 東海支部 連合大会, 2000年09月, 筆頭著者

      講演・口頭発表等

      • 京都大学における研究データ管理・公開に関する学内の支援体制
        渥美 紀寿
        愛媛大学 研究データの管理・利活用に関する講演会, 2024年03月04日, 招待有り
      • 大学における研究データ管理・利活用のためのストレージ基盤
        渥美 紀寿
        NIIオープンフォーラム2023・大学における研究データマネジメントのための情報基盤・第2部: 事例紹介「ストレージ基盤」, 2023年05月30日
      • 京都大学におけるRDM基盤の構築・運用に関する課題
        渥美 紀寿
        大学ICT推進協議会2022年度年次大会 研究データマネージメント部会 企画セッション2, 2022年12月
      • 多様な構成員を持つ大学ICT組織へのSlack導入によるコミュニケーション改善の継続調査
        森村 吉貴; 渥美 紀寿; 古村 隆明
        2019年度大学ICT推進協議会年次大会, 2019年12月
      • An Assurance Case Approach for Software Code Security
        Ryota Miyabayashi; Noritoshi Atsumi; Shuji Morisaki; Shuichiro Yamamoto
        International Workshop on Evidence-based Security and Privacy in the Wild and the 1st International Workshop on Machine Learning Systems Engineering, 2018年12月
      • 学生参与型プロトタイピングを導入した教務用スマホアプリ開発
        森村 吉貴; 渥美 紀寿; 元木 環; 古村 隆明; 中井 大介; 松本 直樹; 岡本 康洋; 松本 宗一郎; 江崎 文俊; 中澤 和紀
        2017年度大学ICT推進協議会年次大会, 2017年12月
      • 名古屋大学全学ファイアウォール向 けポート公開申請・承認システムの開発
        田上 奈緒; 太田 芳博; 石原 正也; 中務 孝広; 川田 良文; 渥美 紀寿; 加藤 芳秀; 山口 由紀子; 嶋田 創
        2016年度大学ICT推進協議会年次大会, 2016年12月
      • 情報サービスの安定運用と迅速な障害対応を目的とした機器情報管理データ ベースの構築
        川田良文; 出口大輔; 渥美紀寿; 加藤芳秀; 嶋田創; 荻野正雄; 小川泰弘
        2015年度大学ICT推進協議会年次大会, 2015年12月
      • 静的検査ツールにおけるfalse positiveに関する調査
        渥美 紀寿; 桑原 寛明
        日本ソフトウェア科学会 ソフトウェア工学の基礎ワークショップ, 2015年11月
      • コーディング規約違反の推移に基づくソフトウェアの品質評価に向けて
        高井 康勢; 渥美 紀寿; 小林 隆
        日本ソフトウェア科学会 ソフトウェア工学の基礎ワークショップ, 2012年12月
      • CX-Checker: 柔軟なカスタマイズが可能なC言語コーディングルールチェッカー
        小林 隆志; 大須賀 俊憲; 上原 伸介; 蛭牟田 英治; 林 英志; 間瀬 順一; 山本 晋一郎; 渥美 紀寿; 川口 直弘; 鈴村 延保; 阿草 清滋
        情報処理学会全国大会, 2010年03月

      外部資金:科学研究費補助金

      • 多様な学術研究活動を育むアカデミックデータ・イノベーション成熟度モデルの開発
        基盤研究(A)
        中区分9:教育学およびその関連分野
        京都大学
        梶田 将司
        自 2020年04月01日, 至 2023年03月31日, 交付
        研究データマネジメント;オープンサイエンス;オープンデータ;ルーブリック;学際研究スキル
      • 仮想開発者によるソフトウェア自動修正と進化推薦
        基盤研究(C)
        小区分60050:ソフトウェア関連
        京都大学
        渥美 紀寿
        自 2018年04月01日, 至 2022年03月31日, 完了
        ソフトウェア自動修正;プログラム解析;ソフトウェア保守;ソフトウェア進化;,;ソフトウェア工学;ソフトウェア保守支援;機械学習
      • ソフトウェア進化分析に基づくソフトウェア保守支援環境
        若手研究(B)
        京都大学;名古屋大学
        渥美 紀寿
        自 2015年04月01日, 至 2019年03月31日, 完了
        ソフトウェア工学;ソフトウェア保守;ソフトウェア進化;プログラム解析;ソースコード解析;保守支援;静的検査
      • ハイブリッドプログラム解析を利用した機能識別に基づくプログラム理解支援技術
        基盤研究(B)
        東京工業大学
        小林 隆志
        自 2015年04月01日, 至 2019年03月31日, 完了
        ソフトウェア工学;ソフトウェア保守;プログラム理解;リバースエンジニアリング;ソフトウェア学
      • バリアントライフサイクルモデルに基づく多品種並行開発手法
        基盤研究(B)
        京都大学
        阿草 清滋
        自 2012年04月01日, 至 2017年03月31日, 完了
        ソフトウェア工学;ソフトウェア構成管理;ソフトウェア保守;ソフトウェア開発支援;トレーサビリティ;多品種同時開発;多品種並行開発;構成管理;トレーサビリティ管理;開発活動履歴解析
      • ミスコードリポジトリを用いたソフトウェア開発支援
        若手研究(B)
        名古屋大学;南山大学
        渥美 紀寿
        自 2009年04月01日, 至 2012年03月31日, 完了
        開発環境;ソフトウェア保守支援;問題解決経験;ソフトウェア再利用;マイニング;バグ情報;スタックトレース
      • コンパイラ中間表現に基づく情報流解析による安全性検証の多プログラミング言語展開
        基盤研究(C)
        小区分60050:ソフトウェア関連
        南山大学
        桑原 寛明
        自 2024年04月01日, 至 2027年03月31日, 交付
        情報流解析;プログラム解析;安全性検証;中間表現;ソフトウェア開発支援
      • オープンで多様な学術研究活動を育むルーブリックバンクとその利活用基盤の構築
        基盤研究(A)
        中区分9:教育学およびその関連分野
        名古屋大学
        梶田 将司
        自 2024年04月01日, 至 2028年03月31日, 交付
        研究データマネジメント;オープンサイエンス;オープンデータ;ルーブリック;学際研究スキル
      list
        Last Updated :2025/01/21

        教育

        担当科目

        • 自 2024年04月01日, 至 2025年03月31日
          ソフトウェア工学
          9099, 後期, 工学部, 2
        • 自 2024年04月01日, 至 2025年03月31日
          ILASセミナー
          Z001, 前期, 国際高等教育院, 2
        • 自 2024年04月01日, 至 2025年03月31日
          プログラミング(クラウド計算)
          T031, 後期, 国際高等教育院, 2
        • 自 2023年04月01日, 至 2024年03月31日
          ソフトウェア工学
          9099, 後期, 工学部, 2
        • 自 2023年04月01日, 至 2024年03月31日
          ILASセミナー
          Z001, 前期, 国際高等教育院, 2
        • 自 2023年04月01日, 至 2024年03月31日
          プログラミング(クラウド計算)
          T031, 後期, 国際高等教育院, 2
        • 自 2022年04月01日, 至 2023年03月31日
          プログラミング(クラウド計算)
          T031, 後期, 国際高等教育院, 2
        • 自 2022年04月01日, 至 2023年03月31日
          ソフトウェア工学
          9099, 後期, 工学部, 2
        • 自 2022年04月01日, 至 2023年03月31日
          ILASセミナー
          Z001, 前期, 国際高等教育院, 2
        • 自 2021年04月, 至 2022年03月
          プログラミング(クラウド計算)
          後期, 全学共通科目
        • 自 2021年04月, 至 2022年03月
          ソフトウェア工学(計算機)
          後期, 工学部
        • 自 2021年04月, 至 2022年03月
          ILASセミナー:情報リテラシとしてのソーシャルプログラ …
          前期, 全学共通科目
        • 自 2020年04月, 至 2021年03月
          プログラミング(クラウド計算)
          後期, 全学共通科目
        • 自 2020年04月, 至 2021年03月
          ソフトウェア工学(計算機)
          後期, 工学部
        • 自 2020年04月, 至 2021年03月
          ILASセミナー:情報リテラシとしてのソーシャルプログラ …
          前期, 全学共通科目
        • 自 2019年04月, 至 2020年03月
          ソフトウェア工学
          後期, 工学部
        • 自 2018年04月, 至 2019年03月
          ソフトウェア工学
          後期, 工学部
        • 自 2017年04月, 至 2018年03月
          ソフトウェア工学
          後期, 工学部

        非常勤講師

        • 自 2002年04月01日, 至 2005年03月31日
          プログラミング
          愛知工業大学, 工学部
        • 自 2003年04月01日, 至 2004年03月31日
          情報学入門
          名古屋短期大学, 英語コミュニケーション学科
        • 自 2005年10月01日, 至 2006年03月31日
          プログラミング
          愛知工業大学, 工学部
        • 自 2008年10月01日, 至 2009年03月31日
          ソフトウェア工学
          豊田工業大学, 工学部
        list
          Last Updated :2025/01/21

          大学運営

          全学運営(役職等)

          • 自 2024年04月01日, 至 2025年03月31日
            京都大学情報環境整備委員会 委員
          • 自 2022年10月01日, 至 2023年03月31日
            研究データ管理・公開促進 WG 主査
          • 自 2021年07月01日, 至 2023年03月31日
            研究データ管理・公開促進 WG メンバー
          • 自 2020年04月01日, 至 2022年09月30日
            教員DB基盤仕様検討WG 主査
          • 自 2020年04月01日, 至 2022年09月30日
            教員DBデータ利活用WG 主査
          • 自 2020年10月01日, 至 2025年03月31日
            研究者情報データベース専門部会 部会員
          • 自 2020年10月01日, 至 2025年03月31日
            リサーチデータマネジメント専門部会 部会員
          • 自 2020年07月01日, 至 2021年03月31日
            研究データ管理・公開ポリシー利活用WG メンバー
          • 自 2019年03月26日, 至 2020年03月31日
            教員DB基盤仕様検討WG メンバー
          • 自 2019年03月26日, 至 2020年03月31日
            教員DBデータ利活用WG メンバー

          部局運営(役職等)

          • 自 2021年10月01日, 至 2023年09月30日
            研究者情報データベース専門部会部会員
          • 自 2020年10月01日, 至 2025年03月31日
            情報環境機構 管理委員会 委員
          • 自 2020年10月01日, 至 2025年03月31日
            情報環境機構 運営委員会 委員
          • 自 2024年04月01日, 至 2026年03月31日
            情報環境機構 情報セキュリティ委員会 委員
          • 自 2022年04月01日, 至 2025年03月31日
            情報環境機構 教員業績評価委員会
          • 自 2024年04月01日, 至 2026年03月31日
            情報環境機構 評価委員会
          • 自 2022年04月01日, 至 2026年03月31日
            工学研究科 桂図書館運営委員会 委員
          • 自 2022年04月01日, 至 2025年03月31日
            学術情報メディアセンター・情報環境機構 安全衛生委員会 委員
          • 自 2021年04月01日, 至 2026年03月31日
            情報環境機構 研究システム運用委員会 委員長
          • 自 2021年04月01日, 至 2025年03月31日
            情報環境機構 スーパーコンピュータシステム運用委員会 委員
          • 自 2021年04月01日, 至 2026年03月31日
            情報環境機構 研究用計算機専門委員会 委員
          • 自 2016年06月01日, 至 2020年03月31日
            情報環境機構 将来構想委員会 委員
          • 自 2016年06月01日, 至 2017年03月31日
            運営検討委員会 委員
          list
            Last Updated :2025/01/21

            学術・社会貢献

            委員歴

            • 自 2023年05月, 至 2023年12月
              和文論文誌D 学生論文特集号 編集委員, 電子情報通信学会
            • 自 2019年06月, 至 2023年06月
              編集委員, 電子情報通信学会 和文論文誌D
            • 自 2019年04月, 至 2023年03月
              運営委員, 情報処理学会 ソフトウェア工学研究会
            • 自 2019年, 至 2019年
              ソフトウェア工学の基礎ワークショップ プログラム委員, 日本ソフトウェア科学会
            • 自 2017年, 至 現在
              ソフトウェアエンジニアリングシンポジウム プログラム委員, 情報処理学会 ソフトウェア工学研究会
            • 自 2016年
              Student Volunteer Co-chairs, International Conference on Conceptual Modeling
            • 自 2013年06月, 至 現在
              幹事, 情報処理学会 ソフトウェア工学研究会 国際的研究活動活性化 WG
            • 自 2010年08月, 至 現在
              査読委員, 電子情報通信学会 和文論文誌D
            • 自 2013年04月, 至 2017年03月
              運営委員, 情報処理学会 ソフトウェア工学研究会

            ページ上部へ戻る