Imai Takeo

イマイタケオ | Imai Takeo

Affiliation and department：
Job title： Agile Coach

Research field (2)： Information theory , Software

Research keywords (10)： compiler , deep learning , SAT , induction , software design , mathematical logic , programming language , model checking , software engineering , formal method

Papers (8)：

IMAI Takeo, SAKAI Masahiro, HAGIYA Masami. An Improvement of Quasi-weakest Precondition Inference using Fast MCS Enumeration. Computer Software. 2015. 32. 4. 4_161-4_175
SAKAI Masahiro, IMAI Takeo. Interplay between SAT and Other Constraint Problems. Computer Software. 2015. 32. 1. 1_103-1_119
IMAI Takeo, SAKAI Masahiro, HAGIYA Masami. An Inference Method of Quasi-Weakest Preconditions by Minimal Unsatisfiable Core Enumeration. Computer Software. 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

ｍore...

MISC (8)：

丸山勝久, 沢田篤史, 小林隆志, 大森隆行, 林晋平, 飯田元, 吉田則裕, 角田雅照, 岩政幹人, 今井健男, et al. 産学連携によるソフトウェア進化パターン収集の試み. 研究報告ソフトウェア工学(SE). 2014. 2014. 1. 1-8
今井健男, 酒井政裕, 岩政幹人. Specification Mining Technology for Automatically Inferring Software Specifications. 東芝レビュー = Toshiba review. 2013. 68. 8. 35-38
遠藤侑介, 酒井政裕, 今井健男, 岩政幹人, 福元康文, 一條泰男. Extracting a relation between test cases and modules by using important word analysis. ソフトウェアエンジニアリングシンポジウム2012論文集. 2012. 2012. 1-6
MARUCHI Kohei, IMAI Takeo, OHTA Akinori, KATAOKA Yoshio. Application of mutation testing to system test for derivative development. 研究報告ソフトウェア工学(SE). 2009. 2009. 18. 1-8
Masahiro Sakai, Takeo Imai, Yoshi Kataoka. C言語プログラム検証フレームワーク. TOSHIBA REVIEW. 2009. 64. 3. 41-41

ｍore...

Books (3)：

Deep Learning from a Perspective of Computer Science
Lambdanote Ltd. 2019
Types and Programming Languages
Ohmsha 2013 ISBN:4274069117
Software Abstractions: Logic, Language, and Analysis
Ohmsha 2011 ISBN:4274068587

Lectures and oral presentations (20)：

Basics of deep learning compilers and their recent trends
(xSIG 2019 2019)
What is machine learning systems engineering? -Engineering issues for constructing machine learning systms-
(JSAI2018 2018)
An improvement of quasi-weakest precondition inference using fast MCS enumeration
(2014)
Model-checking C programs against JML-like specification language
(the 19th Asia-Pacific Software Engineering Conference (APSEC2012) 2012)
説明基盤:組み込みシステムの要求仕様を形式的に分析・検証する一手法
(第19回ソフトウェア工学の基礎ワークショップ FOSE 2012 2012)

ｍore...

Professional career (1)：

MSc. (Univ. of Tokyo)

Awards (2)：

2015/09 - Japan Society for Software Science and Technology Research Paper Award
2011/11 - 第18回ソフトウェア工学の基礎ワークショップ貢献賞

Association Membership(s) (3)：

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

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page