研究者
J-GLOBAL ID:201101063089250682   更新日: 2024年11月11日

今井 健男

イマイ タケオ | Imai Takeo
所属機関・部署:
職名: アジャイルコーチ
その他の所属(所属・部署名・職名) (1件):
研究分野 (3件): ソフトウェア ,  経営学 ,  ソフトウェア
研究キーワード (9件): 有効性 ,  スクラム ,  アジャイル ,  SAT ,  ソフトウェア設計 ,  プログラミング言語 ,  モデル検査 ,  ソフトウェア工学 ,  形式手法
論文 (8件):
MISC (9件):
もっと見る
書籍 (3件):
  • 計算機科学から見たディープラーニング
    ラムダノート 2019
  • 型システム入門 -プログラミング言語と型の理論-
    オーム社 2013 ISBN:4274069117
  • 抽象によるソフトウェア設計-Alloyではじめる形式手法-
    オーム社 2011 ISBN:4274068587
講演・口頭発表等 (22件):
  • A Theory of Scrum Team Effectiveness 〜『ゾンビスクラムサバイバルガイド』の裏側にある科学〜
    (Regional Scrum Gathering Tokyo 2024 2024)
  • 1事例を通じてのストーリーポイントの有用性と見積もり誤差に対する考察
    (第29回ソフトウェア工学の基礎ワークショップ(FOSE2022) 2022)
  • 深層学習コンパイラの概要と最近の動向
    (xSIG 2019 2019)
  • 機械学習工学とは - 機械学習システムを創り上げるための工学的課題 -
    (JSAI2018 2018)
  • 高速なMCS列挙を利用した準最弱事前条件推定の改良
    (第21回ソフトウェア工学の基礎ワークショップ (FOSE 2014) 2014)
もっと見る
学位 (1件):
  • 修士(理学) (東京大学)
経歴 (1件):
  • 2024/08 - 現在 国立情報学研究所 アーキテクチャ科学研究系 徳仁研究員
委員歴 (4件):
  • 2022/04 - 現在 日本ソフトウェア科学会機械学習工学研究会 主査
  • 2018/04 - 2022/03 日本ソフトウェア科学会機械学習工学研究会 運営委員
  • 2021/04 - 2021/09 日本ソフトウェア科学会 大会 プログラム委員長
  • 2012/04 - 2014/03 情報処理学会ソフトウェア工学研究会 運営委員
受賞 (2件):
  • 2015/09 - 日本ソフトウェア科学会 第19回研究論文賞
  • 2011/11 - 第18回 ソフトウェア工学の基礎ワークショップ 貢献賞
所属学会 (3件):
ACM ,  日本ソフトウェア科学会 ,  情報処理学会
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る