今井健男

イマイタケオ | Imai Takeo

所属機関・部署：
職名：アジャイルコーチ

研究分野 (2件)：情報学基礎論 , ソフトウェア

研究キーワード (10件)：コンパイラ , 深層学習 , SAT , 帰納推論 , ソフトウェア設計 , 数理論理学 , プログラミング言語 , モデル検査 , ソフトウェア工学 , 形式手法

論文 (8件)：

MISC (8件)：

丸山勝久, 沢田篤史, 小林隆志, 大森隆行, 林晋平, 飯田元, 吉田則裕, 角田雅照, 岩政幹人, 今井健男, 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
酒井政裕, 今井健男, 片岡欣夫. C言語プログラム検証フレームワーク. 東芝レビュー. 2009. 64. 3. 41-41

書籍 (3件)：

講演・口頭発表等 (20件)：

深層学習コンパイラの概要と最近の動向
(xSIG 2019 2019)
機械学習工学とは - 機械学習システムを創り上げるための工学的課題 -
(JSAI2018 2018)
高速なMCS列挙を利用した準最弱事前条件推定の改良
(第21回ソフトウェア工学の基礎ワークショップ (FOSE 2014) 2014)
Model-checking C programs against JML-like specification language
(the 19th Asia-Pacific Software Engineering Conference (APSEC2012) 2012)
説明基盤:組み込みシステムの要求仕様を形式的に分析・検証する一手法
(第19回ソフトウェア工学の基礎ワークショップ FOSE 2012 2012)

学位 (1件)：

受賞 (2件)：

所属学会 (3件)：

ACM , 日本ソフトウェア科学会 , 情報処理学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

今井 健男