高田 眞吾 (タカダ シンゴ)

Takada, Shingo

写真a

所属(所属キャンパス)

理工学部 情報工学科 (矢上)

職名

教授

HP

外部リンク

経歴 【 表示 / 非表示

  • 1992年09月
    -
    1993年06月

    慶應義塾大学(理工学研究科日本IBM寄付講座) ,嘱託助手

  • 1995年04月
    -
    1999年03月

    奈良先端科学技術大学院大学(情報科学研究科) ,助手

  • 1999年04月
    -
    2006年03月

    慶應義塾大学(理工学部) ,専任講師

  • 2006年04月
    -
    2015年03月

    慶應義塾大学(理工学部),助教授(准教授)

  • 2015年04月
    -
    継続中

    慶應義塾大学(理工学部),教授

学歴 【 表示 / 非表示

  • 1990年03月

    慶應義塾大学, 理工学部, 電気工学科

    大学, 卒業

  • 1992年03月

    慶應義塾大学, 理工学研究科, 計算機科学専攻

    大学院, 修了, 修士

  • 1995年03月

    慶應義塾大学, 理工学研究科, 計算機科学専攻

    大学院, 修了, 博士

学位 【 表示 / 非表示

  • 工学 , 慶應義塾大学, 1995年03月

 

研究分野 【 表示 / 非表示

  • 情報通信 / ソフトウェア (ソフトウエア)

研究キーワード 【 表示 / 非表示

  • ソフトウェア工学

 

著書 【 表示 / 非表示

  • Coverage-Guided Fairness Testing

    Perez Morales D., Kitamura T., Takada S., Studies in Computational Intelligence, 2021年

     概要を見る

    Software testing is a crucial task. Unlike conventional software, AI software that uses decision-making algorithms or classifiers needs to be tested for discrimination or bias. Such bias can cause discrimination towards certain individuals based on their protected attributes, such as race, gender or nationality. It is a major concern to have discrimination as an unintended behavior. Previous work tested for discrimination randomly, which has resulted in variations in the results for each test execution. These varying results indicate that, for each test execution, there is discrimination that is not found. Even though it is nearly impossible to find all discrimination unless we check all possible combinations in the system, it is important to detect as much discrimination as possible. We thus propose Coverage-Guided Fairness Testing (CGFT). CGFT leverages combinatorial testing to generate an evenly-distributed test suite. We evaluated CGFT with two different datasets, creating three models with each. The results show an improvement in the number of unfairness found using CGFT compared to previous work.

  • 情報学基礎

    高田 眞吾, 共立出版, 2013年03月

    担当範囲: 1章,4章,7章

  • グローバル化するITSと国際標準

    高田 眞吾, 森北出版, 2013年01月

    担当範囲: 324-338

論文 【 表示 / 非表示

  • Semantic Matching Based Test Case Reuse for Android Applications

    Ngoc Bao Nguyen, Shingo Takada

    Eighth International Workshop on Validation, Analysis, and Evolution of Software Tests (VST 2025)    174 - 181 2025年03月

    研究論文(国際会議プロシーディングス), 共著, 最終著者, 査読有り

  • Lowering the Barrier of Machine Learning: Achieving Zero Manual Labeling in Review Classification Using LLMs

    Yejian Zhang, Shingo Takada

    2025 11th International Conference on Computing and Artificial Intelligence (ICCAI 2025) 2025年03月

    研究論文(国際会議プロシーディングス), 共著, 最終著者, 査読有り

  • 静的解析ツールが示す優先度は開発者の役に立つのか?

    名倉正剛, 尾原秀登, 高田眞吾, 末次健太郎, 中川岳, 浅原明広

    電子情報通信学会論文誌 J107-D ( 2 ) 77 - 81 2024年02月

    研究論文(学術雑誌), 査読有り

     概要を見る

    コーディング規約違反検出のための静的解析ツールでは,違反に対して警告すべき優先度が設定されていることがある.本研究では,多数のOSSプロジェクトを解析することによって,違反に対する優先度が実際に開発者にとって有益であるかどうかを明らかにする.

  • RSUTT: Robust Search Using T-Way Testing

    Matsukawa C., Takada S.

    Communications in Computer and Information Science 2178 CCIS   35 - 50 2024年

    ISSN  18650929

     概要を見る

    Recent years have seen an increase of decision-making software based on Machine Learning (ML). Multiple cases have been reported where such software are discriminatory based on attributes such as race and gender. Thus, ML-based decision making software need to be tested for discrimination, or fairness testing. One popular approach to fairness testing is to find discriminatory data items by first conducting a global search, and then searching locally near the found discriminatory data items. Aequitas, CGFT, and KOSEI are three examples taking this approach. However, there are issues in terms of stability and efficiency. We thus propose an approach called Robust Search Using T-way Testing (RSUTT), which is based on CGFT for global search and KOSEI for local search. Experiments showed that RSUTT performs more efficiently compared to Aequitas, CGFT, and KOSEI.

  • Software Defect Prediction based on JavaBERT and CNN-BiLSTM

    Cheng K., Takada S.

    Ceur Workshop Proceedings 3612   51 - 59 2023年12月

    研究論文(国際会議プロシーディングス), 共著, 最終著者, 査読有り,  ISSN  16130073

     概要を見る

    Software defects can lead to severe issues in software systems, such as software errors, security vulnerabilities, and decreased software performance. Early prediction of software defects can prevent these problems, reduce development costs, and enhance system reliability. However, existing methods often focus on manually crafted code features and overlook the rich semantic and contextual information in program code. In this paper, we propose a novel approach that integrates JavaBERT-based embeddings with a CNN-BiLSTM model for software defect prediction. Our model considers code context and captures code patterns and dependencies throughout the code, thereby improving prediction performance. We incorporate Optuna to find optimal hyperparameters. We conducted experiments on the PROMISE dataset, which demonstrated that our approach outperforms baseline models, particularly in leveraging code semantics to enhance defect prediction performance.

