研究者
J-GLOBAL ID:201101063089250682
更新日: 2024年11月11日
今井 健男
イマイ タケオ | Imai Takeo
この研究者にコンタクトする
直接研究者へメールで問い合わせることができます。
所属機関・部署:
ぼのたけ
ぼのたけ について
「ぼのたけ」ですべてを検索
職名:
アジャイルコーチ
その他の所属(所属・部署名・職名) (1件):
国立情報学研究所
アーキテクチャ科学研究系 特任研究員
研究分野 (3件):
ソフトウェア
, 経営学
, ソフトウェア
研究キーワード (9件):
有効性
, スクラム
, アジャイル
, SAT
, ソフトウェア設計
, プログラミング言語
, モデル検査
, ソフトウェア工学
, 形式手法
論文 (8件):
今井 健男, 酒井 政裕, 萩谷 昌己. 高速なMCS列挙を利用した準最弱事前条件推定の改良. コンピュータ ソフトウェア. 2015. 32. 4. 4_161-4_175
酒井 政裕, 今井 健男. SAT問題と他の制約問題との相互発展. コンピュータ ソフトウェア. 2015. 32. 1. 1_103-1_119
今井 健男, 酒井 政裕, 萩谷 昌己. Minimal Unsatisfiable Core列挙によるプログラムの準最弱な事前条件推定. コンピュータ ソフトウェア. 2013. 30. 2. 2_207-2_226
Masahiro Sakai, Kohei Maruchi, Takeo Imai. Model-checking C programs against JML-like specification language. 2012 19TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC), VOL 1. 2012. 174-183
今井 健男, 酒井 政裕, 遠藤 侑介, 小磯 貴史, 岩政 幹人, 片岡 欣夫. 仕様発掘の動向と目指すべき方向性. ウィンターワークショップ2012・イン・琵琶湖. 2012
もっと見る
MISC (9件):
天野祐介, 今井健男. スクラムマスター往復書簡03:スクラムチームにおけるリーダーシップ. Findy Engineer Lab. 2024
丸山勝久, 沢田篤史, 小林隆志, 大森隆行, 林晋平, 飯田元, 吉田則裕, 角田雅照, 岩政幹人, 今井健男, et al. 産学連携によるソフトウェア進化パターン収集の試み. 研究報告ソフトウェア工学(SE). 2014. 2014. 1. 1-8
今井 健男, 酒井 政裕, 岩政 幹人. ソースコードからの仕様発掘技術. 東芝レビュー = Toshiba review. 2013. 68. 8. 35-38
遠藤 侑介, 酒井 政裕, 今井 健男, 岩政 幹人, 福元 康文, 一條 泰男. 特徴語抽出を用いたテストケース-モジュール間対応抽出方法. ソフトウェアエンジニアリングシンポジウム2012論文集. 2012. 2012. 1-6
丸地 康平, 今井 健男, 太田 暁率, 片岡 欣夫. 派生開発におけるミューテーションテスト手法のシステムテストへの応用. 研究報告ソフトウェア工学(SE). 2009. 2009. 18. 1-8
もっと見る
書籍 (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
の登録情報に基づき表示しています。 登録・更新については、
こちら
をご覧ください。
前のページに戻る
TOP
BOTTOM