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

Takada, Shingo

写真a

所属(所属キャンパス)

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

職名

教授

外部リンク

経歴 【 表示 / 非表示

  • 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月

 

研究分野 【 表示 / 非表示

  • ソフトウェア (ソフトウエア)

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

  • ソフトウェア工学

 

著書 【 表示 / 非表示

  • 情報学基礎

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

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

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

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

    担当範囲: 324-338

論文 【 表示 / 非表示

  • Cc2020 visualization tool preview and review

    Clear A., Takada S., Cuadros-Vargas E.

    Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE (Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE)     169 - 170 2020年02月

    ISSN  9781450367936

     概要を見る

    © 2020 Copyright held by the owner/author(s). Publication rights licensed to ACM. The CC2020 project was charged with two main objectives, to produce a comprehensive report and a visualization tool to provide global guidance in an evolving computing environment as it affects computing baccalaureate degree programs worldwide. T he report is now in draft form and has undergone four rounds of review. The other goal of the CC2020 project is to develop a set of visualization-based tools that will help users to explore questions they may have concerning curricular guidelines, as well as local computing curricula. A visualization tool has been scoped and a prototype built. This special session will unveil the prototype for the SIGCSE community who will have the opportunity to view and review the tool. of float elements and bibliography nor metadata/copyright information is available. The sample document is provided in Draft mode and to view it in the final layout format, applying the required template is essential with some standard steps. These steps, which should require generation of the final output from the styled paper, are mentioned here in this paragraph. First, users have to run Reference Numbering from the Reference Elements menu; this is the first step to start the bibliography marking (it should be clicked while keeping the cursor at the beginning of the reference list). After the marking is complete, the reference element runs all the options under the Cross Linking menu.

  • CPPCD: A Token-Based Approach to Detecting Potential Clones

    Hung Y.L., Takada S.

    IWSC 2020 - Proceedings of the 2020 IEEE 14th International Workshop on Software Clones (IWSC 2020 - Proceedings of the 2020 IEEE 14th International Workshop on Software Clones)     26 - 32 2020年02月

    ISSN  9781728162690

     概要を見る

    © 2020 IEEE. Most state-of-the-art clone detection approaches are aimed at finding clones accurately and/or efficiently. Yet, whether a code fragment is a clone often varies according to different people's perspectives and different clone detection tools. In this paper, we present CPPCD (CP-based Potential Clone Detection), a novel token-based approach to detecting potential clones. It generates CP (clone probability) values and CP distribution graphs for developers to decide if a method is a clone. We have evaluated our approach on large-scale software projects written in Java. Our experiments suggest that the majority of clones have CP values greater than or equal to 0.75 and that CPPCD is an accurate (with respect to Type-1, Type-2, and Type-3 clones), efficient, and scalable approach to detecting potential clones.

  • Toward the visual understanding of computing curricula

    Takada S., Cuadros-Vargas E., Impagliazzo J., Gordon S., Marshall L., Topi H., van der Veer G., Waguespack L.

    Education and Information Technologies (Education and Information Technologies)  2020年

    ISSN  13602357

     概要を見る

    © 2020, The Author(s). Various computing subdisciplines, such as computer science and software engineering, each have their own curricular guidelines. They can be very difficult to understand and compare for people such as prospective students, industry personnel, and even faculty members. This is compounded by a lack of information surrounding undergraduate computing curricular topics via visual methods. This paper describes two experimental activities where the objective is to explore the possibility of obtaining quantitative data sets necessary for visualization, one based on competencies and the other based on knowledge areas. Both activities were based on surveys. The results from the first activity showed that a consensus interpretation could be obtained for the knowledge, skills, and dispositions implied by the competency descriptions, although not as strongly for dispositions. The second activity resulted in a table of knowledge areas with minimum and maximum weights for six computing subdisciplines. Finally, this paper also shows two examples of how users can explore the various curricular guidelines through visualization.

  • コーディング規約違反メトリクスに基づくソフトウェア変更に対する不具合予測手法の提案

    名倉正剛, 田口健介, 高田眞吾

    ソフトウェアエンジニアリングシンポジウム2019(SES2019) 2019年08月

    研究論文(研究会,シンポジウム資料等), 共著, 査読無し

  • Semantic analysis for deep Q-network in android GUI testing

    Vuong T., Takada S.

    Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE (Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE)  2019-July   123 - 128 2019年07月

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

     概要を見る

    Since the big boom of smartphone and consequently of mobile applications, developers nowadays have many tools to help them create applications easier and faster. However, efficient automated testing tools are still missing, especially for GUI testing. We propose an automated GUI testing tool for Android applications using Deep Q-Network and semantic analysis of the GUI. We identify the semantic meanings of GUI elements and use them as an input to a neural network, which through training, approximates the behavioral model of the application under test. The neural network is trained using the Q-Learning algorithm of Reinforcement Learning. It guides the testing tool to explore more often functionalities that can only be accessed through a specific sequence of actions. The tool does not require access to the source code of the application under test. It obtains higher code coverage and is better at fault detection in comparison to state-of-the-art testing tools.

全件表示 >>

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

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

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

    高田眞吾,土居範久

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

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

     概要を見る

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

研究発表 【 表示 / 非表示

  • CC2020 Tool

    Shingo Takada

    COMPUTE2019, 2019年10月, 口頭(招待・特別), ACM

     概要を見る

    This talk will describe the ongoing work on the CC2020 tool. This tool will help users (such as academics, industry, and prospective students) understand the differences between the various computing subdisciplines.

  • GUI Testing incorporating Context Events in Android Applications

    Maria Azriel Therese Eala, Shingo Takada

    Software Engineering Symposium (SES2017), 2017年08月, ポスター(一般), Information Processing Society of Japan

  • Test-Data Generation for Android Applications using Multi-Objective Genetic Algorithms

    Anshuman Rohella, Shingo Takada

    Software Engineering Symposium (SES2017), 2017年08月, ポスター(一般), Information Processing Society of Japan

  • GUI Testing Using Dynamic Model for Android Application

    Muangsiri Woramet, Shingo Takada

    Software Engineering Symposium (SES2016), 2016年08月, ポスター(一般), Information Processing Society of Japan

  • セマンティック類似コードの存在とソフトウェア品質メトリクスの関係の一考察

    田島 諒, 名倉 正剛, 高田 眞吾

    ソフトウェアエンジニアリングシンポジウム(SES2016), 2016年08月, ポスター(一般), 情報処理学会

全件表示 >>

競争的資金等の研究課題 【 表示 / 非表示

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

    2015年04月
    -
    2019年03月

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

 

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

  • 卒業研究

    2020年度

  • ソフトウェア工学特論

    2020年度

  • 情報工学輪講

    2020年度

  • プログラミング方法論

    2020年度

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

    2020年度

全件表示 >>

 

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

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

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

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

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

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

    1996年
    -
    継続中

全件表示 >>

委員歴 【 表示 / 非表示

  • 2019年11月
    -
    2021年04月

    編集委員, 情報処理学会論文誌「ソフトウェア工学」特集号

  • 2019年10月
    -
    2020年03月

    Program Committee, 1st WoRkshop on System and Acceptance Testing (WRSAT 2020)

  • 2019年09月
    -
    2020年11月

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

  • 2019年06月
    -
    継続中

    副理事長, 日本ソフトウェア科学会

  • 2019年01月
    -
    2020年03月

    Publicity Co-Chair, IEEE International Conference on Software Testing, Verification and Validation (ICST 2020)

全件表示 >>