全件表示 >>

KOARA(リポジトリ)収録論文等 【 表示 / 非表示

総説・解説等 【 表示 / 非表示

  • CC2020 プロジェクトと 情報系カリキュラムについて

    高田眞吾

    情報処理 (情報処理学会)  61 ( 11 ) 1119 - 1119 2020年11月

    記事・総説・解説・論説等(学術雑誌)

  • Introduction to the Special Issue on Foundations of Software Engineering

    Monden A., Morisaki S., Ohira M., Aman H., Sawada A., Sugiyama Y., Takada S., Hanakawa N., Washizaki H.

    Computer Software (Computer Software)  37 ( 4 )  2020年10月

    ISSN  02896540

  • 省略された代名詞の解釈 - 工学系 -

    高田眞吾,土居範久

    日本語学 14 ( 4 ) 19 - 26 1995年04月

    記事・総説・解説・論説等(商業誌、新聞、ウェブメディア), 共著

     概要を見る

    省略された代名詞の解釈に関する過去の研究を概観し,それから具体的な研究例としてセンターリストモデルという枠組みを取り上げる.

研究発表 【 表示 / 非表示

  • 公平性テストにおける差別データの多様性の有効性に関する実証研究

    船本和希, 北村崇師, 高田 眞吾

    知能ソフトウェア工学研究会 (KBSE), 

    2025年03月

    口頭発表(一般)

  • カリキュラム標準の国際動向とJ27

    高田眞吾

    情報処理学会第87回全国大会 (大阪) , 

    2025年03月

    口頭発表(招待・特別), 情報処理学会

     概要を見る

    情報系の教育には,計算機科学やソフトウェア工学など複数の領域がある.国際的にはそれぞれの領域でカリキュラム標準を作成しており,本会のJ27は日本国内向けにカリキュラム標準を作成する.本講演では,カリキュラム標準の国際動向について,そしてそれとJ27の関係について述べる.

  • 保護属性を用いずに訓練された機械学習モデルの公平性テスト手法

    久間大誠, 北村崇師, 高田 眞吾

    第66回プログラミングシンポジウム, 

    2025年01月

    口頭発表(一般)

  • 差別データの多様性が再学習に与える影響に関する調査実験と一考察

    船本和希, 北村崇師, 高田 眞吾

    第66回プログラミングシンポジウム, 

    2025年01月

    口頭発表(一般)

  • Software Testing and Artificial Intelligence: The Road Ahead

    Shingo Takada

    36th International Conference on Software Engineering & Knowledge Engineering (SEKE 2024), 

    2024年10月

    口頭発表(基調)

全件表示 >>

競争的研究費の研究課題 【 表示 / 非表示

  • 機械学習に基づいたソフトウェアテストにおけるカバレッジ向上に関する研究

    2022年04月
    -
    2026年03月

    文部科学省・日本学術振興会, 科学研究費助成事業, 高田 眞吾, 基盤研究(C), 補助金,  研究代表者

  • コンテキスト情報に基づいたモバイルアプリケーションのテストケース生成に関する研究

    2015年04月
    -
    2019年03月

    文部科学省・日本学術振興会, 科学研究費助成事業, 高田 眞吾, 基盤研究(C), 補助金,  研究代表者

 

担当授業科目 【 表示 / 非表示

  • ソフトウェア工学特論

    2025年度

  • 情報工学輪講

    2025年度

  • プログラミング方法論

    2025年度

  • プログラミング第2同演習B

    2025年度

  • プログラミング第2同演習A

    2025年度

全件表示 >>

 

所属学協会 【 表示 / 非表示

  • 情報処理学会 ソフトウェア工学研究会, 

    2006年05月
    -
    継続中
  • 情報システム学会, 

    2005年
    -
    継続中
  • 電子情報通信学会, 

    1998年
    -
    継続中
  • ACM (Association for Computing Machinery), 

    1997年
    -
    継続中
  • 情報処理学会, 

    1996年
    -
    継続中

全件表示 >>

委員歴 【 表示 / 非表示

  • 2025年03月
    -
    2025年12月

    プログラム委員, 32nd Asia-Pacific Software Engineering Conference (APSEC 2025)

  • 2025年03月
    -
    2025年09月

    プログラム委員, 18th International Conference on the Quality of Information and Communications Technology (QUATIC 2025)

  • 2025年01月
    -
    2025年11月

    編集委員, コンピュータソフトウェア誌 FOSE特集号 2024

  • 2024年06月
    -
    2025年04月

    プログラム委員, 20th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2025)

  • 2024年04月
    -
    2024年12月

    プログラム委員, 31st Asia-Pacific Software Engineering Conference (APSEC 2024)

全件表示 >>